What We’ve Learned from 5 Months of Hackbot Activity
hackerone.com·1d
🔓Hacking
My AI Workflow for Understanding Any Codebase
steipete.me·2d
⚡Proof Automation
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.com·7h·
Discuss: Hacker News
🚀Indie Hacking
Institutional Knowledge Is Walking Out the Door–Capture It Before It's Gone
ordinalforgov.com·3h·
Discuss: Hacker News
🔗Constraint Handling
Why Should AI Review Your Code? Can writer be reviewer also?
getpanto.ai·1d·
Discuss: Hacker News
📏Code Metrics
MUVERA: Making multi-vector retrieval as fast as single-vector search
research.google·2d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🧮Vector Embeddings
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Basic facts about GPUs
damek.github.io·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🖥️Hardware Architecture
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·1d
🔌Interface Evolution
Which Code Assistant Actually Helps Developers Grow?
dev.to·6h·
Discuss: DEV
📐Proof Assistants
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.org·1d
🌀Differential Geometry
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·1d
💻Local LLMs
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·1d
⚙️Compression Benchmarking
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·15h
🤖Advanced OCR
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Learning Lineage Constraints for Data Science Operations
arxiv.org·3d
🏺Database Archaeology
From Beginner to Clean Coder: A Junior Developer's Journey
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference