🧮 SMT Solvers

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

The Data Scaling Hypothesis
lesswrong.com·16h
📊Model Serving Economics
The 5 Reallys
alt.management·23h·
Discuss: Hacker News
🛡️Content Moderation
Political Pollsters Are Trying to Save Money by Polling AI Instead of Real People, and It’s Going About as Well as You’d Expect
futurism.com·23h·
Discuss: Hacker News
📊Model Serving Economics
The Death of the User Interface
gist.github.com·23h·
Discuss: Hacker News, r/programming
🪄Prompt Engineering
Amazon is offering free online courses.
threadreaderapp.com·15h
🔍Query Optimization
AMD VitisT Al Integrated Development Environment
github.com·19h·
Discuss: Hacker News
🤖AI
On the Function of Faith in A Probably-Simulated Universe
lesswrong.com·13h
🧩Types
Constraints on axions from active galactic nuclei seen through galaxy clusters
nature.com·9h·
Discuss: Hacker News
⚛️Physics
SurrealDB is sacrificing data durability to make benchmarks look better
blog.cf8.gg·16h·
Discuss: Hacker News, r/programming, r/rust
💾Persistence Strategies
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·8h·
Discuss: Hacker News
🕳LLM Vulnerabilities
3D-printed bunny contains DNA instructions to make a copy of itself (2019)
newscientist.com·21h·
Discuss: Hacker News
🎭Claude
9 Best Keyboards (2025), Tested and Reviewed
wired.com·21h
🔐Hardware Security
Seed: Interactive software environment based on Common Lisp
github.com·3h·
Discuss: Lobsters, Hacker News
✏️Code Editors
New Tests and Devices for Early Cancer Detection (2020)
embs.org·13h·
Discuss: Hacker News
📋MCP
AI looks increasingly useless in telecom and anywhere else
lightreading.com·21h·
Discuss: Hacker News
🤖AI
Configurable Open Source Audio Spectrum Visualizer
github.com·55m·
Discuss: Hacker News
📄File Formats
How I made $1M without selling courses
alexwest.co·1h·
Discuss: Hacker News
👨‍💻Solo SaaS
Show HN: Own or Rent – financial calculator with developer-friendly API
ownorent.com·9h·
Discuss: Hacker News
🔧Developer tools
The imaginary future
ma314.bearblog.dev·14h
🎭Claude
Bild AI (YC W25) Is Hiring Applied AI Founding Engineer
workatastartup.com·17h·
Discuss: Hacker News
🚀Startups