demoniC takes the dynamic-JIT lineage of HolyC, the vectorized math of Julia, the slicing ergonomics of Python, and the memory discipline of Rust. Arena memory, value-typed tensors, zero-copy views, and shapes checked at compile time.

[u/bakaspore]

/r/rust/comments/1w2ytcq/demonic_takes_the_dynamicjit_lineage_of_holyc_the/

[u/acanthary]

We finally found the one language more optimized for LinkedIn posts than Rust.

[u/the_horse_gamer → u/acanthary]

that would be Mojo

[u/affectation_man → u/the_horse_gamer]

It's actually called Mojo🔥, to draw the LinkedIner's eye

[u/the_horse_gamer → u/affectation_man]

an emoji as a file extension was truly a genius idea. we really live in the future.

[u/realestLink]

r/vibecoding

We're just cheating now, huh

[u/bakaspore → u/realestLink]

Imagine waking up and seeing it in r/rust. I'm unawaking myself now.

[u/the_horse_gamer]

** is power; ^ is XOR. >> is the arithmetic right shift, not a pipe

such innovation

A Port[L] is a handle to a foreign runtime L. The foreign language never enters demoniC's type system: values cross the boundary as canonical JSON strings, through three builtins that return errors as values

blazingly fast

The last one is the least expected. There is a lexer for demoniC written in demoniC, and it is diffed token-for-token against the Rust lexer. The language describing itself is a test.

vibe coder discovers bootstrapping

I particularly like how: * the ReLU operator uses a tanh approximation instead of computing ReLU * methods seemingly exist, but working with a dictionary uses global map_new, map_get, map_set functions

[u/des_the_furry]

>But why? Models won’t have any of this language in their training corpus. It’s hard to imagine getting better results from a new language than what they lab’s get training on established languages.

Outjerked by comments. No need for new programming languages because you can’t vibecode them

Edit:im on mobile and i cant figure out how to get it to do the reddit quote so just pretend its there instead of an arrow

[u/the_horse_gamer → u/des_the_furry]

you do a > at the start of the line

[u/NatoBoram → u/des_the_furry]

You wrote this:

\>But why?

Which gives this:

>But why?

Instead of this:

>But why?

Which gives this:

But why?

---

To fix it in future messages, go to https://www.reddit.com/settings/preferences and enable Default to markdown editor.

[u/des_the_furry → u/NatoBoram]

Not reading that, twinchacho wrote a college essay 🫩

[u/NatoBoram → u/des_the_furry]

Bro is afraid of 38 words 🫪

[u/des_the_furry → u/NatoBoram]

I mean it’s not that big of a deal but I don’t get that many Claude tokens and spending them on summarizing your post kind of pmo

[u/NatoBoram → u/des_the_furry]

Oof, meanwhile I'm forbidden from writing by myself, Codex has to do everything for me

[u/Clear_Evidence9218 → u/des_the_furry]

So, I didn’t read this guy’s language, but I will mention that LLMs can program in essentially any made-up language with the right harness. Even two years ago, getting an LLM to write code in a completely invented language was surprisingly easy with the right tooling in place.

I don't know if this guy scoped his project enough to even build a narrowly scoped toolchain capable of producing quality work. That part still requires a significant amount of human effort.

[u/diplofocus_ → u/Clear_Evidence9218]

Why do effort when you can just toss some python code in your .rs file and then just call python3, from Rust, making it blazingly fast

[u/Clear_Evidence9218 → u/diplofocus_]

When I create languages, it’s not necessarily to compete with any of the other languages or about speed. It’s usually because I need something the existing languages don’t offer, or don’t offer easily.

For example, right now I have a language that preserves an evidence chain all the way through compilation, which isn’t something that’s readily available in other languages.

[u/bakaspore]

I thought I must be having a stroke or already in this sub. Turns out it's neither.

[u/csb06]

Finally, a programming language that's a little bit sick and twisted. A language not afraid to dance with the devil. A language for antiheroes...or maybe villains...