KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Kubernetes is not just for Black Friday
ergaster.org·1d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Don’t compare programming to the real world
expressionstatement.com·16h·
Discuss: r/programming
👁️System Observability
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·14h·
Discuss: Hacker News
🔬Static Analysis
Updating an old Ubuntu to a supported version
anonymoushash.vmbrasseur.com·6h·
Discuss: Hacker News
🔬Unikernels
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Semaphore Enterprise Edition is free for small teams
semaphore.io·14h·
Discuss: Hacker News
🖥️Self-hosted 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·9h·
Discuss: r/golang, r/programming
🍎XNU Internals
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·13h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·1d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·12h·
Discuss: Hacker News
🛡️seL4
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·8h·
Discuss: Hacker News
💾Retro Computing
Cocoindex: Data Transformation for AI
cocoindex.io·12h·
Discuss: Hacker News
🛡️seL4
LLM Inference Handbook
bentoml.com·3h·
Discuss: Hacker News
🛡️seL4
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·12h·
Discuss: r/programming
📦Unikernel Systems