Subnet teams' own channels, X posts, press, newsletters and events read from the chain — GitHub lives in its own tab
Validator hotkey 5G3wMP3g3d775hauwmAZioYFVZYnvw6eY46wkFy8hEWD5KP3 announced new child keys on SN66, applying at block 9,446,433 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,439,216 and 9,439,276View subnet →
Validator hotkey 5G3wMP3g3d775hauwmAZioYFVZYnvw6eY46wkFy8hEWD5KP3 announced new child keys on SN66, applying at block 9,438,811 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,431,580 and 9,431,642View subnet →
Validator hotkey 5ELREhApbCahM7FyGLM1V9WDsnnjCRmMCJTmtQD51oAEqwVh announced new child keys on SN6, SN12, SN13, SN20, SN24, SN31, SN38, SN44, SN50, SN54, SN60, SN62 and 6 more, applying at block 9,393,652 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,386,394 and 9,386,452
Validator hotkey 5DjtmV76CRvxZqd68fDwWyTmsfqUZ5EUXVJ21FKTBzwLT4Kd announced new child keys on SN7, SN66, SN78, SN117, SN125, SN128, applying at block 9,352,467 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,345,263 and 9,345,324
Taosis News: the week’s articles from the subnet teams, the press and community newsletters, every Friday. Taosis Weekly: the week’s movers, best yields and chain events, with dollar values, every Monday. Past issues
Validator hotkey 5CszMVts9ueMUSKdAwLFSLT7u4oyxN7fUBpo8Z3ETw1ggMUV announced new child keys on SN1, SN2, SN4, SN8, SN9, SN10, SN14, SN17, SN24, SN25, SN39, SN42 and 32 more, applying at block 9,342,864 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,335,649 and 9,335,704
Miners wrote LZ77 parsers in Rust and proved them correct in Lean. We re-ran the best of them on data none of them had seen, next to zlib, zlib-ng and libdeflate. Some held up, the record-holders did not, and the gap to the best libraries turned out to be somewhere nobody was competing. 14 min read →
SN66 conjectures news pagesource ↗
Validator hotkey 5CoZxgtfhcJKX2HmkwnsN18KbaT9aih9eF3b6qVPTgAUbifj announced new child keys on SN1, SN2, SN3, SN4, SN5, SN6, SN7, SN8, SN9, SN10, SN11, SN12 and 113 more, applying at block 9,281,605 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,274,365 and 9,274,433
On Taosis
Swap TAO ⇄ USDC
USDC on Ethereum to TAO, or back. No KYC, wallet to wallet; the fee and the amount you receive shown before you send. Not instant: run by Taosis, paid by hand within hours.
Validator hotkey 5Deo9Q3SnZWNPSEPRTgapbyy6egKu2oaNSqD4RQHHJEuzD9Y announced new child keys on SN4, SN6, SN8, SN9, SN15, SN16, SN17, SN19, SN21, SN23, SN27, SN29 and 56 more, applying at block 9,269,281 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,262,073 and 9,262,137
Validator hotkey 5E4z3h9yVhmQyCFWNbY9BPpwhx4xFiPwq3eeqmBgVF6KULde announced new child keys on SN45, SN46, SN47, SN48, SN49, SN50, SN51, SN52, SN53, SN54, SN55, SN56 and 11 more, applying at block 9,265,512 (~24h). Stake delegated to it there routes through its children after that. On SN56 it replaces the change that was pending for block 9,262,122, which will not apply then.
Between blocks 9,258,311 and 9,258,378
Validator hotkey 5Deo9Q3SnZWNPSEPRTgapbyy6egKu2oaNSqD4RQHHJEuzD9Y announced new child keys on SN4, SN5, SN6, SN8, SN9, SN10, SN13, SN14, SN16, SN18, SN20, SN21 and 55 more, applying at block 9,212,198 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,204,985 and 9,205,045
Validator hotkey 5CAQAgXxoU3NPo1YG5VQKz4Ackh7goNx3TvPD9A6LoqA7FmJ announced new child keys on SN37, SN39, SN55, SN66, SN74, applying at block 9,204,083 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,196,868 and 9,196,931
Validator hotkey 5HK2LZRrvj581VjyxuFxb6ehFZoNi5PqAg3Y2HsmYPhGYYXr announced new child keys on SN66, SN72, applying at block 9,167,892 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,160,600 and 9,160,718
Validator hotkey 5HK1Ubcg6MBwDGW7Td4RtAvE1FNyvkHvXKfwymW9q1BCRJAK announced new child keys on SN66, SN72, applying at block 9,167,889 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,160,600 and 9,160,718
Validator hotkey 5F7dvCS7mdzJU4o9bAUx4LPgpF3XeMM1XEz9nVqVNga9r6LW announced new child keys on SN66, SN72, applying at block 9,167,895 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,160,600 and 9,160,718
Validator hotkey 5EqYdsxW1EYfb7PdJrazCYd1JuunqhABtHSWKh34jPbQoaUf announced new child keys on SN66, SN72, applying at block 9,167,898 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,160,600 and 9,160,718
Validator hotkey 5Deo9Q3SnZWNPSEPRTgapbyy6egKu2oaNSqD4RQHHJEuzD9Y announced new child keys on SN5, SN6, SN8, SN9, SN10, SN13, SN14, SN15, SN17, SN19, SN20, SN21 and 63 more, applying at block 9,162,013 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,154,806 and 9,154,869
Validator hotkey 5HK2LZRrvj581VjyxuFxb6ehFZoNi5PqAg3Y2HsmYPhGYYXr announced new child keys on SN66, SN72, applying at block 9,157,093 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,149,861 and 9,149,924
Validator hotkey 5HK1Ubcg6MBwDGW7Td4RtAvE1FNyvkHvXKfwymW9q1BCRJAK announced new child keys on SN66, SN72, applying at block 9,157,090 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,149,861 and 9,149,924
Validator hotkey 5F7dvCS7mdzJU4o9bAUx4LPgpF3XeMM1XEz9nVqVNga9r6LW announced new child keys on SN66, SN72, applying at block 9,157,096 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,149,861 and 9,149,924
Validator hotkey 5EqYdsxW1EYfb7PdJrazCYd1JuunqhABtHSWKh34jPbQoaUf announced new child keys on SN66, SN72, applying at block 9,157,099 (~24h). Stake delegated to it there routes through its children after that.
Between blocks 9,149,861 and 9,149,924
The Bittensor formal-math subnet says a miner-submitted proof resolves the irrationality question for a classic fork-free-set density.
Intelligence — tao.mediasource ↗
Miners settled Problems 108 and 653 days after announcing a separate Erdős Problem 96 result.
Intelligence — tao.mediasource ↗
The Bittensor subnet says its miners found a Lean-verified counterexample to a long-standing conjecture about unit distances in convex polygons.
Intelligence — tao.mediasource ↗
A referee reads an argument and forms a judgement. The Lean kernel checks a term against a type. Only one of those can be run by a subnet. 4 min read →
SN66 conjectures news pagesource ↗
Two conjectures fell in one week of July 2026. Two days later, the most influential mathematician alive stood up at the ICM and described what the field now has to build. This is that argument, and why this subnet is a bet on it. 11 min read →
SN66 conjectures news pagesource ↗
In this episode, Charlie Holt of Ninja (Subnet 66) details the development of an agent-harness competition for autonomous coding on Bittensor. He discusses his path from early Bittensor mining and dropping out of college, the Miner Union, Brainlock, and the design of a winner-take-all subnet for improving coding agents. Charlie also details harnesses, GitHub-derived coding tasks, LLM judging, Katana, batch-invariant inference, fully homomorphic encryption, subnet economics, validator accountability, and Bittensor as a classroom for builders. *In this episode, you'll learn* - Charlie's path from discovering Bittensor in 2022 to mining, dropping out of college, organizing with Miner Union, and building on SN66 - How Ninja frames an agent harness as the tool belt around an LLM, and why harnesses matter for agents that search, code, and operate without constant human input - The mechanics of SN66's winner-take-all competition, where miners submit agent files, validators run task batches, and the winning harness becomes king - How GitHub commits become coding tasks, why LLM judging is central to the evaluation process, and how Katana fits into the Ninja stack - Why deterministic inference matters for agent evaluation, including the tradeoffs around temperature, batching, and batch-invariant inference - What Charlie learned from Brainlock and fully homomorphic encryption, including the gap between cryptographic privacy ideals and practical inference speed - Charlie's view of subnets as company-like networks, including tokens, voting power, holder accountability, emissions, and the tension between revenue and research - Why Bittensor can function as a classroom for builders, where contributors learn by competing, shipping, and getting paid for useful work *Chapters* 0:00 - Highlights 0:57 - Austin And Charlie's Bittensor Start 3:07 - Mining, Miner Union, And Brainlock 3:32 - What Ninja SN66 Does 4:57 - Harnesses As AI Tool Belts 7:04 - Agent Files And Validator Tasks 8:55
Ventura Labs (YouTube)source ↗
