KDE ISO Image Writer is finally getting a UI redesign and new features
neowin.net·12h·
Discuss: Hacker News
🔬Unikernels
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·1d·
Discuss: r/programming
🔬Static Analysis
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
Beyond CVE: Integrating Multiple Sources for Complete Vulnerability Intelligence
guptadeepak.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Vibe Kanban – Kanban board to manage your AI coding agents
github.com·7h·
Discuss: Hacker News
🤖Program Synthesis
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
Improving Trust in AI Systems
searchcraft.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Binding Application in Idris
andrevidela.com·23h·
Discuss: Hacker News
🔠Type-Level Programming
The #1 Reason Your GenAI Project Will Fail in Production
mlwhiz.com·1d·
Discuss: Hacker News
🛡️seL4
Next Big Shift in Search: From Product to Infrastructure
lsvp.com·20m·
Discuss: Hacker News
🐫OCaml
The Small Data Showdown '25: Is It Time to Ditch Spark Yet?
milescole.dev·3d·
Discuss: Hacker News, Hacker News
👁️System Observability
The Bitter Lesson (2025)
artfintel.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·18h
🔍Formal Verification
Why Elixir? A Rebuttal to Common Misconceptions
matthewsinclair.com·3d·
Discuss: Hacker News, Hacker News
🧱Immutable Infrastructure
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·18h
🐫OCaml
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·2d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·1d
📦Unikernel Systems