Python is an interpreted language with a compiler

https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/

Discussions: https://discu.eu/q/https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/

Algebraic Semantics for Machine Knitting https://lobste.rs/s/koauiz #math #plt
https://uwplse.org/2025/03/31/Algebraic-Knitting.html

Python is an interpreted language with a compiler https://lobste.rs/s/m5hycn #plt #python
https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/

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

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