Change my mind: Floating point should not be the default number representation in high-level programming languages.
en.wikipedia.org·2d·
Discuss: r/programming
🧠Computer Architecture
Flag this post
Magnetic Resonator Piano
instrumentslab.org·1d·
Discuss: Hacker News
🌐HTMX
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·23h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Interesting SPI Routing with iCE40 FPGAs
danielmangum.com·14h·
Discuss: Hacker News
📡Distributed Systems
Flag this post
How to benchmark performance difference between Windows 11 Home and LTSC
news.ycombinator.com·14h·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·4d·
Discuss: Substack
✅Formal Verification
Flag this post
Building a highly-available web service without a database
screenshotbot.io·2d·
Discuss: r/programming
📦WebAssembly
Flag this post
Show HN: Lanturn – A smart headlamp running voice+vision on ESP32
github.com·7h·
Discuss: Hacker News
🔍eBPF
Flag this post
Context Engineering: The New Skill for Working with AI Agents
benr.build·2d·
Discuss: Hacker News
🚢DevOps
Flag this post
AI Agent Guides from Google, Anthropic, Microsoft, etc. Released This Week
sarthakai.substack.com·23h·
Discuss: Substack
📡Distributed Systems
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
"Flow" in software development is overrated
arguingwithalgorithms.com·1d·
Discuss: Hacker News
🚢DevOps
Flag this post
The Primeagen was right: Vim motions have made me 10x faster. Here's the data to prove it
github.com·1d·
Discuss: r/programming
🚢DevOps
Flag this post
Winning at the Edges
holenventures.com·13h·
Discuss: Hacker News
🕸️Service Mesh
Flag this post
Voxel Grid Visibility
cod.ifies.com·3d·
Discuss: Hacker News, r/programming
🧠Computer Architecture
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·2d·
Discuss: Hacker News, Hacker News
🌐HTMX
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·5d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Meta's Broken API: How Facebook Is Killing Small Developer Innovation
news.ycombinator.com·18h·
Discuss: Hacker News
📦WebAssembly
Flag this post
What Makes a Good QA?
news.ycombinator.com·6h·
Discuss: Hacker News
✅Formal Verification
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·2d·
Discuss: Hacker News
🚢DevOps
Flag this post