Package Repository, Overlays, Nix Expressions, Package Sets

US firm's breakthrough EV dry battery hits 4,000 cycles, could 2x lifespan
interestingengineering.com·6h
🖥️KVM
Flag this post
A collection of outlandish HCI papers
floe.butterbrot.org·4h·
Discuss: Hacker News
🔬Unikernels
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
Show HN: Pingu Unchained an Unrestricted LLM for High-Risk AI Security Research
pingu.audn.ai·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
How to Give Constructive Feedback with Confidence as an Engineering Leader
newsletter.eng-leadership.com·8h·
Discuss: r/programming
🧪Property-Based Testing
Flag this post
Why we chose OCaml to write Stategraph
stategraph.dev·2d·
📦OPAM
Flag this post
From Dataset to DataFrame to Deployed: Your First Project with Pandas & Scikit-learn
kdnuggets.com·2d
📐Linear Algebra
Flag this post
What data do coding agents send, and where to?
chasersystems.com·5d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Moving a RouterOS switch from VLAN1 to MGMT VLAN with PVE & OPNsense VM
reddit.com·1d·
Discuss: r/homelab
🌐Network Protocols
Flag this post
Escalation and perception
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
vibe.forem.com·22h·
Discuss: DEV
🌐ActivityPub
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·22h·
Discuss: DEV
🔌APIs
Flag this post
Krish Naik: Stop Fighting with Kubernetes! Scale Python to 1000s of Machines with Coiled
dev.to·4h·
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
ArahiAI – A no-code platform for building AI agents that take real actions
news.ycombinator.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Building an AWS Daily Helper Assistant with Strands Agents and Bedrock AgentCore
dev.to·1d·
Discuss: DEV
🔧DevOps
Flag this post
Enhanced Spinodal Decomposition Prediction via Multi-Modal Data Fusion and HyperScore Evaluation
dev.to·2d·
Discuss: DEV
📐Linear Algebra
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