iiinova — where your digital self keeps evolving

Kristin @wiredaemon.bsky.social · 11/08/2026

why is geodata always a pain in the butt?

120

Kristin @wiredaemon.bsky.social · 29/04/2026

look how well i traded this baby! i shorted it at the perfect time too!

screenshot from the game "space warlord baby trading simulator" showing a graph of how i traded and shorted stocks, which are in this game, babies.

0325

Kristin @wiredaemon.bsky.social · 27/04/2026

in that spirit: I'm on a quest to look for the things again that make me dream. Programming languages, compsci research findings, etc.

030

Kristin @wiredaemon.bsky.social · 27/04/2026

i feel like a wave of doomer pessimism has washed over software. i hate the attitude of "don't even try, you're not gonna use the software anyways. you're not going use the code either. why? because you'll have AI" why? i like coding. i like doing things. you gonna tell me ai will fuck my wife too?

461

Kristin @wiredaemon.bsky.social · 26/04/2026

the moment they make a good 4x gacha game it's so over for me and my financial stability

020

Kristin @wiredaemon.bsky.social · 22/04/2026

I've seen attempts to get around this. The most principled probably being software verification. But specs too, can be wrong, incomplete, unsound. You are never free of the burden to understand a solution if you are responsible for it. Best you can do is pretend you don't have to. Until you do.

070

Kristin @wiredaemon.bsky.social · 22/04/2026

Who is on the line when something goes wrong? an engineer. It's outsourcing the work but having your staff fix mistakes they didn't make. You get none of the domain knowledge or insight into technical challenges with all of the burden of maintenance. Cracking open black boxes in a crisis... great

0141

Kristin @wiredaemon.bsky.social · 22/04/2026

Can you afford to not understand a system or a piece of it? No? Then don't vibe code it. Seriously, you'll either be forced to understand it eventually or replace it, but it won't be on your terms then. The only "legit" way I see is when it's a fire-and-forget situation, but those are rare!

1181

Kristin @wiredaemon.bsky.social · 19/02/2026

Ok, i got a 33 on my first attempt but on my third i got this

230

Kristin @wiredaemon.bsky.social · 18/02/2026

you may have heard of model checking, but what about modal checking? (tool that just wildly clicks buttons that sound vaguely positive)

150

Kristin @wiredaemon.bsky.social · 17/02/2026

some of the coolest PRs are those that grow in size to thousands of locs of addition and after some deliberation shrink to like, 200 locs addition and 100 locs subtraction

070

Kristin @wiredaemon.bsky.social · 16/02/2026

when someone tells you you've changed, how do you even react? I was inclined to just thank them and tell them it took a lot. But that feels inauthentic. I changed because I had to. And in part it's not like I wanted to either. It was as easy or difficult as staying alive, and about as inevitable.

050

Reposted by Kristin

Selene 🏳️‍⚧️ | ⚸ @selene.euyis.me · 14/02/2026

instant relief surgery free hemorrhoids terminating gel made with authentic CUTTING EDGE GERMAN BIOTECHNOLOGY lmao

042

Kristin @wiredaemon.bsky.social · 13/02/2026

type propagation via go channels. distributed type checking with Kafka. Using Amazon sns / sqs for type checking in the cloud. Type checking as a service. Watch out, I'm going to publish an update for your unification variable. Help my skolem ended up in dead letter queue. I won't ack this type.

1213

Kristin @wiredaemon.bsky.social · 13/02/2026

Something i noticed in general where I see AI coding assistants struggle a lot: If you start with a certain style, it'll perpetuate it, seldomly going for the more robust, simpler, or plain better approach. Makes me worried for vibe code heavy projects that the quality can at best stay the same.

130

Kristin @wiredaemon.bsky.social · 13/02/2026

Solutions built on Communicating Sequential Processes are just so nice. Having to solve problems in this domain without it is such a pain.

000

Kristin @wiredaemon.bsky.social · 12/02/2026

Java will slowly, but surely, drive me insane one day. How the hell is a List<? extends SomeType> not compatible with a List<SomeType>? as in, a function taking a List<SomeType> parameter won't accept a List<? extends SomeType> value.

4100

Kristin @wiredaemon.bsky.social · 12/02/2026

I've started datamining the video game doll's nest. never done this before. It's a fun process!

030

Kristin @wiredaemon.bsky.social · 12/02/2026

Becoming increasingly weird on the internet (affectionate) I've had my paranoia hat on for long enough. Gotta stop doing that.

150

Kristin @wiredaemon.bsky.social · 10/02/2026

Some people don't seem to understand what other people value. If you want to make an AI tool for some existing niche, it should *improve* UX. E.g. why the fuck would i want to write a prompt instead of click a button?

040

Kristin @wiredaemon.bsky.social · 04/02/2026

I'm more and more convinced that the main problem types can introduce is that they're not good general purpose specs, but will be used as such. They're the allowlists approach, but once you want to specify illegalalities, e.g. "only even numbers", they quickly suck at modeling that.

270

Kristin @wiredaemon.bsky.social · 02/02/2026

"no, you don't understand... the "gestalt" in gestalt consciousness is actually german... it's a german concept... look it up..." me, a german: ???

140

Kristin @wiredaemon.bsky.social · 02/02/2026

found out that your favorite tea is one "i forgot to empty the tea can and now it is decomposing" away from not being your favorite tea anymore.

040

Kristin @wiredaemon.bsky.social · 05/01/2026

pet peeve: When a derivable property is part of a type. It's illegal state waiting to happen. There can be reasons for it: performance requirements moving data between domains because the property can be derivable in one but not the other but I beg of you, use DTOs or projections or *something*

220

Kristin @wiredaemon.bsky.social · 02/01/2026

i managed to stay away from social media until the end of the year. i'm allowing myself back. happy new years everyone!

190

Kristin @wiredaemon.bsky.social · 11/05/2025

there's the stereotype of the u-haul lesbian. i'm proposing the extension of this concept to the shipping-container lesbian.

080

Kristin @wiredaemon.bsky.social · 10/05/2025

me: does thing others: you gonna do thing? me: i don't think so me: here's update on thing others: so you really wanna do thing, huh? me: I really don't want to do thing others: but you'll keep working on it? me: ... yes

160

Reposted by Kristin

Luna 🏳️‍⚧️💜🦊 (wife arc) @trustmeim.gay · 04/05/2025

T makes you Gnome, E makes you Plasma

6191

Kristin @wiredaemon.bsky.social · 18/04/2025

my airfryer fills me with joy and chicken nuggets

0101

Kristin @wiredaemon.bsky.social · 17/04/2025

"Sorry for being so pedantic about bread earlier" is probably the most german thing i've ever said holy shit

0162

Kristin @wiredaemon.bsky.social · 15/04/2025

being away from the internet for a few days feels pretty good but now i'm like "what did i miss? :D"

050

Kristin @wiredaemon.bsky.social · 30/03/2025

It was the end of March. Spring was just beginning. The words war and peace got thrown around a lot by all the people on TV, but the sound of their words got blown across the sky with that first spring breeze. All we thought about was clothes on sale, release dates of new games, and the beginning of

010

Kristin @wiredaemon.bsky.social · 28/03/2025

friend: "how does that work??" me, waving with my hands: "it's all, uh, you know, it's not just anything, it's code! it seems like my oratory skills from teaching at uni haven't degraded one bit. (it was about how i'm generating code with and without lisp macros)

060

Kristin @wiredaemon.bsky.social · 23/03/2025

It's so sad to see people unable to truly break up with their toxic typed functional programming language, even after continued suffering. They eventually just return to then get willingly abused by their typechecker all over again. I guess some people never get clojure ... 😞

150

Kristin @wiredaemon.bsky.social · 22/03/2025

me, when i was teaching at university: you see, this is why you fundamentally cannot use regex to parse a lot of things of interest, such as grammars containing even braces. it's just impossible. use a parser generator, parser combinators, etc. also me: recursive regex matching goes brrrrr

2191

Kristin @wiredaemon.bsky.social · 22/03/2025

since i was asked what this means, this was a marathon reference. if you want to lose your mind to an obscure and old game series, the marathon series is definitely not the worst to do that with. abridged text and image taken from marathon.bungie.org/story/eatthe...

marathon.bungie.org

Marathon Infinity... Rage: Eat the Path

040

Kristin @wiredaemon.bsky.social · 16/03/2025

Existence is simple: find the food, push the button, hit the treadmill. But sometimes it gets much harder. Cross over the cell bars, find a new maze, make the maze from it's path, find the cell bars, cross over the bars, find a maze, make the maze from its path, eat the food, eat the path.

drawing of a flower with descriptive text on it. the text above the flower reads "What Am I doing Here?"

051

Kristin @wiredaemon.bsky.social · 11/03/2025

Why do I have the urge to write a clojure (jvm) debugger? I know getting it to a state I would find satisfactory will hurt me mentally.

150

Kristin @wiredaemon.bsky.social · 28/02/2025

The first Mozilla TOS are a joke. They state that "use of Firefox must follow Mozilla’s Acceptable Use Policy" in which they state that "You may not use any of Mozilla’s services to:" even display sexual content. Watching porn is now illegal on firefox i guess. Who came up with this nonsense?

Upload, download, transmit, display, or grant access to content that includes graphic depictions of sexuality or violence,
Collect or harvest personally identifiable information without permission. This includes, but is not limited to, account names and email addresses,

150

Kristin @wiredaemon.bsky.social · 27/02/2025

It's funny how zig is actively removing features that I like and that are necessary for what I want to do with zig. Like actively breaking changes and removing access to information that zig internally clearly has and had, "because you're not supposed to depend on that" 🥲

280

Kristin @wiredaemon.bsky.social · 25/02/2025

Oh man, tomato scrambled eggs over rice is a fantastic dish

170

Kristin @wiredaemon.bsky.social · 23/02/2025

clojure def with the ^:const metadata is extremely evil. if you use it on non-primitive datatypes or strings, etc, it *can* work ... to a degree. but it then might blow up spectacularly once the type of the value is being inspected. And the error is some nondescript `Bad type on operand stack`

140

Kristin @wiredaemon.bsky.social · 19/02/2025

i wrote a clojure function that *will* use the zig compiler. no, you cannot say no. it'll use the one in the `zig-compiler` folder alternatively it will extract a platform specific archive from the jar alternatively it'll use zig that's on PATH alternatively it'll download zig from ziglang org

3120

Kristin @wiredaemon.bsky.social · 12/02/2025

there's so much productivity advice that just doesn't work if you're some specific flavor of adhd and/or autism e.g. eating the frog (doing the ugliest task first) is a surefire way to procrastinate for me. for me it's all about that momentum and this is like starting the car in 6th gear

3294

Kristin @wiredaemon.bsky.social · 11/02/2025

i found a dev diary from 2017. it has this comment: "In the long run a vulkan backend seems like the way to go, but with vulkan the bootstrap IS the project " it's sad that in ... 8 years, things have gotten better (1.3 whoo), but not to the point that this statement would be incorrect now

180