Dipesh
@dipeshhh.bsky.social
Interested in Programming Languages and Systems.
x.com/yminsky/stat... this?
Yaron (Ron) Minsky on X: "We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries. It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list. https://t.co/3pLvkl4zBe" / X
We've finally landed a full version internally (coming to an OxCaml near you soon!) of a new feature called parameterized libraries. It's basically an answer to a problem I first ran into 23 years ago. Here's a thread about it on the caml-list. https://t.co/3pLvkl4zBe
x.com
September 18, 2025 at 9:30 AM
x.com/yminsky/stat... this?
Reposted by Dipesh
i really love lean and this may have been the most frustrating part so far. there are some great resources but they feel a bit too scattered, and the official ones are sometimes lacking. or you just can't find stuff. or it's actually for lean 3.
on the other hand the zulip community is amazing
on the other hand the zulip community is amazing
July 20, 2025 at 1:07 AM
i really love lean and this may have been the most frustrating part so far. there are some great resources but they feel a bit too scattered, and the official ones are sometimes lacking. or you just can't find stuff. or it's actually for lean 3.
on the other hand the zulip community is amazing
on the other hand the zulip community is amazing
Reposted by Dipesh
Reposted by Dipesh
has someone made a programming language where all programs are UB? that feels like low-hanging esolang fruit
June 29, 2025 at 6:14 PM
has someone made a programming language where all programs are UB? that feels like low-hanging esolang fruit
Reposted by Dipesh
yes you can have the (current state of the) code
some parser combinator draft
some parser combinator draft. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
June 13, 2025 at 2:39 PM
yes you can have the (current state of the) code