📚 Nixpkgs

Package Repository, Overlays, Nix Expressions, Package Sets

Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·23h
🔧DevOps
Flag this post
Running Node.js in a Hugging Face Space
blog.tomayac.com·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Frozen in Place
economics.bmo.com·18h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·21h·
Discuss: Hacker News
🐫OCaml
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·17h·
Discuss: googleprojectzero.blogspot.com, Lobsters, Hacker News
🔧Unikernel Development
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
github.com·2d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Building a Google Play Store Rating Agent with Mastra and Telex.im
dev.to·14h·
Discuss: DEV
🔌APIs
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·7h·
Discuss: DEV
👁️Observability
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·21h·
Discuss: DEV
🖥Self-Hosting
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Show HN: ClipGuard- A PySide6 clipboard guardian with masking and history search
github.com·2h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·7h
📦Module Systems
Flag this post
Finding Today's Changed Files: A Quick Python Script for File Uploads
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Intervaltree with Rust Back End
github.com·2d·
Discuss: Hacker News
🏗️Dune
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·2d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Show HN: Safebox: Open-source framework for managing self-hosted apps (Beta)
news.ycombinator.com·1d·
Discuss: Hacker News
🖥Self-Hosting
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·7h
🔍CBMC
Flag this post
To improve Rationality, create Situations
lesswrong.com·19h
🎮Verification Games
Flag this post