Solod v0.2: Networking, new targets, friendlier interop https://lobste.rs/s/glklp0 #go #plt
https://antonz.org/solod-v0-2/
plt
ATS Programming Language https://lobste.rs/s/vnk1fh #plt
https://www.cs.bu.edu/~hwxi/atslangweb/
Nontrailing separators do not spark joy via @fanf https://lobste.rs/s/05t4zb #plt
https://buttondown.com/hillelwayne/archive/nontrailing-separators-do-not-spark-joy/
A Brief Introduction to Icon https://lobste.rs/s/qsrmdw #plt
https://www2.cs.arizona.edu/icon/intro.htm
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees https://lobste.rs/s/aspeso #plt #rust
https://dl.acm.org/doi/pdf/10.1145/3763122
Almost Always Unsigned https://lobste.rs/s/fvpk3i #c #plt
https://graphitemaster.github.io/aau/
Bab: a family of hashing functions for p2p networks https://lobste.rs/s/wcdzpt #distributed #plt
https://bab-hash.org/
Deconstructing Datalog https://lobste.rs/s/lvodx4 #logiclangs #plt
https://www.rntz.net/post/my-thesis.html
Reducing Assumptions, Exploding Your Code https://lobste.rs/s/be22hc #plt
https://ryelang.org/blog/posts/reducing_assumptions_but_exploding/
Intermediary between public and private members https://lobste.rs/s/fonp7g #plt
An informal tutorial on Joy https://lobste.rs/s/93norp #plt
https://www.kevinalbrecht.com/code/joy-mirror/j01tut.html
Temper Language https://lobste.rs/s/in1oer #plt
https://temperlang.dev/
Things I want in a modern relational query language https://lobste.rs/s/p5lkok #databases #plt
https://sporks.space/2026/08/19/things-i-want-in-a-modern-relational-query-language/
Signed Integers By Default via @RunxiYu https://lobste.rs/s/asnoqy #plt
https://www.gingerbill.org/article/2026/05/03/signed-by-default/
Capture Clauses as Effects https://lobste.rs/s/nlhmco #plt #rust
https://blog.yoshuawuyts.com/capture-clauses-as-effects/#optimizing-for-writes
Simple Hindley-Milner in Practice (2025) via @abnv https://lobste.rs/s/ksxquq #haskell #plt
https://www.andrevdm.com/posts/2025-05-29-simple-hm-in-practice.html
CCL: Categorical Configuration Language https://lobste.rs/s/8whjc0 #plt #programming
https://github.com/chshersh/ccl
i've been thinking about null pointers via @RunxiYu https://lobste.rs/s/tnlxmc #plt
https://sebsite.pw/w/20260715-null.html
Languages as designed latent spaces https://lobste.rs/s/ljg2qr #ai #plt
https://blog.jsbarretto.com/post/languages-as-latent-spaces
two case studies of NaN https://lobste.rs/s/v5hkjy #plt
https://sebsite.pw/w/20260709-nan.html
Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods
POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000
Existentials on a Leash https://lobste.rs/s/ncpthq #compsci #haskell #plt
https://cdfa.github.io/existentials-on-a-leash