Package Repository, Overlays, Nix Expressions, Package Sets

Show HN: Find matching acrylic paints for any HEX color
acrylicmatch.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Removing XSLT for a more secure browser
developer.chrome.com·46m·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·6h
🔢Algebraic Data Types
Flag this post
Claude Skills Market
skillsmp.com·2d·
Discuss: Hacker News
💻CLI Tools
Flag this post
Shouldn't we trust Google and other pertinent questions
cryptography.dog·17h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
Existential Types
Flag this post
Oxy is Cloudflare's Rust-based next generation proxy framework
blog.cloudflare.com·2d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Ask HN: My family business runs on a 1993-era text-based-UI (TUI). Anybody else?
news.ycombinator.com·31m·
Discuss: Hacker News
💾Retro Computing
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·10h
🔍CBMC
Flag this post
Linux Troubleshooting: The Hidden Stories Behind CPU, Memory, and I/O Metrics
reddit.com·14h·
Discuss: r/programming
👁️System Observability
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·7h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·23h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
The New Standard of Due Diligence for Buyers Agents in Australia
dev.to·3h·
Discuss: DEV
📊Runtime Verification
Flag this post
Build a Docusaurus-like Site with FastAPI: Step 1 - HTML Template
dev.to·22h·
Discuss: DEV
🌐Static Sites
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·10h
🔄Reproducible Builds
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
🛡️seL4
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
dev.to·2d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Why Logic Isn't as Objective as You Think
dev.to·9h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
How to access and use Minimax M2 API
dev.to·2d·
Discuss: DEV
🐳Containerization
Flag this post
Show HN: Coldr – Run small cold email campaigns from your terminal
github.com·1d·
Discuss: Hacker News
💻CLI Tools
Flag this post