🔤 Type Theory

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

Feeds to Scour
SubscribedAll
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·3h
🧮Theorem Proving
Preview
Report Post
Self-Supervised Temporal Pattern Mining for heritage language revitalization programs under multi-jurisdictional compliance
dev.to·23h·
Discuss: DEV
🤖Grammar Induction
Preview
Report Post
Fighting the Client Spaghetti Monster with Rust Traits
gnunicorn.org·5h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·1d
🧠Lisp Dialects
Preview
Report Post
Show HN: AutEng Docs – Generate and Share Markdown and Mermaid and Katex
auteng.ai·4h·
Discuss: Hacker News
📐Proof Assistants
Preview
Report Post
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·1d
✅Format Verification
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
Small-Gain Nash: Certified Contraction to Nash Equilibria in Differentiable Games
arxiv.org·15h
🎯Performance Proofs
Preview
Report Post
Relish: A new serialization format
alexgaynor.net·20h
🔒Linear Types
Preview
Report Post
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·1d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Issue 501
haskellweekly.news·5d
🔗Functional Compilers
Preview
Report Post
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·1d
💎Information Crystallography
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
Ramsey, Fraïssé, and orders
cameroncounts.wordpress.com·1d
🧮Algebraic Archives
Preview
Report Post
ES2026 Solves JavaScript Headaches With Dates, Math and Modules
thenewstack.io·6h
🌳Incremental Parsing
Preview
Report Post
MINES: Explainable Anomaly Detection through Web API Invariant Inference
arxiv.org·15h
🌐WARC Forensics
Preview
Report Post
What’s up Python ? Rust in CPython, immutable dicts, unpacking in comprehensions...
bitecode.dev·1d
🦀Rust Macros
Preview
Report Post
Quanta Books to Publish Popular Math and Physics Titles by Terence Tao and David Tong
simonsfoundation.org·1d
📐Mathematical Art
Preview
Report Post
SGML Syntax Reference
sgmljs.sgml.net·10h·
Discuss: Hacker News
📋Document Grammar
Preview
Report Post
Stack Overflow: Challenge #14 Signal from Noise
stackoverflow.com·11h·
Discuss: Hacker News
💾Binary codes
Preview
Report Post