KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·11h·
Discuss: Hacker News
📦Unikernel Systems
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·15h·
Discuss: Hacker News
🔬Static Analysis
Don’t compare programming to the real world
expressionstatement.com·18h·
Discuss: r/programming
👁️System Observability
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Kubernetes is not just for Black Friday
ergaster.org·1d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·8h·
Discuss: Hacker News
🔬Unikernels
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Using Protobuf to make Jira Cloud faster
atlassian.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Dependency hell is NP-complete
research.swtch.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·2d
🔍Formal Verification
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·11h·
Discuss: r/golang, r/programming
🍎XNU Internals
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·1d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·15h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Semaphore Enterprise Edition is free for small teams
semaphore.io·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·14h·
Discuss: Hacker News
🛡️seL4
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·10h·
Discuss: Hacker News
💾Retro Computing
Cocoindex: Data Transformation for AI
cocoindex.io·14h·
Discuss: Hacker News
🛡️seL4