cmontella

Joined 12 years ago

Karma
1,038
Submissions
220
Member since
Sep 2
Github Profile: https://github.com/cmontella

Author of: https://github.com/mech-lang

Past Projects:

https://github/witheve

View on Hacker News

Recent submissions

Comment · 9 days ago
> 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)

Comment · 17 days ago
Comment · 23 days ago
I'll submit a post to HN soon, probably not on r/programminglanguages since I'm using more AI than they'd appreciate in my work these days.
Comment · 23 days ago
Yes!
Comment · 23 days ago
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 for a rundown of how it works and a demo.
Comment · 1 month ago
> 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 much from the training. You really do have to measure these things, I don’t see how you can make a confident assertion without data.

Comment · 1 month ago
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 Mech in the LLM yet it beats most other implementations in perf, which were optimized by LLM.

Maybe human performance engineers trained in these languages could write better implementations. But to answer the question of whether the LLM could write more performant code in languages it’s trained in versus languages it’s not, this comparison is at least illustartive.

Comment · 1 month ago
Gyri is very cute I will add them to my compendium of programming language mascots. Do you have any more details or back story?
Comment · 1 month ago
Platforms and programming systems, e.g. Beam.
Comment · 1 month ago
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 wondering what prompted that change, because even if it’s LLM assisted it’s not always an automatic task.

That’s an interesting idea about an aromas transition, I’ll have to think about that. I put state machines in the language for better static program analysis and tracing, I think the aromas idea could complement that. What do you see as the main utility?

Have you written about your work anywhere else?

Comment · 1 month ago
Comment · 1 month ago
Done, see reply to sibling.
Comment · 1 month ago
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 better job.

I measured 3 Mojo implementations. The first is a dynamic implementation, it performs like a typical dynamic language. Then when you use Mojo's SIMD intrinsics you can get compiled-tier performance in line with Futhark, Julia, Rust etc.

Then if you use their Max toolchain you can compile Mojo directly to Metal, with performance at the top of the stack (for the amount of money Qualcomm paid they'd better be there!).

The Rust / Mech version was rewritten to put it back on top, but the unchecked test is about equal. Basically if a toolchain can emit direct Metal code there's nothing preventing equal performance it seems, so the magic is in the compiler. Although there is some abstraction overhead depending on how you get there e.g. going wgpu->Metal has a penalty over going directly to Metal.

The big disclaimer again is that all of these measurements should be taken as lower bounds for one algorithm on one machine. I'm sure expert performance engineers could do better.

Comment · 2 months ago
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.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton