🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

My AI Workflow for Understanding Any Codebase
steipete.me·1d
⚡Proof Automation
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Proving that every program halts
ntietz.com·3d
👑Isabelle
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·1d
🦠Malware Analysis
Godel's Incompleteness Theorem
news.ycombinator.com·21h·
Discuss: Hacker News
🔤Type Theory
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·1d
📝Concrete Syntax
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
Writing Toy Software Is a Joy
quiz.businessexplain.com·10h·
Discuss: Hacker News
🔩Systems Programming
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·3d
📏Linear Logic
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·23h
📊Graph Databases
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1d·
Discuss: DEV
🤖Lisp Machines
🚀 Introducing MultiMind SDK: Fine-Tune, Build, and Deploy LLM
dev.to·18h·
Discuss: DEV
🔗Topological Sorting
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·9h
🔗Parser Combinators
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·5h
💧Liquid Types
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·1d
💻Local LLMs
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·16h·
Discuss: DEV
🔌Operating system internals
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems