@programingisthefuture.com.bsky.social
Ω := (λ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 😎
Who's gonna carry the boats? And the logs? (Goggins inspired)
21.09.2025 18:10 — 👍 2 🔁 0 💬 1 📌 0"Tenho uma ideia que nos vai deixar bilionário"
A ideia do infeliz:
Could you repeat that last part? it was not clear 😂
21.09.2025 17:52 — 👍 0 🔁 0 💬 0 📌 0I finished my first triathlon today just to find out that they were not giving participation medals in this event 🥲 (almost drowned myself for the medal)
21.09.2025 17:49 — 👍 1 🔁 0 💬 0 📌 050g of protein per 100g of soy? 😨
I will eat so much soy that next year I'll start the trend "me 💪 vs 100 gorillas 🦍"
Wow, academics using React? Thats news to me!
I will read it, master! 🫡
Wow, cycling in these mountains must be super cool 🫂
10.08.2025 22:43 — 👍 1 🔁 0 💬 0 📌 0Hey, look at Slimbook too, they have very good linux laptops/desktops
20.06.2025 06:28 — 👍 1 🔁 0 💬 0 📌 0Where's the split keyboard? 🧐
Do you even 'vim' 🫣
Maybe you will find this interesting: github.com/JetBrains/Ar...
21.05.2025 18:39 — 👍 1 🔁 0 💬 1 📌 0Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
21.05.2025 13:43 — 👍 0 🔁 0 💬 0 📌 0Damm, I can't brainwash my friends to enjoy FP, imagine dependent types, proofs and math 🤣 (maybe Im just a bad seller)
21.05.2025 12:28 — 👍 1 🔁 0 💬 1 📌 0Yessir, and I'm waiting for the emelletv invite 🙄
21.05.2025 12:26 — 👍 2 🔁 0 💬 0 📌 0I guess we are doomed to talk with AI about proofs 🤣
21.05.2025 09:41 — 👍 2 🔁 0 💬 1 📌 0Npm i "I'm here, what do you mean?"
21.05.2025 09:40 — 👍 2 🔁 0 💬 1 📌 0Yes, and the best part is that it is free 😂
19.05.2025 20:30 — 👍 1 🔁 0 💬 0 📌 0🥹🫂
19.05.2025 19:09 — 👍 1 🔁 0 💬 0 📌 0Out of topic:
Cool tshirt!! (I have the same one) 😂
Hot take as an OCaml developer:
- Lisp-family syntax
...
LOL, I'm so stupid, I bought the wrong domain and I just realized that after a few months 😭 (Buying a new one 😂)
17.05.2025 12:25 — 👍 0 🔁 0 💬 0 📌 0🙌🙌
14.05.2025 17:32 — 👍 1 🔁 0 💬 0 📌 0
Hehe
14.05.2025 17:22 — 👍 2 🔁 0 💬 1 📌 0Why not, haha LOL
07.05.2025 16:52 — 👍 4 🔁 0 💬 1 📌 1This reminds me of that super special JS library 😭
06.05.2025 21:10 — 👍 2 🔁 0 💬 0 📌 0You are super shy... Running away from the laud spanish stereotype
03.05.2025 13:31 — 👍 3 🔁 0 💬 1 📌 0I was thinking "this guy must be a genius to guess what the joke is about..."
I just discovered who you are, and it blew my mind 🤯
Moses: My Lord oh God, why did you create the universe?
God:
Why not haha LOL
03.05.2025 11:57 — 👍 3 🔁 0 💬 1 📌 1The peak of PR reviews...
03.05.2025 11:28 — 👍 1 🔁 0 💬 0 📌 0
