ProgramingIsTheFuture
@programingisthefuture.com
Ω := (λ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 😎
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
Its this kind of things, where the website gets a x scroll (is it y in websites?) because of links 🧐
December 30, 2024 at 5:41 PM
Its this kind of things, where the website gets a x scroll (is it y in websites?) because of links 🧐
My cat weighs 6.6kg... he is HUGE
December 19, 2024 at 10:43 AM
My cat weighs 6.6kg... he is HUGE
I think I should have asked for a second opinion before buying so many books 🫣
December 6, 2024 at 8:51 AM
I think I should have asked for a second opinion before buying so many books 🫣
OCaml is everywhere (i mentioned the custom engravement in your stream)
November 29, 2024 at 6:04 PM
OCaml is everywhere (i mentioned the custom engravement in your stream)
Parece-me uma boa ideia 😎
Eu tatuei esta aqui:
Eu tatuei esta aqui:
November 22, 2024 at 4:41 PM
Parece-me uma boa ideia 😎
Eu tatuei esta aqui:
Eu tatuei esta aqui: