Johannes Drever 🌫➰💎
4K posts
Johannes Drever 🌫➰💎
@comandingo
nur weil sie hinter mir her sind heißt das noch lange nicht dass ich paranoid bin
München, Bayern Beigetreten Mayıs 2018
1.2K Folgt321 Follower
Johannes Drever 🌫➰💎 retweetet
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@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
@devabram A pity, it’s one of my favorite. But, yeah the most important part for proper humor is spontaneity and timing.
English
@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
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
@devabram @DaelonSuzuka Yup, dryer than a mummy in a sauna.
English
@slimjimmy @devabram Please so me favor and learn to read
English
@devabram @DaelonSuzuka yeah, not everyone is capable of understanding supreme, delicious #elephant humor
English
@DaelonSuzuka Eh, not that successful. Just a single victim
x.com/i/status/20509…
Johannes Drever 🌫➰💎@comandingo
@devabram That doesn't make sense. IQ is innate, so you cannot choose.
English
Pff... NAND gates are for rookies who are too afraid of digging deeper into the stack.
David Abram 🐊@devabram
I don't need to know every programming language, because I understand the abstractions up to the nand gate.
English
@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
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
@Interface_art So that's where @statebox got their logo from!
English
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!
English
@AnakinSkyw53861 @Wurschtel7 Das ist ja schade. Auf Seite 13 steht, dass jeder willkommen ist. Und dass man die Lust am offenen Streit wieder gewinnen kann.
Deutsch
@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
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
@AnakinSkyw53861 @Wurschtel7 Echt, was steht denn in dem Buch drin? Ich dachte es wäre eher eine Aufforderung an die Linke mehr mit den Rechten zu reden.
Deutsch
@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
It’s OK to walk, but you must walk without rhythm.
Curiosity@CuriosityonX
🚨: Eight Marines outsmarted a DARPA AI meant to spot people. Two somersaulted 300 meters, two snuck under a cardboard box, and one pretended to be a tree—and the AI missed them all, because it was trained to catch people walking.
English
@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
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
@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
@comandingo Ich unterscheide nicht Erkenntnis von echter Erkenntnis, sondern das Simulieren von Erkenntnis von echter Erkenntnis.
Deutsch
Wie wird der gegenwärtige Mensch damit fertig, daß es in der Welt keine höheren Einwirkungen mehr gibt?
Michael McGettigan@MichaelMcGetti6
In a letter to Carl Schmitt Fischer formulated the guiding question of his work: "Wie wird der gegenwärtige Mensch damit fertig, daß es in der Welt keine höheren Einwirkungen mehr gibt?"
Deutsch