Johannes Drever 🌫️➰💎
banner
comandingo.bsky.social
Johannes Drever 🌫️➰💎
@comandingo.bsky.social
software developer, haskell, category theory, religionsgeschichte, weird studies
Wie ich eure Tweets lese. #elephant
February 19, 2025 at 10:37 AM
Der Betroffene hat sich wohl offensichtlich nicht die Seite der Urheber durchgelesen. Der Erlös soll in die Forschung gehen. mecfs-research.org/lemonchallen...
February 18, 2025 at 3:48 PM
Der Algorithmus macht sich über mich lustig.
September 10, 2024 at 8:10 PM
Geh mir weg mit Deiner Lösung. Sie ist der Tod für mein Problem.
June 26, 2024 at 4:51 AM
Kapitel 6 zum poietischen Prozess ist nicht so trocken.
November 12, 2023 at 6:29 PM
Hallo Herr Zorn, @dpz.bsky.social, haben Sie ein Korrekturverzeichnis? Sie schreiben von „Publikumsbeschimpfungen“ und meinen anscheinend die Beschimpfung des Autors durch das Publikum. Gebraucht wird das Wort meines Wissens aber im umgekehrten Sinn.
November 1, 2023 at 7:56 AM
Corfield redet von “Ordinary Language Philosophy” und meint mit mHoTT einen reicheren Formalismus als die Prädikatenlogik anbieten zu können. In dem Buch gibt es noch mehr Beispiele.
October 28, 2023 at 8:08 PM
Codiert als abhängiger Typ ist präziser:
October 28, 2023 at 7:00 PM
“If a farmer owns a donkey, then he beats it”. Codiert in Prädikatenlogik wird die Bedeutung des Satzes geändert.
October 28, 2023 at 6:59 PM
Die Formulierung “nur theoretisch” stammt von Varela et al, so auch “Neuro-”. Es gibt eine Arbeit die sich kritisch damit auseinandersetzt. (opus.bibliothek.uni-wuerzburg.de/frontdoor/in...). Vielleicht haben Sie ja noch eine “Tüte-Buntes”-Kategorie wo die NP reinpasst.
October 28, 2023 at 6:34 PM