5 Ways to Get the Best Out of LLM Inference
pub.towardsai.net·6h
Hierarchical reinforcement learning
danmackinlay.name·8h
★ ADRs and LLMs
perrotta.dev·12h
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
choosing learning over autopilot
anniecherkaev.com·1d
Structured Decomposition for LLM Reasoning: Cross-Domain Validation and Semantic Web Integration
arxiv.org·5d
Exploring the Type System
gibbok.github.io·15h
Prevent the Robocalypse with Claude Code and TDD
thoughtbot.com·26m
Loading...Loading more...