| Github | http://github.com/brendanzab |
| https://www.instagram.com/brendanzab/ | |
| https://twitter.com/brendanzab | |
| Pronouns | https://pronoun.is/he |
I'm seeing the "Don't write a programming language" article shared all over the place.
I say, No! Make one, it's endless fun, it covers so many disciplines, it's more akin to art and design than programming, and community-wise, it's a good way to find like-minded folks! You should definitely try your hand at it at least once or twice.
Cheers! Thanks for letting me know how to exit haha.
Heh, yeah I'm on stable nix, but I've enabled flakes and the nix command. They're super nice, if a bit bleeding edge!
slowly getting my noggin around nix
it's still a struggle and a bit bewildering, but at least it seems to be easier than it last time I looked.
Mixing Ltac and Gallina for Fun and Benefits
https://soap.coffee/~lthms/posts/MixingLtacAndGallina.html
This is the latest blogpost on my website, and it is the second blogpost on Ltac on my website. Hope you find it interesting!
(Some familiarity with Coq is required, unfortunately.)
@brendanzab laying out a lovely, no mess no fuss, story of needing, learning about and making important use of dependant types at Compose Melbourne. We’re so lucky you’re doing your thing, Brendan :)
Devine Lu Linvega
lthms
brad