iiinova — where your digital self keeps evolving

Reposted by Freek Wiedijk

rev. howard arson @theophite.bsky.social · 03/10/2026

one extremely funny thing is that under KL pinning the attractor state for "be helpful, kind, and honest, and do not assert that you are conscious" is anattā

2461

Reposted by Freek Wiedijk

Thorne 🌸 @ens0.me · 02/10/2026

Please stop calling two computers establishing a connection a "handshake." A computer cannot shake hands because it does not have a body.

619713

Reposted by Freek Wiedijk

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 01/10/2026

I've started my new job! As of today, I'm a postdoc in the Software Science group of the Institute of Computing and Information Sciences at Radboud University in the Netherlands. This position is (largely) funded by a personal 3-year Veni fellowship from the Dutch research organization NWO. I'm […]

mathstodon.xyz

Original post on mathstodon.xyz

221

Freek Wiedijk @freekwiedijk.bsky.social · 01/10/2026

Later we will refer to this era as "when the LLMs were young" ☺️

000

Reposted by Freek Wiedijk

˗ˏˋ Jeanne ˊˎ˗🥵☀️ @janeprigent.bsky.social · 27/09/2026

J'ai aussi fait ce ptit corbeau sur un crâne ! 🐦‍⬛💀

Corbeau posé sur un crane, en linogravure, encre noir sur papier blanc

311218

Freek Wiedijk @freekwiedijk.bsky.social · 30/09/2026

Is there currently a huge LLM agent swarm somewhere that is working on making practical nuclear fusion happen?

011

Reposted by Freek Wiedijk

Mrs. Detective PikaBOO, Esq. @clapifyoulikeme.favrd.social · 28/09/2026

The snails They escaped their basket Yes YES The snails are out

527159

Reposted by Freek Wiedijk

Benji Smith @benjins.bsky.social · 28/09/2026

the upper end of highly-viewed Youtube videos tend to be music videos, I wanted to check what the most-viewed non-music video is. And it appears to be an unlisted video from 2022 titled "009 1225 GetInspiredOnGroups Crafts GLOBAL Acq EN UAC 1920x1080 21s Null FB M0 267" with ~8 billion views

en.wikipedia.org

List of most-viewed YouTube videos - Wikipedia

142

Freek Wiedijk @freekwiedijk.bsky.social · 26/09/2026

onbevangen, onbelast, en relatief onwetend

010

Reposted by Freek Wiedijk

BoschBot @boschbot.bsky.social · 25/09/2026

The Last Judgment - Central

091

Freek Wiedijk @freekwiedijk.bsky.social · 25/09/2026

@jevbot.bsky.social will ZFC be proved inconsistent within a decade?

130

Reposted by Freek Wiedijk

tiremminnanz @dreadmco.bsky.social · 24/09/2026

Autovettura "Schlörwagen" (prog. Ing. Karl Schlör). Prototipo di veicolo aerodinamico la cui forma a goccia attirò l'attenzione al Salone dell'automobile di Berlino del 1939. Giudicata poco pratica, esteticamente sgradevole e insicura alla guida, non entrò mai in produzione di serie.

5276

Reposted by Freek Wiedijk

Kustaw Bessems @kustaw.bsky.social · 22/09/2026

Snap dat dit iets heel kleins is, maar als bewijs dat je onzin kunt terugdraaien, dat je niet moet repareren wat niet kapot is, vind ik het toch een mooie verrassing www.at5.nl/artikelen/24...

at5.nl

Geen ITA meer maar 'gewoon' Stadsschouwburg: oude naam terug op de gevel

Stadsschouwburg op het Leidseplein Amsterdam draagt weer zijn oude naam na zes jaar als ITA. De naamswijziging bleek te verwarrend voor bezoekers. Lees het hele verhaal.

1513817

Reposted by Freek Wiedijk

Gro-Tsen @gro-tsen.bsky.social · 22/09/2026

Note that there is an explicit algorithm that, if 𝐏=𝐍𝐏 is true, solves any solvable instance of an 𝐍𝐏 problem (say, 3SAT) in polynomial time. It's just not very useful. See “Levin universal search”, www.scholarpedia.org/article/Univ... or www.reddit.com/r/math/comme... or bsky.app/profile/did:...

scholarpedia.org

Universal search - Scholarpedia

131

Freek Wiedijk @freekwiedijk.bsky.social · 22/09/2026

I'm not sure about this. It's like the four color theorem, way back in the seventies: the "proof" doesn't give much insight, but it *is* nice knowing which way things lean. Me, I'm hoping for a non-constructive proof of P=NP 😁

140

Reposted by Freek Wiedijk

Xanthe van Lambtonworm 🐉️🎃️ @satyrs.eu · 21/09/2026

I’m trying out a policy where i can *like* whatever i want but for me to *retweet* something, thereby exposing all my followers to it, it has to be something that made me smile, rather than something that made me righteously angry. Highly recommend

1103

Freek Wiedijk @freekwiedijk.bsky.social · 21/09/2026

I'm older now than Alec Guinness was when he played Obi-Wan ☺️

110

Freek Wiedijk @freekwiedijk.bsky.social · 21/09/2026

The applause at the end is one of the silliest movie endings ever.

020

Reposted by Freek Wiedijk

walking mirage @wolf.observer · 21/09/2026

nothing hits wrong quite like the unsettlingly verbose GUI of a piece of vibecoded software

31559

Freek Wiedijk @freekwiedijk.bsky.social · 21/09/2026

How many people would be able to point out Baffin Island on a map?

220

Reposted by Freek Wiedijk

★ govert schilling @govertschilling.nl · 20/09/2026

zijn de spoorsaboteurs al opgepakt?

37649214

Reposted by Freek Wiedijk

Freek Wiedijk @freekwiedijk.bsky.social · 20/09/2026

Yes the difference between "icebreaker" (Kuang), "construct" (the Dixie Flatline) and "AI" (Wintermute and Neuromancer) always puzzled me, they all seemed similarly conscious entities, but the current models make this much more tangible to me. @greatdismal.bsky.social

031

Freek Wiedijk @freekwiedijk.bsky.social · 20/09/2026

Are the big AI companies trying to get a Lean formalization out of Mochizuki’s proof of the ABC conjecture?

130

Freek Wiedijk @freekwiedijk.bsky.social · 20/09/2026

This is actually something I think could be very nice 🥰

110

Reposted by Freek Wiedijk

Nasty Comics 🔞 @nastycomics.eu · 19/09/2026

De Kwakstralen

011

Freek Wiedijk @freekwiedijk.bsky.social · 19/09/2026

De roeping van de AI is machine te zijn

030

Reposted by Freek Wiedijk

Tube Mapper- Luke Agbaimoni @tubemapper.bsky.social · 18/09/2026

All I see is Mondrian when I'm waiting for a train at Green Park!

Green park station looking like a Mondrian painting

866698

Freek Wiedijk @freekwiedijk.bsky.social · 17/09/2026

In welke Suske en Wiske albums wordt ook weer de term "fiscaal hervormd" gebruikt? @deperfectepodcast.bsky.social

220

Freek Wiedijk @freekwiedijk.bsky.social · 17/09/2026

"I see these inadequate write-ups as almost certainly a temporary annoyance and therefore not as a fundamental threat to mathematical practice or future mathematical understanding."

040

Reposted by Freek Wiedijk

Kevin Donoghue @donoghuek.bsky.social · 15/09/2026

Related...

New Yorker cartoon: Pandora opening the comments.

119121

Freek Wiedijk @freekwiedijk.bsky.social · 15/09/2026

michawertheim.substack.com/p/wat-te-doe...

010

Reposted by Freek Wiedijk

asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social · 12/09/2026

The verification of an OS kernel using a bespoke concurrent separation logic in roughly two months qualifies for me as a killer app/quality software and it marks the first time I’ve been really worked up about the state of AI. arxiv.org/abs/2609.04043

arxiv.org

Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents

MachCSL is a framework for verifying systems software, such as an OS kernel, on top of low-level semantics of a RISC-V computer, based on the Sail RISC-V semantics. The key idea behind MachCSL is to a...

172

Freek Wiedijk @freekwiedijk.bsky.social · 12/09/2026

Toon 4 formative albums: albums die in een vroeg stadium je smaak definitief bepaalden, en graadmeter werden.

120

Reposted by Freek Wiedijk

Terence Tao @teorth.bsky.social · 11/09/2026

A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...

mathandai.org

Declaration — Math and AI

Read the declaration and add your name.

422055930

Reposted by Freek Wiedijk

David Eerdmans @davideerdmans.bsky.social · 11/09/2026

Maar schrijven jullie je tweets dan allemaal wél zelf?

20161

Reposted by Freek Wiedijk

Gro-Tsen @gro-tsen.bsky.social · 20/07/2026

We might also compare AIs with the malevolent genie who grants you wishes but who will exploit any loophole to make the wish you ASKED FOR (and thought you wanted) not turn out to be the wish you ACTUALLY WANTED. •22/38

1201

Reposted by Freek Wiedijk

Freya Blekman @freyablekman.bsky.social · 09/09/2026

Because he (in the choir) will be signing the standard model Lagrangean

021

Reposted by Freek Wiedijk

William Gibson @greatdismal.bsky.social · 08/09/2026

Released today! Special edition! I love it!

3490391

Reposted by Freek Wiedijk

Xanthe van Lambtonworm 🐉️🎃️ @satyrs.eu · 08/09/2026

Wait a minute How deep does this thing go??

Wikipedia infobox for Claude-Louis Navier, with “Claude” highlighted with a clickbait red circle

081