Claude Code Planning Mode Posture Is Off Balance
banagale.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
China Won the Chip War While You Were Arguing About Gallium
kumarletter.com·1d·
Discuss: Hacker News
💾Retro Computing
Evaluating OpenMDW: A Revolution for Open AI, or a License to Openwash?
shujisado.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Links? Links!
infrequently.org·1d·
Discuss: Hacker News
👁️System Observability
Rust is a great fit for the agentic era
kerkour.com·1d·
Discuss: Hacker News
🔬Static Analysis
VibeTunnel's first AI-anniversary
steipete.me·1d·
Discuss: Hacker News
🍎Apple
How Hype Works; What LLMs have in common with genetics
blog.kierangill.xyz·2d·
Discuss: Hacker News
🎮Verification Games
Gaslight-driven development
tonsky.me·1d·
Discuss: Hacker News
🔬Unikernels
Show HN: I made a single landing page to serve all my unused domains
github.com·21h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Behind the Streams: Live at Netflix. Part 1
netflixtechblog.com·2d·
Discuss: Hacker News
🏠HomeLab
Uncertainty-Informed Scheduling of Decision Points for Intelligent Mobile Health Interventions
arxiv.org·1d
🔄Finite State Machines
Eve-ng/PnetLab CSR router issue
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
FADE: Adversarial Concept Erasure in Flow Models
arxiv.org·16h
🐫OCaml
Graph Representations for Reading Comprehension Analysis using Large Language Model and Eye-Tracking Biomarker
arxiv.org·16h
➡️Category Theory
Show HN: Chrome extension to optimize your site for ChatGPT search results
github.com·1h·
Discuss: Hacker News
⚙️PL Implementation
Supporting SEN\'{C}OTEN Language Documentation Efforts with Automatic Speech Recognition
arxiv.org·1d
🐫OCaml
Investigation of Shock-Capturing with Bound-Preserving Limiters for the Nonlinearly Stable Flux Reconstruction Method
arxiv.org·2d
🐫OCaml
Show HN: Flowrite – Why I built a songwriting app instead of paying subs
github.com·2d·
Discuss: Hacker News
🔬Unikernels
LRMR: LLM-Driven Relational Multi-node Ranking for Lymph Node Metastasis Assessment in Rectal Cancer
arxiv.org·1d
🐫OCaml
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving