📚 Nixpkgs

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
Shouldn't we trust Google and other pertinent questions
cryptography.dog·12h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
apify.com·17h·
Discuss: DEV, Hacker News
🔧DevOps
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
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
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·17h·
Discuss: Hacker News
📐Hoare Logic
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·1d·
Discuss: Lobsters, Hacker News
🎯GADT
Flag this post
vz: Create VMs and run Linux-based OSs in Go with Apple Virtualization framework
github.com·18h·
Discuss: Hacker News
🔌IOKit
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·1d
📐Linear Algebra
Flag this post
I Work in Healthcare, and I Built Syda to Solve One Simple Problem: Test Data
dev.to·6h·
Discuss: DEV
🎯GADT
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
🏗️Dune
Flag this post
MetalLB for LoadBalancer IPs on Dedicated servers (with vSwitch)
reddit.com·1d·
Discuss: r/kubernetes
📦Unikernel Systems
Flag this post
Show HN: Nallely – a modular reactive Python system for custom MIDI instruments
github.com·17h·
Discuss: Hacker News
🔌IOKit
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·4h
🔍CBMC
Flag this post
DiscoBSD
github.com·2d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Build a Docusaurus-like Site with FastAPI: Step 1 - HTML Template
dev.to·16h·
Discuss: DEV
🌐Static Sites
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·2h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
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