Ordering
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
🔗Topological Sorting
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
Waitgroups: what they are, how to use them and what changed with Go 1.25
mfbmina.dev·6h·
Discuss: Hacker News, r/golang
🔄Sync Engine
We now have the math to describe 'matrix tides'
buffalo.edu·1d·
Discuss: Hacker News
🌀Differential Geometry
Subinterpreters and Asyncio
blog.changs.co.uk·3d·
Discuss: Hacker News
🦀Rust Macros
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·8h·
Discuss: DEV
🗄️Database Internals
AI Is at the PageRank Moment
twkrr.com·7h·
Discuss: Hacker News
🤖AI Curation
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
JavaScript lib for exchanging selective disclosure proofs
github.com·5h·
Discuss: Hacker News
🌳Archive Merkle Trees
Implicit Hypergraph Neural Network
arxiv.org·2d
🌀Hyperbolic Geometry
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·21h·
Discuss: Hacker News
⚡Proof Automation
The "Super Weight:" How Even a Single Parameter can Determine a Large Language Model's Behavior
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·10h·
Discuss: Substack
📄Text Chunking
Comparison of derivative-free and gradient-based minimization for multi-objective compositional design of shape memory alloys
arxiv.org·2d
🌐Computational Topology
Wormhole Dynamics in Deep Neural Networks
arxiv.org·1d
🔍Vector Forensics
V-JEPA 2: Scaling V-JEPA
gonzoml.substack.com·1d·
Discuss: Substack
📊Learned Metrics
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·21h·
Discuss: DEV
✨Effect Handlers
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·20h·
Discuss: Hacker News
📏Code Metrics
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·5d
🔗Parser Combinators