For my e-waste hunters
reddit.com·16h·
Discuss: r/homelab
🛠️Greaseweazle
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·1h·
Discuss: Hacker News
🌀Differential Geometry
Self Hosting Nightscout on Raspberry Pi
broderic.blog·47m·
Discuss: Hacker News
🔌Single Board PC
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·1d·
Discuss: Hacker News
📟Terminal Typography
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·12h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
⚙️Proof Engineering
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Statistics in the Era of AI
scienceforeveryone.science·1d·
Discuss: Hacker News
🎓Academic Torrents
The Porcelain to Come
stackdiver.com·21h·
Discuss: Hacker News
🔲Cellular Automata
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.org·1d
🧠Neural Codecs
The Day I Hacked XCTrack
blog.syrac.org·1d·
Discuss: Hacker News
🔐PKI Archaeology
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·14h·
Discuss: DEV
🇨🇳Chinese Computing