screwlisp on Nostr: #programming #engineering #lisp #lispygopherclimate in 1.5hrs on 0UTC Wednesday No ...

#programming #engineering #lisp #lispygopherclimate in 1.5hrs on https://anonradio.net/ 0UTC Wednesday

No Edrx (https://anggtwu.net/) again, but I will read a note from him about his own type theory quest.

He speaks to some of the different meanings that appear when different people say the words type theory, as appear on the Mastodon recently!

Also, I got a lot of notes on obvious improvements and contex for my https://screwlisp.small-web.org/ articles so far which we can share and talk about!