]> git.ralfj.de Git - web.git/commit
add link to Miri talk
authorRalf Jung <post@ralfj.de>
Wed, 4 Feb 2026 10:20:06 +0000 (11:20 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 4 Feb 2026 10:20:06 +0000 (11:20 +0100)
commitc085f53e63f69c049614a05c3a4dd741684c5aee
treebc829f052bf731df2cb841f3620fd0cd48e8e496
parentc77d0d355226974b9fb8d41379d10f68a2e6c910
add link to Miri talk
personal/_posts/2025-12-22-miri.md