Jan, the Co-Founder & COO at @DendriteHQ. Leading our mining ops & helping build Bittensor subnets. SOMA | Teutonic | Albedo | Conjectures
Joined June 2021
- Tweets223
- Following214
- Followers274
- Likes1.6K
math was the starting point for conjectures, not the limit
miners now compete to make code faster, with Lean proofs that it matches the spec for every input
change how it works. prove you haven't changed what it does
In our new series dedicated to algorithms, correctness is always a condition of the competition. The second challenge is now for miners to optimise float kernels.
They must prove in Lean that their outputs match FloatLib and TorchLean specifications bit for bit, for every input covered by the specification.
Today, the champion is 8.7× faster than the competition’s shipped reference implementation on the benchmark.
The next improvement could be yours. Optimise the code, prove the same results, challenge the champion.
A year ago, most people hadn’t heard of Dendrite. @ExploitSummit felt very different.
We spent a lot less time explaining who we are and a lot more time talking about what we’re building. Pretty good feeling.
Beyond our own team, Bittensor feels healthy. More people building, more projects taking shape, and plenty of people who genuinely care about making the ecosystem work.
@SomaSubnet kept coming up in conversations. Seeing something we’ve worked on become something people want to talk about means a lot. Top 15 already, a product I’m genuinely proud of, and we’re nowhere near done.
Also, apparently we’re a merch company now. People kept asking for it. To be fair, it turned out pretty damn good.
Next drop at the next conference.
Proud of this crew.
Hunter T. retweeted
“We didn’t know how to set up our first machine.”
Their first reward was just 0.1 TAO. @hunter_tensor shares how @DendriteHQ got its first machine running in a basement and why he wants more people to take that first step into Bittensor mining.
Just having our workshop on Mining 101.
@hux_dendrite is telling people how to mine on @BitMindAI
Cheers @kenjon ✌🏻
Yesterday I wasn’t sure I’d even make it to Montreal. Now I’m here, very well fed by @targoncompute.
Things are looking up. Thanks @the_mattyk and @0xcarro for a great dinner!
Hey all @ExploitSummit enjoyers!
Come and talk with us on mining, @SomaSubnet sn114, Albedo sn97, Teutonic sn3 and @conjectures_io sn66
See you around!
I’m at @ExploitSummit at the @DendriteHQ booth with @hunter_tensor and the rest of the Dendrite team!
Come by and talk to us about SOMA, Dendrite, and what we’re building!
And in just 10 minutes, @pbarbachowski will be taking the stage. You definitely don’t want to miss it.
Hunter T. retweeted
Super happy I got to see @const_reborn speak about SN97 Albedo live on @ExploitSummit
If you're not following what Albedo is building yet, now's the time 👀
gAlbedo! ❤️
Hunter T. retweeted
At @exploitsummit, @Const_reborn outlined his plans for Bittensor’s expansion, focusing on two main directions: bringing new demand into the network and making it easier for subnets to use each other’s products.
Outward expansion would involve building bridges into Bittensor to bring new users and measuring whether subnets can attract real flow from outside the network.
Internally, he introduced Gamma tokens as a new standard for usage credits designed to make cross-subnet integrations easier. Subnet owners would be able to allocate part of their emissions to acquire Gamma tokens and use products across Bittensor.
Const used @SomaSubnet as an example: part of its emissions could go toward compute from @lium_io and credits from @say_gm_!
Hunter T. retweeted
@ExploitSummit just started!
Awesome seeing Teutonic-II on the main stage during @const_reborn presentation.
Hit me up if you want to chat about Teutonic, subnets, or Dendrite
Montreal doesn’t seem to want me on @ExploitSummit
Heavy rain in NYC, cancelled flights, a 3-hour delay. Then the eTA system went down and they couldn’t check me in.
Nice try. I’m coming anyway.
Hunter T. retweeted
Most growing companies building on modern LLMs are quietly overpaying for context their models don't actually need.
Our compressor can cut your agents token costs by 15%. At scale, that adds up to serious savings. And we’re not stopping there.
Talk to our CEO, @oli_soma
Hunter T. retweeted
If you’ve wondered what “mining Bittensor” actually means, this is your session - just before Day 2 of Exploit begins.
@hunter_tensor + @hux_dendrite of @DendriteHQ take you step-by-step through choosing a subnet, understanding what validators reward, the hardware + setup involved, and getting started.
Hubert has mined across 15 subnets; Dendrite has been building on Bittensor since 2022. Get ready: luma.com/1kfeefnr
