Sign in

Stefan Siegert

@safest-integer.mastodon.social.ap.brid.gy
60 followers 3 following 316 posts

About me: Male, pale, stale. My interests are all over the place. Some hashtags I have used and followed include: #programming #rstats #python #foss #running […] 🌉 bridged from ⁂ mastodon.social/@safest_integer, follow @ap.brid.gy to interact

PostsRepliesMedia
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/08/2026
A 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]
 scorched earth and green treesfresh green on scorched earth
000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 23/08/2026
I accomplished something today! #mathematics #lean #vim
screenshot of lean in neovim proving that 1+1=2
002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 21/08/2026
I 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/2026
I'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]
 Screenshot from the linked video
001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 08/08/2026
Street art in Vitoria Gasteiz, the underrated capital of the Basque Country. #streetart #spain
house front covered in gardening themed graffiti art
021
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/07/2026
San 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
castle, vineyards and mountains
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
headshot of an asian looking person in front of corporate office background
020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/07/2026
Has 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 #trump
express.co.uk
Norway ace speaks out as bug hits squad before England World Cup clash | Football | Sport | Express.co.uk
A 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/2026
Awkward 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/2026
Collapse 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]
Artistic fluid dynamics visualisation of Northern Atlantic currents
001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 29/06/2026
#streetart #chemnitz
house sized streetart portrait of an old man
031
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/06/2026
How 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]
Annual heat-related excess deaths in
2000-19 at a spatial resolution of 0.5°
x0.5°. Source: Zhao et al. 2021
022
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/06/2026
This 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]
black on yellow banner saying "teaching programming across disciplines"
020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/06/2026
Uh-oh! University of Exeter in talks to cut about 150 staff www.bbc.co.uk/news/articles/cx2djnz… #exeter #university #academia #academicchatter
photo of a university of exeter sign mounted on a stone, likely taken on streatham campus.
012
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 22/06/2026
My 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
met office rain radar screenshot showing a large area with more than 32mm/hr rain near bristol.
121
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/05/2026
Getting pushed aside and overtaken by a baby in a buggy. #parkrun #running
071
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/05/2026
RE: 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 #programming
framapiaf.org
030
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 26/05/2026
What? 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]
Photo of a woman performing a frog stand pose.
021
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/05/2026
I like the trolley memes subreddit, but it sorely lacks the Koenigsberg Trolley problem. www.reddit.com/r/Trolleymemes
030
Reposted by Stefan Siegert
Yann 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
The image shows an elderly woman, feeding a squirrel in a park using a marionette that resembles her. Her name is Doris Diether, a long-time activist in New York City's Greenwich Village. She is known for her dedication to the community and the park, where she is often seen feeding squirrels. The marionette was made by Ricky Syers, a street performer, and has become part of Doris's identity in Washington Square Park.
3568
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 11/05/2026
As 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/2026
Short 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]
b&w drawing of two men destroying a machine with hammers
002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 06/05/2026
Any 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]
Screenshot from "Children of Men", woman looking scared holding a baby, surrounded by soldiers who look confused.
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
garden view from window showing plants in various bright colours
010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 30/04/2026
The 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]
Moleskine notebook and Xteink4 ereader on a table.
011
Reposted by Stefan Siegert
Mitex Leo @ml.social.mitexleo.one.ap.brid.gy · 30/04/2026
#science
Screenshot of a Nature journal article titled 'The growing inaccessibility of science' by Donald P. Hayes, published on April 30, 1992. The page includes options to access the article, subscription details, and pricing for renting or buying the article.
009
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 28/04/2026
Leibniz 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]
A hand drawn network diagram with connected nodes labelled A to F and caption "Leibniz’s hand-drawn figure illustrating the knobs, wires, and plates of his combinatorial machine".
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
An Al Agent Just
Destroyed Our Production
Data. It Confessed in
Writing.
121
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 26/04/2026
Throughout his career, Yomif Kejelcha ran 100% of his marathons in less than 2 hours, but never managed to win even once. #running #londonmarathon #marathon
Sawe and Kejelcha at London Marathon 2026
022
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026
#photo #photography #blackandwhite
black and white photo of a bridge
172
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026
This is hard work, does anyone remember the recipe for a diamond pick axe? #minecraft #gardening
square piece cut out of my lawn
010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026
RE: mastodon.social/@appassionato/11646… The strange loop between my ears has been enjoying this book over the last few days. #books #bookstodon
mastodon.social
001
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 25/04/2026
Ugh, just as I'm about to move back to arch linux. status.archlinux.org #archlinux #linux
screenshot, arch linux some systems down
000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 24/04/2026
#WindowFriday #fensterFreitag
window partly covered by wysteria blossom
010
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 22/04/2026
geom_pebble(aes(size= -(x+y) %% 10)) streetartutopia.com/2026/04/22/land… #rstats #ggplot2 #tidyverse
photo of a beach with artwork of geometrically arranged pebbles
0131
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 20/04/2026
I'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.social
Original post on mastodon.social
000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 19/04/2026
The 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]
scenic Devon landscape photo
020
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 18/04/2026
Imagine 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
skateboarders jumping through hoops in a circus
000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 18/04/2026
The 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]
Page 109 of Linus Pauling notebook 46.
002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/04/2026
The 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
person in front of a blackboard filled with equations
122
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 17/04/2026
RE: 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/2026
Write 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.social
Original post on mastodon.social
000
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/04/2026
Old 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]
Example of poor mathematical notation including hearts, diamonds, spades and clubs
041
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 14/04/2026
Finding 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]
abstract shapes on a blackboard
023
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 13/04/2026
A 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]
A page from Marie Curie’s notebook,
which is still radioactive and thus
stored in a lead-lined box. Credit: Wellcome Trust
035
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/04/2026
The 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
far side of the moon with sun behind it and moon partly illuminated by earth shine
002
Stefan Siegert @safest-integer.mastodon.social.ap.brid.gy · 10/04/2026
While 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
1d chess screenshot
011