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 thread.

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 undergraduates as well.

In 2001, I did an internship at IBM. Ever since then, I have been convinced IBM should be going out of business any day now. Since then AWS was formed, and ate IBM's lunch. But IBM kept going. To my complete amazement, they are still in business, and doing fine. They had always seen less promising than Intel, and yet they are still there. I think Intel is undervalued, and is better positioned to make a come back.

On a tangential topic, is there another way of sitting, like sitting up? Why do English require qualifying with "down" so frequently?