My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
2025-06-24: GPU Hours Granted on Hypothesis Generation by Oak Ridge Leadership Computing Facility
ws-dl.blogspot.com·1d·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·11h
🦠Malware Analysis
Basic facts about GPUs
damek.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Hardware Architecture
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org·1d
👑Coq Tactics
Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
arxiv.org·1d
🔗Combinatory Logic
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·9h·
Discuss: DEV
📏Code Metrics
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
Scalable Machine Learning Algorithms using Path Signatures
arxiv.org·1d
🧠Machine Learning
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Solving Zero-Sum Convex Markov Games
arxiv.org·2d
🔲Cellular Automata
The more LLMs think, the worse they translate
nuenki.app·12h·
Discuss: Hacker News
⚙️Compression Benchmarking
Minimal Per-Flow Backlog Bounds at an Aggregate FIFO Server under Piecewise-Linear Arrival Curves
arxiv.org·2d
📡Network Calculus
Fast Rate Information-theoretic Bounds on Generalization Errors
arxiv.org·1d
⧗Information Bottleneck
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·6h·
Discuss: Hacker News
⚡Proof Automation
Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
arxiv.org·1d
🧮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·1d
⚖️Hoare Logic