Show HN: Venturu – Zillow for the hidden $10T market of local businesses
⚙️systems programming
Flag this post
Miami Is Testing a Self-Driving Police Car That Can Launch Drones
⚙️systems programming
Flag this post
GNU Taler v1.1 Released
🔄compilers
Flag this post
Introducing Agent Sandbox: Strong guardrails for agentic AI on Kubernetes and GKE
⚙️systems programming
Flag this post
You're bored because you don't love anything
🐫ocaml
Flag this post
Science history: Russian mathematician quietly publishes paper — and solves one of the most famous unsolved conjectures in mathematics — Nov. 11, 2002
✅formal methods
Flag this post
Todo iOS app as simple as paper
⚙️systems programming
Flag this post
The EU has let US tech giants run riot. Diluting our data law will only entrench their power | Johnny Ryan and Georg Riekeles
✅formal methods
Flag this post
Phoenix – Highly Optimized Solver for the Nonlinear 2D Schrödinger Equation
⚙️systems programming
Flag this post
HogHelper: PostHog Consulting
⚙️systems programming
Flag this post
BugMagnet AI Assistant
✅formal methods
Flag this post
Shapes INC Fraud
✅formal methods
Flag this post
Show HN: I have zero dev experience and built a 220k LOC fintech SaaS with AI
⚙️systems programming
Flag this post
Solar storm risk: 12% chance in next decade of losing global grid for years
⚙️systems programming
Flag this post
Why AI Won't Save Your PLG Strategy (But It's Changing How I Find It)
⚙️systems programming
Flag this post
Loading...Loading more...