progscrape: plt

A dumb introduction to z3

3 months ago asibahi.github.io formalmethods plt rust

Hashed sorting is typically faster than hash tables

3 months ago reiner.org hash plt rust

Subtext Retrospective

2 months ago subtext-lang.org plt

C++26: Erroneous behaviour

3 months ago sandordargo.com c++ plt

Type checking is a symptom, not a solution

3 months ago programmingsimplicity.substack.com plt

The Expression Problem and its solution

3 months ago eli.thegreenplace.net plt

Faking ADTs and GADTs in Languages That Shouldn't Have Them

3 months ago blog.jle.im plt

The E Language

3 months ago erights.org plt

Program Inversions to Reorder Code (1977)

3 months ago minds.wisconsin.edu plt

A Early History of Algebraic Data Types

2 months ago hillelwayne.com historical plt