My AI Workflow for Understanding Any Codebase
steipete.me·18h
⚡Proof Automation
Basic facts about GPUs
damek.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Hardware Architecture
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server under Piecewise-Linear Arrival Curves
arxiv.org·3d
📡Network Calculus
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·2d
🧮Kolmogorov Complexity
Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Solving Zero-Sum Convex Markov Games
arxiv.org·3d
🔲Cellular Automata
Machine Learning Fundamentals: active learning project
dev.to·13h·
Discuss: DEV
🧠Machine Learning
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·45m
📏Linear Logic
How Hard is it to be a Star? Convex Geometry and the Real Hierarchy
arxiv.org·2d
🕸️Algebraic Topology
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·1d
🌀Fractal Compression
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·45m
🧠Machine Learning
On the fast convergence of minibatch heavy ball momentum
arxiv.org·2d
🧮Kolmogorov Complexity
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·2d
⚖️Hoare Logic
Solver Performance of Accelerated MoM for Connected Arrays
arxiv.org·45m
📐Linear Algebra