https://kripner.com/posts/Recent content in Posts on Matěj KripnerHugoen-usSat, 01 Aug 2026 00:00:00 +0000https://kripner.com/posts/chess-robot/Sat, 01 Aug 2026 00:00:00 +0000https://kripner.com/posts/chess-robot/Teaching π0.5 to play physical chess with the SO-101 robot arm: How I got to a working demo and what is planned next.https://kripner.com/posts/papers-week/Tue, 17 Feb 2026 00:00:00 +0000https://kripner.com/posts/papers-week/Reading five papers in five days: Kimi K2.5, DeepMind’s work on AI4MATH, QED-Nano, Numina-Lean-Agent, and I-JEPA.https://kripner.com/posts/trm-rollouts/Fri, 31 Oct 2025 00:00:00 +0000https://kripner.com/posts/trm-rollouts/Looking inside the Tiny Recursive Model’s latent recursion traces on ARC, with the hypothesis that its intermediate states decompose a task into reusable concepts.https://kripner.com/posts/sigma-gpt/Sat, 14 Sep 2024 00:00:00 +0000https://kripner.com/posts/sigma-gpt/σ-GPTs generate a sequence in any order, not just left to right — two small changes to a standard GPT, and a rejection-sampling trick that fills in many tokens per pass.https://kripner.com/posts/longformer/Thu, 23 Nov 2023 00:00:00 +0000https://kripner.com/posts/longformer/Longformer replaces full self-attention with a sliding window plus a few global tokens, cutting the quadratic cost down to linear in sequence length.https://kripner.com/posts/minerva/Tue, 07 Nov 2023 00:00:00 +0000https://kripner.com/posts/minerva/MINERVA answers knowledge-graph queries by learning to walk the graph: a policy-gradient agent that picks one outgoing edge at a time instead of enumerating every possible path.