📦 Namespaces

Linux Containers, Process Isolation, cgroups, Resource Management

Continuous Architecture: A decade of designing for change
continuousarchitecture.com·22h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·23h·
Discuss: Hacker News
λFunctional Programming
Flag this post
On Async Mutexes
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Decreasing code editing failures by 38% with output normalization
blog.sweep.dev·16h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Field notes from making a living without writing a line of code
ag404labs.com·1h·
Discuss: Hacker News
🛡️seL4
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.medium.com·13h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Code execution with MCP: Building more efficient agents
anthropic.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
dev.to·6h·
Discuss: DEV
🎯GADT
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
💻QEMU
Flag this post
I Built Figma for AI Coding (Using Itself)
dev.to·19h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Thoughts on my home lab after a year.
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Show HN: I built a CLI tool to automatically break up large PRs
github.com·17h·
Discuss: Hacker News
💻CLI Tools
Flag this post
FreakWAN: A floor-routing WAN implementing a chat over bare-LoRa (no LoRaWAN)
github.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·5h
📡Network Protocol Design
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
🛡️seL4
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
📦Module Systems
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.to·16h·
Discuss: DEV
🔒Protocol Verification
Flag this post
MemSearcher: Training LLMs to Reason, Search and Manage Memory via End-to-End Reinforcement Learning
arxiv.org·5h
📚Automata Learning
Flag this post