Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
🔤Type Theory
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Implementing Forth in Go and C
eli.thegreenplace.net·12h·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Inside Zig's New Writer
joegm.github.io·1h·
Discuss: Lobsters, Hacker News
💧Liquid Types
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Teaching programming languages
kmjn.org·2d
💻Programming languages
One-shot design of functional protein binders with BindCraft
nature.com·10m
⬆️Lambda Lifting
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
🔬Lean
Python 3.14 Preview: Lazy Annotations
realpython.com·2h
λLambda Formalization
Stop Being a Replaceable Printer
dev.to·7h·
Discuss: DEV
🔄Reproducible Builds
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·4h
🌳Archive Merkle Trees