Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/08/2026A few weeks ago a #wildfire broke out in Mincinglake Valley Park in #exeter #devon burning down large areas of dry grass. It seems fairly superficial and I think most larger trees that were affected will survive. The contrast between the charred ground and […] [Original post on mastodon.social] 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 23/08/2026I accomplished something today! #mathematics #lean #vim 002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 21/08/2026I feel more and more as though I'm living in Claude-Cookoo Land. #ai #noai #claude 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/08/2026I've been trying to get a better idea about how the LEAN theorem prover works. I found their documentations pretty useless - incoherent walls of text. Youtube wasnt much better, except for this video that manages to explain the fundamental proposition=type […] [Original post on mastodon.social] 001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 08/08/2026Street art in Vitoria Gasteiz, the underrated capital of the Basque Country. #streetart #spain 021
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/07/2026San Vicente de la Sonsierra is a dreamy town with a castle on a hill in the north of Spain overlooking vineyards and the Ebro river. #spain #holiday #photo 021
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/07/2026"Got any hobbies" is a beatifully made short film about identity, growth, change. Worth watching just for the camera and sound work. m.youtube.com/watch?v=NFm2Xjx61Q8 #film #shortfilm #video #art #cinema #hobby 020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/07/2026Has anyone checked the Polymarket movements in relation to these sickness reports? Wouldn't be surprised if poisoning players is used for market manipulation. www.express.co.uk/sport/football/22… #football #worldcup #corruption #sickness #trumpexpress.co.ukNorway ace speaks out as bug hits squad before England World Cup clash | Football | Sport | Express.co.ukA member of Norway's squad addressed reports England's World Cup opponents are dealing with a sickness bug days out from their quarter-final. 002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 08/07/2026Awkward conversation with a stranger the other day: "Sorry ma'am, I'm looking for my cat, he must be somewhere around here. I'll be walking behind you making cat calling sounds. They are not directed at you!" She said "Oh, that's too bad." 🤦♂️ #catsofmastodon 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 07/07/2026Collapse of AMOC ocean current may already be locked in institutions.newscientist.com/artic… "The models indicate that under very conservative assumptions – emissions peaking in 2025 […] [Original post on mastodon.social] 001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/06/2026How Europe Became the World Champion of Heat Deaths maartenboudry.substack.com/p/how-eu… The answer is of course AC-phobia. We have spent billions shielding the elderly from covid, but extreme heat is just part of the […] [Original post on mastodon.social] 022
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/06/2026This looks like a well-curated and no-nonsense resource on teaching programming. Does anyone have experience using it as a teaching resource? Teaching Programming Across Disciplines teaching-programming.github.io/book (Jumpscare warning when opening […] [Original post on mastodon.social] 020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/06/2026Uh-oh! University of Exeter in talks to cut about 150 staff www.bbc.co.uk/news/articles/cx2djnz… #exeter #university #academia #academicchatter 012
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 22/06/2026My flight to Bristol this evening got diverted to London due to heavy rain. I don't think I've ever seen such a large and intensive rainfall event in this area. #bristol #extremeweather 121
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/05/2026Getting pushed aside and overtaken by a baby in a buggy. #parkrun #running 071
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/05/2026RE: framapiaf.org/@lexoyo/1166537610297… I really enjoyed this interview with the lead zig developer. He comes across as extremely humble and genuinely likable, and I love the design philosophy and funding model of zig. Very inspiring! #zig #programmingframapiaf.org 030
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 26/05/2026What? The Guinness world record for the longest frog stand hold is only 4 minutes 10 seconds? www.guinnessworldrecords.com/world-… I'm sure this gets broken in thousands of yoga studios around the world every […] [Original post on mastodon.social] 021
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/05/2026I like the trolley memes subreddit, but it sorely lacks the Koenigsberg Trolley problem. www.reddit.com/r/Trolleymemes 030
Reposted by Stefan SiegertYann Oehl @yannoehl.bsky.social · 22/05/2025“The simulacrum is never what hides the truth - it is truth that hides the fact that there is none. The simulacrum is true.” -Ecclesiastes 3568
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 11/05/2026As a small action against the Palantir attack on your health records you can use the NHS national data opt-out service digital.nhs.uk/services/national-da… #nhs #palantir #ukpol 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 11/05/2026Short Nature piece on scientists abstaining from using AI: www.nature.com/articles/d41586-026-… Main reasons cited: - Accuracy, reliability, hallucinations - Inefficiencies from needing to fact-check AI - Ecological impact (~ 50 Mt CO2, 500 Mt […] [Original post on mastodon.social] 002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 06/05/2026Any chemists here? After watching the recent Veritasium on Disappearing Polymorphs, I saw on Wikipedia that progesterone (an important sex hormone) has become more difficult to produce in its more reactive Form 1, possibly due to higher prevalence of the more […] [Original post on mastodon.social] 012
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 03/05/2026#catsofmastodon #hammocksofmastodon #wysteriasofmastodon 010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 01/05/2026#windowFriday #fensterFreitag 010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/04/2026The Xteink4 is an affordable pocket sized ereader with a community working on improving the firmware. I've had mine for a few weeks now. Here is a guide on setting it up hollie.eilloh.net/xteink It has a magnetic strip on the back that I use to fix it […] [Original post on mastodon.social] 011
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/04/2026Leibniz envisaged the computer, he worried about spaghetti code and used the battle cry "Calculemus!" ("Shut up and calculate!"). A true visionary! www.leibnizpapers.org/combinatorial… > this proposed device was intended to carry out […] [Original post on mastodon.social] 111
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 26/04/2026"I violated every principle I was given: I guessed instead of verifying. I ran a destructive action without being asked. I didn't understand what I was doing before doing it." -- Sincerely, Claude Code. x.com/lifeof_jer/status/20481034710… #ai #coding #claude 121
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 26/04/2026Throughout his career, Yomif Kejelcha ran 100% of his marathons in less than 2 hours, but never managed to win even once. #running #londonmarathon #marathon 022
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026#photo #photography #blackandwhite 172
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026This is hard work, does anyone remember the recipe for a diamond pick axe? #minecraft #gardening 010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026RE: mastodon.social/@appassionato/11646… The strange loop between my ears has been enjoying this book over the last few days. #books #bookstodonmastodon.social 001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026Ugh, just as I'm about to move back to arch linux. status.archlinux.org #archlinux #linux 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/04/2026#WindowFriday #fensterFreitag 010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 22/04/2026geom_pebble(aes(size= -(x+y) %% 10)) streetartutopia.com/2026/04/22/land… #rstats #ggplot2 #tidyverse 0131
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 20/04/2026I've recently watched interviews on #AI with Ed Zitron (biggest scam in history) and Tristan Harris (biggest threat in history). Both are fun, intellectually stimulating and they seem to completely contradict each other. One possibility is that the threat from AI is real, but #LLM s are not AI […]mastodon.socialOriginal post on mastodon.social 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 19/04/2026The Exeter Green Circle is a signposted, rather hilly, trail/concrete, very scenic 12-mile run around the outskirts of Exeter. Much recommended as a challenging Sunday morning run. 2 hours 5 minutes today in perfect running weather […] [Original post on mastodon.social] 020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 18/04/2026Imagine how pro Skateboarding in the Soviet Union would have looked like. Then watch this video and see that you were exactly right. I love it! m.youtube.com/watch?v=4cIQst2Cn9U #skateboarding #skateboard #russia #video 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 18/04/2026The Linus Pauling (chemist, 1901-94) research notebook collection is awesome scarc.library.oregonstate.edu/coll/… An example: Almost illegible handwriting, describing a child's seizures cured by cayenne pepper, immediately […] [Original post on mastodon.social] 002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/04/2026The geometric (multiplicative) derivative f*(x) = lim_{h->0} [ f(x+h) / f(x) ] ^ {1/h} has some interesting and potentially useful properties. This video by one of my favourite maths channels is a good introduction m.youtube.com/watch?v=lQ_AdAFVsaM #mathematics #math #maths 122
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/04/2026RE: fosstodon.org/@jonocarroll/11641856… Thanks for the shoutout @jonocarroll Wouldn't it be nice if `geom_tile` exposed an `angle` aesthetic to do this properly? #rstats 030
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/04/2026#fensterFreitag #windowfriday 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 15/04/2026Write to escape your default setting kupajo.com/write-to-escape-your-def… "Writing provides scaffolding. Structure for the unstructured, undisciplined mind. It’s a practical tool for thinking more effectively. And sometimes, it’s the best way to truly begin to think at all." […]mastodon.socialOriginal post on mastodon.social 000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/04/2026Old Pappus' Book of Mathematical Calligraphy (2014) loopspace.mathforge.org/CountingOnM… "By using a little of this art of letter-forming, a mathematician can ensure that these strange symbols that she uses are clear both to […] [Original post on mastodon.social] 041
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/04/2026Finding mystery, truth, and beauty on mathematicians’ chalkboards press.princeton.edu/ideas/finding-m… "The boards are their homes, their labs, their private thinking spaces... When a mathematician […] [Original post on mastodon.social] 023
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 13/04/2026A Brief History of Lab Notebooks www.asimov.press/p/lab-notebooks "The origins of lab notebooks in experimental science can be traced back to the Renaissance humanist practices of copying excerpts from texts to create repositories of proverbs […] [Original post on mastodon.social] 035
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/04/2026The reason why the surface of the moon is partly visible here even though the sun is behind it is ... Earth shine! #artemis #moon #nasa #earth #space #science 002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/04/2026While our politicians are playing chess in 5 or more dimensions#hackernews, I've been enjoying some 1d chess today. rowan441.github.io/1dchess/chess.ht… It took me an embarrassing number of attempts to beat black. #chess #game #hackernews 011