Two weeks, 648 proved compressors: what the DEFLATE competition found
About SN66 conjectures
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. Read the article · 14 min read → 29× faster than zopfli at its size, with a parser proved in Lean
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.002690 τ (≈ $0.70), against 6,386 τ of pool liquidity. On-chain, the best-delegated validator on it yields about 37.27% APR (simple) and 45.17% APY (compounded), emissions add 0.000080 τ to the pool each block, epochs run every 360 blocks. It was registered at block #4,958,013.
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.