📚 Nixpkgs

Package Repository, Overlays, Nix Expressions, Package Sets

Lobotomizing a TCL R625 Smart TV wireless (2020)
spencermichaels.github.io·13h·
Discuss: Hacker News
🖥️KVM
Flag this post
OpenAI readies GPT-5.1 Thinking model ahead of Gemini 3 Pro
testingcatalog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.fr·5d·
Discuss: Hacker News, Hacker News, Hacker News
🐫OCaml
Flag this post
How to Give Constructive Feedback with Confidence as an Engineering Leader
newsletter.eng-leadership.com·10h·
Discuss: r/programming
🧪Property-Based Testing
Flag this post
How Tiles Works – Tiles Privacy
blog.tiles.run·3d·
Discuss: Hacker News
🔬Unikernels
Flag this post
Python MarkItDown: Convert Documents Into LLM-Ready Markdown
realpython.com·4d
💻CLI Tools
Flag this post
Why Zig Is Quietly Doing What Rust Couldn't: Staying Simple
freedium-mirror.cfd·2d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Escalation and perception
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Linux To Gain ML-DSA/Dilithium Post-Quantum Cryptography For Module Signing
phoronix.com·2d
🛡️macOS Security
Flag this post
REMI AuthBridge: Patrimonial Identity Demo with Auth0 Integration
dev.to·7h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·5d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Puzzleet: Turning Algorithm Practice into a Playground for Logical Gaming
dev.to·2d·
Discuss: DEV
🎮Verification Games
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: Learn Fast API With This ONE Project
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
vibe.forem.com·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Help, I need some advice
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Flag this post
GPTF-8: A tokenizer-based character encoding
lesswrong.com·2d
🔤Kleene Algebra
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·6h·
Discuss: DEV
⎈Kubernetes
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