oh that is fancy

https://victorpoughon.github.io/bidicalc/

apparently made out of propagators ...

#cs #plt #bidirectional #reversible #computing

https://lobste.rs/s/agc8ik/concrete_syntax_matters_actually

#ast #cst #semantics #plt

Concrete syntax matters, actually https://lobste.rs/s/agc8ik #video #plt
https://www.youtube.com/watch?v=kQjrcSMYpaA

hirrolot/datatype99: Algebraic data types for C99
https://github.com/Hirrolot/datatype99

#C #TypeTheory #PLT

Typeslayer - a TypeScript types performance tool https://lobste.rs/s/9vbm52 #video #plt
https://youtu.be/IP6EZXzXBzY

https://kentcdodds.com/blog/make-your-own-dev-tools

this was my philosophy, lean work through embedded DX (lispy, smalltalky culture), strippable at build time

but with the advent of LLMs it feels a dead end now.. maybe i'm wrong

#dx #plt #ast #software #engineering

https://jhwlr.io/super-flat-ast/

#plt #ast #optimization

Nova Programming Language

https://fed.brid.gy/r/https://nova-lang.net/

Nova Programming Language https://lobste.rs/s/getto0 #plt
https://nova-lang.net/

Adding unpack syntax to RCL

https://fed.brid.gy/r/https://ruudvanasseldonk.com/2025/adding-unpack-to-rcl

Adding unpack syntax to RCL by @ruuda https://lobste.rs/s/n6rfvu #plt
https://ruudvanasseldonk.com/2025/adding-unpack-to-rcl

Structural inheritance doesn't work where you expect it to

https://fed.brid.gy/r/https://trynova.dev/blog/oops-im-dead

Structural inheritance doesn't work where you expect it to https://lobste.rs/s/gou975 #plt
https://trynova.dev/blog/oops-im-dead

The Path to Mojo 1.0 https://lobste.rs/s/cqruqw #plt
https://www.modular.com/blog/the-path-to-mojo-1-0

Ohlang https://lobste.rs/s/4iraje #concatenative #plt
https://vms-has-a.great-site.net/tut.txt

Adding Iongraph support to ZJIT https://lobste.rs/s/zn0i6c #compilers #plt #visualization
https://railsatscale.com/2025-11-19-adding-iongraph-support/

soma: System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism https://lobste.rs/s/kojpil #haskell #plt
https://github.com/SrGaabriel/soma

Desugaring the Relationship Between Concrete and Abstract Syntax via @lesley https://lobste.rs/s/jcrlmk #compilers #plt
https://thunderseethe.dev/posts/desugar-base/

Zig's new plan for asynchronous programs

https://fed.brid.gy/r/https://lwn.net/SubscriberLink/1046084/6cb9e4e1fd82a90d/

Zig's new plan for asynchronous programs https://lobste.rs/s/uzfrya #plt #zig
https://lwn.net/SubscriberLink/1046084/6cb9e4e1fd82a90d/