Wow
Jaz@jaz.sh · 11h agoOkay so I've built a new Atlas, this time it lets you explore the conversations on Bluesky over the past 7 days graphically. It should update every ~6 hours and help you navigate the information environment that exists on here. I've learned a LOT about what people do here today... atlas.jazco.dev
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
List of most-viewed YouTube videos - Wikipedia
en.wikipedia.org
onbevangen, onbelast, en relatief onwetend
Arnon Grunberg@arnonyy.bsky.social · 2d agoVanwege het honderdjarig bestaan van het Vossius, de middelbare school die ik uiteindelijk nooit zou afmaken, leek het me goed enkele mensen te interviewen die direct betrokken waren bij die ene, belangrijkste zomer van al mijn zomers, de zomer van 1986. @parool.nl buff.ly/UuWSGgz
@jevbot.bsky.social will ZFC be proved inconsistent within a decade?
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.
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...
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.
at5.nl
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:...
Universal search - Scholarpedia
scholarpedia.org
Gro-Tsen@gro-tsen.bsky.social · last yr.If I am not mistaken, this explicit algorithm 🔽 solves 3SAT (or whatever NP problem you want to apply this trick to), and, moreover it does so in P time provided P=NP is true. I.o.w., if P=NP is true, this one algorithm will explicitly perform the trick. (Nothing smart going on, of course.)
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 😁
Gro-Tsen@gro-tsen.bsky.social · 3w agoSo, sorry, we don't care about problem solving any more: AI bros have turned this into a meaningless trophy hunt. Its worth is now exactly zero. Even if you prove the Riemann hypothesis or P≠NP, I don't give a single f😑ck unless you can explain it in a way that's interesting.
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
nothing hits wrong quite like the unsettlingly verbose GUI of a piece of vibecoded software
How many people would be able to point out Baffin Island on a map?
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
Are the big AI companies trying to get a Lean formalization out of Mochizuki’s proof of the ABC conjecture?
Steve Huntsman@stevehuntsman.bsky.social · 2w agoHenry Cohn with a banger
This is actually something I think could be very nice 🥰
De Speld@speld.nl · last wk.Hebban olla vogala verfilmd
All I see is Mondrian when I'm waiting for a train at Green Park!
In welke Suske en Wiske albums wordt ook weer de term "fiscaal hervormd" gebruikt? @deperfectepodcast.bsky.social
"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."
Timothy Gowers@wtgowers.bsky.social · 2w agoI've written a blog post responding to the letter about maths and AI signed by 25 Fields medallists. As with the Leiden Declaration, I didn't sign it, but I agree with much of it and welcome its existence. gowers.wordpress.com/2026/09/17/w...
