]> git.ralfj.de Git - web.git/commit
mention proving
authorRalf Jung <post@ralfj.de>
Thu, 24 Jul 2025 15:34:23 +0000 (17:34 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 24 Jul 2025 15:34:23 +0000 (17:34 +0200)
commit4a2c7e8d896f626c7c83488fcb06d59845f378df
treeecf9d3ae74f0571ce4b9df24952a4a50c9ae92df
parentf2e0cb781b6f9b1de1abd6da079cd2022cc9104f
mention proving
personal/_posts/2025-07-24-memory-safety.md