Almost Always Unsigned https://lobste.rs/s/fvpk3i #c #plt
https://graphitemaster.github.io/aau/
plt
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/
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
NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754
Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart
Rewriting the Futhark type checker via @abnv https://lobste.rs/s/roovnv #plt
https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html
Algebraic effects and handlers in portable C99 https://lobste.rs/s/nohrpm #plt
https://github.com/koka-lang/libhandler
Verse: A New Scripting Language https://lobste.rs/s/usdhrd #video #logiclangs #plt
https://youtube.com/watch?v=ebqKYLKjL6U
Learning about myself through Elm https://lobste.rs/s/f4ezx8 #elm #plt
https://whitebeard.blog/posts/learning-about-myself-through-elm/