iiinova — where your digital self keeps evolving

(Alla BEVISBARA matematiska sanningar är i princip tautologier borde jag kanske säga, för att inte stöta mig med Gödel.)

000

Det andra är att det mesta i de här bevisen är rätt obegripligt (och därmed ointressant) för mig – som ändå vet mer än ca 99% av folk om teoretisk datalogi – och min gissning är att om systemen fortsätter på samma sätt så lär resultaten bli ointressanta för allt fler, tills ingen längre bryr sig.

100

De tar all världens publikationer och lägger ihop dem på ett sätt som rent kvantitativt ligger bortom en människas kapacitet. Det är liksom inte nya idéer. I princip är ju alla matematiska sanningar tautologier, det är bara att de är komplicerade som gör att vi inte uppfattar dem som triviala.

100

Det ena är den klassiska målstolpsflyttningsreaktionen att det en maskin gör inte längre förefaller så imponerande när man ser att den faktiskt gör det, och förstår (nåja) hur den gör det. I fallet med matematiken uppfattar jag det maskinerna gör som något som närmar sig uttömmande sökning.

100

Jag förstår att de här maskinproducerade bevisen påverkar dem som har matematik som yrke, men från mitt perspektiv är det inte så omvälvande. Vad de gör med min inställning är två saker:

100

Det lättaste är nog nummer 109 som falsifierar förmodan man inte kan multiplicera två tal med n bitar på under Θ(n log n) tid genom att visa att det går att göra på O(n(log n)⁰˒⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁹⁸³⁷).

100

math/overview.pdf at main · openai/math

Skummade över datavetenskapssektionen av den senaste omgången matematiska bevis som Open AI lagt ut i jakt på sådant jag förstår vad det betyder… github.com/openai/math/...

github.com

Contribute to openai/math development by creating an account on GitHub.

101

Jesper Larsson @avadeaux.bsky.social · 07/10/2026

Bisarrt. I artikeln du delade står det inte hur man ska logga in. Bank-ID? E-post?

000

Det är de som definierat den svenska dataterminologin som borde be dig om ursäkt.

100

Jesper Larsson @avadeaux.bsky.social · 07/10/2026

Jag blev förvirrad av det här eftersom jag är programmerare och datatermen stack som jag först tänker på är en felöversättning. Engelskans stack borde översättas till stapel, och stack på svenska borde vara det som heter heap på engelska (jfr ant heap, myrstack).

Jag fick en gång veta att ett par jag är lite släkt med hade separerat ett år tidigare och att mannen periodvis varit inlagd på psyket. Men kvinnans poster under denna jobbiga period visade enbart fantastiska och lyckliga ögonblick med familjen eller barnen.

Känner igen fenomenet, en del använder Facebook för att manifestera hur lyckliga eller lyckade de är, men ibland är det som en besvärjelse.

Jan Malmsjö - Snurra Min Jord (1988)

Självklart är Jorden ingen planet, den är ju en stjärna! youtube.com/watch?v=cRU1...

youtube.com

YouTube video by Lennart Ljung Music

000

I checked Wikipedia and found that there are akshully seven planets: Sun, Moon, Mercury, Venus, Mars, Jupiter, and Saturn.

000

Jag mindes att jag hört att Härnösandsbor blivit kränkta av den bilden och hittade det här. (Men vafan, ”serieskaparen”?! Han har väl aldrig gjort serier!) www.sverigesradio.se/artikel/jan-...

sverigesradio.se

220

Jesper Larsson @avadeaux.bsky.social · 04/10/2026

Någon kunde starta tankesmedjan ”Idéburn välfärd” [obs! inget e i burn] att ta fram dräpande repliker som svar på lobbyism från skattemedelsuppsugningssektorn.

020

Märkligt att det 1980–83 fanns en fantasyserietidning som hette 1994 och såg ut så här. Idén om att 1990-talet låg långt in i framtiden bet sig fast länge i populärkulturen. www.comics.org/series/13122...

Framtidsdystopiskt målat omslag med märkliga varelser, farkoster och vapen.

041

Lufs och tornet (Södervärns vattentorn)

Lite förvånad att du inte kände till den, men då är ju min utgångspunkt att jag är uppväxt i Malmö och minns när texten stod där (den var kvar ett tag). Det finns en del minnen där ute av den, och av Lufs som skrev den, t.ex. på denna allmänt intressanta blogg. malmohus.wordpress.com/2011/03/11/v...

malmohus.wordpress.com

Lufs och tornet Vänner! Så var det fredag igen och dax för ett nytt hus. Att kalla veckans hus för hus är inte helt korrekt, men byggnad kan vi väl gå med på. Kärt torn har många namn men Södervärn…

231

Jag väntar tills han förstått att en algoritmisk metod står i motsats till de svarta lådor som ”AI”-system bygger på. En algoritm har inte mindre mänsklig gnista än ett poem.

010

Jag hade såna ett tag, men det böjliga klämmaterialet åldrades och stannade i intryckt läge, så efter två generationer av dem bytte jag tillbaka till krok. Krok funkar bra till mikrofibertrasorna vi använder men är sämre till wettextypen.

Jag kör med enkel krok, skruvad i överskåpet.

120

Den sämsta pizza jag har ätit var på ett ställe på Sallerupsvägen för ca 25 år sedan. På menyn stod det ”pizzasås” istället för ”tomat, ost” på de flesta pizzorna.

000

Ja, det är det jag menar med att det nog är fult för många, men jag har inte tänkt tanken fullt ut tidigare. Bara sett det som att de identifierat aktivister som motståndare.

010

Intressant, jag har aldrig tänkt tanken att det kan vara fult att vara aktivist, men du har nog rätt i att det är det för många. Kanske läser de in en oärlighet i det med utgångspunkten att alla egentligen agerar för egen vinning, alltså att det finns något bedrägligt i att vilja verka vilja väl.

Bra, det är dags att få centerpartisterna att drömma om vilka ministerposter de kan få, så att processen kan gå framåt!

030

(… En konsekvens som är relevant för IT-perspektivet är två identiskt lika filer/DNA-molekyler innehåller dubbelt så mycket data som en, men ger inte mer information.)

000

Med min terminologi är data alltid data, men olika människor, olika processer, osv., gör olika tolkningar. Poängen är egentligen att det som finns på disken eller i DNA-molekylen inte är information utan data, och att information är vad man får när man gör en tolkning av dem – för sitt eget syfte.

100

… Jag har ingen särskild poäng med det, jag ville bara notera analogin mellan olika ämnens vinklar på det hela.

100

Eller med den informationsteoretiskt inspirerade terminologi jag brukar använda (bl.a. på kurser databasteknik): biomarkören är DATA. För att få INFORMATION ur data krävs en TOLKNING. Processen som bygger en kropp enligt DNA är en tolkning, slutsatser av jämförelse med referensgrupper är en annan.

120

No, I’m not donating much, but the recipient can’t prove that if they receive a huge number of small donations. I don’t know much about money laundry, it was just an idea that it has something to do with states requiring accounting because of that.

100

[Jag har inte tillgång till artikeln men] även om det betyder ”bullshit” i ett sammanhang behöver det inte göra det i andra. En del företeelser (nationer, musikstycken) anses ju existera trots att alla går med på att de är påhittade, medan andra (gudar t.ex.), inte gör det. Komplicerat och gåtfullt.

010

I’m pretty sure that an established and renowned organization is not trying to scam me. The probably either want my information to be able to hit me up for more donations, or it’s some requirement that states put on them to prevent money laundering. But I don’t like it either way.

100

Jag hoppade förbi sidan där jag ombads fylla i personnumret för skattereduktion. (Jag vill ju inte ta pengar till detta från den svenska offentligheten.) Då kom jag till en sida där de ville ha namn, adress etc.

100

Nu letade jag runt på webbplatsen och hittade ett bankgironummer som jag betalde direkt till istället, men det krävde en insats som de inte gör en så sugen på med det där formuläret med obligatoriska fält.

000

Jesper Larsson @avadeaux.bsky.social · 30/09/2026

Ibland när jag klickar på en länk för att ge pengar till någon organisation som hjälper i Gaza eller Ukraina eller någonting, kommer jag till en sida där de kräver detaljerade personuppgifter. Varför?! De förklarar det inte och det får mig att misstänka att det är något lurt, så min gåva uteblir.

210

Är det någon av dem som är anledningen till kravallstaketen, med små klungor av nyfikna hängande omkring, framför Radisson vid Caroli? (Jag tror inte det är måsen.)

100

Jesper Larsson @avadeaux.bsky.social · 30/09/2026

talisman: talman som håller huvudet iskallt

020

Jesper Larsson @avadeaux.bsky.social · 30/09/2026

001

Jesper Larsson @avadeaux.bsky.social · 29/09/2026

Vet inte, men jag är imponerad av att den riktiga Madicken var Jessika Gedins mormor.