3 days after the warranty expired on my laptop, I managed to fracture the lcd panel this is why I bought a laptop of theseus, though

today we're working on fiducials, (non-authoritative) generated overlays, and more proof coverage non-authoritative only because I'm trying to batch all the remaining physical-acquisition work into one session that I'm procrastinating on because the concrete kitchen floor is uncomfortable

today we are writing a planar homography kernel chat, what have I gotten myself into

oh android image stabilization, y u gotta be like this

the problem with building really tall cat furniture is when one of the cats climbs all the way to the sky bed and then does a barf in it

the langsec-slogan (langsec.org/occupy) version of this is "prototype -> verify -> rewrite -> certify" repeat steps 3 and 4 as needed don't ship the prototype. don't trust the rewrite. verify what matters, then certify that it survived

Felladonna@langsec.hacker.gf · 7d ago

observation over the last few days of, well, vibe coding: I think this possible future is much closer than we expected and it's now a matter of coming up with legible workflows for people who haven't ever considered software verification before rn I'm coming up with a legible workflow for myself

observation over the last few days of, well, vibe coding: I think this possible future is much closer than we expected and it's now a matter of coming up with legible workflows for people who haven't ever considered software verification before rn I'm coming up with a legible workflow for myself

Felladonna@langsec.hacker.gf · 8mo ago

Surface Grinder Team 6

cult of the operator but it's, like, mill and lathe operators

literally blocked by my own lack of hand strength smdh drill-assisted rivnut setting tool arriving tuesday in the meantime I suppose there are proofs to check

I majored in english, so there are a lot of them. I'll limit it to three high school: lawrence kohn, who let me write fiction for several projects literature: dr. lorraine stock at the university of houston creative writing: dr. scott, my formal poetry professor at uh

Louie Stowell@louiestowell.bsky.social · 2w ago

Who was YOUR great english teacher (if you had one)? For me it was Hugh Epstein at Richmond college (RUTC). I hope he's well, wherever he is!

hey scumbag brain, fuckin shut it

utterly unsurprised that nine of my top ten skeets are pixels favstar.bisks.net?handle=langs...

apparently I am of an era with "gamer," "headbanger," and "at sign"

Merriam-Webster@merriam-webster.com · 2w ago

Find the 5 words from your birth year that perfectly describe YOUR vibe ⬇️ www.merriam-webster.com/time-traveler/

The Shadow of the Tickle Torturer

Camestros Felapton@camestrosf.bsky.social · 2w ago

Ruin a book by adding a word A Disney Princess of Mars

Tasha's Uncontrollable Hideous Daughter

Jim Kiley@jhkiley.bsky.social · 2w ago

Change one letter to make a D&D spell useless: Gaseous Farm

If you enjoy my thoughts on selfhood, value, freedom, and AI, then you can now help me to develop them in a slightly less impoverished state: manifund.org/projects/art... Share and share widely, if you want to see more of this pumped out into the universe, whatever it is.

the pinkest little nose

one of those nights when there's a whole bunch of stuff I want to tell @fxv2.bsky.social about but he's not there anymore

successfully gave away a bike to my volcanologist friend, now I only have four bikes which is still kind of too many (folding, cargo, cross, electric)

post a perfect album from the 90s that isn't nirvana, soundgarden, pearl jam, or alice in chains

doc@docseuss.bsky.social · 2w ago

Post a perfect album from the 90s that isn't Nirvana, Soundgarden, Pearl Jam, or Alice In Chains.

as promised, the conversation where chatgpt 5.6-sol proves that there does exist a parsing expression grammar that recognizes all palindromes the proof machinery is v. weighty but it's all spelled out explicitly it got long but this is part 1: motivation and discovery chatgpt.com/share/6a6420...

Check out this chat

Here's a chat someone thought you'd want to see.

chatgpt.com

Felladonna@langsec.hacker.gf · 3w ago

still chewing away at this, btw. a proof is nice and everything, but if there is indeed a palindrome PEG, I want to see it, so I'm talking the model through generating it occasionally it gets stuck, but we're down to five steps remaining

it's too hot for welding right now so I'm going to tilburg

got basically nothing done today. it's time to start welding, but the "tools that can kill me" anxiety is too damn high if anyone has a pep talk in them I could sure use one

decided to join in the chatgpt counterexamples to open math problems fun, and while I need to sit down and check its work, we might have found a proof that the language of palindromes can be recognized by a parsing expression grammar just a proof, not a grammar, but I'm having it make a grammar now

these little guys will be what hold the machine feet on as soon as I've detached them from the plate, welded the captive nuts on, and welded them to the ends of the legs if they're the joint between the legs and the feet, does that make them ankles?

can we please get back to this kind of silly international drama

The Brussels Times@brusselstimes.com · 3w ago

'It is regrettable that foreign companies are taking work away from Belgian businesses.' Belgian Fireworks Federation said.

happy national day! 🇧🇪🎆🇧🇪🎇🇧🇪

decided I would rather cut out the gusset plates for the leg with something easier to control than an angle grinder, so there's a jigsaw and rail system arriving tomorrow in the meantime I've plotted all the cuts on the steel and drilled relief holes at the inside corners of the Ts and Ls

this has got to be the highest scoring world cup game in recent memory