iiinova — where your digital self keeps evolving

Reposted by Clavin

srrrse @without.boats · 06/10/2026

imagining the world where the headline was “lean solves open math problem” and ten gazillion trillion dollars was poured into theorem provers

1342

Clavin @cla.vin · 06/10/2026

hype vs. job count gap

Scatter plot of hype versus the gap between milestones. As the gap shrinks from 300 jobs to 5, labels escalate from “milestone” to “MONUMENTAL”

000

Clavin @cla.vin · 25/09/2026

just noticed the iOS keyboard’s emoji search bar doesn’t use continuously curved corners, can’t unsee it

Screenshot of iOS keyboard’s emoji search on the emoji search view

000

Clavin @cla.vin · 21/09/2026

morning is the best of times. morning is the worst of times.

asked: what is the best part of the day

Jev’s answer: morning

asked: what is the worst part of the day?

Jev’s answer: morning

021

Clavin @cla.vin · 12/09/2026

started on Roblox before graduating to Minecraft mods and plugins, still have fond memories of the Bukkit API tho

010

Clavin @cla.vin · 12/09/2026

back in my day MCP meant Minecraft Coder Pack

111

Clavin @cla.vin · 09/09/2026

this was nearly my last straw while battling illness what the HELL is an uncrushable??

100

Clavin @cla.vin · 09/09/2026

Nintendo Direct AND Apple event the same morning??

010

Clavin @cla.vin · 09/09/2026

watching the zelda direct, got hit with a specific kind of nostalgia

screenshot of video showing official legend of zelda ocarina of time remake, with extremely realistic graphics, and video title edited to say "Legend of Zelda 64 REMASTER Unreal Engine 5 [FULL GAME RELEASE IN NOVEMBER]"

110

Clavin @cla.vin · 27/08/2026

the personal context is (finally) real

New Siri AI conversation, asking for a number of a locker from a photo taken earlier in the day. The answer gives 25.

The New Siri AI chat answer over the picture of locker #25

010

Clavin @cla.vin · 27/08/2026

eager to see this prediction to turn out bsky.app/profile/cla....

040

Reposted by Clavin

Julia M. Rohrer @dingdingpeng.the100.ci · 26/08/2026

Some people on here really need to go touch graph.

A graph with a green noisy line that looks like grass. X-axis label "x", Y-axis label "y"

1666792

Clavin @cla.vin · 13/08/2026

the kerning in the subtitle 😮‍💨

010

Clavin @cla.vin · 06/08/2026

> Higher is… you decide.

000

Reposted by Clavin

asa @asap.systems · 04/08/2026

I've never been so hyped for a programming language goals doc

github.com

1233

Clavin @cla.vin · 04/08/2026

Feels like the German language would have a compound word for this feeling

110

Clavin @cla.vin · 30/07/2026

the compiler mid-expression:

010

Clavin @cla.vin · 29/07/2026

saturated this benchmark, on to the next

070

Clavin @cla.vin · 29/07/2026

left out the first line and got safeguarded

020

Clavin @cla.vin · 27/07/2026

🗣️ them clouds ☁️☁️☁️

000

Clavin @cla.vin · 26/07/2026

naively, this sounds like the models should be a threat, but I’ve found only the opposite. I, too, can go deeper on more problems with my time, and my peers have started looking to me for advice. I love that.

000

Clavin @cla.vin · 26/07/2026

Another skill I’d like to see become accessible is formalization, for infrastructures. Eager to see people ‘do a breakthrough’ on type systems and interfaces next. </soapbox>

010

Clavin @cla.vin · 26/07/2026

One of my marketable skills used to be the depth of investigation I could give to a problem. Models have enabled so many more people to go deep on so many more topics now! We see niches being explored with more depth and breakthroughs advancing our frontiers every day as a consequence.

120

Clavin @cla.vin · 26/07/2026

<soapbox> …and for it to become generally accessible too. I’ve seen models writing Lean code for years now, but I’ve yet to see codebases formalizing their most fundamental systems with this power—access controls, extension lifecycles, rate limits, etc.

150

Clavin @cla.vin · 26/07/2026