add Miri blog post
authorRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:00 +0000 (19:00 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:00:00 +0000 (19:00 +0200)
commitf18b182a38fa49b778a0e7b5e326b34660763fcc
tree767f976127e17f5ee28e499da11fe59537a14820
parent099cba6bdd7b61f45d971be69e17585a6bf0a7e6
add Miri blog post
personal/_posts/2020-09-28-miri.md [new file with mode: 0644]