2025.02.28 21:46:50 (Mastodon 114083706307514059, Twitter 1895591530842452394) from Daniel J. Bernstein:
Released new version of saferewrite for verifying rewrites of code snippets: https://pqsrc.cr.yp.to/downloads.html Major new features: equivalence tests between multiple architectures; new cryptoint with asm for more architectures; symbolic execution of an emulator to add another architecture.