To find out when I write something new, sign up to receive an email notification , follow me on Bluesky or Mastodon , or subscribe to the RSS feed .
Visit martin.kleppmann.com → RSS feedOn Hacker News Dec 2010 – Dec 2025
Software Engineering 9Databases & Data 6Systems & Performance 5Career & Management 2AI & Machine Learning 2Web & Frontend 1
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream.
With Donald Trump suspended from Twitter and Facebook, and Parler kicked off AWS, there is renewed discussion about what sort of speech is acceptable online, and how it should be enforced. Let me say up front that I believe that these bans were justified. However, they do raise questions that need to be discussed…