My (temp) budget homelab
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
The Hidden Costs of Streaming Music (2020)
newyorker.com·2h·
Discuss: Hacker News
📼Cassette Culture
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
🌀Differential Geometry
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Machine Learning Fundamentals: dimensionality reduction
dev.to·1d·
Discuss: DEV
📐Linear Algebra
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·10h
📄PDF Internals
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Honest Abe: Anti-BS Epistemology
austinross.xyz·1h·
Discuss: Hacker News
🔲Proof Irrelevance
"high level" languages are easier to optimize
jyn.dev·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
Day 4 of Learning System Design: Mastering Consistent Hashing
dev.to·5h·
Discuss: DEV
🌐Distributed Hash
Wrote my own DB engine in Go... open source it or not?
reddit.com·7h·
Discuss: r/golang
🔓Open Source Software
How to generate a TypeScript SDK for your API spec
buildwithfern.com·23h·
Discuss: Hacker News
⚡gRPC
🏛️ Using Blockchain to Anchor AI: Why Future AI Systems Require Consensus and Censorship Resistance
dev.to·3h·
Discuss: DEV
🤝Distributed Consensus
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
The Symbol Grounding Problem (1990)
arxiv.org·4d·
Discuss: Hacker News
🔢Denotational Semantics