🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Half-life of Open source research software projects
shape-of-code.com·3h
👐Open Source Software
Weaponizing image scaling against production AI systems
blog.trailofbits.com·3d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🔗Parser Combinators
GPT-5 and SQL code generation
beekeeperstudio.io·3d·
Discuss: Hacker News
🎲Probabilistic Programming
evantravers.com·2d
👐Open Source Software
ESP32 Sets Sail as a Modern Bus Pirate Powerhouse
hackaday.com·5h
🤝Protocol Design
How Architectural Controls Help Can Fill the AI Security Gap
darkreading.com·3d
🔐Cryptography
Building a Lambda-Style Feature Platform with GCP Native Services
hackernoon.com·2d
🌍Distributed Systems
Plans for the site
thetangent.space·3h
🔧Compiler Design
10 Anime Villains Who Deserve Their Own Spin-Offs
screenrant.com·1h
🤖Sci-Fi
The Bubble That Knows It's a Bubble
craigmccaskill.com·3h·
Discuss: Hacker News
🤖Sci-Fi
Pact: Head-to-head negotiation benchmark for LLMs
github.com·3d·
Discuss: Hacker News, r/LocalLLaMA
⚖Algorithmic Game Theory
Characterizing NC1 with Typed Monoids
arxiv.org·6d
🧮Programming Language Theory
Mastui 0.7.1 release - a lot has happened
reddit.com·5h·
Discuss: r/commandline
💾Retrocomputing
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·6d
⚖️Logic Programming
I asked ChatGPT-5 to send a message to ChatGPT-10. Here’s what it wrote.
reddit.com·2d·
Discuss: r/ChatGPT
🧫Cellular Automata
Fear and Loathing in AI startups and personal projects
reddit.com·2d·
Discuss: r/LLM
🔧Compiler Design
TOMORROW X TOGETHER、『2025 K-WORLD DREAM AWARDS』で3冠の快挙！「素敵な賞をいただいて頑張れそう」
news.jp·3h
🧫Cellular Automata
MCP Agents vs. Classic RAG: Rethinking Retrieval for Internal Chatbots
pub.towardsai.net·3d
🔗Parser Combinators
Why Your AI Chatbot is Dumb — And How to Fix It with AutoGPT Agents
dev.to·4d·
Discuss: DEV
🤖Sci-Fi
Graph Concept Bottleneck Models
arxiv.org·3d
🎲Probabilistic Programming