yet more madoka magica!

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

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

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?

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

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.

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

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!

whoo

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

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

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

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.

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

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.

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.

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

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.

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

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

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?

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.

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

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.

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*

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

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

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

T makes you Gnome, E makes you Plasma

my airfryer fills me with joy and chicken nuggets

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

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

I'm a sucker for contrast

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

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)

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 ... 😞

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

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...

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.

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.

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?

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" 🥲

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

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`

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

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

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

i am more lost than i am able to convey with words