Viewing profile — mark4

Relevant keynote I wrote about Formal methods won, now what? https://muratbuffalo.blogspot.com/2026/04/bugbash26-keynote....

Yep, this is the hardest part. Big groups slow everything down. I have found it helps to keep moving on what you can control while you wait on others, so you don't fully lose the t…

Thank you!

Thank you! Great explanation! As I guessed this is much less alarmist and sensational than what the paper seems to be claiming.

ELI5 on this please. I don't get a good understanding by doing a quick read.

Getting schooled by AI, colleges must evolve (March, 2023) https://muratbuffalo.blogspot.com/2023/03/getting-schooled-b...

This is a cool and important one. I was happy to see the article celebrating the young scientist. This is well deserved. Congratulations to him. And I hope this inspires other unde…