The 5 Levels of Configuration Languages

https://beza1e1.tuxen.de/config_levels.html

Discussions: https://discu.eu/q/https://beza1e1.tuxen.de/config_levels.html

The 5 Levels of Configuration Languages via @hasnep https://lobste.rs/s/erkm24 #plt
https://beza1e1.tuxen.de/config_levels.html

The Y Combinator Explained in Python https://lobste.rs/s/mc7ta1 #plt #python
https://lptk.github.io/programming/2019/10/15/simple-essence-y-combinator.html

facet: Rust reflection, serialization, deserialization — know the shape of your types

https://github.com/facet-rs/facet

Discussions: https://discu.eu/q/https://github.com/facet-rs/facet

Doing the Prospero-Challenge in RPython https://lobste.rs/s/5nedly #compilers #performance #plt
https://www.pypy.org/posts/2025/04/prospero-in-rpython.html

The SRE regular-expression notation (1998)

https://www.khoury.northeastern.edu/~shivers/papers/sre.txt

Discussions: https://discu.eu/q/https://www.khoury.northeastern.edu/~shivers/papers/sre.txt

The SRE regular-expression notation (1998) https://lobste.rs/s/bn0m18 #lisp #plt
https://www.khoury.northeastern.edu/~shivers/papers/sre.txt

Thinking like a compiler: places and values in Rust

https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/

Discussions: https://discu.eu/q/https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/

Writing C for curl | daniel.haxx.se

https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/

Discussions: https://discu.eu/q/https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/

A rough survey of compilation, recompilation, and compile-time evaluation

https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/

Discussions: https://discu.eu/q/https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/

Thinking like a compiler: places and values in Rust https://lobste.rs/s/3dv6ix #plt #rust
https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/

Writing C for curl https://lobste.rs/s/jooshq #c #plt
https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/

Compilers: Incrementally and Extensibly https://lobste.rs/s/sbuuzu #compilers #ml #plt
https://okmij.org/ftp/tagless-final/Compiler/index.html

A rough survey of compilation, recompilation, and compile-time evaluation https://lobste.rs/s/wn2ley #plt
https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/

Syntactic Musings on View Types https://lobste.rs/s/6rnhbq #plt #rust
https://blog.yoshuawuyts.com/syntactic-musings-on-view-types

This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.

--

Making OCaml Safe for Performance Engineering | Lobsters

https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance

How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure)

https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure

Discussions: https://discu.eu/q/https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure

Roguetype: The first ever roguelike written in the OCaml type system

https://github.com/Octachron/roguetype

Discussions: https://discu.eu/q/https://github.com/Octachron/roguetype

How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure) https://lobste.rs/s/sirtt6 #java #plt
https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure

The Memory Safety Continuum https://lobste.rs/s/xpmufx #plt #security
https://memorysafety.openssf.org/memory-safety-continuum/