🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·18h
🧮Programming Language Theory
Automating Boundary Filling in Cubical Type Theories
arxiv.org·14h
🧮Programming Language Theory
CPU Core Deception: The Genius of Virtual Cores and Performance
dev.to·16h·
Discuss: DEV
🏗Computer Architecture
The Generativity Pattern in Rust
arhan.sh·32m·
Discuss: Lobsters, Hacker News
⚙Functional Programming
BACON: An Improved Vector Commitment Construction with Applications to Signatures
eprint.iacr.org·1d
🔐Cryptography
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·1h·
Discuss: blog.computationalcomplexity.org
📈Complexity Theory
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🧩Theorem Proving
Who Am I in the Eye of AI?
lightcapai.medium.com·37m·
Discuss: Hacker News
🧮Programming Language Theory
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·2h·
Discuss: Lobsters, Hacker News
📝Lisp
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·7h
🔐Cryptography
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·10h·
Discuss: Hacker News
⚙Functional Programming
Extensions and Shadows (9)
sites.psu.edu·4h
⚙Functional Programming
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·5h
🧮Programming Language Theory
Full stack open
fullstackopen.com·6h
📝Lisp
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·14h
🔗Parser Combinators
[D] reflecting on 8 years of model inference
reddit.com·1d·
Discuss: r/MachineLearning
🎲Probabilistic Programming
Challenges of Pseudocode Expansion
funcall.blogspot.com·11h·
Discuss: www.blogger.com
📝Lisp
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·5h·
Discuss: r/programming
🔧Compiler Design
My Interview with Claude Code
mattlangston.com·20h·
Discuss: Hacker News
🧩Theorem Proving
LLMs - Embeddings 01
dev.to·12h·
Discuss: DEV
🔗Parser Combinators