🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Show HN: Pocket Agent: run Claude, Cursor, Codex and more from your phone
pocket-agent.xyz·7h·
Discuss: Hacker News
👐Open Source Software
Arc Notes Weekly #100: Hundo
architecturenotes.co·3d
🏗️Software Architecture
Not About How It Looks
newsletter.danhon.com·23h·
Discuss: Hacker News
🧮Programming Language Theory
No Nvidia H20 China sales; AI chip capacity; Correct view of the history of World War II
sinocism.com·9h
👐Open Source Software
Is This the Most Undervalued AI Semiconductor Stock Right Now?
finance.yahoo.com·19h
🏗Computer Architecture
How to learn physics easily: discover PhysicsHub.
dev.to·19h·
Discuss: DEV
🎲Probabilistic Programming
Structural basis of VCP-VCPIP1-p47 ternary complex in Golgi maintenance
nature.com·3h
🤝Protocol Design
🚀 Building Viral Hunts: AI Scavenger App with Expo & NFTs – Dev Feedback Needed! 💻🎮
imgur.com·17h·
Discuss: DEV
👐Open Source Software
Tinker with LLMs in the privacy of your own home using Llama.cpp
theregister.com·3d·
Discuss: Hacker News
🔧Compiler Design
Show HN: AlphaSuite – An open-source platform for quantitative stock analysis
github.com·19h·
Discuss: Hacker News
🎲Probabilistic Programming
Anthropic and OpenAI Evaluate Safety of Each Other’s AI Models
pymnts.com·13h
👐Open Source Software
Android's Open-Source Dream Turning Nightmare?
reddit.com·3h·
Discuss: r/opensource
👐Open Source Software
Everyone talks about AI “memory,” but nobody defines it.
threadreaderapp.com·21h
🧠Memory Management
yolo-cls - A C++ CLI tool for batch image classification with ONNX Runtime
reddit.com·3d·
Discuss: r/commandline
🔧Compiler Design
Open Source "Claude for Chrome"
github.com·17h·
Discuss: Hacker News
🦀Rust
WebAssembly: Powering the Future of High-Performance Web Development
dev.to·19h·
Discuss: DEV
🏗️Software Architecture
My fear is stoping me from improving my skills and finishing my big project 🥲
reddit.com·9h·
Discuss: r/webdev
🧩Theorem Proving
Can a $10,000 Investment in BigBear.ai Turn Into $1 Million a Decade From Now?
fool.com·1h
⚖Algorithmic Game Theory
MMTok: Multimodal Coverage Maximization for Efficient Inference of VLMs
arxiv.org·2d
🎲Probabilistic Programming
On the Edge of Memorization in Diffusion Models
arxiv.org·2d
🎲Probabilistic Programming