📚 Nixpkgs

Package Repository, Overlays, Nix Expressions, Package Sets

Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·18h
🔧DevOps
Flag this post
Running Node.js in a Hugging Face Space
blog.tomayac.com·1d·
Discuss: Hacker News
🐳Containerization
Flag this post
Pop!_OS deejays prepare to release holiday remix along with Cosmic v 1.0
theregister.com·19h·
Discuss: Hacker News
🔧Unikernel Development
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·13h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Git is too complex for most of us
ewaldbenes.com·1d·
Discuss: Hacker News, r/programming
🔧DevOps
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·2h
🛡️seL4
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
⚡Process Calculi
Flag this post
AccessFix Update!
dev.to·10h·
Discuss: DEV
📊Runtime Verification
Flag this post
How to access and use Minimax M2 API
dev.to·1d·
Discuss: DEV
🐳Containerization
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·16h·
Discuss: Hacker News
🐫OCaml
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.com·12h·
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·9h·
Discuss: DEV
🔌APIs
Flag this post
Observability Made Easy: How AI & OpenTelemetry Tame Tool Sprawl
dev.to·2h·
Discuss: DEV
👁️Observability
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·16h·
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
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·2h
📦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