Dependent types I › Universes, or types of types
jonmsterling.com·19h·
Discuss: Hacker News
🔤Type Theory
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·2d
👑Dependent Haskell
Vibe Coding a Simple Feature Took 3 Hours. Here's Why.
dev.to·6h·
Discuss: DEV
✨Effect Handlers
Spectrum – catching clojure.spec conform errors at compile time
github.com·9h·
Discuss: Hacker News
🔗Functional Compilers
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Implementing Forth in Go and C
eli.thegreenplace.net·22h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Optical generative models
nature.com·9h
🌈Holographic Archives
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·7h·
Discuss: Hacker News
🔍Information Retrieval
The Grammar According to West
dwest.web.illinois.edu·11h·
Discuss: Hacker News
🔬Lean
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Deep dive into Mojo object initialization
connorgray.com·8h·
Discuss: Hacker News
🦀Rust Borrowing
Inside Zig's New Writer
joegm.github.io·10h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Introducing TypeKro
yehudacohen.substack.com·1h·
Discuss: Substack
🏠Homelab Orchestration
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Python 3.14 Preview: Lazy Annotations
realpython.com·11h
λLambda Formalization
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·14h
🌳Archive Merkle Trees
Teaching programming languages
kmjn.org·2d
💻Programming languages