Things Zig comptime Won't Do

https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html

Discussions: https://discu.eu/q/https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html

Things Zig comptime Won't Do https://lobste.rs/s/yhtpk0 #plt #zig
https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html

I'm currently implementing the tree borrows paper for schmu. So far 22 of our 65 borrowing unit tests are passing.

I also found out that the current schmu borrow checker is overly strict at times. Code like this
```
let y& = 10
let z& = &y
ignore(y)
z
```

does not type check in schmu because binding `y` is used while it's still borrowed to `z`.
In tree borrows (and Rust) this typechecks because no harm is done if we're only reading and not writing.

Four Years of Jai

https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/

Discussions: https://discu.eu/q/https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/

Four Years of Jai https://lobste.rs/s/ipvyhu #plt
https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/

Flambda2 Ep. 4: How to write a purely functional compiler | OCamlPro - https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4/

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/