iiinova — where your digital self keeps evolving

Open on Bluesky →

Replies

dan @danabra.mov · 29/07/2026

i'm excited

We have crossed from “fun speculative attack” into “there may be a real publishable theorem here.” We have not crossed into “the conjecture is probably about to fall.” That is the exciting but sober place I think we are in. I’m continuing the checkpoint while both labs attack the next interfaces.

3310

Rory Stolzenberg @rorystolzenberg.bsky.social · 29/07/2026

oh no, this is the third mid-conjecture post I've read this week and now I'm worried someone out there's beating me to the one I picked

120

Jim Tressel's Sweater Vest @sadbuckeyefan.bsky.social · 29/07/2026

Dan it's unfair to be this smart, talented, AND have the mane of a Greek God. Save some of that aura for the mere mortals here on earth

000

dan @danabra.mov · 29/07/2026

my current setup is three Sol sessions - lab 1 attacks next frontier of the problem - lab 2 tries to formalize highest leverage piece in Lean - the integrator pushes to main and keeps labs busy i'll also add another lab for shower thoughts

3150