iiinova — where your digital self keeps evolving

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

why is geodata always a pain in the butt?

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

So what's the underlying thing here? I'm genuinely interested, because something similar was always bugging me when I was teaching at university: it seems there are strictly superior and inferior methods of learning, but I don't think we know why. I could believe effort being essential atp

120

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

I wonder what exactly makes something a help vs a hindrance to learning in general and more specifically skill acquisition. E.g. I have known people that think syntax highlighting makes you worse at reading code and I don't really believe that. But hell, I don't have data, idk, maybe it does?

220

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

The typing it out example is great and I've not thought about that aspect in a while. I remember people complaining (jokingly to a degree) about devs that just copy paste stack overflow solutions way back and how "they don't even bother to understand what they just pasted".

130

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 understand the constraint of employment. but whatever job i will take up in the future, as long as i'm sitting in front of a computer and have to think about something, anything, i'll use my education and skills. i will develop and code. i'll do it as a tool for learning if nothing else.

050

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 · 11/03/2026

Hahaha, it do be like that ^^

010

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

You're not showing up because you talk about cringe I just don't post We are not the same

040

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

Thanks for mentioning me. I might just concede at this point that I don't know how to social media lmao

020

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

Apparently? I thought I was washed fr getting 33 at first.

010

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 · 19/02/2026

How are you doing this? This seems insane to me.

110

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

same problem with transients in clojure. it can be a nightmare. if you find a good workflow, do tell.

120

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

I think @astralabyss.m1em.gay has both atproto and clojure experience. I'm gonna be so audacious and ping her here ^^

142

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

*cough* c++ devs writing everything themselves in a shitty way instead of using a library unless it's header-only *cough*

030

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

have you considered private <S, T extends S> S generify(T t) { return t; } /j

020

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

if you look at List<T> as a type constructor, it should be able to specify that it is considered covariant in T, and forbid write access. If you want write access, you need contravariance, which could be its own type. idk, invariance with generics is a pain and inheritance was a mistake.

120

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

yeah! i'm saying that should work as well in the default case. i know, covariance and contravariance is specified on the function, not the type, but like, why? a function that can work with a List<SomeType> should have not problems working with a List<SubType> unless it does mutation.

110

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 · 09/02/2026

raw sql? I would never. I use Spring Boot, which supports JPA, which nicely abstracts over all databases. Needless to say, I only write JPQL, unless i need a postgres feature. Then I add "native = true" to my `@Query` annotations.

020

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

Haskell does a special kind of type checking, which no other language does. But it's not overzealous ivory tower academics — it's elegant and rigorous precision in action ⚡ (/s in case that's needed)

120

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

it not only cleans my code but makes it lemon scented? sign me up!

030

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