Binding Application in Idris
andrevidela.com·17h·
Discuss: Hacker News
🔠Type-Level Programming
Built a Product Hunt People Are Using
news.ycombinator.com·2d·
Discuss: Hacker News
❄️Nixified Development
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·1h·
Discuss: Hacker News
📦Unikernel Systems
Platform Engineering Won’t Save You
aviator.co·1d·
Discuss: Hacker News, r/programming
👁️System Observability
Claude Code vs Gemini CLI: Which One’s the Real Dev Co-Pilot?
milvus.io·2d·
Discuss: Hacker News
🤖Program Synthesis
Running a static website in AWS for $0.55
cottongeeks.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·18h·
Discuss: Hacker News
👁️System Observability
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Building MCP servers the easy way with Apache OpenServerless
opensource.net·1d·
Discuss: Hacker News
🛡️seL4
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🛡️seL4
The Small Data Showdown '25: Is It Time to Ditch Spark Yet?
milescole.dev·2d·
Discuss: Hacker News, Hacker News
👁️System Observability
Challenges for no code tools for data science
medium.com·1d·
Discuss: Hacker News
👁️System Observability
Things I learned from 5 years at Vercel
leerob.com·3h·
Discuss: Hacker News
🛡️seL4
The Bitter Lesson (2025)
artfintel.com·8h·
Discuss: Hacker News
✓Automated Theorem Proving
Why Elixir? A Rebuttal to Common Misconceptions
matthewsinclair.com·3d·
Discuss: Hacker News, Hacker News
🧱Immutable Infrastructure
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Personal Reflections on Immutable Linux
hackaday.com·23h·
Discuss: Hacker News
🔬Unikernels
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·12h
🔍Formal Verification