petrockette
banner
petrockette.bsky.social
petrockette
@petrockette.bsky.social
∑Π≃λ×🍩

Wayward physics girl doing work in Haskell and Agda now

HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking

@petrockette@masto.ai
Have we already forgotten that stealth aircraft are invisible
September 30, 2025 at 6:21 PM
Never forget that stealth planes are invisible
September 30, 2025 at 6:10 PM
Since there is no relief from the press, or the courts, or the house, or the senate, or any other institution, at least we have time on our side to help end the horror we are experiencing now

No one lives forever, and they have no replacement
September 15, 2025 at 11:40 PM
Stroke stroke stroke. It is a short matter of time before the aneurysm. And while they have the power, they don't have anyone else to play the piper for the mouth breathers
September 15, 2025 at 11:34 PM
We are run by oligarchs. We are owned by oligarchs. What truth or opposition has been made by the democratic ruling class to the filth that Charlie Kirk spewed? Everyone who has stood up for truth against the Trump narrative has been fired or banned

He was a hate clown wearing a diaper for money
September 15, 2025 at 10:24 PM
I hope this is how Gavin Newsom plans to continue Charlie Kirk's work
September 11, 2025 at 3:11 AM
Charlie Kirk owning the libs by wearing diapers
September 10, 2025 at 10:07 PM
We have a child rapist as president
September 9, 2025 at 12:13 AM
This is really nothing new, they just cost more, a gimmick

They are not as useful as a phone and cost more

Who would want to strap proprietary software to their face made by a sociopath
August 13, 2025 at 7:43 PM
July 18, 2025 at 8:36 PM
Get your mind right
July 15, 2025 at 9:18 PM
People keep asking me questions already answered by my T-shirt
June 1, 2025 at 1:31 PM
May 30, 2025 at 2:34 AM
TERF says what? Nevermind. I don't want to know
May 30, 2025 at 1:44 AM
May 30, 2025 at 12:08 AM
May 29, 2025 at 11:46 PM
taco taco man
i've got to be a taco bowl man
May 29, 2025 at 10:22 PM
Hey, hey, hey, hey, hey
TACO, TACO man
I gotta be a TACO man
TACO TACO man
I gotta be a TACO
TACO, TACO man
I gotta be a TACO man
TACO TACO man
I gotta be a TACO
May 29, 2025 at 2:05 AM
This is what the @nytimes.com tries to distract you from when they talk about socialite weddings or some shit food they have made safe for white people
May 3, 2025 at 9:04 AM
April 25, 2025 at 9:03 PM
His name was Robert Paulson
March 14, 2025 at 1:18 AM
There has certainly be a deleterious effect on software: a whole new generation of script kiddies

devclass.com/2025/02/20/a...
March 9, 2025 at 8:18 AM
The focaccia could not wait for the photo before it was demanded 🍜 🍽️
December 21, 2024 at 12:35 AM
Oh no. What have the Americans done to the French? Is nothing sacred?
December 19, 2024 at 5:45 AM
Why can't we have nice things
December 18, 2024 at 4:18 AM