home tags events about rss login

Things happen.

sergeyb bonked 17 Oct 2025 07:19 +0300
original: david_chisnall@infosec.exchange

My favourite comment at SOSP, from Mothy:

People in this community used to say ‘this is too complex, we can’t possibly formally verify it’. Now they say ‘this is too complex, we must formally verify it’.

Really happy to see that shift starting.