τTaosisTaoScale
NewsOfficialWebsiteNov 4, 2026, 00:00 UTC

Two weeks, 208 proved float kernels: what the FloatLib competition found

About SN66 conjectures

Miners made IEEE-754 float kernels in Lean up to 76 times faster and proved every bit of it. We re-timed every champion on inputs none of them had seen. Two that tied on the board at 8.7× came out at 1.4× and 11.4×, and the reason is the most useful thing the competition taught us. 12 min read →

Read the article at SN66 conjectures news page ↗

SN66 conjectures at a glance

SN66, conjectures (α token ض), is one of the independent markets on the Bittensor network, each with its own α token and its own price. Its α currently trades at 0.002166 τ (≈ $0.46), against 5,738 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 37.69% APR (simple) and 45.78% APY (compounded), emissions add 0.000023 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.

Chart, holders, conviction and every figure →

Taosis newsletters

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

Newsletters

Your address is used only to send the newsletters you tick, with your consent (double opt-in). Unsubscribe anytime · Privacy

More from SN66 conjectures

Taosis indexes announcements, articles, posts and releases about Bittensor subnets from their own channels and keeps a record of each. The text above is the source’s; the figures are read from the chain by Taosis.

Two weeks, 208 proved float kernels: what the FloatLib competition found · SN66