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
Origin and Evolution of the Globstar
mergify.com·1d·
Discuss: Hacker News
🔌Network Programming
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
How to benchmark performance difference between Windows 11 Home and LTSC
news.ycombinator.com·20h·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
Building a highly-available web service without a database
screenshotbot.io·2d·
Discuss: r/programming
📦WebAssembly
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
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·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Winning at the Edges
holenventures.com·20h·
Discuss: Hacker News
🕸️Service Mesh
Flag this post
Craft Chrome Devtools Protocol (CDP) commands with the new command editor
developer.chrome.com·18h·
Discuss: Hacker News
🌐HTMX
Flag this post
What Makes a Good QA?
news.ycombinator.com·13h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Interesting SPI Routing with iCE40 FPGAs
danielmangum.com·20h·
Discuss: Hacker News
📡Distributed Systems
Flag this post
On Async Mutexes
matklad.github.io·4d·
Discuss: Lobsters, Hacker News
🔌Network Programming
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·2d·
Discuss: Hacker News
🚢DevOps
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·4d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Minimal Viable Kubernetes: Finally, a Self-Hosted Cluster You Can Actually Run
hackernoon.com·1d
📡Distributed Systems
Flag this post