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 😎
Our battle will be legendary
a cartoon leopard says finally a worthy opponent
ALT: a cartoon leopard says finally a worthy opponent
media.tenor.com
September 25, 2025 at 10:45 AM
Our battle will be legendary
Who's gonna carry the boats? And the logs? (Goggins inspired)
September 21, 2025 at 6:10 PM
Who's gonna carry the boats? And the logs? (Goggins inspired)
"Tenho uma ideia que nos vai deixar bilionário"
A ideia do infeliz:
A ideia do infeliz:
September 21, 2025 at 5:56 PM
"Tenho uma ideia que nos vai deixar bilionário"
A ideia do infeliz:
A ideia do infeliz:
Could you repeat that last part? it was not clear 😂
September 21, 2025 at 5:52 PM
Could you repeat that last part? it was not clear 😂
Wow, academics using React? Thats news to me!
I will read it, master! 🫡
I will read it, master! 🫡
August 23, 2025 at 9:21 PM
Wow, academics using React? Thats news to me!
I will read it, master! 🫡
I will read it, master! 🫡
Wow, cycling in these mountains must be super cool 🫂
August 10, 2025 at 10:43 PM
Wow, cycling in these mountains must be super cool 🫂
Hey, look at Slimbook too, they have very good linux laptops/desktops
June 20, 2025 at 6:28 AM
Hey, look at Slimbook too, they have very good linux laptops/desktops
Where's the split keyboard? 🧐
Do you even 'vim' 🫣
Do you even 'vim' 🫣
June 14, 2025 at 10:08 AM
Where's the split keyboard? 🧐
Do you even 'vim' 🫣
Do you even 'vim' 🫣
Maybe you will find this interesting: github.com/JetBrains/Ar...
May 21, 2025 at 6:39 PM
Maybe you will find this interesting: github.com/JetBrains/Ar...
Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
May 21, 2025 at 1:43 PM
Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
Damm, I can't brainwash my friends to enjoy FP, imagine dependent types, proofs and math 🤣 (maybe Im just a bad seller)
May 21, 2025 at 12:28 PM
Damm, I can't brainwash my friends to enjoy FP, imagine dependent types, proofs and math 🤣 (maybe Im just a bad seller)
Yessir, and I'm waiting for the emelletv invite 🙄
May 21, 2025 at 12:26 PM
Yessir, and I'm waiting for the emelletv invite 🙄
I guess we are doomed to talk with AI about proofs 🤣
May 21, 2025 at 9:41 AM
I guess we are doomed to talk with AI about proofs 🤣
Npm i "I'm here, what do you mean?"
May 21, 2025 at 9:40 AM
Npm i "I'm here, what do you mean?"
Yes, and the best part is that it is free 😂
May 19, 2025 at 8:30 PM
Yes, and the best part is that it is free 😂
Out of topic:
Cool tshirt!! (I have the same one) 😂
Cool tshirt!! (I have the same one) 😂
May 19, 2025 at 5:26 PM
Out of topic:
Cool tshirt!! (I have the same one) 😂
Cool tshirt!! (I have the same one) 😂
Hot take as an OCaml developer:
- Lisp-family syntax
...
- Lisp-family syntax
...
May 19, 2025 at 5:18 PM
Hot take as an OCaml developer:
- Lisp-family syntax
...
- Lisp-family syntax
...
Why not, haha LOL
May 7, 2025 at 4:52 PM
Why not, haha LOL
This reminds me of that super special JS library 😭
May 6, 2025 at 9:10 PM
This reminds me of that super special JS library 😭