🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

How Many Paths of Length K Are There Between a and B?
horace.io·52m·
Discuss: Hacker News
🕸️Graph Theory
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·8h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Deep Think with Confidence
arxiviq.substack.com·6h·
Discuss: Substack
🎲Probabilistic Programming
busy beaver function
ncatlab.org·1d
🔄Category Theory
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·23h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Q3 2025 Funding Announcement
clojuriststogether.org·1d
🔧Compiler Design
Making Illegal States Unrepresentable in Kotlin
dev.to·3d·
Discuss: DEV
⚙Functional Programming
JavaScript lib for exchanging selective disclosure proofs
github.com·1d·
Discuss: Hacker News
🤝Protocol Design
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🎯Constraint Programming
How LLMs Learn to Solve Complex Math
hackernoon.com·1d
🧩Theorem Proving
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·7h·
Discuss: Hacker News
🧮Programming Language Theory
Articles - ACM Queue
queue.acm.org·21h
🔧Compiler Design
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·1d·
Discuss: Hacker News, r/cpp
🧠Memory Management
Hyper-Wordle strategies
chriskw.xyz·5h·
Discuss: Hacker News
🔗Parser Combinators
I have some compute to finetune a creative model - opinions needed!
reddit.com·1d·
Discuss: r/LocalLLaMA
📝Lisp
CRYSTALS - The Gently Introduction
dev.to·3d·
Discuss: DEV
🔐Cryptography
A systematic review of transformers and large language models in the energy sector: towards agentic digital twins
sciencedirect.com·7h
🎲Probabilistic Programming
AI Powered Arduino Smart Lock | Unlock Your Door by Answerin
hackster.io·6h
🛡️IoT Security
A Program That Molds To Your Needs II
irreal.org·4h
🔧Compiler Design