🧮 SMT Solvers

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

Feeds to Scour
SubscribedAll
Enabling small language models to solve complex reasoning tasks
news.mit.edu·18h
🏗️LLM Infrastructure
Preview
Report Post
danthegoodman1/checker: Durable execution via memory checkpointing with support for multiple runtimes
github.com·11h
💾Persistence Strategies
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·23h
🧩Types
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·14h
🪄Prompt Engineering
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·19h·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
There are things that AIs understand and no human can
jovex.substack.com·20h·
Discuss: Substack
🪄Prompt Engineering
Preview
Report Post
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io·28m
💻Programming languages
Preview
Report Post
How OpenAI, Gemini, and Claude Use Agents to Power Deep Research
blog.bytebytego.com·22h
🔍AI Interpretability
Preview
Report Post
Building a multiplayer game with polyglot microservices - Architecture decisions and lessons learned [Case Study, Open Source]
gitlab.com·21h·
Discuss: r/programming
🦀Rust Web Services
Preview
Report Post
Agentic Context Engineering: Evolving Contexts for Self-Improving Language Models
arxiv.org·9h
🏆LLM Benchmarking
Preview
Report Post
Stop Asking Outdated AI: Meet Real-Time Search With Live Web Retrieval
pub.towardsai.net·23h
🕷️Web Crawling
Preview
Report Post
Olmo 3.1 32B Think & Instruct: New Additions to the Olmo Model Family
reddit.com·21h·
Discuss: r/LocalLLaMA
🆕New AI
Preview
Report Post
Building intelligent physical AI: From edge to cloud with Strands Agents, Bedrock AgentCore, Claude 4.5, NVIDIA GR00T, and Hugging Face LeRobot
aws.amazon.com·18h
🆕New AI
Preview
Report Post
Is the Constructible Universe All There Is?
lesswrong.com·12h
🧩Types
Preview
Report Post
Machine-generated code
llllllll.co·2h
🪄Prompt Engineering
Preview
Report Post
(1) Jerry | OpenGraph on X: "I pulled a random street from Google Maps. Turned it into a 3D world with World Labs. Dropped a Unitree G1 into it and hooked it up...
x.com·7h·
Discuss: X
🏗️LLM Infrastructure
Preview
Report Post
The future of AI-powered software optimization (and how it can help your team)
github.blog·18h
⚡Developer Experience
Preview
Report Post
Fine-tuning Gemma 3 for mobile
opensource.googleblog.com·16h·
Discuss: Hacker News
🦙Ollama
Preview
Report Post
GitHub - avibrazil/xingu: Codebase to train, pack, deploy and monitor ML models
github.com·18h
🏗️LLM Infrastructure
Preview
Report Post
Chat GPT 5.2 Benchmarked on Custom Datasets!
preview.redd.it·21h·
Discuss: r/LocalLLaMA
📏ANN Benchmarks
Preview
Report Post