Xavier Leroy's new book on Control Sturctures in Programming https://lobste.rs/s/eolbw3 #plt
https://xavierleroy.org/control-structures/book/index.html
0
0
0
0
0
0
Deconstructing Datalog https://lobste.rs/s/lvodx4 #logiclangs #plt
https://www.rntz.net/post/my-thesis.html
0
0
0
Nontrailing separators do not spark joy via @fanf@mendeddrum.org https://lobste.rs/s/05t4zb #plt
https://buttondown.com/hillelwayne/archive/nontrailing-separators-do-not-spark-joy/
0
0
0
0
0
0
0
0
0
Making your own programming language is easier than you think (but also harder) via @lesley@mastodon.gamedev.place https://lobste.rs/s/vqjc0e #plt
https://lisyarus.github.io/blog/posts/making-your-own-programming-language.html
0
2
0
A behavioral notion of subtyping (1994) https://lobste.rs/s/ivh29f #pdf #plt
https://www.cs.cmu.edu/~wing/publications/LiskovWing94.pdf
0
0
0
A Path Not Taken for OxCaml https://lobste.rs/s/ik5vhe #ml #plt
https://joel.place/blog/path-not-taken/
0
0
0
One week of view_types https://lobste.rs/s/opwgjp #plt #rust
https://scrabsha.dev/articles/one-week-of-view-types.html
1
0
0
Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based https://lobste.rs/s/gsjskz #plt #python
https://microsoft.github.io/bocpy/
0
0
1
A bidirectional typechecking puzzle https://lobste.rs/s/rsj8sx #plt
https://haskellforall.com/2026/05/a-bidirectional-typechecking-puzzle
0
0
0
A little comparison between R and Kap https://lobste.rs/s/pxb7yu #apl #plt
https://blog.dhsdevelopments.com/a-little-comparison-between-r-and-kap
0
0
0
C3 | Blog | Unsigned sizes: a five year mistake via @chandlerc@hachyderm.io https://lobste.rs/s/bzltqt #c #plt
https://c3-lang.org/blog/unsigned-sizes-a-five-year-mistake/
0
0
0
Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt
https://www.kmjn.org/notes/microgpt_futhark.html
0
0
0
Thoughts on WebAssembly as a stack machine via @lesley@mastodon.gamedev.place https://lobste.rs/s/et1uux #plt #wasm
https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/
1
0
0
Breaking ten years of C API compatibility in Futhark https://lobste.rs/s/wedwdu #compilers #plt
https://futhark-lang.org/blog/2026-04-29-breaking-api-compatibility.html
1
0
0
Basic Type System Terminology https://lobste.rs/s/yhzg6d #plt
https://lewiscampbell.tech/blog/250817.html
1
0
0
Borrow-checking without type-checking https://lobste.rs/s/5jkwmc #plt
https://www.scattered-thoughts.net/writing/borrow-checking-without-type-checking/
1
0
0
nondescript: a simple embedded programming language by @rk@mastodon.well.com https://lobste.rs/s/ivj2o8 #show #plt
https://github.com/deadpixi/nondescript
0
0
0