🧮 Constraint SMT

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

“A small group of mathematicians . . .”
statmodeling.stat.columbia.edu·17h
📚Archive Mathematics
Building a Sleeper Computer from an SGI Indy
buu342.me·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com·18h·
Discuss: Hacker News
🏛️Byzantine Archives
Identity vs. Equality in Python
pythonkoans.substack.com·1d·
Discuss: Substack
🔤Type Theory
Show HN: MCP server for Blender that builds 3D scenes via natural language
blender-mcp-psi.vercel.app·1d·
Discuss: Hacker News
🎙️Whisper
You Can't Buy Integration (2021)
martinfowler.com·1d·
Discuss: Hacker News
⚡SMT Integration
Functional Abstract Interpretation
simon.peytonjones.org·6d·
Discuss: Hacker News
🔗Functional Compilers
Vibe Coding and Robocop
remysharp.com·1d·
Discuss: Hacker News
🔓Hacking
Avoiding Management
funcall.blogspot.com·10h·
Discuss: Hacker News
⚔️Lean Tactics
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·4d
💻Programming languages
Reading Between the Lines: Combining Pause Dynamics and Semantic Coherence for Automated Assessment of Thought Disorder
arxiv.org·3h
👂Psychoacoustics
SOTA Multi-Platform Matrix Multiplication Kernels
burn.dev·4d·
Discuss: Hacker News, r/programming
⚡SIMD Optimization
Structural Connectome Harmonization Using Deep Learning: The Strength of Graph Neural Networks
arxiv.org·3h
🕸️Graph Embeddings
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
H-Nets – The Future
goombalab.github.io·2d·
Discuss: Hacker News
📼Cassette Combinators
Generative AI vs. AI Agents vs. Agentic AI: What’s the Difference?
dev.to·20h·
Discuss: DEV
⚡Proof Automation
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·3d·
Discuss: DEV
⚡SIMD Optimization
From Neural Network Frustration to Mathematical Innovation
dev.to·2d·
Discuss: DEV
🧠Machine Learning
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·1d·
Discuss: DEV
⚡Incremental Computation