iiinova — where your digital self keeps evolving

Johannes Drever 🌫️➰💎

@comandingo.bsky.social

81 followers 183 following 308 posts

software developer, haskell, category theory, religionsgeschichte, weird studies

Posts Replies Media

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 25/09/2026

Ernst hat mir ein Lied geschrieben, das sollte ich vortragen.

121

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 02/09/2026

Ich habe Ernst mal gebeten mir ein Script zu schreiben. In diesem Sinne #Maschinenraun mal anders:

011

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 19/08/2026

Der Elefant war übrigens von meiner Mutter. Als ich ihr erzählt habe, dass ich ihn gepostet habe, wollte sie gleich mit jammen.

110

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 18/08/2026

010

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 17/08/2026

Höhere Wesen befahlen: Rechte obere Ecke heute mal nicht schwarz malen!

010

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 17/08/2026

Die universelle Konstruktion des Produktes (Sorry für die Lautstärkeschwankungen)

100

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 16/08/2026

#elephant vergisst für heute den #maschinenraun

120

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 19/02/2025

Wie ich eure Tweets lese. #elephant

011

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 18/02/2025

Der Betroffene hat sich wohl offensichtlich nicht die Seite der Urheber durchgelesen. Der Erlös soll in die Forschung gehen. mecfs-research.org/lemonchallen...

110

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 10/09/2024

Der Algorithmus macht sich über mich lustig.

010

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 26/06/2024

Geh mir weg mit Deiner Lösung. Sie ist der Tod für mein Problem.

010

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 12/11/2023

Kapitel 6 zum poietischen Prozess ist nicht so trocken.

000

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 01/11/2023

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.

020

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 28/10/2023

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.

100

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 28/10/2023

Codiert als abhängiger Typ ist präziser:

100

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 28/10/2023

“If a farmer owns a donkey, then he beats it”. Codiert in Prädikatenlogik wird die Bedeutung des Satzes geändert.

100

Johannes Drever 🌫️➰💎 @comandingo.bsky.social · 28/10/2023

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.

110