Jared Forsyth

was feeling a little braindead the 3rd day of POPL so I made a colorific game of life

inspired by @TodePond@mas.to's huegene (https://www.todepond.com/lab/cells/draw/table/)

because I apparently can't help myself, I've made a ... terminal editor? my structured editor now lives in a terminal. with mouse support, of course 🙃.
(it will also [primarily?] live on the web, but ... yaks aren't gonna shave themselves)

@denis@ruby.social non-euclidean chess board

lol I guess I have to learn agda now so I can understand this paper's implementation https://dl.acm.org/doi/pdf/10.1145/3607843

now I've got a little search results thing to show references!! very excited about it

tonight's win: usage highlighting! with multi-cursor rename :)

self-hosted type checker update: I've managed to implement all of "typing haskell in haskell" (https://web.cecs.pdx.edu/~mpj/thih/thih.pdf) in my "algorithm-w+" language! So type checking type classes is working :) although there's a bit more work to do to get compilation of type classes working correctly (passing type info to the compilation pipeline).