beka valentine

@bekavalentine.bsky.social

a dyke who hacks on things. she/xey/ey. defnotbeka@twitter.com beka_valentine@kolektiva.social

Seeing this just fills me with absolute despair at the climate situation. We are still at peak emissions. We haven't even begun decreasing emissions and even if we did, the warming that's baked from past emissions will last for centuries. We're cooked.

Bild

reminder that even in the worst, most bonkers, unrealistic estimates, the Chernobyl disaster killed a total of 500k in the 40 years since it happened, or 12.5k/year cars kill WAY MORE. in the US alone, we're at over 3x that, and globally it's 100x that

Things Gavin Newsom has vetoed this week: -A ban on secretly recording people with smart glasses -A ban on ICE agents working for the state government -A ban on websites selling your data -A bill giving native tribes more say over water rights -A bill protecting transgender healthcare providers

when we do type theory in standard inference rule notation like the left image, we often end up translating that into monadic typing systems like the image on the right but there are a number of aspects of the monadic Haskell version that are not as straight forward as wed like

basic STLC with variables, constants, lambdas, and applicationa bidirectional monadic haskell implementation (minus the constant terms)

Whistler: I want peace on earth and goodwill toward men. Bernard: We're the United States Government! We don't deal with that sort of thing. Martin: You're just gonna have to try. Bernard: All right, I'll see what I can do. Whistler: Thank you very much. That's all I ask. #Sneakers (1992)

In Sneakers (1992), Robert Redford playing Martin Bishop, and James Earl Jones playing Bernard Abbottthe DVD cover for Sneakers (1992)
We could tell you what it’s about.
But then, of course, we would have to kill you.
John Rogers@johnrogers.bsky.social · last yr.

Look, folks, SNEAKERS is in the LEVERAGE ancestors list. it’s a must see, and a true pleasure, unlike some influences that are necessary for context but haven’t aged well.

trying to make a script to remove long stretches of blacked out video from a longer video, and my gosh the tools for this suck we've spent decades making software but we have barely made software good