Coding 2024-07-08
Making careful progress, trying not to over-exert myself.
Articles in the Coding category
Coding 2024-07-07
I need to figure out how I want to take notes on this stuff...
Coding 2024-07-06
Just one more try, I mean, tool.
Coding 2024-07-05
This could have been longer if I didn't start it ludicrously late. Oh well.
Coding 2024-07-04
Short, but more meat than "oh no I messed up again".
Coding 2024-07-03
I have tried out far worse ideas...
Coding 2024-06-27
This is all a bit awkward to work with.
Coding 2024-06-26
Insert regular expressions joke here.
Coding 2024-06-24
Dafny, please tell me what's missing.
Coding 2024-06-23
Poking some more at Dafny.