Blogs / Personal blogs

Formal verification has, until now, been a very laborious process. Therefore it is only considered for critical software, where bugs can cost lives or a lot of money. But LLM coding agents may be tipping the scales; formally verifying code might become viable for a much larger class of software. To test this, I picked…

Popular posts

2

Total points

1,240

HN comments

565

Rank

#1,624 personal

Visit jameshaydon.github.io → RSS feedOn Hacker News Sep 2023 – Jun 2025

Software Engineering 1Networking & Internet 1Programming Languages 1Infrastructure & DevOps 1