add 'programming' category
[web.git] / personal / _posts / 2022-07-02-miri.md
2022-07-04 Ralf Jungspecify a bit more which shims we can reasonably support
2022-07-03 Ralf Jungtypo
2022-07-02 Ralf Jungadd link to reddit (and a tweak)
2022-07-02 Ralf Jungadd Miri update blog post