sergeyb
bonked 23 Oct 2025 06:18 +0300
original: vaibhavsagar@recurse.social
It took me over a year, but the blog post version of my !!Con 2024 talk on SAT solvers is published! https://vaibhavsagar.com/blog/2025/10/22/satisfying-solutions/
sergeyb
bonked 22 Oct 2025 07:21 +0300
original: openbsdnow@bsd.network
OpenBSD 7.8 released Release notes: https://www.openbsd.org/78.html Announce: https://marc.info/?l=openbsd-announce&m=176109731212545&w=2
ChkTag is a set of new and enhanced x86 instructions to detect memory safety violations, such as buffer overflows and misuses of freed memory (use-after-free).
sergeyb
bonked 20 Oct 2025 23:29 +0300
original: nikitonsky@mastodon.online
If you read Russian, this is pretty sad experience report on how it feels to work in a huge IT corporation https://nekrolm.github.io/blog.html
sergeyb
honked back 17 Oct 2025 07:27 +0300
in reply to: https://fosstodon.org/users/hund/statuses/115383650546774928
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.