Feed
-
ALL HAIL LORD TRANS
-
This change I'm helping shepherd into Iris-Lean is somehow radicalizing me even more. We're working on changing the algebraic hierarchy to be based on ORA's instead of CMRA's, but because Lean has good typeclasses, we can actually do this swap Indiana Jones style with essentially zero impact on clients who use CMRA. It's kind of like how Iris-Rocq has a MRA construction, but you'll notice.... no MRA canonical structures. I understand that this ki...
-
Today's scripture verse comes from the proof irrelevance chapter
-
Feelin like making a change to View. Prepare for a shitstorm.
-
Extremely satisfying to work in the "putting things into their proper places" factory
-
I have acquired Full body skeleton suit
-
https://github.com/leanprover-community/iris-lean/pull/688 I've posted a few times about it but I think my work here is done. I am now very very pleased with this PR. Fully swapped the theory underlying Iris with essentially zero changes for clients (or at least for the HeapLang client). Might be my favorite piece of code I've ever written, I feel like a proof ninja.
-
I'm gonna do a fun project today
-
hola! salgo por aquí en la fedirevista, echenle un ojo :3 @Trex https://masto.es/@Trex/116832750778827119
-
I used otter wiki for mine.
-
#GaiaOnline Avitober Day 1: Candles Looks like I caused a little bit of a fire hazard- um, am I gonna be burnt to a crisp? This is what happens when you let your candles drippy drop all over the place. Anyone got any ice? #BeebzPlays
-
#nsfw #nude #nudity #naked #nudes #boobs #tits #titties #natural #naturalboobs #pale #thighs #thickthighs #beautiful #beauty #sexy #pretty #lewd #hot #artmet #spicy #cute #myself Check this @porncollector@xscape.zclan.cc for more 18+ adult content More at MetArt
-
With striking bright green plumage and melodious song, Sumatran Leaf Birds 🦜 💚are rarely heard in Sumatra’s #rainforests. #Palmoil #deforestation and the illegal #pet trade are threats. Take action #BoycottPalmOil 🌴☠️⛔️ #Boycott4Wildlife @palmoildetect https://wp.me/pcFhgU-g3?utm_source=mastodon&utm_medium=Palm+Oil+Detectives&utm_campaign=publer
-
@Dawn Thank you! Thank you for letting me know - I'm trying to beat Regence BlueShield of WA into covering it, and they're misrepresenting its safety profile, so I'm hoping that by providing evidence of that *and* pointing out that it's covered by them through their parent company in other states I might demonstrate that I'm annoying and persistent enough that I'm not gonna go away, and so it's worth them just covering it.
-
@Dawn do you know the procedure codes they used?
-
Continuing to post my cheery little dystopian near future story to scribblehub in which everything is going super well for Erika, Caitlin and their kids. https://www.scribblehub.com/read/2383588-exons/chapter/2508370/ #trans #fiction #dystopia #family
-
Updated with another chapter of my happy* little dystopian near-future story. https://www.scribblehub.com/series/2383588/exons/ * For values of happy that range into the negative. #Trans #Fiction #Writing #Queer #Lesbian #Dystopia
-
Btw, the press I'm one half of is doing a terrifying thing in 5 days. We're opening preorders for Pollination. This is by far our biggest and most complex project in terms of logistics and volume. But it's also just a fucking cool bit of Trans/Queer creativity and passion. Anyhow, that's my proper self promotion for the year. https://www.patreon.com/AntithesisPress/posts/pollination-for-166968643
-
OggCamp26 (53.474017, -2.234910) was a lot of fun, made me realise how much I missed going to events and speaking to random people about random interests (mostly FLOSS related). Here's how the weeekend went https://alanionita.github.io/blog/2026-05-03-oggcamp26/ Massive thanks to everyone for being a good sport and having a laugh. #OggCamp #FOSS #conference
-
Pleasant experience to load Debian Trixie on Chuwi Minibook. Runs fine with offline packages. It does heat up a bit. Next step is to get Phosh on there. #MiniLaptop
-
@jannavanvrijberge Kun je stoppen me te taggen? Het is teveel
-
Ik poog weg te blijven van X en dat gaat behoorlijk goed, maar soms krijg je iets aanbevolen en is de verleiding om te klikken wel heel groot. #AI #DarioAmodei Vloeken in de kerk hier, maar ik deel hem toch: https://x.com/MisterLeeHODL/status/2103584948020244665?s=20
-
Dit is weer zo'n gevalletje 'lachen of huilen'? Ik ga voor lachen. En ik heb best zin om even op reportage te gaan in het land van de .si top level domeinnamen (tevens het geboorteland van Melania Trump trouwens): Today, President Donald J. Trump signed an Executive Order to replace the term “Artificial Intelligence” (“AI”) with “Super Intelligence” (“SI”) in the executive branch to recognize the continuously advancing technological frontier and the limitless promise it o...
-
Wat leggen Maarten Schinkel en Marike Stellinga het weer lekker uit: Worden de waardes van AI-bedrijven kunstmatig opgeblazen? Ik luister naar 'Worden de waardes van AI-bedrijven kunstmatig opgeblazen?' (Zo simpel is het niet – Stellinga & Schinkel over economie) in de NRC Audio app: https://audio.nrc.nl/episode/182854673?url=https%3A%2F%2Fwww.nrc.nl%2Fnieuws%2F2026%2F10%2F01%2Fworden-de-waardes-van-ai-bedrijven-kunstmatig-opgeblazen-a4937957 #AI #OpenAI #Anthropic #Softb...
-
Niet verrassend, wel heel goed om geregeld op te schrijven (cadeaulink): Big Tech out-lobbies European companies in Brussels Big Tech out-lobbies European companies in Brussels - https://giftarticle.ft.com/giftarticle/actions/redeem/aaef953e-19c5-496b-a019-a86cc69c8456 via @FT Quote: 'Google, Apple and Amazon each have more meetings with officials at the European parliament and European Commission than any individual European company, according to an FT analysis of the EU’s transparency...