Open Lineage
usenix.org·1d
🔌Interface Evolution
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·16h·
Discuss: Hacker News
🌐Protocol Synthesis
A Manifesto for the Programming Desperado
github.com·15h·
Discuss: Hacker News
💻Programming languages
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·5h·
Discuss: Hacker News
🎧Learned Audio
Randomized Quantum Singular Value Transformation
arxiv.org·2d
⚛️Quantum Circuits
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·10h·
Discuss: Hacker News
🛡️Error Boundaries
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Probabilistically-Safe Bipedal Navigation over Uncertain Terrain via Conformal Prediction and Contraction Analysis
arxiv.org·1d
🌀Differential Geometry
Experimenting with ACL2 and Claude Code
mikedodds.org·18h·
Discuss: Hacker News
👑Isabelle
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·13h·
Discuss: Hacker News
🚀Indie Hacking
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·11h·
Discuss: Hacker News
🔗Concatenative Programming
Vector Trifference
arxiv.org·4d
📐Linear Algebra
6D Phase Space Reconstruction: MENT-Flow Validation on Complex High-Dimensional Distributions
hackernoon.com·2d
💎Information Crystallography
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving