Johannes Drever 🌫➰💎

4K posts

Johannes Drever 🌫➰💎 banner
Johannes Drever 🌫➰💎

Johannes Drever 🌫➰💎

@comandingo

nur weil sie hinter mir her sind heißt das noch lange nicht dass ich paranoid bin

München, Bayern เข้าร่วม Mayıs 2018
1.2K กำลังติดตาม321 ผู้ติดตาม
Johannes Drever 🌫➰💎 รีทวีตแล้ว
Kiran
Kiran@kirancodes·
Python doesn't have a refinement type system--except now it does! Combining Lean with @BasisOrg's effectful library for algebraic effects in Python, we can easily verify real code. Python constructs a symbolic expression and sends it to Lean to check. Proof done? Code verified.
Kiran tweet media
Kiran@kirancodes

ML researchers know Python. Proof engineers know Lean. Never the two should meet.. Until now! Announcing Lean.py, effortless Lean to Python and Python to Lean bindings! - Write Lean tactics in Python - Access the Python ecosystem in Lean github.com/kiranandcode/l…

English
2
11
60
4.6K
Johannes Drever 🌫➰💎
Johannes Drever 🌫➰💎@comandingo·
@devabram A pity, it’s one of my favorite. But, yeah the most important part for proper humor is spontaneity and timing.
English
0
0
1
5
David Abram 🐊
David Abram 🐊@devabram·
@comandingo Nothing intellectual like that. Most of explanations will be something like: "It was the first thing I have thought of, and I think it's pretty dumb"
English
1
0
0
17
David Abram 🐊
David Abram 🐊@devabram·
I will release a DVD of my jokes that I have told on X with my commentary over it. I figure out it will be a banger DVD, cause some of you guys need help understanding jokes.
English
1
0
4
140
Johannes Drever 🌫➰💎
Johannes Drever 🌫➰💎@comandingo·
@AnakinSkyw53861 Das ist wenn Gevurah dominant ist. Ein bisschen mehr Chesed um zum Tiferet zu gelangen. Ist jetzt auch kein besserer Tip als "mehr Sport machen", aber naja
Deutsch
0
0
0
49
Der Bücherwurm
Der Bücherwurm@AnakinSkyw53861·
Kann nicht schlafen, da Albträume. Meine Gedanken voller Selbsthass und Beschämung. Könnt mich gerne auch verachten dass ich grade allein dasitze schlaflos und verzweifle. Ihr solltet mich vielleicht auch alle muten oder blocken Frens bevor ich wieder was dummes mach.
Deutsch
20
0
19
760
Interface gallery
Interface gallery@Interface_art·
In 1968, when computers were still seen as cold calculating machines, Jasia Reichardt curated an extraordinary exhibition in London called Cybernetic Serendipity. Artists, engineers, poets and scientists came together to explore the creative possibilities at the intersection of art and technology.The result was something remarkably ahead of its time. If you're curious about the early days of the relationship between computers and art, the catalogue is essential reading. The catalogue from Cybernetic Serendipity is filled with ideas, experiments and reflections that feel surprisingly relevant in our current AI era. You can read the full PDF for free here: monoskop.org/images/2/25/Re… Highly recommended! Take your time with it. thanks @monalisa for the tip!
Interface gallery tweet media
English
23
533
3.5K
176.2K
Der Bücherwurm
Der Bücherwurm@AnakinSkyw53861·
@comandingo @Wurschtel7 Überhaupt nicht. Stattdessen ist das in dem Stil gehalten: „Ihr Rechen seid gegen Migranten, gegen Corona Impfung etc das ist schlecht. Ihr lest Ernst Jünger, wir auch und besser Wir Lesen Celine besser als ihr“. Habe nach Seite 12 abgeschaltet.
Deutsch
1
0
0
40
Der Bücherwurm
Der Bücherwurm@AnakinSkyw53861·
Ja nur er selbst ist da ja nicht anders lustigerweise. Aber Selbsterkenntnis ist für solche Sophisten halt noch eine Nummer zu groß da ist er Bruder im Geiste Prechts. Er spielt nur gern den Oberlehrer und wundert sich warum er als rechtes Satireprojekt gelten kömnte.
Daniel-Pascal Zorn@Fionnindy

Akademische Philosophie ist meistens an echter Erkenntnis nicht interessiert. Sie simuliert Forschung, indem sie Diskussionen über Themen und Werke moderiert, die im Nichts enden. Texte, Argumente, Positionen sind für sie irrelevant. Sie gefällt sich im ewigen Gelaber.

Deutsch
4
0
0
2.7K
Der Bücherwurm
Der Bücherwurm@AnakinSkyw53861·
@Wurschtel7 Ja er ist halt der typische oftmals linke Elfenbeinturm Intellektuelle sieht man auch an seiner Schrift "Mit Rechten reden" wo eher von Rechten redet als über sie. Wie halt der linke akademische Mainstream generell das tut. Herr Zorn ist nur auf Twitter der bekannteste.
Deutsch
1
0
0
90
Johannes Drever 🌫➰💎
Johannes Drever 🌫➰💎@comandingo·
@Fionnindy Die Frage ob akademische Philosophie eine Simulation ist oder nicht, ist doch im Prinzip die selbe wie im "Sophistes", oder? Ist man da in 2500 Jahren nicht weiter gekommen?
Deutsch
1
0
1
299
Daniel-Pascal Zorn
Daniel-Pascal Zorn@Fionnindy·
Akademische Philosophie ist meistens an echter Erkenntnis nicht interessiert. Sie simuliert Forschung, indem sie Diskussionen über Themen und Werke moderiert, die im Nichts enden. Texte, Argumente, Positionen sind für sie irrelevant. Sie gefällt sich im ewigen Gelaber.
Deutsch
9
10
126
11K
Johannes Drever 🌫➰💎
Johannes Drever 🌫➰💎@comandingo·
@Fionnindy Blöd gefragt: Gibt es bei der Suche nach Erkenntnis nicht auch eine "fake it till you make it"-Komponente? Daraus würde sich dann ja ergeben, dass es bei einer Menge von Erkenntnis-suchenden auch immer ein paar Faker gibt.
Deutsch
1
0
0
425
Daniel-Pascal Zorn
Daniel-Pascal Zorn@Fionnindy·
@comandingo Ich unterscheide nicht Erkenntnis von echter Erkenntnis, sondern das Simulieren von Erkenntnis von echter Erkenntnis.
Deutsch
1
0
4
787
square god 🟥🟧🟪
square god 🟥🟧🟪@chloeallegra228·
soon there won’t be a single math word or name unassociated with a tech company 😔
English
6
1
28
927

ค้นพบ

@BasisOrg @devabram @DaelonSuzuka @slimjimmy @pikuma @AnakinSkyw53861 @Interface_art @statebox