4HumanX: Agile and Generalizable Humanoid Interaction Skills from Human Videos (opens in new tab)(wyhuai.github.io)1jasondavies4mo ago0Save
6My Journey Towards Coding Agents: Building Sera (opens in new tab)(timdettmers.com)1jasondavies4mo ago0Save
832-Bit Integer Multiplication on Tenstorrent (opens in new tab)(jasondavies.com)2jasondavies7mo ago0Save
10Aristotle: IMO-Level Automated Theorem Proving (opens in new tab)(arxiv.org)arXiv3jasondavies8mo ago0Save
11MirageLSD: The First Live-Stream Diffusion AI Video Model (opens in new tab)(about.decart.ai)8jasondavies11mo ago0Save
12Why am I searched every time I go to Australia? (opens in new tab)(caseyhandmer.wordpress.com)21jasondavies1y ago16Save
15Bolt3D: Generating 3D Scenes in Seconds (opens in new tab)(szymanowiczs.github.io)290jasondavies1y ago53Save
