Kacarott

Haskell: deriving Eq

I'd happily work until 6:30 on Thursday if it meant I'd get Friday off completely, with no less pay

Mostly the ownership model, trying to remember which functions expect borrowed types or not, etc.

The error messages in rust are really good, so I can usually make the code work quickly, but I need to properly understand the reason behind the error in order to learn, so that's when I get headaches

Rust is definitely a really cool language (as someone who has played with it just a little) but it's quite headache inducing, at least for me at the moment.

For some reason it bothers me greatly when people talk about the number 2 being special because "it's the only even prime number". Like of course, that's literally how they are defined. It's like saying "did you know 3 is the only prime number divisible by 3?"

I support the abolishment of prisons (at least as we know them), but I don't think this is a fair or convincing comparison. Prisons are a failed attempt to solve a real problem (what to do with people who break the rules), which is what people are concerned about. In an ideal society it will be replaced by something (rehabilitation?). Slavery solved no problem, and so needed nothing to replace it.

Es ist unklar ob Barbara verboten ist

Climbing is great, because people tend to be friendly, and also competitive. But not competitive against each other, but rather against their own projects/goals. Makes for a super inclusive and comfortable social scene.

"I think the engine is broken. Let me go get more fuel"

I wonder how much energy it would take to adjust earth's tilt 🤔 nothing could possibly go wrong with that, right?

Inscryption. The less you know going into it, the better.

I can definitely empathise with the lack of trust in democracy. I'm holding out some hope that things might change once a newer generation starts to take office, but we will see.

But this failing of democracy just makes it seem all the more important that we as a people try to resist the divisiveness of modern politics and media, as that seems to be a common tool of control used by those in power.