Queer leftie anticapitalist sort currently in the netherlands; computers fear it.

I tend to infodump about the stuff I'm working on, which at the minute is by surprising demand a dependently typed systems programming language called littlegem.

I really like a language you've probably never heard of called idris that's quite different from most. I also write a lot of rust, c, zig and many other things.

i used to write fedi software.

#nobot #noindex