My personal bias is the ideal form of art is middlebrow, meaning it has the accessibility of pop art but the depth and strangeness of high art. Shakespeare, Austen, Twain, etc. It seems like there have been times and places that encouraged this, but they are perhaps rare?

Submitting a motion to change ‘vibe coding’ to ‘pseudoprogramming’

Ik rijdt door Zweden met een "Interrail Global Pass, 1st class Senior". Door dat "Senior" voel ik me nu een bejaarde 😁

#read 🥰 @markcooperjones.bsky.social @jayforeman.bsky.social

I really liked V5.2 🤷

This is a very cool use of LLMs. But, the conclusion, that suddenly there will be a surge in LLM intelligence is not certain. I'm not confident one way or another. It just seems entirely plausible that there are upper limits on machine intelligence for reasons we just do not fully understand yet.

Democrats 66 win in the Netherlands. Git gone, Geert!

Portland, US, annyal event known as the "Standup Paddleboard Witch Paddle" #womensart (Image S.Bugarsky)

Ik ben *zo* blij dat in 🇳🇱 niet elektronisch wordt gestemd, zodat het kiesproces volkomen transparant en door iedereen te begrijpen is ☺️

Skeletons for #Halloween, from the Nuremberg Chronicle (1493). About the least rare rare book in existence (we have 5 copies) but this one hand-coloured and part of a donation made in 1574 by Elizabeth I's Archbishop of Canterbury Matthew Parker. CUL Inc.0.A.7.2[888].

Dat heb ik weer, komt @sylviawitteman.bsky.social in mijn stembureau, mis ik 'r! 🙄 (Ik hoop dat ze na al die tijd in de rij wel het museum is ingegaan.)

The lion does not concern himself with impredicative polymorphism

This is a write-up of the talk Alex gave in Cambridge in June. There's a fair bit I disagree with, but it is super interesting.

Countries Where Over 90% Of The Population Can Speak English Which country are you surprised not to see? Full data and explanation: brilliantmaps.com/90-plus-e...

Here's the statement in Lean. How little can one get away with importing in order to prove this? Can it be proved by induction on max(l)-min(l) for example, avoiding the reals completely?

Inderdaad, weg met "purity politics"! ☺️

Fascinerend. Ik deed deze kieswijzer, en mijn partij (@groenlinks-pvda.bsky.social) staat echt helemaal onderaan! 😳 Niet dat ik me daar iets van ga aantrekken woensdag ☺️

Hazy ownership is a code smell! #Rust @rcs.bsky.social

More than I think I fear, less than I think I hope 🤷

Watch Marc's talk at the Ubuntu Summit in London for Trifecta Tech Foundation, "Sudo-rs and beyond": buff.ly/NZCL2R4 @canonicalltd.bsky.social @trifectatech.bsky.social #rust #rustlang #ubuntu

I thought I was too old to get excited about protocols, but this atproto discussion from @danabra.mov delivers: overreacted.io/where-its-at/ (a follow up to his open social post)

Welkom bij kaartmannen 😁

In de categorie #straatnaamparels presenteer ik u vandaag: het A9om!pad in Badhoevedorp. (Dit is de enige straatnaam in Nederland met een uitroepteken erin! Het fietspad is genoemd naar 'A9om!', een van de acties die werden gevoerd om de A9 om Badhoevedorp heen te leggen.)

Ik lees eindelijk eens in *België door de ogen van Suske en Wiske*. Bladzijde 10: "voormalige onderwijzeres tante Sidonie". Onderwijzeres, echt waar? Op welk plaatje in welk album is dat gebaseerd? @deperfectepodcast.bsky.social

Per causam sui intelligo id cujus essentia involvit existentiam sive id cujus natura non potest concipi nisi existens.

I measured the total length of my bookshelves. About 50 meters. Is that average? 🙄

If anyone needs me I will be in the museum, lying down next to the bog bodies.

'DAGUERREOTYPE: Will replace painting (see photograph).' - Gustave Flaubert, Dictionary of Received Ideas, 1870s

250,000 / 500 = ? ☺️ #museumplein

In honour of spooky month, share a 4 word horror story that only someone in your profession would understand. "ZFC turns out inconsistent."

There have been a lot of #apple ads lately (as: in the last few years), that I didn't even bother watching. But this one I liked! 🥰 youtu.be/-ueUb6PNwbs?...

52.37N 4.9E

Thanks to @graveolens.bsky.social for putting me on to this site - so many women mathematicians! #WomenInSTEM 🧪

#AI or real? ☺️

I answered a question on MathOverflow about the fruitfulness of considering the closeness-to-falsity of a given statement in mathematics. mathoverflow.net/a/501465/1946

Wat nu weer!

"There is no indication that an effective vaccine exists against false saviours."

More fresh new images from METimage! The Severe Storms RGB helps spot dangerous thunderstorms fast by showing what’s happening at the tops of clouds. It combines data on moisture, light, & heat to reveal where tall, icy storm clouds are building - a sign of hail, strong winds, & lightning ahead.

"When you use GenAI to learn more about compact, regular or normal topological spaces, make sure that GenAI uses the same definitions as you do." ☺️

‘Morning!

Is it me, or does watchOS 26 drain the battery much faster? ⌚️🪫 #apple #hanlonsrazor