Johannes Drever 🌫➰💎

@NoahChrein It’s so easy, you’ll get bored before the interesting stuff comes.

People who think category theory is hard, have you tried thinking its easy?

@RadishHarmers It burns twice. The two burnings might be perceived as one long burning.

@comandingo Category theory is like a burrito.

Okay, I'm done with all that "category theory is fine" tweeting for now. I mean, I'll retweet posts for a while still, of course.

@DoozerDiffuser @RadishHarmers I also strongly agree that monads are a proper concept that can be understood, when taken care and time.

@comandingo @RadishHarmers Well im glad youre adding so much relevance to the conversation. Good job.

People make too much fuss over "A monad is a monoid in an endofunctor monoidal category". That is what it is. Is there some reason you would want to know what a monad is but don't want to know what a monoid is, etc?

@DoozerDiffuser @RadishHarmers Also irrelevant for the question.

@comandingo @RadishHarmers ok then why did HE bring it up then?

@DoozerDiffuser @RadishHarmers I fully agree with @RadishHarmers that completed infinities have nothing to do with the problem of naming things.

@RadishHarmers You want to leave the debate now that I have you cornered? Youre the one who started it. Pathetic. Go ahead, run away.

@DerBartleby Weisheitsmaxxing

Um die Weisheit zu erhöhen, hätte ich nie etwas posten sollen.

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.

@devabram A pity, it’s one of my favorite. But, yeah the most important part for proper humor is spontaneity and timing.

@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"

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.

@devabram @DaelonSuzuka Yup, dryer than a mummy in a sauna.

@comandingo @DaelonSuzuka Humor?

@slimjimmy @devabram Please so me favor and learn to read

@comandingo @devabram so you're saying you're 130+ IQ?

@devabram @DaelonSuzuka yeah, not everyone is capable of understanding supreme, delicious #elephant humor

@DaelonSuzuka Eh, not that successful. Just a single victim x.com/i/status/20509…

@devabram @pikuma In the end the distinction, the mark and the observer are, in the form, identical.

@pikuma we should go deeper.

Pff... NAND gates are for rookies who are too afraid of digging deeper into the stack.

@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

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.

@Interface_art So that's where @statebox got their logo from!

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!

@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.

@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.

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.

@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.

@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.