🧮 Constraint SMT

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

Modern C, C23 edition, now in print
gustedt.wordpress.com·17h
✅Format Verification
Minimum Viable Caring: When Efficiency Costs Us
theproductmindedqa.com·3h·
Discuss: Hacker News
🕹️Retro Gaming
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·22m·
Discuss: Hacker News
🔓Hacking
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·7h·
Discuss: DEV
📝Concrete Syntax
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·23h
🔢Denotational Semantics
3-Day Challenge: Build Your Own AI Assistant from Scratch 🤖
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
Mitochondrial Heteroplasmy Dynamics and Inheritance: A Bayesian Network Approach to Predicting Male Transmission Rates
dev.to·1h·
Discuss: DEV
🧬Bitstream Evolution
ML model evaluation techniques may be hiding new developments in AI
arielos.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
CausalARC: Abstract Reasoning with Causal World Models
arxiv.org·23h
✨Algebraic Effects
How to Context Engineer to Optimize Question Answering Pipelines
towardsdatascience.com·10h
📄Text Chunking
6*6 Sudoku solver
dev.to·22h·
Discuss: DEV
⚡Proof Automation
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
The 100x100 Challenge: Learning Through GitHub Projects
dev.to·9h·
Discuss: DEV
🧬Bitstream Evolution
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
AI Artists vs. AI Engineers
frontierai.substack.com·1d·
Discuss: Substack
⚡Proof Automation
[R] The Illusion of Progress: Re-evaluating Hallucination Detection in LLMs
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
Flawless Contracts: AI-Powered Code Generation for Blockchain Security
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Ultra Strong Machine Learning: Teaching Humans Active Learning Strategies via Automated AI Explanations
arxiv.org·2d
💻Local LLMs
Can LLMs Lie? Investigation beyond Hallucination
arxiv.org·1d
💻Local LLMs