In the Land of Living Skies: Reacquainting ourselves with the night (2022)
harpers.org·1d·
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
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ubuntu Switches to Dracut With 25.10: What Does It Mean for You?
news.itsfoss.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3d·
Discuss: r/programming
📊Runtime Verification
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·2d·
Discuss: Hacker News
📦Unikernel Systems
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·17h·
Discuss: r/homelab
🐳Containerization
RouterOS rookie here. How do I start without breaking everything?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·21s
🩹Self-Healing Systems
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
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·4d·
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·4d
🐳Containerization
Creating larger projects with LLM (as a coder)
medium.com·2d·
Discuss: Hacker News
🛡️seL4