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…
You might be interested in following my project, as I'm trying to support exactly that nexus of features for those applications! https://github.com/mech-lang/mech…
> problem statement, [0] given as natural language, (modulo some inequalities and example program inputs/outputs) I also see two graphics, and several formal mathematical expressions. You can't modulo away all the…
I know about this one as well: https://www.reddit.com/r/ProgrammingLanguages/comments/1ioij... but the author seems to have taken it private for now. I think he's the Gren author, which is a fork of Elm. As for me, I…
I worked on this project so I can give some insight. The main reason we didn't keep working on it was it was VC funded and we didn't have a model for making money in the short term. At the end we were pursuing research…
Glad someone found it useful! It's at least represents a more fleshed out working example, and it's in a little module so it's pretty self-contained and easy to read through. > I'm assuming this isn't your first go at…
Super cool! I just happened to write one of these last week, I posted it here if anyone wants to take a look at another implementation: https://github.com/mech-lang/mech/releases/tag/v0.2.58-beta The code is here:…
No, I mean these low bus factor languages don't really die as long as the BDFL keeps working on it. Biggar keeps Dark going through thick and thin. Chiusano likewise with Unison. Even if their Unison public benefit corp…
Agreed in hindsight, but at the same time there was no place else where a couple of 20-somethings could grab a cup of coffee with a VC and walk away with a handshake deal for $2 million dollars. That just didn't happen…
You just have to look at the landscape at the time. There was a lot of money to be had if you promised the sun and moon, because $2 million wasn't a lot compared to the potential upside. The problem was, and this is…
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…
You might be interested in following my project, as I'm trying to support exactly that nexus of features for those applications! https://github.com/mech-lang/mech…
> problem statement, [0] given as natural language, (modulo some inequalities and example program inputs/outputs) I also see two graphics, and several formal mathematical expressions. You can't modulo away all the…
I know about this one as well: https://www.reddit.com/r/ProgrammingLanguages/comments/1ioij... but the author seems to have taken it private for now. I think he's the Gren author, which is a fork of Elm. As for me, I…
I worked on this project so I can give some insight. The main reason we didn't keep working on it was it was VC funded and we didn't have a model for making money in the short term. At the end we were pursuing research…
Glad someone found it useful! It's at least represents a more fleshed out working example, and it's in a little module so it's pretty self-contained and easy to read through. > I'm assuming this isn't your first go at…
Super cool! I just happened to write one of these last week, I posted it here if anyone wants to take a look at another implementation: https://github.com/mech-lang/mech/releases/tag/v0.2.58-beta The code is here:…
No, I mean these low bus factor languages don't really die as long as the BDFL keeps working on it. Biggar keeps Dark going through thick and thin. Chiusano likewise with Unison. Even if their Unison public benefit corp…
Agreed in hindsight, but at the same time there was no place else where a couple of 20-somethings could grab a cup of coffee with a VC and walk away with a handshake deal for $2 million dollars. That just didn't happen…
You just have to look at the landscape at the time. There was a lot of money to be had if you promised the sun and moon, because $2 million wasn't a lot compared to the potential upside. The problem was, and this is…