Nix pills
nixos.org·1d
❄️Nixpkgs
A Mile-Deep Detector Hints at the Universe’s Darkest Secret
scitechdaily.com·2h
⚛️Quantum Tape
Property-based testing of batch-invariant operations
mmaaz.ca·17h·
Discuss: Hacker News
🧪Property-Based Testing
Language Support for Marginalia Search
marginalia.nu·16h
🔍BitFunnel
Modular Satellite Bus Self-Diagnostics via Reinforcement Learning and Bayesian Optimization
dev.to·1h·
Discuss: DEV
🔧Hardware Verification
Ask HN: Systems Development Path
news.ycombinator.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Medium Android App — Migrating from Apollo Kotlin 3 to 4: Lessons Learned
medium.engineering·8h
🏎️Varnish Cache
Larger than RAM Vector Indexes for Relational Databases
planetscale.com·5d·
Discuss: Hacker News
🗂️Vector Databases
Searching for a cut-price SSD before Amazon Big Deal Days? This Silicon SSD is super-powerful and has had its price slashed
techradar.com·1h
🏠Homelab Preservation
Souvenir
deprogrammaticaipsum.com·13h
🔩Systems Programming
Superbase on the Commodore 64
stonetools.ghost.io·3h·
Discuss: Hacker News
🕹️Retro Gaming
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·48m·
Discuss: Hacker News
⚡Modern Compression
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·12h
🧮Kolmogorov Complexity
Is Odin Just a More Boring C?
dayvster.com·5h·
Discuss: Hacker News
🔩Systems Programming
Beyond the Single-Writer Limitation with Turso's Concurrent Writes
turso.tech·16h·
Discuss: Hacker News
📝SQLite WAL
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·6h·
Discuss: Hacker News
🧮SMT Solvers
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·12h
🔧Hardware Verification
An MVCC-like columnar table on S3 with constant-time deletes
shayon.dev·1d·
Discuss: Hacker News
🔗Archive Combinators
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
AWS Weekly Roundup: Amazon Bedrock, AWS Outposts, Amazon ECS Managed Instances, AWS Builder ID, and more (October 6, 2025)
aws.amazon.com·1h
🌊Streaming Systems