Ah verstehe, für Datenintervalle weiß ich auch nichts vorgebautes.

Die Abkürzungen klingen praktisch, cool… und verwirrend. :]]

Abhängig von der Sprache mit Parser-Kombinatoren (megaparsec :: Haskell, nom: Rust) Paketen oder der Standardbibliothek (java DateFormat).

Not exactly what you asked: I think the comic is in reference to the krita mascot. Krita is drawing software.

Thanks for posting it! It’s probably exactly what I was searching for.

Nice Setup and Picture and also the lighting!

Seriously though, how do you take such pictures? I tried and failed multiple times already. Too dark, bad angles, blinding lights, you name it.

Yes exactly that. It was previously called Coq, maybe you know it under that name?

https://rocq-prover.org/

Somewhat, I’m quite motivated but it’s part of my studies.

Briesiges Wetter ist die beste Wetter-App, ändere meinen Verstand.