🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Typeclassopedia
wiki.haskell.org·21h·
Discuss: Hacker News
🧬Functional Programming
Teaching programming languages
kmjn.org·13h
💻Programming languages
Sets & Heaps in Haskell and Rust
mmhaskell.com·16h
🔒Type Safety
Song recommendations with F# free monads
blog.ploeh.dk·17h
🔗Functional Compilers
A Review of Developmental Interpretability in Large Language Models
arxiv.org·21h
🤖Grammar Induction
The Lobster Programming Language
strlen.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·10h·
Discuss: Hacker News
🌳Archive Merkle Trees
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·10h·
Discuss: Hacker News
✅Format Verification
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Anonymous structavaganza in zig
lirk.top·7h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·11h·
Discuss: Hacker News, r/programming
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·19h·
Discuss: Hacker News
🧪Binary Fuzzing
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Claude Code's 19 cent Parser
blogger.com·12h
🔧Binary Parsers
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Two Dogmas of Empiricism
en.wikipedia.org·12h·
Discuss: Hacker News
💻Programming languages
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
FLINT: Fast Library for Number Theory
flintlib.org·6h
🧮Algebraic Datatypes
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·15h·
Discuss: DEV
🔗Constraint Handling