🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Modern C, C23 edition, now in print
gustedt.wordpress.com·14h
✅Format Verification
<p>I saw someone online mention <a href="https://www.zo.computer">Zo Computer</a> so I though I&rsquo;d give it a try. Asked it to produce a Go function based o...
lmika.org·22h
🧮Z3 Solver
Small Language Models are the Future of Agentic AI
machinelearningmastery.com·1d
💻Local LLMs
System design for assigning roles to users, simplified RBAC authorization
reddit.com·1d·
Discuss: r/golang
🔒WASM Capabilities
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·1d·
Discuss: Hacker News
⚡Proof Automation
SQLite can handle most of it
binaryigor.com·6h·
Discuss: Hacker News
🗄️SQLite Internals
AI Idea #1757093985
dev.to·6h·
Discuss: DEV
🎛️Feed Filtering
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
arxiv.org·1d
🔗Hash Chains
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·1d
✨Effect Handlers
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·19h
🌊Stream Processing
Formal Verification of Isothermal Chemical Reactors
arxiv.org·2d
👑Isabelle/HOL
Lively Linear Lisp (1992)
plover.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
AI in Healthcare: How LLMs are Transforming Medical Documentation and Decision Making
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·1d
👑Coq Tactics
The maths you need to start understanding LLMs
gilesthomas.com·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
This One Python Trick Will Make Your Code Look Like a Pro’s
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
Automated Circuit Fault Diagnosis via Dynamic Graph Neural Network Fusion
dev.to·9h·
Discuss: DEV
⚡Circuit Design
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·19h
🔢Denotational Semantics
3-Day Challenge: Build Your Own AI Assistant from Scratch 🤖
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
CausalARC: Abstract Reasoning with Causal World Models
arxiv.org·19h
✨Algebraic Effects