📚 Nixpkgs

Package Repository, Overlays, Nix Expressions, Package Sets

I Curate an Anthology
compellingsciencefiction.com·1d·
Discuss: Hacker News
≤Order Theory
Flag this post
Models Matter
cybadger.com·2d·
Discuss: Hacker News
🏔️Domain Theory
Flag this post
Towards the Perfect Coin Flip: The NIST Randomness Beacon (2014)
hackaday.com·1d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Show HN: Pingu Unchained an Unrestricted LLM for High-Risk AI Security Research
pingu.audn.ai·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·4d·
Discuss: r/programming
🔢Algebraic Data Types
Flag this post
The Road Ahead: Why I'm Going All-In on Zig
pmbanugo.me·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
AI Isn't Alchemy: Not Mystical, Just Messy
craftedlogiclab.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
What data do coding agents send, and where to?
chasersystems.com·5d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Buying GitHub Accounts With Contributions: What You Should Know
dev.to·1d·
Discuss: DEV
🛡️macOS Security
Flag this post
Carpathian Release Notes 2025.11.1
dev.to·1d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
LeafWiki v0.4.9 – Mermaid Diagrams, Page Copy & Easier Setup 🚀
dev.to·2d·
Discuss: DEV
🌐Static Sites
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
vibe.forem.com·19h·
Discuss: DEV
🌐ActivityPub
Flag this post
Developer Case Study: Cursor and Claude Code Suggested Building a Proxy. Shotgun CLI Found LiteLLM Instead.
dev.to·3d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Building an AWS Daily Helper Assistant with Strands Agents and Bedrock AgentCore
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
13 Arguments About a Transition to Neuralese AIs
lesswrong.com·2d
🔀Brzozowski Derivatives
Flag this post
Learning to Code, Without the Overwhelm
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
The Secret Life of Python: The String Intern Pool - When Two Strings Are One Object
dev.to·2d·
Discuss: DEV
❓Existential Types
Flag this post
Top 10 AI Prompts That Helped Me Automate My DevOps Workflows
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·5d
💎Refinement Types
Flag this post