Had a proper look at F-star for the first time (I had seen it before, but had written it off as a M$ project), but it's actually pretty awesome! Best automated verification tool that I've had the pleasure of using!

Didn't get as much as I had planned done, but still a good day!

Woke up early today! Feeling like I'm going to get a lot done!!!

My least favourite part of software development is when I have something working that has 90% of the functionality I need for my dogfooding, but it has bugs that don't really affect the functionality and I can't be bothered to fix them.

I find that the hardest (or least interesting) part of writing a PL is really the ecosystem (stdlib, ide integration, etc.) most of which are completely unrelated to the fun part of designing the language but makes up 90% of the work of making a language usable.

Recently realised that depending on how you mentally pronounce SQL ("seequel" vs "ehS Que ehL") changes what indefinite article should be appropriate for describing statements --- consider, "a SQL statement" versus "an SQL statement".

That should be illegal!

same..... hard part of gamedev for me is the media creation - so many prototypes I ended up ditching because they looked like hot trash

Guess who's rollin with GNU+Emacs 29?