Idris, Agda, Proof Assistants, Type-Level Programming
Practical Linear Algebra: A Geometry Toolbox
farinhansford.comยท11h
How I Overcame Analysis Paralysis with Cognitive Theory from the 70s
hackernoon.comยท1d
Issue 491
haskellweekly.newsยท5d
Agentic Exploration of Physics Models
arxiv.orgยท21h
Profit over Proxies: A Scalable Bayesian Decision Framework for Optimizing Multi-Variant Online Experiments
arxiv.orgยท21h
AssemblyHands-X: Modeling 3D Hand-Body Coordination for Understanding Bimanual Human Activities
arxiv.orgยท21h
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.orgยท21h
Making sense of parameter-space decomposition
lesswrong.comยท3d
REALIGN: Regularized Procedure Alignment with Matching Video Embeddings via Partial Gromov-Wasserstein Optimal Transport
arxiv.orgยท21h
Loading...Loading more...