#plt

How to prove equations using diagrams, part 3 https://lobste.rs/s/dr5zrz #compilers #math #plt https://www.epatters.org/post/e-graphs-3/

How to prove equations using diagrams, part 1 https://lobste.rs/s/jvicvb #compilers #math #plt https://www.epatters.org/post/e-graphs-1/

Inform is a programming language for creating interactive fiction https://lobste.rs/s/immpvk #plt https://ganelson.github.io/inform-website/

Declarative Dragging via @edwintorok@discuss.systems https://lobste.rs/s/jplxxr #design #graphics #plt https://declarative-dragging.github.io/

Arrows to Arrows, Categories to Queries https://lobste.rs/s/gqis6q #databases #haskell #plt https://reasonablypolymorphic.com/blog/arrows-to-arrows/

A Second Futamura Projection via @abnv@fantastic.earth https://lobste.rs/s/ihvhfk #compilers #plt https://blog.veitheller.de/A_Second_Futamura_Projection.html

Union Types and Option Types https://lobste.rs/s/mwqrct #plt https://tibleiz.net/blog/2025-03-16-union-types-and-option-types.html

Introduction to Programming in ATS https://lobste.rs/s/oqj2zo #book #plt https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html

Pratt parsing is a black box https://lobste.rs/s/bzazar #compilers #plt https://vinipsmaker.github.io/blog/article/pratt-parsing-is-a-black-box/

Compile-Time Dependent Types via @PolyWolf@social.treehouse.systems https://lobste.rs/s/d09iy3 #ml #plt https://thenumb.at/Syl-Intro/

TypeScript and Haskell: Unions & Singletons (2024) via @abnv@fantastic.earth https://lobste.rs/s/adprro #haskell #plt https://garciat.com/posts/haskell-union-types/

Full Haskell-like Type Class resolution in Java via @abnv@fantastic.earth https://lobste.rs/s/beiiil #haskell #java #plt https://garciat.com/posts/java-type-classes/

Cuis Smalltalk https://lobste.rs/s/vqlcdk #plt https://cuis.st/

writing about pratt parsing so I remember it https://lobste.rs/s/mu3xcd #c #plt https://www.unix.dog/~yosh/blog/2026-10-25_pratt-parsing.html

The Goose Programming Language https://lobste.rs/s/dkoryq #plt https://aardappel.github.io/goose/

Integers - how ought they work? via @fanf@mendeddrum.org https://lobste.rs/s/ldgwcn #plt https://futhark-lang.org/blog/2026-10-21-integers-how-ought-they-work.html

Flow Typing, A New Lens on Linearity https://lobste.rs/s/cquwex #plt https://jaredforsyth.com/posts/papers-we-love-lens-on-linearity/

Declarative WASM GC Types https://lobste.rs/s/72bkyt #compilers #plt #wasm https://blog.veritates.love/decl-wasm-types

Intermediary between public and private members https://lobste.rs/s/fonp7g #plt

Making all divisions slower to fix a bug in 0.000000000000000000542% of cases https://lobste.rs/s/a9f6z1 #plt https://futhark-lang.org/blog/2026-10-14-defining-division.html