📚 Nixpkgs

Package Repository, Overlays, Nix Expressions, Package Sets

Epic and Google Settle Antitrust Case With Global Fee Cuts and Easier Third-Party Store Access
tech.slashdot.org·19h
🍎Apple
Flag this post
Show HN: I built a way to debug your deployed code on Vercel from your AI IDE
getreturn0.com·14h·
Discuss: Hacker News
👁️System Observability
Flag this post
Nintendo Store iOS App
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Flag this post
Consent of the Upgraded
progressivedelivery.com·1d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Finding Signal Through the Noise
elijahpotter.dev·3d·
Discuss: Hacker News
👁️System Observability
Flag this post
Debian’s APT Package Manager to Integrate Rust Code by May 2026
linuxiac.com·4d·
Discuss: r/linux
🏗️Dune
Flag this post
OpenAI Model Spec
model-spec.openai.com·4h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
AI Agent Orchestration Frameworks
blog.n8n.io·1d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Critical UniFi OS Flaw Enables Remote Code Execution
gbhackers.com·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
❄️NixOS
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·5h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·3d·
Discuss: Hacker News
🛡️seL4
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
reddit.com·3d·
Discuss: r/MachineLearning
🎯Hindley-Milner
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Building PRRover: A FastAPI GitHub PR Reviewer with Telex A2A Integration
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Flag this post
MetalLB for LoadBalancer IPs on Dedicated servers (with vSwitch)
reddit.com·2d·
Discuss: r/kubernetes
📦Unikernel Systems
Flag this post
Weak-To-Strong Generalization
lesswrong.com·4d
🔤Kleene Algebra
Flag this post
vz: Create VMs and run Linux-based OSs in Go with Apple Virtualization framework
github.com·1d·
Discuss: Hacker News
💻Apple Virtualization
Flag this post
Why Multi-Validator Hosts Break Traditional Security Scanning
dev.to·22h·
Discuss: DEV
🔒Protocol Verification
Flag this post