Alan Urmancheev's Avatar

Alan Urmancheev

@alurm

CEO of json2dir. Rust, Nix, C. Open source maintainer. 42.fr graduate. F0RTHSP4CE resident. alurm.github.io

30
Followers
45
Following
107
Posts
25.12.2023
Joined
Posts Following

Latest posts by Alan Urmancheev @alurm

Preview
Modular explicits by samsa1 · Pull Request #13275 · ocaml/ocaml This PR implements modular explicits, namely a new type (module M : S) -> foo of functions parametrized over a module parameter, where the module name M can occur in the return type foo. Functio...

github.com/ocaml/ocaml/...

Wow I think they merged explicits.

09.02.2026 03:54 👍 0 🔁 1 💬 0 📌 0
Preview
Modular explicits by samsa1 · Pull Request #13275 · ocaml/ocaml This PR implements modular explicits, namely a new type (module M : S) -> foo of functions parametrized over a module parameter, where the module name M can occur in the return type foo. Functio...

github.com/ocaml/ocaml/...

Wow I think they merged explicits.

09.02.2026 03:54 👍 0 🔁 1 💬 0 📌 0

ye. shared reference.

06.02.2026 10:28 👍 0 🔁 0 💬 0 📌 0

can't wait for 2096.

06.02.2026 10:24 👍 1 🔁 0 💬 0 📌 0
GitHub - lazyhacker/ivy-wasm: This is Rob Pike's Ivy interpreter as a web assembly module. This is Rob Pike's Ivy interpreter as a web assembly module. - lazyhacker/ivy-wasm

I only understood part of it (not that good at math) but I like Ivy a lot!

Wondered if there's a Wasm version of Ivy to play with it.

Apparently someone did that 8 years ago: github.com/lazyhacker/i....

I recently compiled my WIP interpreter to Wasm and that made quite happy. alurm.github.io/zix.

05.02.2026 16:47 👍 1 🔁 0 💬 0 📌 0

umm hasn't bsky been more free speech tho? i'm not aware of the situation actually.

24.01.2026 15:15 👍 0 🔁 0 💬 1 📌 0

A pleasant read. It's a shame that (I believe) pure eval is tied to Flakes. It needn't be so.

24.10.2025 11:35 👍 1 🔁 0 💬 0 📌 0
Post image
29.07.2025 22:46 👍 2 🔁 0 💬 0 📌 0

it would be cool to have something like acme but for touch screens.

wondered what could it look like for a bit.

it could be possible to implement mouse buttons with by pressing with multiple fingers and maybe even chords, but I'm not sure it would be optimal.

12.01.2025 01:49 👍 0 🔁 0 💬 0 📌 0

based?

08.01.2025 11:59 👍 0 🔁 0 💬 0 📌 0

i am agree.

08.01.2025 00:47 👍 0 🔁 0 💬 0 📌 0

holy shit

07.01.2025 19:15 👍 1 🔁 0 💬 0 📌 0

so many prolog posts lately...

07.01.2025 17:12 👍 14 🔁 1 💬 2 📌 0

./app '<json...>'

new meta

07.01.2025 19:13 👍 0 🔁 0 💬 0 📌 0

is evaluation a side effect

03.01.2025 10:06 👍 0 🔁 0 💬 0 📌 0

no money?

01.01.2025 01:09 👍 0 🔁 0 💬 1 📌 0

holy moly. wtf

01.01.2025 01:09 👍 0 🔁 0 💬 1 📌 0

happy new year :3

01.01.2025 01:01 👍 0 🔁 0 💬 0 📌 0

what happened

01.01.2025 01:01 👍 0 🔁 0 💬 1 📌 0

Very interesting...

30.12.2024 18:41 👍 0 🔁 0 💬 0 📌 0
Preview
GitHub - alurm/lua-match: Minimalistic sum types and switches for Lua Minimalistic sum types and switches for Lua. Contribute to alurm/lua-match development by creating an account on GitHub.

Made a tiny library for sum types and switches in Lua.

github.com/alurm/lua-ma...

30.12.2024 07:38 👍 3 🔁 0 💬 0 📌 0
Post image

Concurrency is Fearless in any Language if you don't give a shit anymore...

29.12.2024 19:09 👍 136 🔁 8 💬 6 📌 0

docker goes brr

30.12.2024 01:21 👍 1 🔁 0 💬 1 📌 0

i understand it as type functions

30.12.2024 01:20 👍 0 🔁 0 💬 0 📌 0

was configuring that today

29.12.2024 05:19 👍 1 🔁 0 💬 0 📌 0

Fish is very nice (except for the occasions where i need a Bashism, and so i still use Bash)

29.12.2024 05:17 👍 1 🔁 0 💬 0 📌 0

me neither

28.12.2024 19:03 👍 0 🔁 0 💬 0 📌 0

no

28.12.2024 19:02 👍 0 🔁 0 💬 0 📌 0

Minecraft is nice

28.12.2024 19:01 👍 0 🔁 0 💬 0 📌 0

I believe this is a Bashism. A cool one though

28.12.2024 12:54 👍 2 🔁 0 💬 1 📌 0