In the Land of Living Skies: Reacquainting ourselves with the night (2022)
harpers.org·23h·
Discuss: Hacker News
🔬Unikernels
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·3d
🔍Formal Verification
Intel Linux Graphics Driver Seeing 2~5% Faster Shader Compilation Times, Up To ~20%
phoronix.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3d·
Discuss: r/programming
📊Runtime Verification
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·2d
🧩Separation Logic
How Maintainer Burnout Is Causing a Kubernetes Security Disaster
thenewstack.io·1d·
Discuss: Hacker News
⎈Kubernetes
gcloud MCP Server: Seamless Integration with GCP Resources for AI agents
github.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rust's Enterprise Breakthrough Year
rust-trends.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
With Docker, use Proxmox for multiple VMs or use MACVLANs to seperate?
reddit.com·15h·
Discuss: r/homelab
🐳Containerization
Proxmox delivers datacenter manager beta that makes it a more viable VMware contender
theregister.com·1d·
Discuss: Hacker News
🖥Self-Hosting
Image-GS: Content-Adaptive Image Representation via 2D Gaussians
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Generative Quasi-Continuum Modeling of Confined Fluids at the Nanoscale
arxiv.org·2d
🐳Containerization
RouterOS rookie here. How do I start without breaking everything?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·4d
🧠Automated Reasoning
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🧩Separation Logic
Gacua: An open-source computer use agent with one-command start
github.com·3d·
Discuss: Hacker News
🐳Containerization
What I Learned Building My First Jenkins Plugin
mergify.com·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
The Android Linux Commander
hackaday.com·3d
🐳Containerization
Creating larger projects with LLM (as a coder)
medium.com·2d·
Discuss: Hacker News
🛡️seL4
Trying to figure out the best data pool design
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab