petrockette

@petrockette

∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @petrockette@masto.ai

807 Following336 Followers2,309 Posts

YouTube Bluesky

Is this your profile?Claim it and petrockette.dirty.social is yours.Claim profile

petrockette@petrockette· Jun 27

I snapped a few photos as well

Some sad photos of the Glasgow Will's Chocolate Experience

The viral photo of the green-haired-but-not-orange science umpalumpa behind her chemistry set at Willy's Chocolate Experience

petrockette@petrockette· Jun 22

Wait till he discovers Art Spiegelman

A panel of Art Spiegelman's MAUS graphic novel, depicting a cat as a Nazi shoving a gun into the mouth of a mouse depicting a Jewish person

petrockette@petrockette· Jun 16

a very wet elon musk sans top with an enormous bulging belly and wearing some weird shiny moist shorts which are assumed to be long swimming trunks, with a facial expression that resembles a fish, on some beach somewhere. You are not invited

petrockette@petrockette· Jun 16

Cars peaked in the 2000s No computers, no infotainment here, just pure well-engineered analog:

petrockette@petrockette· Jun 16

A photo of a weirdly shaped fat elon musk with a weird fish face and weird shiny black shorts by the ocean and a ginormous protruding belly

petrockette@petrockette· Jun 7

It might finally be The Year of The Linux Desktop, and while I could earnestly say Debian is actually perfectly fine now for newbies, I have with Framework and NixOS seen the shape of the future. NixOS and Adga are not ready for the newbies yet. But behold:

An image of a little 13" framework now self-hosting NixOS

petrockette@petrockette· May 30

Coming from NYC, one of my shocks was that people in they bay area eat what I can only describe as a child's idea of pizza and think they are eating pizza This is pizza (I made this myself)

petrockette@petrockette· May 24

and ears rather than the fiction that comes out of Elon's mouth about dreams of exploring the solar system Starship is the cybertruck of space flight

Imagine of the ridiculous number of refueling launches needed to get starship to the moon and complex lunacy

petrockette@petrockette· May 20

I am not sure I even know what to say Many of my colleagues in the software industry have drunken the koolaid and it is destroying their brains Instead of talking about monads or type theory, they obsess about claude prompts But you are not alone Butlarian Jiahad

A paining of the spirit of the french revolution, with a woman leading the charge by holding aloft a flag: Liberty Leading the People, by Eugène Delacroix

petrockette@petrockette· May 1

You should consider reading Borges' "Tlön, Uqbar, Orbis Tertius" Try getting one to prove that the theorems of classic math which cannot be proven in constructive math are all equivalents once you accept any of them as a postulate:

private
variable
p q r : Level
P : Set p
Q : Set q
R : Set r

-- only need 25 proofs!
postulate
LEM : ∀ {ℓ}{P : Set ℓ} → P ⊎ ¬ P
DNE : ∀ {ℓ}{P : Set ℓ} → ¬ ¬ P → P
Pierce : ∀ {ℓ ℓ′}{P : Set ℓ}{Q : Set ℓ′} → ((P → Q) → P) → P
Imp-as-Disj : ∀ {ℓ ℓ′}{P : Set ℓ}{Q : Set ℓ′} → (P → Q) → ¬ P ⊎ Q
De-Morgan : ∀ {ℓ ℓ′}{P : Set ℓ}{Q : Set ℓ′} → ¬ (¬ P × ¬ Q) → P ⊎ Q

petrockette@petrockette· Apr 19

A photo of the food for the saliors on the US ships near hormuz. They are beige and nearly empty, aside from a small amount of pulled pork and two small pieces of tortilla

It is meant to visually convey depression in the context of this post

petrockette@petrockette· Mar 31

Has Jill Stein ever criticized Putin? Has Chopmsky? Has Trump? I see this:

petrockette@petrockette· Mar 27

It's almost as if nothing is happening in the world right now, and the "left" somehow avoids any criticism of Trump and fascism but is still spending all of its time attacking candidates who lost a year and a half ago, and have no concern for the people suffering in Gaza right now

petrockette@petrockette· Mar 23

I am sort of saying that we are so small we might as well not exist, but we do somehow, in tiny home called earth which must love us dearly because it is so nice to us When Shiva dances, she holds out one hand to let you know that while the world can be scary, everything will be okay in the end

petrockette@petrockette· Mar 23

It's irrelevant whether Trump is more of a far right fascist than Joe Biden? What about FDR?

petrockette@petrockette· Mar 23

I am not sure what you are observing, but I am not observing a socialist movement trying to build momentum and make the world a better place I am observing toxic ingroup/outgroup behavior for engagement and clout that alienates people and puts the worst people in power

Chris Person posts: I don't think we should go back to twitter levels of toxicity but there's a lot of confidently stupid turbolib opinions on here that can only exist in a low predator environment

Zoö Quinn replies: I got the blue check so I could hunt them for sport in a way they could actually be hurt by

petrockette@petrockette· Mar 10

We are all special snowflakes

petrockette@petrockette· Mar 1

Which way, western civilization?

Pierre-Antoine Demachy (1723 – 1807); Une exécution capitale, place de la Révolution (Place de la Concorde), vers 1793

A black and white photographic postcard of Benito Mussolini and Claretta Petacci hanging from a girder at the Piazzale Loreto above a service station on the square

petrockette@petrockette· Feb 25

Has anyone ever noticed that Dr. Jill Stein, under any circumstances, never criticizes Trump, or even republicans in general? It reminds me of how Trump, under any circumstances, never criticizes Putin or even Russia I wonder if there is a transitive property to this great mystery?

Dr. Jill Stein posts on Twitter:

"Actually Obama started the baby jails."

She is community corrected with:

"The T. Don Hutto Family Residential Facility was opened by ICE in May 2006 at the direction of the George W. Bush administration. It was designed to allow the US government to detain immigrant families, including babies, and faced criticism at the time."

with supporting links to archive.org and a New Yorker article from 2008

petrockette@petrockette· Feb 21

So this brings into play the idea of a fixed point approach (that is while the song might sound like english to a non-english speaking italian, it might not sound casually english to and english speaker, and so could be adjusted until sounds english to the english speaker. Now we repeat for the

type proof a fix point existing (in agda)

petrockette@petrockette· Feb 18

We all know who he is. French Laundry during the pandemic. But if the asshole manages to win the primary (and I hope to god he does not) I'm still going to pull the lever because no matter how horrible he is the the horror we are in now is worse

petrockette@petrockette· Feb 17

The Moscow agents or bots or the horseshoe left who were susceptible to them do not allow any any discussion which might stop mitigating unity against trump. No replies, no quote tweets This shit paused after the 2024 when Putin got his puppet back in office, but is showing up more frequently here

Someone brilliant recently said, "Companies are annoyed they have to go through you to get to your money."

And I think Dems are the same way.
The DNC/Dem leadership is annoyed they have to appeal to voters to get votes. They think they're entitled to our votes by being "not the GOP."

petrockette@petrockette· Feb 14

Gotta go, my ride is here

Emma Peel's Lotus Elan from "The Avengers"

it is a butterfly, a beautiful tiny roadster with gentle sexy curves in a teal blue. It is possibly the best handling production car ever made

petrockette@petrockette· Jan 24

petrockette@petrockette· Jan 21

petrockette@petrockette· Jan 18

Did you mean that the chipotle pepito is fajitas because I have eating consumption issues? Or is the tacoway that what I guacamoled was the tortilla of the pico de gallo?f

petrockette@petrockette· Jan 12

petrockette@petrockette· Jan 4

petrockette@petrockette· Dec 25

While the miata is a lovely car, I still think it is too big