My AI Workflow for Understanding Any Codebase
steipete.me·12h
⚡Proof Automation
Ultimate Lab Resource for VCF 9.0
williamlam.com·1h
🏠HomeLab
Superimposed codes
blog.sesse.net·3d
💾Binary codes
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·4h
🎯Threat Hunting
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
Algorithms for pointwise and piecewise polynomial approximations to the trigonometric functions
arxiv.org·1d
📐Error Bounds
Floating-Point Data Transformation for Lossless Compression
arxiv.org·1d
🌊Streaming Compression
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·19h
🔍Concolic Testing
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·1d·
Discuss: Hacker News
🕸️WebP Analysis
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·19h
🌀Fractal Compression
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·9h·
Discuss: DEV
📏Code Metrics
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.to·3d·
Discuss: DEV
🔐Quantum Security
The Guide to the Foundation Models Framework
azamsharp.com·9h·
Discuss: Hacker News
λLambda Formalization
Building a Real-World Context-Aware Movie Chatbot Using Amazon Bedrock - Nova Pro
dev.to·3h·
Discuss: DEV
🎙️Whisper
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Tech Breakthroughs of June 2025
dev.to·18h·
Discuss: DEV
🖥️Modern Terminals