> might be there's something useful there. There is! As of now, if you sort by recently updated, my literate programming project is the first result :P (link in profile if anyone reads this later)
I've measured Lean against the benchmark game here: https://mech-lang.org/benchmarks/#v=1&ellipses=lean4&view=la...
Yes!
I don’t want to hijack Evan’s post by posting a link, but if you’re interested I’ve implemented many of the ideas in that presentation in the language I’m working on. You can check out the latest link in my post history…
> the more you stray from the trained path the higher the cost you pay. Note the LLMs are trained on language semantics far beyond the mainstream ones, so language design can become quite exotic without straying too…
Here are some benchmarks I’ve collected recently: https://mech-lang.org/iros-r4r-2026/index.html#5805406811462... I compare one algorithm across several programming languages and backends. There is no training data for…
Gyri is very cute I will add them to my compendium of programming language mascots. Do you have any more details or back story?
Concept sounds neat is that the name or a working title? I see there’s 50/50 go/zig code, so you have a reference zig compiler and a go compiler? LLMS are neat that they can port compilers to new ecosystems, but I’m…
> I've been thinking about for a decade because of my frustration with academic code and specifically reproducibility, with Python and Matlab in particular. I'm with you there, I think I starred Oct when I came across…
Done, see reply to sibling.
https://raw.githubusercontent.com/mech-lang/mech/codex/pypy-... I added PyPy and Mojo. PyPy performs valiantly compared to Cpython -- even better than LuaJIT. I'm sure someone skilled at writing it could do an even…
I think this is true and agree. But also, the bar was pretty low before Julia, and since Julia it's been raised by languages like Futhark and Halide.
I did some Julia benchmarking over the weekend against a bunch of languages if anyone is interested. The workload is an EKF on an Apple M1, I'm trying to do as many as possible in parallel:…
Last couple weeks I've been building a new website to showcase the document formatting capabilities of my programming language Mech. It's out now: https://mech-lang.org/post/2026-05-11-version-0.3/ Mech has a builtin…
I feel like this is a good place to bring up the "Have You Tried Rubbing a Database on It?" conf, which deals with this sort of topic. If you'd like to read about the intersection between Databases and X, where X is…
If it could somehow only work if I maintain the kitchen sink and counter, then maybe I'd be motivated to keep the house clean. The gacha game trains you.
haha right! I think if I were to make Rocky though, there are a number of more geometric symbols. Maybe like ╭⬟╮
lol that's funny, I have been working seriously [1] on a feature like this after first writing about it jokingly [2] earlier this year. The joke was the assistant is a cat who is constantly sabotaging you, and you have…
I think that's exactly what is meant, and it's a great example. The two places where literate programming have shined most are 1) documentation because it's a natural fit there and you can get away with having little…
I agree with this. I've been a fan of literate programming for a long time, I just think it is a really nice mode of development, but since its inception it hasn't lived up to its promise because the tooling around the…
Also I just became aware of this list: https://people.futureofcoding.org
I remember when Windows Vista had to contend against the same allegations when it was released. It did have a higher memory footprint, but a lot of the ridiculous usage numbers people had published were the SuperFetch…
Contemporary PL designers who have inspired my programming language design journey the most are people like Chris Granger (Eve), Jamie Brandon (Eve/Imp/others), Bret Victor (Dynamicland), Chris Lattner (Swift / Mojo),…
I'm building something like Lua for robots, you might want to check it out if you're looking to collaborate. I didn't know about Lua when I started it, but I did end up at an "everything is a table" metaphor because it…
Thanks for the kind words and keeping the joke going, I laughed at many of these responses. I think they'll make it in to v2.0 which should be out by 4/1 It makes sense that the first thing I'd get to the front page of…
> might be there's something useful there. There is! As of now, if you sort by recently updated, my literate programming project is the first result :P (link in profile if anyone reads this later)
I've measured Lean against the benchmark game here: https://mech-lang.org/benchmarks/#v=1&ellipses=lean4&view=la...
Yes!
I don’t want to hijack Evan’s post by posting a link, but if you’re interested I’ve implemented many of the ideas in that presentation in the language I’m working on. You can check out the latest link in my post history…
> the more you stray from the trained path the higher the cost you pay. Note the LLMs are trained on language semantics far beyond the mainstream ones, so language design can become quite exotic without straying too…
Here are some benchmarks I’ve collected recently: https://mech-lang.org/iros-r4r-2026/index.html#5805406811462... I compare one algorithm across several programming languages and backends. There is no training data for…
Gyri is very cute I will add them to my compendium of programming language mascots. Do you have any more details or back story?
Concept sounds neat is that the name or a working title? I see there’s 50/50 go/zig code, so you have a reference zig compiler and a go compiler? LLMS are neat that they can port compilers to new ecosystems, but I’m…
> I've been thinking about for a decade because of my frustration with academic code and specifically reproducibility, with Python and Matlab in particular. I'm with you there, I think I starred Oct when I came across…
Done, see reply to sibling.
https://raw.githubusercontent.com/mech-lang/mech/codex/pypy-... I added PyPy and Mojo. PyPy performs valiantly compared to Cpython -- even better than LuaJIT. I'm sure someone skilled at writing it could do an even…
I think this is true and agree. But also, the bar was pretty low before Julia, and since Julia it's been raised by languages like Futhark and Halide.
I did some Julia benchmarking over the weekend against a bunch of languages if anyone is interested. The workload is an EKF on an Apple M1, I'm trying to do as many as possible in parallel:…
Last couple weeks I've been building a new website to showcase the document formatting capabilities of my programming language Mech. It's out now: https://mech-lang.org/post/2026-05-11-version-0.3/ Mech has a builtin…
I feel like this is a good place to bring up the "Have You Tried Rubbing a Database on It?" conf, which deals with this sort of topic. If you'd like to read about the intersection between Databases and X, where X is…
If it could somehow only work if I maintain the kitchen sink and counter, then maybe I'd be motivated to keep the house clean. The gacha game trains you.
haha right! I think if I were to make Rocky though, there are a number of more geometric symbols. Maybe like ╭⬟╮
lol that's funny, I have been working seriously [1] on a feature like this after first writing about it jokingly [2] earlier this year. The joke was the assistant is a cat who is constantly sabotaging you, and you have…
I think that's exactly what is meant, and it's a great example. The two places where literate programming have shined most are 1) documentation because it's a natural fit there and you can get away with having little…
I agree with this. I've been a fan of literate programming for a long time, I just think it is a really nice mode of development, but since its inception it hasn't lived up to its promise because the tooling around the…
Also I just became aware of this list: https://people.futureofcoding.org
I remember when Windows Vista had to contend against the same allegations when it was released. It did have a higher memory footprint, but a lot of the ridiculous usage numbers people had published were the SuperFetch…
Contemporary PL designers who have inspired my programming language design journey the most are people like Chris Granger (Eve), Jamie Brandon (Eve/Imp/others), Bret Victor (Dynamicland), Chris Lattner (Swift / Mojo),…
I'm building something like Lua for robots, you might want to check it out if you're looking to collaborate. I didn't know about Lua when I started it, but I did end up at an "everything is a table" metaphor because it…
Thanks for the kind words and keeping the joke going, I laughed at many of these responses. I think they'll make it in to v2.0 which should be out by 4/1 It makes sense that the first thing I'd get to the front page of…