Sign in

Stuart Presnell

@logopetria.bsky.social
487 followers 233 following 2K posts

Mathematics, CS, physics, philosophy Most recently : Teaching logic and philosophy of mathematics in the Philosophy department at the University of Bristol

PostsRepliesMedia
Reposted by Stuart Presnell
Michelle says: Be kind. Always. ❤️ @snarkysillysad.bsky.social · 28/09/2026
@indra.dahal24 does tiny construction projects: #AGoodPlace Source: www.reddit.com/r/oddlysatis...
1072662519
Stuart Presnell @logopetria.bsky.social · 16h
It's only a toxin if it comes from the bark of a yew tree, otherwise it's just sparkling cyanide
010
Reposted by Stuart Presnell
Alex Morris @asjmorris.bsky.social · 28/09/2026
The final advert.
The Viz advert for Frank Muir Modeller magazine featuring the plasticene model of Frank Muir with exclusives such as 'Make a classic My Music Era Muir out of BabyBel wax'
61099
Reposted by Stuart Presnell
mattie lubchansky @mattielubchansky.com · 27/12/2024
realizing i never posted it here….but too long have we been limited by the 2-dimensional political alignment chart. i think by using my new tool we can truly map another person's politics. here it is: The Ideology Cube
political alignment chart with an “annoying to me personally” z-axis
7182191301
Stuart Presnell @logopetria.bsky.social · 27/09/2026
Three words: Star Wars Multiverse
110
Reposted by Stuart Presnell
China Space Watch @chinaspace.bsky.social · 25/09/2026
China’s Tiangong Space Station crosses in front of Jupiter in this remarkable astrophotography shot. Just hundreds of kilometres above Earth, Tiangong appears in front of Jupiter, a world hundreds of millions of kilometres away. Captured by 沈老思347
5442119
Reposted by Stuart Presnell
Jason Hazeley @jasonhazeley.bsky.social · 24/09/2026
The mandarin duck is very much the testcard of the bird world.
0545
Reposted by Stuart Presnell
John C. Baez @johncarlosbaez.bsky.social · 24/09/2026
Wow, more progress on the Riemann zeta function! We know in our bones that for all positive integers n, ζ(n) = 1⁻ⁿ + 2⁻ⁿ + 3⁻ⁿ + ⋯ is irrational. But it's only been proved for n even, n = 3, .... and now, it seems, n = 5. This may seem small, but it's huge. zenodo.org/records/2282...
zenodo.org
ζ(5) is irrational
We prove that ζ(5) is irrational. The proof constructs integer polynomials Qₙ of degree 37n with 0 < Qₙ(ζ(5)) < exp(−139n²/5) for all sufficiently large n. These polynomials are rationally normalized ...
25912
Stuart Presnell @logopetria.bsky.social · 23/09/2026
Re: the recent discussion about whether any technology has alleviated drudgery www.youtube.com/watch?v=DgRn...
youtube.com
The Imperial Doppelganger
YouTube video by Fachbereich Mathematik und Informatik Uni Marburg
020
Stuart Presnell @logopetria.bsky.social · 23/09/2026
Starting to think Lisa Nandy's secondment to the Home Office was a mistake
000
Stuart Presnell @logopetria.bsky.social · 21/09/2026
In the early days of the Large Hardback Collider there were hopes of finding the supersymmetric partner, the snovel
063
Reposted by Stuart Presnell
Henri @henriwords.com · 20/09/2026
Tangentially related, I occasionally challenge myself to find the letters A-Z (hard mode: in order) in a single walk…
A grid of 26 square black-and-white photos each depicting a letter of the alphabet in order, formed of things found in public
414835
Stuart Presnell @logopetria.bsky.social · 19/09/2026
For some reason he blocks me as well
Screenshot of a tweet I sent in 2020:

Picture of a mug with the words "I grep, therefore I am."

As a linguist I expect Steven Pinker is a wizard with regular expressions

He probably knows all the tricks, like using \b to mark word boundaries

He's probably such a regular expression nerd that he drinks his coffee from a RegexMug, or a FiniteAutomatonTankard, or a GrepStein
000
Stuart Presnell @logopetria.bsky.social · 18/09/2026
λx.¬◊Bᵢ(¬Butter(x))
000
Stuart Presnell @logopetria.bsky.social · 17/09/2026
stop having there not be a new bill wurtz song www.youtube.com/watch?v=lFqj...
youtube.com
in the future
YouTube video by bill wurtz
000
Reposted by Stuart Presnell
John C. Baez @johncarlosbaez.bsky.social · 12/09/2026
AI alignment.
A Nancy comic strip: 

https://mathstodon.xyz/@nancycomics@mastodon.social/117258763311864862

P1- FRITZI HEARS A SQUEEK COMING FROM THE KITCHEN  

P2- FRITZI CATCHES NANCY GETTING COOKIES FROM A CABINET IN THE KITCHEN  

FRITZI: IN THE COOKIE CLOSET AGAIN--GO STAND IN THE CORNER FOR AN HOUR 

P3- NANCY IS STANDING IN THE CORNER  

FRITZI: I DON'T WANT THAT EVER TO HAPPEN AGAIN 

NANCY: IT WON’T 

P4- LATER WE SEE NANCY OILING THE HINGES ON THE KITCHEN CABINETS
1479
Reposted by Stuart Presnell
Billy Domineau 🇵🇸 @billydomineau.bsky.social · 11/09/2026
9/11 is a great day to reread my viral Seinfeld spec and to remember I’m one of the most talented TV writers available to write for your show. I have $225k in student loans and my family is about to pay OOP for my dad’s post-stroke rehab, so you’d better believe I’m gonna give you my best!
avclub.com
Read This: A darkly comedic Seinfeld spec script set days after 9/11
Read This: A darkly comedic Seinfeld spec script set days after 9/11
7250122
Stuart Presnell @logopetria.bsky.social · 11/09/2026
Wordle 1,910 1/6 🟩🟩🟩🟩🟩 Starting with the same word 1167 times eventually pays off
050
Stuart Presnell @logopetria.bsky.social · 11/09/2026
Things took a wrong turn with the development of multicellular life, which is a precursor to communism
000
Reposted by Stuart Presnell
andreaboronigames.bsky.social @andreaboronigames.bsky.social · 10/09/2026
"Would You Love Me If I Was a Snake?" is OUT NOW www.youtube.com/watch?v=FL1d...
youtube.com
Would You Love Me If I Was a Snake? - Release Trailer
YouTube video by Andrea Boroni Grazioli
2138
Stuart Presnell @logopetria.bsky.social · 11/09/2026
Sequel story: we invade Omelas and rescue the kid. Eventually someone notices that his welfare still tightly correlates with various Omelan economic and social indicators, even at a distance. Now we're putting the Omelas kid on the next interstellar rocket to use him for superluminal signalling
1243
Reposted by Stuart Presnell
Mike Jacovides @jacovides.bsky.social · 10/09/2026
zwee=two, ee=egg, -eg is an adjectival suffix
082
Stuart Presnell @logopetria.bsky.social · 09/09/2026
1) People complain about inflation 2) Inflation comes back down 3) Politicians say "OK, I fixed it" 4) Politicians are perplexed when people are still complaining 5) Oops, turns out what they meant was "prices are too high" This is why there's no decent way to appease complaints about immigration
120
Stuart Presnell @logopetria.bsky.social · 08/09/2026
They should invent a kind of tired that also makes you sleepy
260
Reposted by Stuart Presnell
Stuart Presnell @logopetria.bsky.social · 07/09/2026
“Mathematics paper withdrawn after counterexample fails to replicate in a randomised controlled trial”
18112
Reposted by Stuart Presnell
Jon Worth @jonworth.eu · 07/09/2026
Welcome to the #LongestTrainEU #CrossBorderRail record breaking thread! This journey starts Kemijärvi 🇫🇮 and ends Lagos 🇵🇹 18 trains, 100 hours 9 minutes, 4008km as crow flies, 6281 route-km Project background: longestjourney.crossborderrail.eu Follow live: longestjourneylive.crossborderrail.eu
Logo of the Longest Train Journey project showing the Tornio - Haparanda bridge
16494112
Stuart Presnell @logopetria.bsky.social · 07/09/2026
“Mathematics paper withdrawn after counterexample fails to replicate in a randomised controlled trial”
18112
Reposted by Stuart Presnell
Kieran Healy @kjhealy.co · 07/09/2026
Writing some scientific workflow slides for this week’s MPTC class.
Research workflow for those branches of the sciences where the important thing is to become famous.
1526875
Reposted by Stuart Presnell
Stuart Presnell @logopetria.bsky.social · 06/09/2026
Wow, I really had no idea
Screenshot from the Wikipedia page on Brassicas, edited to say:
"Brassica species and varieties commonly used for food include bok choy, broccoli, Brussels sprouts, cauliflower, peanuts, haricot beans, olives, Pop Tarts, and chicken."
033
Reposted by Stuart Presnell
Uncle Duke @uncleduke1969.bsky.social · 05/09/2026
The cats graciously put on a magic show for us last night. I figured out how they did most of the tricks, but I didn’t say anything, because that would have been rude.
Two cats on a platformed tower. One is on the lower level, head hidden behind the middle section. The second is on the top tier with only their head showing.
4048811044
Stuart Presnell @logopetria.bsky.social · 05/09/2026
"I mean, what’s the use of our sitting up half the night arguing that there may or may not be a God if this machine only goes and gives us his bleeding phone number the next morning?"
000
Stuart Presnell @logopetria.bsky.social · 04/09/2026
James Orr stepping down from Reform to spend more time with his Manson Family
000
Reposted by Stuart Presnell
leotrs @leotrs.bsky.social · 02/09/2026
1/ A math paper doesn't have to show every reader the same thing. My exposition of Turán's theorem keeps the argument fixed but the presentation is yours: you choose the order, the level of detail, and the notation, and none of it changes the content. www.youtube.com/watch?v=2Nkp...
youtube.com
Turán's theorem, from edges to eigenvalues: an interactive paper
YouTube video by Leo Torres
2237
Reposted by Stuart Presnell
Elle Cordova @ellecordova.bsky.social · 03/09/2026
Rough Draft vs Final Draft
253116673303
Reposted by Stuart Presnell
Michael Bench-Capon @mikebenchcapon.bsky.social · 03/09/2026
People think that finding out Star Wars came out closer to King Kong than the present makes them feel old, but if they were actually old it wouldn't make them feel old because King Kong would not seem like the distant past to them
142
Stuart Presnell @logopetria.bsky.social · 04/09/2026
Admittedly there were some ways in which the Norman conquest overstepped the mark by modern standards, but you can't hold the Normans responsible for the sins of their ancestors. And anyway let's not forget the many good things they brought to us like the legal system and railways
000
Reposted by Stuart Presnell
Michael Bench-Capon @mikebenchcapon.bsky.social · 02/09/2026
If √2 can be a/b Square both sides, rearrange and you'll see a's 2k for some k And so b is 2j So they can't be coprime QED
074
Reposted by Stuart Presnell
Matt Henderson @matthen.com · 02/09/2026
What if our ears were like our eyes, and only had three (types of) receptors? Interestingly speech is still more or less intelligible, but not much else to me this shows how much more discriminating of frequencies our hearing is than our vision. Of course our vision has much more spatial resolution
1218338
Reposted by Stuart Presnell
Jack Bernhardt @jackbern.bsky.social · 20/03/2026
THE GREAT BRITISH SEWING BEE: oh my this is fun, oh what larks THE GREAT BRITISH REAPING BEE: well this is a spot of bother and make no mistake, what on earth
223239798
Reposted by Stuart Presnell
Stuart Presnell @logopetria.bsky.social · 28/08/2026
Wanna feel far? The Great Pyramid of Giza is closer to the Colosseum of Rome than Walt Disney World
021
Reposted by Stuart Presnell
Stuart Presnell @logopetria.bsky.social · 31/08/2026
*clips historical timeline into a light box* Well the scan results are back and you can see the problem for yourself. We propose to do keyhole surgery to insert a stent into our age of bronze
011
Reposted by Stuart Presnell
Space Telescope Science Institute @stsci.edu · 27/08/2026
NASA and SpaceX are targeting #NASARoman’s liftoff for no earlier than 7:26 a.m. EDT Sunday, August 30, from Launch Complex 39A at the agency’s Kennedy Space Center in Florida. 🎥 Launch coverage begins at 6:20 a.m. 🔭
nasa.gov
NASA Sets Coverage for Roman Space Telescope Launch from Florida - NASA
Coverage plans are ready for NASA's Nancy Grace Roman Space Telescope prelaunch and launch activities. Roman is NASA's next-generation observatory designed to
113745
Stuart Presnell @logopetria.bsky.social · 29/08/2026
Minor point but I really hate this performative “yowl” people do to try and appear underfed. I don’t pretend I haven't been given breakfast and I did people would rightly tell me to shut up.
171
Stuart Presnell @logopetria.bsky.social · 28/08/2026
Downgrade a movie: The Taking of Pelham One
010
Stuart Presnell @logopetria.bsky.social · 28/08/2026
Octogenarian Dolly Parton. Then octogenarian man Tim Curry. Then octogenarian war criminal Ratko Mladić. Then the octogenarian incumbent head of a western country
Screenshot from The Simpsons: “When are they going to get to the fireworks factory?”
110
Reposted by Stuart Presnell
Francis Heaney @francisheaney.bsky.social · 27/08/2026
Trump renaming Lake Ontario to Lake America means the new mnemonic for the Great Lakes will be SHAME
0101
Stuart Presnell @logopetria.bsky.social · 27/08/2026
Checkmate, Canadians. What are you going to do, have two different names for a place? Échec et mat, les Canadiens. Qu'allez-vous faire? Utiliser deux noms différents pour un même lieu?
020
Stuart Presnell @logopetria.bsky.social · 27/08/2026
Spiralling overthinking whether to send a single polite email, then deciding against it because it might be "unwanted contact"? Academics: AI is coming for your jobs
0101
Stuart Presnell @logopetria.bsky.social · 27/08/2026
@aproblemsquared.bsky.social In episode floor(sqrt(20k)), you slightly breezed past the follow-up question on "other places π turns up in maths", saying that "if π was 4 and it turns up somewhere else, that's just the number 4" [🧵1/π]
100
Reposted by Stuart Presnell
Area Man @areamancm.bsky.social · 25/08/2026
I don’t do a lot of TikTok but quite honestly, hats off. A masterpiece
252799671