🧮 Constraint SMT

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

Why Your Legacy APIs Are a Roadblock for AI Agents
thenewstack.io·1d
🔌Interface Evolution
The Whop chop: how we cut a Rails test suite and CI time in half
evilmartians.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·1d
✅Format Verification
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·3d
🔤Type Theory
Unlocking the Power of Agentic AI with Apache Iceberg and Dremio
dev.to·19h·
Discuss: DEV
🌊Streaming Systems
AI Idea #1757094704
dev.to·17h·
Discuss: DEV
🎛️Feed Filtering
PromptCOS: Towards System Prompt Copyright Auditing for LLMs via Content-level Output Similarity
arxiv.org·2d
🏺ZIP Archaeology
No Thoughts Just AI: Biased LLM Recommendations Limit Human Agency in Resume Screening
arxiv.org·1d
🔲Cellular Automata
JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents
arxiv.org·2d
🌳Context free grammars
Building an AI Dining Assistant in 30 Minutes: From Local Development to Cloud Deployment
dev.to·16h·
Discuss: DEV
🌊Streaming Systems
PointAD+: Learning Hierarchical Representations for Zero-shot 3D Anomaly Detection
arxiv.org·2d
🏺Computational Archaeology
Anthropic Just Paid $1.5B for Using Pirated Books to Train Claude - Here's What This Means for Developers
dev.to·2h·
Discuss: DEV
📚MARC Archaeology
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.org·1d
💻Programming languages
In Defense of AI Evals
sh-reya.com·17h·
Discuss: Hacker News
🔍Concolic Testing
ML Systems: Motivating Dense Models
jacobkahn.me·2d·
Discuss: Hacker News
🧠Machine Learning
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·8h·
Discuss: Hacker News
🔓Hacking
AI-Driven Dynamic Delivery Route Optimization via Multi-Modal Graph Neural Networks
dev.to·8h·
Discuss: DEV
🌀Riemannian Computing
3 ways ChatGPT’s free Projects feature upgrades your daily routine
techradar.com·1d
🎯Content Recommendation
Prompt sensitivity is more nuanced (and useful) than we think
newsletter.aimuscle.com·2d·
Discuss: Hacker News
⚡Proof Automation
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·21h·
Discuss: DEV
🧠Machine Learning