Software developer with a passion for free software, functional programing, and formal verification.
he/him
A semaphore looks like this and no one can convince me otherwise.
I created a tiny and fast documentation browser for Idris2: https://idris2docs.sinyax.net/
#Idris #Idris2
Makeshift jumper on my Risc-V dev board :)
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!