🔤 Type Theory

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

Type Theory and Functional Programming (1999) [pdf]
dev.to·4d·
Discuss: DEV
🧬Functional Programming
Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
OO Design Principles: GRASP patterns
slott56.github.io·1d
🔒WASM Capabilities
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·1d·
Discuss: Lobsters, Hacker News
💧Liquid Types
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·6h·
Discuss: Hacker News
📝Concrete Syntax
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·4h·
Discuss: Hacker News
⚡Dependent Rust
Nix pills
nixos.org·7h
❄️Nixpkgs
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·1d
🔗Functional Compilers
Functional Threading “Macros”
aartaka.me·11h
🧠Lisp Dialects
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
CLUE: Non-parametric Verification from Experience via Hidden-State Clustering
arxiv.org·2d
🧠Machine Learning
Four years, Five failures, One compiler
daymare.net·7h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·5d·
Discuss: Lobsters
🔗Functional Compilers
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·1d
🔀Category Theory
Issue 492
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·4h·
Discuss: DEV
⚡SMT Integration
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
✨Algebraic Effects