The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·2h·
Discuss: r/programming
🔄Reproducible Builds
Bulletproof Host Stark Industries Evades EU Sanctions
krebsonsecurity.com·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com·23h·
Discuss: Hacker News
👁️System Observability
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·12h·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Kerberoasting
blog.cryptographyengineering.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·14h
📝Term Rewriting
How to keep package.json under control
blog.val.town·18h·
Discuss: Hacker News
🔄Reproducible Builds
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·3d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·14h
🎮Verification Games
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Online backup VS ISP speed
reddit.com·5h·
Discuss: r/homelab
🖥️Self-hosted Infrastructure
Massively Parallel Agentic Simulations with Ray
anyscale.com·15h·
Discuss: Hacker News
⚙️Operating System Design
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·5h·
Discuss: Hacker News
📊Runtime Verification
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·23h·
Discuss: Hacker News
🐳Containerization
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·2d
🎮Verification Games
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·11h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: An open source Vercel/Render alternative for Python apps
github.com·7h·
Discuss: Hacker News
🐳Containerization
The Evolution of Logical Replication in PostgreSQL
enterprisedb.com·1h·
Discuss: Hacker News
🔄Reproducible Builds