NASA's System Modeling Language, FPP https://lobste.rs/s/mlishw #plt
https://ieeexplore.ieee.org/document/9843754
plt
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/
Cylic trait implementations: motivation https://lobste.rs/s/zq9czz #compilers #plt #rust
https://smallcultfollowing.com/babysteps/blog/2026/08/10/cyclic-trait-solving/
Why Go is an Ideal Language for AI-Assisted Software Engineering- Google Developers Blog https://lobste.rs/s/0rtina #plt #vibecoding
https://developers.googleblog.com/why-go-is-an-ideal-language-for-ai-assisted-software-engineering/
Tail-Call Interpreters in Rust via @nemin https://lobste.rs/s/bp6bmx #plt #rust
https://lordgoati.us/blog/tail-call/
The Unreasonable Effectiveness of Constructive Data Modeling via @nemin https://lobste.rs/s/vptzoz #video #plt
https://www.youtube.com/watch?v=0BXuYlNrUmE
Functional programming from first principles, part 1 – motivation https://lobste.rs/s/ajqxvq #plt #programming
https://www.endoflineblog.com/functional-programming-from-first-principles-part-1-motivation
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
Demystifying Type (and some Un-Paradoxing) https://lobste.rs/s/ex5nww #plt
https://sifter.org/~simon/journal/20260814.html
Postmortem for Lean Kernel Soundness Bug #14576 https://lobste.rs/s/ojcl8j #plt
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/
A Programming Paradigm for Spatiotemporal Composability https://lobste.rs/s/wwf3th #plt
https://github.com/cordiverse/paper/blob/main/paper.pdf
Rethinking Database Programming https://lobste.rs/s/ykq7ym #databases #elm #plt
https://acadia.engineering/blog/rethinking-database-programming
A Dual View on Syntax https://lobste.rs/s/dan3jj #plt
https://text.marvinborner.de/2026-08-11-17.html
Kythe, a pluggable, language-agnostic ecosystem for building tools that work with code https://lobste.rs/s/uqezny #editors #plt
https://kythe.io
Four levels of in-place initialization via @abnv https://lobste.rs/s/snhfrq #plt
https://blog.yoshuawuyts.com/four-levels-of-in-place-initialization/