Upcoming changes to the Bitnami catalog. Broadcom introduces Bitnami Secure Images for production-ready containerized applications
news.broadcom.com·1d
❄️Nix Adoption
Valuable News – 2025/07/14
vermaden.wordpress.com·4d
🔌Operating system internals
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·1d·
Discuss: Hacker News, Hacker News
🏗️Compiler Archaeology
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·21h·
Discuss: Hacker News
🦀Rust Macros
In the long run, GPL code becomes irrelevant (2015)
josephg.com·5h·
Discuss: Hacker News
🔓Open Source Software
The Problem of Hidden Dependencies
marcelsud.me·3d·
Discuss: Hacker News
🔗Dependency Resolution
Why pull-based pipelines are faster
blog.sequinstream.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
MCP Project Update (Part 2): Ecosystem, Registries & Governance
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.org·17h
📊Citation Graphs
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·17h
🎯Performance Proofs
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·1d
🔌Interface Evolution
I want to make just a few key containers highly available, and I want advice on how it'd be possible with the less suck
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
UDP Broadcasts in Multi-Node Cluster?
reddit.com·2d·
Discuss: r/kubernetes
🕸️Network Topology
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·3d·
Discuss: DEV
🌐NetworkProtocols
Tracking Protestware Spread: 28 npm Packages Affected by Payload Targeting Russian-Language Users
socket.dev·3d·
Discuss: Hacker News
🔓Open Source Software
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·17h
🛡️Proof-Carrying Archives
finished my first full CI/CD pipeline project (GitHub/ ArgoCD/K8s) would love feedback
reddit.com·13h·
Discuss: r/kubernetes
🌊Streaming Systems
Generalist Bimanual Manipulation via Foundation Video Diffusion Models
arxiv.org·17h
🤖Advanced OCR
Everything You Need to Know About the Gemini CLI
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing