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/
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/
Capture Clauses as Effects https://lobste.rs/s/nlhmco #plt #rust
https://blog.yoshuawuyts.com/capture-clauses-as-effects/#optimizing-for-writes
CCL: Categorical Configuration Language https://lobste.rs/s/8whjc0 #plt #programming
https://github.com/chshersh/ccl
Languages as designed latent spaces https://lobste.rs/s/ljg2qr #ai #plt
https://blog.jsbarretto.com/post/languages-as-latent-spaces
Generic Methods in Go https://lobste.rs/s/matewg #go #plt
https://go.dev/blog/generic-methods
Existentials on a Leash https://lobste.rs/s/ncpthq #compsci #haskell #plt
https://cdfa.github.io/existentials-on-a-leash
How should Futhark expose irregular arrays to the programmer? https://lobste.rs/s/p4oxjz #apl #plt
https://futhark-lang.org/blog/2026-08-12-flatmap.html
Why Rocq is better than Lean for program verification https://lobste.rs/s/vnh6b2 #compilers #formalmethods #ml #plt
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
Tracked Capabilities for Safer Agents https://lobste.rs/s/prpmkw #plt #scala #vibecoding
https://martinodersky.substack.com/p/tracked-capabilities-for-safer-agents
Aiki reaches recursive self-interpretation https://lobste.rs/s/qlvnlu #go #plt #release
https://decuser.github.io/posts/aiki-alpha-mileston26-update/
Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/
On Knowledge Representation https://lobste.rs/s/fk1u5s #philosophy #plt #programming
https://sifter.org/~simon/journal/20130713.h.html