Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·21h
🤖Program Synthesis
Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·15h·
Discuss: Hacker News
💾Retro Computing
Math Resource: The Centre for Education in Mathematics and Computing (CEMC)
kidswholovemath.substack.com·11h·
Discuss: Substack
🎮Verification Games
The most interesting documents we've had to process as an OCR company
trycardinal.medium.com·9h·
Discuss: Hacker News
🐫Embedded OCaml
When Monitoring Breaks Your Front End Performance
differentshelf.com·1d·
Discuss: Hacker News
👁️System Observability
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Massively Parallel Agentic Simulations with Ray
anyscale.com·7h·
Discuss: Hacker News
⚙️Operating System Design
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·3d·
Discuss: Hacker News
🧩Separation Logic
Compiling a Functional Language to LLVM
danieljharvey.github.io·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·20h
🐫Embedded OCaml
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Show, don’t tell: ChatGPT 5 marginalizing Gelman’s measurment error model in Stan
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
So you want to control flow in PyTorch 2
blog.ezyang.com·5d·
Discuss: Hacker News
✅Model Checking
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Cross-platform gRPC Test tool
reddit.com·1h·
Discuss: r/programming
📺Vintage Apple
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·1d·
Discuss: Hacker News
💾Retro Computing