My AI Workflow for Understanding Any Codebase
steipete.me·3d
⚡Proof Automation
How Much Thinking Can a Team Handle?
innoq.com·2h·
Discuss: Hacker News
🧠Intelligence Compression
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Institutional Knowledge Is Walking Out the Door–Capture It Before It's Gone
ordinalforgov.com·22h·
Discuss: Hacker News
🔗Constraint Handling
Why Should AI Review Your Code? Can writer be reviewer also?
getpanto.ai·2d·
Discuss: Hacker News
📏Code Metrics
How AI Agents Gather Data
blog.dust.tt·1d·
Discuss: Hacker News
📥Feed Aggregation
How much slower is random access, really?
samestep.com·4d·
Discuss: Hacker News, r/programming
📼Tape Encoding
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·1d·
Discuss: DEV
λLambda Encodings
Regular Tree Search for Simulation Optimization
arxiv.org·4d
🌲B-tree Variants
[AWS] Efficiency in everything! Community Builder shares the appeal of AWS Developer Tools [DevTools]
dev.to·14h·
Discuss: DEV
❄️Nix Adoption
Hypercubical manifolds in homotopy type theory
arxiv.org·3d
🔶Cubical Type Theory
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·14h·
Discuss: DEV
🏺Kerberos Archaeology
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to·6h·
Discuss: DEV
🐚Shell Automation
Security news weekly round-up - 27th June 2025
dev.to·15h·
Discuss: DEV
🔓Hacking
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·2d·
Discuss: DEV
🌳Trie Structures
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·4d
🕸️Algebraic Topology
On the fast convergence of minibatch heavy ball momentum
arxiv.org·4d
🧮Kolmogorov Complexity
Image Optimization in Jamstack: Static vs Dynamic Approaches
dev.to·6h·
Discuss: DEV
🖼️JPEG XL
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·1d
🧠Machine Learning