ProgramingIsTheFuture

@programingisthefuture.com

130 Followers · 222 Following

Ω := (λx.x x) (λx.x x) To Ω and beyond! Backend developer with OCaml by day 🐫 Type theorist by night 🫣 I use Arch, (and neovim) btw 😎