Viewing profile — cmontella

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-0…

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 …

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 c…

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…

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 …

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 peo…

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 (Dynami…

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 "ever…

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 fi…

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 https://www.hytra…

> problem statement, [0] given as natural language, (modulo some inequalities and example program inputs/outputs) I also see two graphics, and several formal mathematical expressio…

I think it's the exact opposite -- LLMs have revealed the precise utility of programming languages. For decades the "English as programming language" has been the holy grail of lan…

> this sounds more like an artsclass to me. Indeed, it is, and that's the point! Being interfaces to computers for humans, programming languages sit at the intersection of computer…

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, …

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…

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…

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/t…

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. E…

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 mi…