My AI Workflow for Understanding Any Codebase
steipete.me·23h
⚡Proof Automation
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·21h
🦠Malware Analysis
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·3h·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Basic facts about GPUs
damek.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Hardware Architecture
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·1h
🌊Streaming Systems
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·5h
🧠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·5h
📐Linear Algebra
Language Modeling by Language Models
arxiv.org·5h
🤖Grammar Induction
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·2d
🧮Kolmogorov Complexity
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
Evaluating Rare Disease Diagnostic Performance in Symptom Checkers: A Synthetic Vignette Simulation Approach
arxiv.org·1d
🌸Bloom Variants
Hypercubical manifolds in homotopy type theory
arxiv.org·1d
🔶Cubical Type Theory
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·12h·
Discuss: DEV
🦀Rust Borrowing
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.org·1d
🌀Riemannian Computing