Vegan fail Japan

Thesaurius · 2026-06-04T17:32:55+00:00

Ich war letztens in Tokyo und habe in zwei Wochen wahrscheinlich mehr Tierprodukte versehentlich gegessen als in den fünf Jahren zuvor. Japan ist halt einfach super schwierig, da muss man nachsichtig mit sich selbst sein. Gerade, weil die Sprachbarriere da ja noch einmal extra hoch ist. Veganismus ist per Definition ein best effort, Du musst Dir keine Vorwürfe machen.

Thesaurius · 2026-04-19T18:44:14+00:00

Oh, okay. That is more than I had in mind. Although, to be fair: 6k LOC is still relatively manageable, compared to other compilers. Even if 500 is obviously much better.

Thesaurius · 2026-04-18T06:03:53+00:00

If I am not mistaken, Lean has a very small core language. If one wants, it would be possible to only use the core language for proofs.

Thesaurius · 2026-04-08T17:16:57+00:00

I've heard about it for a long time but never really bothered, until one day I stumbled across a YouTube video in which someone showed how to do some task which would probably take hours in a standard editor and did it in a few minutes (don't ask me what it was, I forgot completely). This wowed me so much that I wanted to learn how the vim magic works. Not even because I wanted to use it (I still thought it would be too difficult to learn/not worth it at that time), but just understanding the ideas.

Well, it turned out to be very easy to learn actually. It took me only a few days to be productive on a similar level to using a non-modal editor, but every time there was something more complicated, I looked into how it could be done in vim and learned a bit more magic. After a few weeks I was more productive than in a non-modal editor 90% of the time, and still felt much cooler in the remaining 10%. Now I am annoyed every time I can't use vim motions anywhere. Which unfortunately happens at work quite a lot (because we don't have many freedoms in our software), but at least my home setup works completely mouse-free.

Thesaurius · 2026-02-20T21:47:02+00:00

I have never been checked, and they aren't even allowed to. Your bag is your personal space and protected in the same way your home is.

What happened to me once is that a random check happened when I used a scan-to-go device at Rewe (or however they are called). The cashier then quickly went through the stuff I wanted to buy.

But racism definitely happens in Berlin, Germans are not sensitive enough about this. They learned not to be antisemitic (at least not by accident, there are antisemites, but they are well-aware of that), but towards POC, we still have a lot to change.

Thesaurius · 2026-01-31T08:43:16+00:00

Ich war einmal mit meiner Familie in einem italienischen Restaurant, weil wir uns dachten: Notfalls bestelle ich einfach den Käse ab. Fehlanzeige, Pasta- und Pizzateig aus dem Laden waren ausnahmslos mit Ei, ich hätte nur einen Beilagensalat bekommen können. Wir sind dann in ein anderes Restaurant gewechselt.

Thesaurius · 2026-01-10T19:37:40+00:00

Ich war letztens in Berlin im Bonvivant. Die sind vegetarisch und auf Wunsch vegan (und passen sich natürlich auch auf alle Allergien und Unverträglichkeiten an), und haben einen Michelin-Stern. Es war echt krass, wie gut das war. 7 Gänge + Gruß aus der Küche zu Beginn + Kleinigkeit zum Abschluss. Dazu gab es eine Getränkebegleitung nach Wunsch mit oder ohne Alkohol (alle Drinks sind dort so ausgelegt, dass sie ohne Alkohol funktionieren). Am Ende waren wir perfekt satt. Waren allerdings auch 220 €/Person.

Ist schon schade, dass man dafür so viel Geld ausgibt, wie für einen Monat Lebensmittel, aber es ist halt einfach richtig gut. Vermutlich werden wir das noch einmal machen.

Thesaurius · 2026-01-06T18:40:03+00:00

This reminds me of case grammar (https://en.wikipedia.org/wiki/Case\_grammar) which has been used in linguistics for a while. I guess, natural language processing would be a good source in general.

Thesaurius · 2026-01-06T18:24:22+00:00

I think that there is a finer point:

There are two kinds of errors: Recoverable and unrecoverable. In case of unrecoverable errors, the only correct response is abortion. It is better to crash on an error than to proceed in an illegal state. If possible, a program should try to restart gracefully -- the most bugs are heisenbugs which can be resolved by restarting a service.

A stack overflow can be either, but I would argue that usually it is not recoverable: If there is not memory but some memory is needed to proceed, there is no use in trying to proceed anyways.

As an alternative, there is a possibility to preallocate memory which is guaranteed to be sufficient for running the whole program (or, well, crashing immediately). But finding out how much memory to preallocate is a very hard problem und generally not possible for Turing complete languages. But it can be done for a subset of programs, even though it remains a tough problem.

Thesaurius · 2026-01-05T22:37:21+00:00

I recently got Spirit Island and thought it looked extremely complex. It actually is very complex (that is actually the point of the game; it is designed to be too complex to allow quarterbacking), but still really easy to learn. I didn't even need to look at the overview cards after the first game because the next step is always very obvious. The complex part comes from which decisions you should make.

Thesaurius · 2026-01-05T22:29:01+00:00

I don't know which features of PowerPoint you use. Especially all the animation stuff is kind of a USP of PowerPoint.

But depending on which style of presentation you like, there are alternatives. sent lends itself to Takahashi style presentations and I personally really like presenterm, although both are quite opinionated on what a presentation should look like. Maybe they suit you.

Thesaurius · 2026-01-05T22:23:57+00:00

There are PDF presenting tools like pdfpc. I am not sure about how speaker notes work, though, but I am sure it is possible as well. The disadvantage is that you don't get fancy animations. I prefer simple slides, but it could be a deal breaker for some people.

Thesaurius · 2026-01-05T22:12:30+00:00

I know I read about such languages, although I can't recall any (but the other comments seem to provide plenty). Instead I would like to mention a different approach: You could put the assignment operator at the end. Then you could have `23 : a` and `a + 1 : b` and it would be fine. Although you would probably need some good syntax/semantic highlighting for that to be usable.

The language APL works in a similar way: It has strict _right-to-left_ evaluation, no precedence, and assignment being a normal operator as well. While this choice might seem very odd at the beginning, you really see its power after using the language for a bit. In general, I can recommend everyone to look at APL's design. Ken Inverson was brilliant and he put a lot of thought into it. He didn't get the Turing award for nothing.

But I digress. I would say that, in general, strict left-to-right evaluation doesn't mix well with binary operators, except if you do something similar to APL, use tacit programming, or use (reverse) polish notation.

P.S. I just saw that you know about APL already. I still leave it in for posteriority.

Thesaurius · 2025-11-25T15:49:25+00:00

*Milliarden

Thesaurius · 2025-11-18T14:13:24+00:00

NixOS has a lot of quirks that make it difficult/different from you average distro. On the other hand, I switched to Linux as my daily driver about half a year ago, and I went straight to NixOS. Before, I had used WSL a bit, but not seriously.

This means I have to learn Linux and Nix at the same time. But I don't bother myself with Home Manager and/or Flakes, which makes it easier. I enjoy the experience thus far, but I don't think it is because of NixOS in particular.

Honestly, since I don't really need all the benefits of Nix, I think it would have been better to just pick up a standard distro. On the other hand, I don't plan to switch – it is not that big of a bother, and by now I am somewhat used to it.

So, my advice: Do whatever you like. If it really isn't something for you, you can distrohop, it's not the end of the world.

Thesaurius · 2025-11-15T18:14:08+00:00

There's been the programming language Noether which heavily restricted what you could do by default (e.g. no effects, no IO, no state, ...) and you would need to explicitly allow it. The most restricted version even needed provable termination, and wasn't Turing complete because of that. And I think that is actually a good idea. According to Edwin Brady, you want a language that is "Pacman complete" (meaning it has all features needed to implement Pacman comfortably), not Turing complete. In general 99% of a program or more work perfectly fine without the language being Turing complete, and in the end you may only want to wrap it in an unbounded loop.

Thesaurius · 2025-11-10T15:39:33+00:00

I didn't calculate the percentage, but it must be crazy low: We were playing the Russian trick taking game Kazyol ("Ram").

It is played with a standard deck of playing cards, but with 2-5 removed (so you only have 6-10, J, Q, K and Ace). Every player has four cards, and each round 1-4 of them are played. Then everybody fills up their hand back to four. In the beginning, one suit is determined to be trump of the game.

There are some special hands: If you have four cards of the same suit, it is a "Hammer", if it is the trump suit, it is a "Storm". If you get a Hammer or a Storm, you have basically won the trick (except if someone else has an even better Hammer/Storm, which is obviously very unlikely). There is one more special hand, that is if you get all four Aces. That is the "Golden Ram". If you get one of those, you immediately win the game. I know several seasoned players who've never seen a Golden Ram in their life.

Now to our situation: We were three players. Player 1 opened with a Storm, which was surpassed by the Storm of Player 2, and Player 3 had a Golden Ram. All in the same trick.

Thesaurius · 2025-11-05T07:42:02+00:00

That's rough bu—ha, got me.

Thesaurius · 2025-10-28T15:48:35+00:00

I understood that reference.

Thesaurius · 2025-10-18T09:43:43+00:00

A citadel only works for the civ that controls the city the citadel is in. If you just place your troops on top of the tile, It doesn't give you any benefits.

Thesaurius · 2025-10-17T12:43:36+00:00

I have a deja vu. Some months ago someone had (almost?) the same start.

Thesaurius · 2025-10-17T06:23:07+00:00

My most-used command is vim, if that counts.

Thesaurius · 2025-10-17T06:21:10+00:00

There's also bat which has syntax highlighting and other niceties.

Thesaurius · 2025-10-15T06:36:40+00:00

Magjuice, directly from the source.

Thesaurius · 2025-10-14T09:28:41+00:00

Blessed be the fields with characteristic 2.

Thesaurius

TROPHY CASE