｢ Riot is an actor-model multi-core scheduler for OCaml 5. It brings Erlang-style concurrency to the language, where lightweight processes communicate via message-passing ｣
⚡ GNU C Library Sees Up To 12.9x Improvement With New Generic FMA Implementation // @phoronix
:akko_shrug: Why Zig Is Quietly Doing What Rust Couldn't: Staying Simple | by Dax
｢ After years of wrestling Rust — the language that promised to save us all from C but somehow turned into a personality test — Zig felt like a warm, minimalist cabin in the middle of Rust's neon-lit city.
And that's the point.
Zig isn't trying to be the future. It's trying to stay sane ｣
alcinnz
boosted
Not trying to be judgmental — use whatever site you want — but I was trying to find a new site to browse as a sort of “interesting programming-related content” aggregator. Years ago, I moved off of HN and I was on Lobsters for a bit. But looking at Lobsters now, every fifth post is about vibecoding and there’s just a lot there that doesn’t interest me.
Is there an even more niche site for people interested in little languages, permacomputing, building low level stuff, without any real focus on “productive” or “industry” programming?
Not trying to be judgmental — use whatever site you want — but I was trying to find a new site to browse as a sort of “interesting programming-related content” aggregator. Years ago, I moved off of HN and I was on Lobsters for a bit. But looking at Lobsters now, every fifth post is about vibecoding and there’s just a lot there that doesn’t interest me.
Is there an even more niche site for people interested in little languages, permacomputing, building low level stuff, without any real focus on “productive” or “industry” programming?
For those playing along at home, I’m also gonna start trying to use Lemmy.
So far, just lurking on https://lemmy.sdf.org/ no account yet.
Not trying to be judgmental — use whatever site you want — but I was trying to find a new site to browse as a sort of “interesting programming-related content” aggregator. Years ago, I moved off of HN and I was on Lobsters for a bit. But looking at Lobsters now, every fifth post is about vibecoding and there’s just a lot there that doesn’t interest me.
Is there an even more niche site for people interested in little languages, permacomputing, building low level stuff, without any real focus on “productive” or “industry” programming?
🌐 Ghc now runs in your browser
https://discourse.haskell.org/t/ghc-now-runs-in-your-browser/13169/2
theruran 💻 🌐 :cereal_killer:
boosted
I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.
The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding
I learned today that FORTRAN was not, in fact, the first high-level programming language. It was the second. It was just the first compiled high-level programming language.
The honor of being the first non-asm/machine code programming language goes to SpeedCode: https://en.wikipedia.org/wiki/Speedcoding
Jan :rust: :ferris:
and 1 other
boosted
The combinator pattern is extremely cool case study #5371:
Here's an entirely automatically generated railroad syntax diagram for the JSON parser example that comes with my parser combinator library Chumsky (https://github.com/zesterer/chumsky/).
This works for arbitrary parsers, with no additional work needed on the part of parser authors.
If you've written a parser with Chumsky, you'll be able to call just a single function to get a similar diagram for your grammar. #rustlang #plt #compilerdev
The combinator pattern is extremely cool case study #5371:
Here's an entirely automatically generated railroad syntax diagram for the JSON parser example that comes with my parser combinator library Chumsky (https://github.com/zesterer/chumsky/).
This works for arbitrary parsers, with no additional work needed on the part of parser authors.
If you've written a parser with Chumsky, you'll be able to call just a single function to get a similar diagram for your grammar. #rustlang #plt #compilerdev
💡Titania Programming Language
｢ Based on the Oberon-07 programming language designed by the late Niklaus Wirth.
This is designed to be a language to teach compiler development with ｣
Tyng-Ruey Chuang
boosted
A break from programming languages https://lobste.rs/s/loydfp #plt
https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
alcinnz
boosted
Variadic Generics ideas that won't work for #Rust - by Olivier Faure (aka poignardazur)
https://poignardazur.github.io//2025/07/09/variadic-generics-dead-ends/
"After years of design discussion, we’re finally at a stage where variadic generics are reaching the top of the triage pile. Serious discussion and initial work is, hopefully, about to start. I’m hoping this article helps us not get dragged down in litigating the same alternatives over and over again."
Me, when I see variadic generics: 🤯
alcinnz
boosted
List of #Supercompilation Resources and Papers:
https://github.com/etiams/supercompilation-resources
"Supercompilation is a principiled program transformation technique that symbolically evaluates a given input program into its more efficient version, eliminating as much of computational overhead as possible[...]."
alcinnz
boosted
In which I have Opinions about parsing and grammars - by Simon Tatham
https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/parsing/
Variadic Generics ideas that won't work for #Rust - by Olivier Faure (aka poignardazur)
https://poignardazur.github.io//2025/07/09/variadic-generics-dead-ends/
"After years of design discussion, we’re finally at a stage where variadic generics are reaching the top of the triage pile. Serious discussion and initial work is, hopefully, about to start. I’m hoping this article helps us not get dragged down in litigating the same alternatives over and over again."
Me, when I see variadic generics: 🤯
｢ Go is the most hated programming language. Compared to other languages, it provides 80% of utility with 20% of complexity. The hate comes from people who want 81% of utility, or 85% or 97% ｣
https://blog.kowalczyk.info/article/d-2025-06-26/go-is-8020-language.html