Interests: Scala - Godot - Homotopy type theory - OpenSUSE - KDE/Plasma - Transputers.
Sometimes, one is lost. "Where is North?". But other times, one does not know if there is one. What even is a North? Can you eat it? Wikipedia is so great... Wait there's a wiki page for that... What exactly is the meaning of "lost"? Does it need a subject? But... Who is "they"? Who is me? Am I me? Cogito, ergo sum? ... Ah ... It's been five days, I'm thirsty...