🔤 Type Theory

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

Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
On systematic construction of correct logic programs
arxiv.org·49m
⚖️Hoare Logic
Teaching programming languages
kmjn.org·16h
💻Programming languages
Sets & Heaps in Haskell and Rust
mmhaskell.com·20h
🔒Type Safety
Structural vs. Mathematical “Under” (2023)
dyalog.com·4h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Song recommendations with F# free monads
blog.ploeh.dk·21h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·13h·
Discuss: Hacker News
🌳Archive Merkle Trees
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·18h
🤝Paxos Consensus
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·14h·
Discuss: Hacker News
✅Format Verification
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Anonymous structavaganza in zig
lirk.top·11h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·49m
🎯Performance Proofs
Stable, Mutable References for Ante
antelang.org·15h·
Discuss: Hacker News, r/programming
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·23h·
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·15h
🔧Binary Parsers
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
Two Dogmas of Empiricism
en.wikipedia.org·16h·
Discuss: Hacker News
💻Programming languages