ProgramingIsTheFuture's Avatar

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 😎

118
Followers
218
Following
113
Posts
22.11.2024
Joined
Posts Following

Latest posts by ProgramingIsTheFuture @programingisthefuture.com

Such a humble super star 😂

05.03.2026 14:39 👍 1 🔁 0 💬 0 📌 0

What happened with codeberg? 😧

05.03.2026 13:10 👍 1 🔁 0 💬 1 📌 0

Or he will learn how to code without syntax highlight 😬

05.03.2026 12:58 👍 1 🔁 0 💬 1 📌 0

I think you should share your theme plugins with @david.sancho.dev

05.03.2026 12:58 👍 1 🔁 0 💬 1 📌 0

What type of diff do you mean?
Git diff? (you can run `git diff` in the terminal 🫣) and If you want to compare two files, you can use "nvim -d file1 file2"

05.03.2026 12:52 👍 0 🔁 0 💬 0 📌 0

Yeah, following teej_dv is a good idea

05.03.2026 12:47 👍 0 🔁 0 💬 0 📌 0

hahahaha

05.03.2026 12:46 👍 0 🔁 0 💬 0 📌 0
Post image Post image

😳

10.02.2026 12:44 👍 1 🔁 0 💬 0 📌 0
Video thumbnail

I built my own JavaScript runtime in OCaml

I wanted to see how far OCaml could go against Bun and Node, and also also OCaml vs zig vs c++ in similar APIs.

So I built `sirocco`.

Uses JavaScriptCore (same engine as Bun and Safari). Event loop with libuv and it's written in OxCaml.

02.01.2026 15:08 👍 31 🔁 9 💬 1 📌 0
Preview
a cartoon leopard says finally a worthy opponent ALT: a cartoon leopard says finally a worthy opponent

Our battle will be legendary

25.09.2025 10:45 👍 1 🔁 0 💬 0 📌 0

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:

21.09.2025 17:56 👍 1 🔁 0 💬 0 📌 0

Could you repeat that last part? it was not clear 😂

21.09.2025 17:52 👍 0 🔁 0 💬 0 📌 0

I 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 📌 0

50g of protein per 100g of soy? 😨
I will eat so much soy that next year I'll start the trend "me 💪 vs 100 gorillas 🦍"

06.09.2025 19:37 👍 1 🔁 0 💬 0 📌 0

Wow, academics using React? Thats news to me!
I will read it, master! 🫡

23.08.2025 21:21 👍 1 🔁 0 💬 0 📌 0

Wow, cycling in these mountains must be super cool 🫂

10.08.2025 22:43 👍 1 🔁 0 💬 0 📌 0

Hey, look at Slimbook too, they have very good linux laptops/desktops

20.06.2025 06:28 👍 1 🔁 0 💬 0 📌 0

Where's the split keyboard? 🧐
Do you even 'vim' 🫣

14.06.2025 10:08 👍 2 🔁 0 💬 1 📌 0

Maybe you will find this interesting: github.com/JetBrains/Ar...

21.05.2025 18:39 👍 1 🔁 0 💬 1 📌 0

Typescript 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 📌 0

Damm, 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 📌 0

Yessir, and I'm waiting for the emelletv invite 🙄

21.05.2025 12:26 👍 2 🔁 0 💬 0 📌 0

I guess we are doomed to talk with AI about proofs 🤣

21.05.2025 09:41 👍 2 🔁 0 💬 1 📌 0

Npm i "I'm here, what do you mean?"

21.05.2025 09:40 👍 2 🔁 0 💬 1 📌 0

Yes, 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 📌 0

Out of topic:
Cool tshirt!! (I have the same one) 😂

19.05.2025 17:26 👍 1 🔁 0 💬 1 📌 0

Hot take as an OCaml developer:
- Lisp-family syntax
...

19.05.2025 17:18 👍 5 🔁 0 💬 1 📌 0

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