Integer Set Library (ISL) - A Primer
jeremykun.com·11h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Flag this post
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
arxiv.org·3h
🛡️Proof-Carrying Archives
Flag this post
Kazhdan Seminar fall 2025 – Starting Today Oct. 19, 2026.
gilkalai.wordpress.com·1d
🧮Theoretical Computer Science
Flag this post
Finding links between gcc source code and the C Standard
shape-of-code.com·8h
📜Proof Carrying Code
Flag this post
Programming Language Checklist (2011)
mcmillen.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
mikeizbicki/HLearn
github.com·2d
🔗Monadic Parsing
Flag this post
computational trilogy in nLab
ncatlab.org·2d
λLambda Formalization
Flag this post
Modeling Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News, Hacker News
🔶Cubical Type Theory
Flag this post
A Token of My Affliction: The Hidden Pain Behind Every LLM
dev.to·1d·
Discuss: DEV
📝Text Parsing
Flag this post
The Spherical Cows of Programming
programmingsimplicity.substack.com·15h·
Discuss: Substack
🐚Shell Calculus
Flag this post
Optimizing Text Offset Calculations
beeb.li·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
ML Workload Runs 30x Faster w AVX-512
parallelprogrammer.substack.com·13h·
Discuss: Substack
🔢Bitwise Algorithms
Flag this post
I Used This Open Source Library to Integrate OpenAI, Claude, Gemini to Websites Without API Keys
itsfoss.com·3h
🌀Brotli Internals
Flag this post
LoC Is a Dumb Metric for Functions
theaxolot.wordpress.com·12h·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post
I Built a SAT Solver Inspired by Quantum Field Theory and It Works
sethuiyer.github.io·5h·
Discuss: Hacker News
⚛️Information Physics
Flag this post
Formalising external APIs
gleam.run·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Building Fast Vector Search for Legal Documents
huggingface.co·3h·
Discuss: Hacker News
🌀Brotli Dictionary
Flag this post
Speeding up C++ functions with a thread_local cache
lemire.me·9h·
Discuss: Hacker News
💨Cache Optimization
Flag this post
Writing a tiny TrueType parser and renderer from scratch
yayo1.com·1d·
Discuss: Hacker News
🔤Font Archaeology
Flag this post
Show HN: MoraCode – AI assistance on large/multi-repo codebases
moracode.ai·33m·
Discuss: Hacker News
⚡Proof Automation
Flag this post