❄️ Nixpkgs

Package Derivations, Overlay System, Flakes, Build Isolation

That boolean should probably be something else
ntietz.com·13h
⚖️Hoare Logic
More resilient, flexible networking for the cloud workloads that matter
digitalocean.com·3d
🖥️Self-hosted Infrastructure
For the Free Software Foundation's Summer Fundraiser, the 'GNU Press Shop' is Open
news.slashdot.org·15h
🔓Free and open source
KDE makes progress toward full Wayland session restore in Plasma 6.5
neowin.net·1d·
Discuss: Hacker News
🕸️WASM Archives
AxiomOS An AI system where agents generate and evolve under an Overseer
github.com·4h·
Discuss: Hacker News
🤝Paxos Consensus
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·4d
🔒Linear Types
Fedora Holds Off on Dropping i686, Citing Community Needs
linuxiac.com·38m
🔌Operating system internals
Simple and easy to set up logging
reddit.com·2d·
Discuss: r/kubernetes
🗄️File Systems
coding = writing text: approach it like an essay
dev.to·20h·
Discuss: DEV
📊Static Analysis
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Student Learning Journey Framework（1751201949184500）
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Pironman 5 Max Review – A fancy Raspberry Pi 5 Tower PC enclosure with dual M.2 PCI sockets for SSD and/or AI accelerator
cnx-software.com·1d
🔌Single Board PC
AMD Prepares Linux Driver Support For New APUs Still Relying On RDNA1 Graphics
phoronix.com·1d
⚡Performance Tools
🔥 Claude + Filesystem MCP: Superpower File Management Using AI
dev.to·3h·
Discuss: DEV
🪟Awesome windows command-line
Python Fundamentals: attrs
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Feature Engineering Pipelines That Don't Break: A Practical Guide
dev.to·2d·
Discuss: DEV
✅Format Verification
A New Era of Code Quality: Beyond bugs to supply chain security and dependency health
dev.to·4d·
Discuss: DEV
🔒WASM Capabilities
Call My Agent 🤖
dev.to·2d·
Discuss: DEV
⚙️TLA+
BSD Now 617
discoverbsd.com·3d
🗄️File Systems
Use Your ADK AI Agent in a UI
dev.to·11h·
Discuss: DEV
🌐WASI