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
plt
MoonBit 0.9: Introducing First-Class Formal Verification via @hongminhee https://lobste.rs/s/qqfsfo #plt #release
https://www.moonbitlang.com/blog/moonbit-0-9-release
Embed You a ponyc for Great Good https://lobste.rs/s/abl7vj #plt
https://www.ponylang.io/blog/2026/04/embed-you-a-ponyc-for-great-good/
The thrilling adventures of Lovelace and Babbage https://lobste.rs/s/iayq9d #book #design #historical #plt
https://archive.org/details/thrillingadventu0000padu_a0v1
Thoughts on WebAssembly as a stack machine via @lesley https://lobste.rs/s/et1uux #plt #wasm
https://eli.thegreenplace.net/2026/thoughts-on-webassembly-as-a-stack-machine/
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt
https://github.com/solomon-b/lambda-calculus-hs
The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages https://lobste.rs/s/rxkubk #plt
https://www.iqiipi.com/the-quiet-colossus.html
Porting microgpt to Futhark, Part I https://lobste.rs/s/uch4e0 #ai #plt
https://www.kmjn.org/notes/microgpt_futhark.html
smolts: a pedagogical IDE for a teaching language https://lobste.rs/s/hr2txa #education #plt
https://eighty-twenty.org/2026/09/04/smolts
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
Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based https://lobste.rs/s/gsjskz #plt #python
https://microsoft.github.io/bocpy/
Introducing ArkTS, Huawei’s Next-Generation Development Language https://lobste.rs/s/ae6wd0 #plt
https://dev.to/harmonyos/introducing-arkts-huaweis-next-generation-development-language-jg7
Poop - a functional esolang https://lobste.rs/s/qwnm5w #plt
https://github.com/pstron/poop
Extraordinary Ordinals https://lobste.rs/s/gp48cv #art #plt
https://text.marvinborner.de/2026-04-09-17.html
Categorical Programming Language Tutorial https://lobste.rs/s/n55iup #plt
https://msakai.github.io/cpl/tutorial.html
minc — A minimal language for building native software https://lobste.rs/s/zipfsh #c #games #plt
https://minc.dev/
Bidirectional Typechecking That Does Not Stop via @brendan https://lobste.rs/s/r07ede #plt
https://semantic-domain.blogspot.com/2026/05/bidirectional-typechecking-that-does.html
Rhombus v1.0: A Racket flavored language with syntax https://lobste.rs/s/bkwkz5 #lisp #plt #programming
https://blog.racket-lang.org/2026/06/rhombus-v1.0.html
Why languages should never reorder structs https://lobste.rs/s/6otyjb #video #plt #programming
https://youtu.be/xqdiSaLRzHc
A framework for systematically addressing undefined behaviour in the C++ Standard https://lobste.rs/s/mo0lsm #pdf #c++ #plt #programming
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3100r6.pdf
Profunctors in Haskell (2011) https://lobste.rs/s/tibn5s #pdf #haskell #plt
https://github.com/dpiponi/StableBlog/blob/main/Profunctors/Profunctors.pdf
Using ASTs and CUE to describe multi-language linters and fixers https://lobste.rs/s/xnzzf6 #go #plt #vibecoding
https://github.com/imjasonh/pasta
Record type inference for dummies https://lobste.rs/s/ufml52 #plt
https://haskellforall.com/2026/06/record-type-inference-for-dummies
Implementing a Custom Query Language with Python and Apache Spark https://lobste.rs/s/ucipie #databases #plt
https://nchammas.com/writing/custom-query-language-implementation