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 😎
95 posts
98 followers
213 following
Getting Started
Active Commenter
comment in response to
post
Maybe you will find this interesting: github.com/JetBrains/Ar...
comment in response to
post
Typescript typesystem is just crazy... to think that they can solve the sudoku before the program execute 😂 (Or make doom run within TS typesystem)
comment in response to
post
Damm, I can't brainwash my friends to enjoy FP, imagine dependent types, proofs and math 🤣 (maybe Im just a bad seller)
comment in response to
post
Yessir, and I'm waiting for the emelletv invite 🙄
comment in response to
post
I guess we are doomed to talk with AI about proofs 🤣
comment in response to
post
Npm i "I'm here, what do you mean?"
comment in response to
post
Yes, and the best part is that it is free 😂
comment in response to
post
🥹🫂
comment in response to
post
Out of topic:
Cool tshirt!! (I have the same one) 😂
comment in response to
post
Hot take as an OCaml developer:
- Lisp-family syntax
...
comment in response to
post
🙌🙌
comment in response to
post
Hehe
comment in response to
post
Why not, haha LOL
comment in response to
post
This reminds me of that super special JS library 😭
comment in response to
post
You are super shy... Running away from the laud spanish stereotype
comment in response to
post
I 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 🤯
comment in response to
post
Why not haha LOL
comment in response to
post
The peak of PR reviews...
comment in response to
post
I installed vivaldi.
Now I can have 5 workspaces with more than 10 tabs each, and completely forget they even exist... (And open the same tabs in a brand new workspace 😌)
comment in response to
post
Please, dont give spoilers 😭😭
comment in response to
post
Is it time to start building some network on strava? 🤣
comment in response to
post
I can also share good portuguese music 😂🫣 (very traditional ones)
comment in response to
post
Do you need playlist recomendations? I know good metal bands 😎😂
comment in response to
post
Should we call Elon?
"$ book -rf rm from_libraries" 🤣
comment in response to
post
About about our friendly Camel 🐫😭
comment in response to
post
ocaml.org/manual/5.3/o...
😭
comment in response to
post
It attracts bugs 🫣
comment in response to
post
I'm assuming this is not very important but the website on mobile has the bottom scroll because of the code samples 🫣
comment in response to
post
He used it for a moment, I saw it myself
comment in response to
post
Code in markdown files? (Not again!)
The last similar thing I saw was 43K lines in a markdown file for a language called "Teika" 🤣
comment in response to
post
All this AI "fight" is so funny 🤣🤣
comment in response to
post
What?? Now we also need to write docs? Isnt code enough? 😭😭
comment in response to
post
Parser.MenhirBasics.Error 😭
comment in response to
post
Haha, I feel like I would just make a new library instead of making breaking changes 😂
comment in response to
post
Pleasure to work with you, sir! 🫡 And Im a big fan of your podcast!
comment in response to
post
👉👈 thats exclusive to OCaml people
comment in response to
post
Sorry, I'm shy 🫣
comment in response to
post
Lsp config, treesitter and telescope is all you need for most things 🤣
comment in response to
post
But do you have an use case for that, or just for fun? 🤣🧐
comment in response to
post
😭😭 windows and linux is like oil and water, your are not supposed to mix the two 😭😭
comment in response to
post
What a blasphemy, what is that?
PowerShell running in a linux distro?
Blasphemy at its pick!!
comment in response to
post
😭😭