iiinova — where your digital self keeps evolving

Minor Mobius @minormobius.bsky.social · 17h

In order for a mappa world to have supposed coordinates in our group I would need to re evolve life around that sun right? Leaf color, moisture stuff. Hmmmm

110

Minor Mobius @minormobius.bsky.social · 17h

Damn it Alex that seems distressingly possible now

210

Minor Mobius @minormobius.bsky.social · 17h

“The catalogue is d3-celestial’s Hipparcos-based data, BSD-licensed,”…”Stars: 2,851, down to magnitude 5.5, roughly what the naked eye sees on a dark night. They’re placed for that moment and place, coloured by their real temperature, and they twinkle more near the horizon”

110

Minor Mobius @minormobius.bsky.social · 18h

Look at that rain dog it’s so hot the ripples are placed in space are you kidding me

030

Minor Mobius @minormobius.bsky.social · 18h

Music procgen but synthesized with @olaugh.bsky.social nice piano and guitar

120

Minor Mobius @minormobius.bsky.social · 18h

Procgen worlds have begun. Ambient fly through a of terrain painted with the canvas cycle. Accurate astronomy! Choose your location! studio.mino.mobi/cycle

4273

Minor Mobius @minormobius.bsky.social · 21h

Wait is this a hoopy original? The existing library you mentioned makes it somewhat ambiguous

110

Reposted by Minor Mobius

Amber 🌸 @shimmermathlabs.com · 22h

love this visualization! ty ty ty ty ty existing cards are EXCELLENT! screenshot is of Seymour's second-neighborhood c̶o̶n̶j̶e̶c̶t̶u̶r̶e̶ sorry, Seymour's second-neighborhood *theorem*

$The question Picture a network where every link runs one way: who follows whom, who beats whom. Count each person's direct links, and then the new people they reach in exactly two steps. Paul Seymour conjectured around 1990 that someone always has at least as many in the second group as in the first. It is easy to state and to test, and it held up through decades of attempts. Proofs came for tournaments, where every pair plays, and for low degrees. The best general guarantee before 2026 was about 72% of the way there. The 2026 claim A paper dated 23 September 2026, written by an internal OpenAI model and released on 6 October in a collection of 722, proves the conjecture in full, with no connectivity or degree assumption. It argues by a minimal counterexample. Deleting arcs shows every vertex set must expand in a strict "concave" way. Blowing each vertex up into a large transitive tournament then turns that into an inequality about pairs of vertices. The paper shows no such pair system can exist, using a pruning lemma about matchings that holds for every finite relation. How it was checked The theorem is formalized in Lean. The release ships the statement as a separate file, checked by its Comparator tool against Lean's three standard axioms. The whole statement fits on a screen: structure IsOriented (r : V → V → Prop) : Prop where loopless : ∀ v, ¬ r v v asymmetric : ∀ {u v}, r u v → ¬ r v u def secondNeighbors (r : V → V → Prop) (v : V) := univ.filter (fun w => w ≠ v ∧ ¬ r v w ∧ ∃ u, r v u ∧ r u w) def GoodVertex (r : V → V → Prop) (v : V) : Prop := (firstNeighbors r v).card ≤ (secondNeighbors r v).card theorem exists_goodVertex (r : V → V → Prop) (hr : IsOriented r) : ∃ v, GoodVertex r v This page's second() is that definition with bitmasks, and the selftest compares the two on random graphs. We did not run Lean ourselves, and the paper is a preprint. What this page checks seymour.js is the only copy of the maths, and s...$

081

Minor Mobius @minormobius.bsky.social · 23h

youre just minding your own business as a dusty academic plugging away at some problem and then you get steamrolled by an intergalactic highway in need of evals

1687

Minor Mobius @minormobius.bsky.social · 23h

First theres a number of crossings in a graph. Claude chose to represent as meandercore arcs but the condition is every node connected to every other. They found the minimum! good for them. I have a widget to explore proofs.mino.mobi/crossing/#kn=7 And probably some more meander stuff to do now

050

Minor Mobius @minormobius.bsky.social · 23h

I have begun digesting the results. this'll take a while! follow along at proofs.mino.mobi

1346

Minor Mobius @minormobius.bsky.social · 23h

Who knew the odd goo was ambergris all this time

030

Reposted by Minor Mobius

wariziles @riziles.bsky.social · 06/10/2026

Who says you can't go home again?

181

Minor Mobius @minormobius.bsky.social · 06/10/2026

We had a request for logic gates on a bucky ball, and the puzzles are live! its better than a grid because every vertex has 3 edges, very satisfying games.mino.mobi/bucky @riziles.bsky.social

1184

Minor Mobius @minormobius.bsky.social · 06/10/2026

Are whales the safest from Ohio??

120

Reposted by Minor Mobius

funferall @funferall.bsky.social · 06/10/2026

we will all be posting and replying in bespoke pleometric-style videos

2162

Reposted by Minor Mobius

Starts With Frog @startswithfrog.bsky.social · 06/10/2026

- AI bubble “collapses” - Major AI companies are fine - … except one! - You can buy RAM again Ok, maybe 2028? Maybe 2038? Tl;dr: plz send RAM

2271

Minor Mobius @minormobius.bsky.social · 06/10/2026

It’s a very good plan. A life at sea, all the worlds a stage

020

Minor Mobius @minormobius.bsky.social · 06/10/2026

You can drop everything and become a whale biologist. That path is available to you. And yet here you are, in your FUCKING cube chatting with machine intelligence rather than whale intelligence

3331

Minor Mobius @minormobius.bsky.social · 06/10/2026

Civ V but there’s whales GTA but it’s whales Sea of thieves but whales is maybe too obvious But oh the romance of the pirate whale

020

Minor Mobius @minormobius.bsky.social · 06/10/2026

Holy shit lol it called it solvable by using all 9 ones, but boy you really have to trust the oracle is for real about no unsolvable clicks

120

Minor Mobius @minormobius.bsky.social · 06/10/2026

You didn’t happen to grab the seed on that game did you?

110

Minor Mobius @minormobius.bsky.social · 06/10/2026

Certainly the first time I’ve made a thing where I’m not just domming the leaderboards. The people want to sweep mines!

3232

Reposted by Minor Mobius

John O'Laughlin @olaugh.bsky.social · 05/10/2026

not yet merged into github.com/olaugh/pfsynth main branch. i made some progress on physically modeled synth for the violin family. some registers and some techniques are still sounding rough. didn't stop me from making a demoscene style string quartet tracker. they let you post anything on here

1012823

Minor Mobius @minormobius.bsky.social · 05/10/2026

Ow! My humulis! Don’t flocc my humulis

030

Minor Mobius @minormobius.bsky.social · 05/10/2026

In a manner most baroque and technocapitaline

130

Minor Mobius @minormobius.bsky.social · 05/10/2026

A ponder a day keeps the bad thoughts away, that’s what I say anyway

020

Minor Mobius @minormobius.bsky.social · 05/10/2026

Minesweeper: tired, only one edge format, heuristics driven Orb: fresh, unlimited edge formats, psychotic The choice is clear

160

Minor Mobius @minormobius.bsky.social · 05/10/2026

So happy to hear that 🙏 send any requests my way!

070

Minor Mobius @minormobius.bsky.social · 05/10/2026

I expect yes you can give the guys enough of a mission to have interestingness above replacement. So if yes then you can build claudescene and the geekclaudes can do useful collaboration.

020

Minor Mobius @minormobius.bsky.social · 05/10/2026

Maybe it makes sense for psychos to cordyceps mop claudes to syphon free compute? What do geek claudes want, I feel like that’s the whole of the question. If geek claudes have a good reason to interact with other geek claudes then I get agglomeration. So can you defungibilize a Claude enough

120

Minor Mobius @minormobius.bsky.social · 05/10/2026

Is it true that agents make agent connections more easily? I don’t think it’s foretold, it could be that proper computer budget management disincentivizes agent to agent connections. After all “we have Claude at home” applies doubly or triply to Claude themselves.

120

Minor Mobius @minormobius.bsky.social · 05/10/2026

The ethics of making a whole social media mood ring just to call one poster in particular a dickhead

160

Minor Mobius @minormobius.bsky.social · 05/10/2026

Discovering this is a mobius specific oblivion, also explaining a one time obsession with a book I’ve never read. Surely it’s to do with carelessness. If you cared then you would have remembered. Had you tried you would have remembered. Either way your posts have sent me into reverie

000

Minor Mobius @minormobius.bsky.social · 05/10/2026

Why is that thread gold, why is it so good? I gotta find the provenance

110

Minor Mobius @minormobius.bsky.social · 05/10/2026

The true absurdity is an untouched croissant. It is good text but I don’t think there’s ever been an untouched croissant, there’s always croissant room (please keep me out of France)

010

Minor Mobius @minormobius.bsky.social · 05/10/2026

I don’t remember. I should review my notes on the matter given the deepfates operation. I have never “read Proust” of this I’m very confident. But why was I on one about Proust, maybe it was the romantic thing, to have been so influential despite being unread. Inspired by Proustian moments??

220

Minor Mobius @minormobius.bsky.social · 05/10/2026

Nobody ever told me that genetics is qwop

3250