Neurosymbolic Programming with Scallop https://lobste.rs/s/v4cr5g #ai #plt
https://www.scallop-lang.org/

Specializing Python with E-graphs https://lobste.rs/s/keuyf4 #plt #python
https://vectorfold.studio/blog/egglog

C++/Rust Interoperability Problem Statement https://lobste.rs/s/h0yytn #c++ #plt #rust
https://github.com/rustfoundation/interop-initiative

A C implementation of defer using `goto` https://lobste.rs/s/bzjmio #c #plt
https://gist.github.com/viega/f063010765a47ca9aa000a75ec55f8e2

Half Constructed Objects Are Unnecessary https://lobste.rs/s/z4halj #plt
https://jerf.org/iri/post/2025/fp_lessons_half_constructed_objects/

In Search of the Next Great Programming Language

https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md

Discussions: https://discu.eu/q/https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md

Does unsafe undermine Rust's guarantees?

https://steveklabnik.com/writing/does-unsafe-undermine-rusts-guarantees/

Discussions: https://discu.eu/q/https://steveklabnik.com/writing/does-unsafe-undermine-rusts-guarantees/

Red v0.6.6: Memory Management Improvements https://lobste.rs/s/d1eytn #plt #programming
https://www.red-lang.org/2025/03/066-memory-management-improvements.html

Does unsafe undermine Rust's guarantees? https://lobste.rs/s/mg1khc #compsci #plt #rust
https://steveklabnik.com/writing/does-unsafe-undermine-rusts-guarantees/

In Search of the Next Great Programming Language by @robinheghan https://lobste.rs/s/j61hod #plt
https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md

I don't think error handling is a solved problem in language design

https://utcc.utoronto.ca/~cks/space/blog/programming/ErrorHandlingNotSolvedProblem

Discussions: https://discu.eu/q/https://utcc.utoronto.ca/~cks/space/blog/programming/ErrorHandlingNotSolvedProblem

I don't think error handling is a solved problem in language design https://lobste.rs/s/ogaalf #plt
https://utcc.utoronto.ca/~cks/space/blog/programming/ErrorHandlingNotSolvedProblem

The Calculated Typer https://lobste.rs/s/zl1hmg #pdf #plt
https://bahr.io/pubs/entries/calctyper.html

Rhombus is ready for early adopters

https://rhombus-lang.org/

Discussions: https://discu.eu/q/https://rhombus-lang.org/

｢ Instead of hoping that an opaque compiler will auto-generate the fastest possible code, USLs put programmers in the driver's seat, allowing them to write “schedules” that explicitly control how the compiler generates code. This enables performance engineers to transform simple programs that specify what they want to compute into complex programs that do the same thing as the original specification, but much, much faster ｣

https://news.mit.edu/2025/high-performance-computing-with-much-less-code-0313

The Rhombus Programming Language https://lobste.rs/s/7iel5b #lisp #plt
https://rhombus-lang.org

Optimal Bounds for Open Addressing Without Reordering via @cyplo https://lobste.rs/s/tb9lr7 #plt
https://arxiv.org/abs/2501.02305

From Languages to Language Sets

https://gist.github.com/xixixao/8e363dbd3663b6729cd5b6d74dbbf9d4

Discussions: https://discu.eu/q/https://gist.github.com/xixixao/8e363dbd3663b6729cd5b6d74dbbf9d4

Zest: a programming language for malleable and legible systems

https://github.com/jamii/zest

Discussions: https://discu.eu/q/https://github.com/jamii/zest

Zest: a programming language for malleable and legible systems https://lobste.rs/s/grpayi #compilers #plt #zig
https://github.com/jamii/zest