#plt — Public Fediverse posts

the beauty in dsl-able languages https://lobste.rs/s/8emue2 #kotlin #plt
https://w.on-t.work/dslable

50 years of proof assistants https://lobste.rs/s/6gelfg #historical #math #plt
https://lawrencecpaulson.github.io/2025/12/05/History_of_Proof_Assistants.html

A Design Space Exploration of Async/Await https://lobste.rs/s/4haxto #pdf #plt
https://arxiv.org/pdf/2608.20677

POP-2000, a lingua-franca POP-2 dialect https://lobste.rs/s/w0d3um #concatenative #plt
https://hitogata.neocities.org/POP-2000

Micro language implementation: Calcium via @kngl https://lobste.rs/s/iii8sl #plt #python
https://nedbatchelder.com/blog/202608/micro_language_implementation_calcium

Programming Language Semantics and Memory Safety via @abnv https://lobste.rs/s/lmpkkr #plt
https://burakemir.ch/post/formal-semantics/

Bringing Primary Constructors to Dart https://lobste.rs/s/khphqe #plt
https://dart.dev/blog/bringing-primary-constructors-to-dart

NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754

Better Batteries https://lobste.rs/s/qxvz7f #plt #programming
https://matklad.github.io/2026/08/20/better-batteries.html

Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill https://lobste.rs/s/wphnca #assembly #plt
https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

Everyone Says Assembly Is Untyped—Everyone Is Wrong

https://fed.brid.gy/r/https://www.gingerbill.org/article/2026/08/20/designing-odins-inline-asm/

A Personal Computer For Children Of All Cultures https://lobste.rs/s/ikeag0 #plt #practices
https://www.deconstructconf.com/2019/ramsey-nasser-a-personal-computer-for-children-of-all-cultures

Notes: Scratch, The Programming Language https://lobste.rs/s/hivadd #plt
https://www.sheeeeeeeep.art/notes-scratch-events.html

Opinions About Compiler Building https://lobste.rs/s/vt7qpp #compilers #plt
https://programmingsimplicity.substack.com/p/opinions-about-compiler-building

Liquid Types as a behavioural sandbox for agents https://lobste.rs/s/9oy4ao #ai #plt
https://wiki.alcidesfonseca.com/blog/aeonbox-logical-guardrails-for-agents/

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/

Things I want in a modern relational query language

https://fed.brid.gy/r/https://sporks.space/2026/08/19/things-i-want-in-a-modern-relational-query-language/

Automatic Programming Should Be More Like SQL https://lobste.rs/s/oh7zna #formalmethods #plt #vibecoding
https://stng.substack.com/p/automatic-programming-should-be-more

Odin's New Inline Assembly Templates https://lobste.rs/s/loltt2 #assembly #plt #programming
https://odin-lang.org/docs/inline-asm/

Mojo is now open source https://lobste.rs/s/01lxuf #plt
https://www.modular.com/blog/mojo-open-source

A Dual View on Syntax https://lobste.rs/s/dan3jj #plt
https://text.marvinborner.de/2026-08-11-17.html

Rethinking Database Programming https://lobste.rs/s/ykq7ym #databases #elm #plt
https://acadia.engineering/blog/rethinking-database-programming

Four levels of in-place initialization via @abnv https://lobste.rs/s/snhfrq #plt
https://blog.yoshuawuyts.com/four-levels-of-in-place-initialization/

On Knowledge Representation https://lobste.rs/s/fk1u5s #philosophy #plt #programming
https://sifter.org/~simon/journal/20130713.h.html

Aiki reaches recursive self-interpretation https://lobste.rs/s/qlvnlu #go #plt #release
https://decuser.github.io/posts/aiki-alpha-mileston26-update/

A Programming Paradigm for Spatiotemporal Composability https://lobste.rs/s/wwf3th #plt
https://github.com/cordiverse/paper/blob/main/paper.pdf

Demystifying Type (and some Un-Paradoxing) https://lobste.rs/s/ex5nww #plt
https://sifter.org/~simon/journal/20260814.html