🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·19h·
Discuss: Hacker News
🧮Programming Language Theory
Many hard LeetCode problems are easy constraint problems
dev.to·23h·
Discuss: DEV
🎯Constraint Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
🧮Programming Language Theory
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Local LLaMA Users: The 0~1000 Stars Semantic Firewall, Now In Human Words
reddit.com·10h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·2d
⚙Functional Programming
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
🔢Mathematical Logic
From Legal Documents to Knowledge Graphs
neo4j.com·15h·
Discuss: Hacker News
🔗Parser Combinators
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
🔧Compiler Design
CRT-structured Collatz blocks
researchgate.net·1d·
Discuss: r/mathematics
🔐Cryptography
One... Two... Testing
dev.to·15h·
Discuss: DEV
⚙Functional Programming
Private LLM Inference: Democratizing AI with Ciphertext Computations
dev.to·51m·
Discuss: DEV
🔐Cryptography
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·3d
✅Formal Verification
Computing Pairings on Elliptic Curves with Embedding Degree Two via Biextensions
eprint.iacr.org·1d
✅Formal Verification
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·2d
🔗Parser Combinators
From ASTs to RakuAST to ASTQuery
github.com·53m·
Discuss: DEV
📝Lisp
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
Issue 489
haskellweekly.news·2d·
Discuss: Hacker News
⚙Functional Programming
Can AI tell if I'm writing AI slop? A machine learning journey
mattsayar.com·1d
🎲Probabilistic Programming