@AnakinSkyw53861 Naja, genau genommen haben Sie ein Buch kritisiert, dass Sie nicht gelesen haben, und von dem Herr Zorn Teil eines Autorenkollektivs ist.
Deutsch
Johannes Drever 🌫➰💎
4.1K posts
Johannes Drever 🌫➰💎
@comandingo
shoots with arrows, throws with objects #elephant
München, Bayern Se unió Mayıs 2018
1.2K Siguiendo319 Seguidores
Pech für Sie hat keiner gesagt das sie meine Tweets lesen musst geschweige denn kommentieren müssen. Aber ich habe den Heiligen Herr Zorn kritisiert und das ist bei seinen Anhängern ein Sakrileg😉(Ironie, Witz). Sophisten sind mal wieder Sophisten. Ich bin nicht überrascht.
Deutsch
Deutsch
@Rn9Thz @comandingo @Wurschtel7 Ja auf jedenfall war es eine furchtbare Lektüre weis nicht mehr welche Seite es war. Aber das mit Nietzsche hat mir den Rest gegeben wo ich dachte:“Ich verschwende meine Zeit“.
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
Johannes Drever 🌫➰💎 retuiteado
If you've been struggling learning category theory, you might want to check out Paolo Perrone's 'Notes on Category theory: with examples from basic mathematics' available publicly on arXiv.
These notes were produced during a class given to a diverse set of scientists (including chemists and physicists), with knowledge in linear algebra being the only subject assumed to be known!
🔗👇
English
@Fionnindy @lenitiv O ja! Er benutzt bestimmt die Kategorientheorie (ncatlab.org/nlab/show/Scie…). Die Welt ist am heilen!
Deutsch
@NoahChrein It’s so easy, you’ll get bored before the interesting stuff comes.
English
People who think category theory is hard, have you tried thinking its easy?
Sridhar Ramesh@RadishHarmers
@quasicoh @DoozerDiffuser @ArsonExMandela @joseph_h_garvin You don't have to learn them, it's up to you, but the specific "How can anyone expect me to learn something with multiple steps?" objection is absurd. All day long programmers are reading function definitions that call out to other function definitions.
English
@RadishHarmers It burns twice. The two burnings might be perceived as one long burning.
English
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.
English
@DoozerDiffuser @RadishHarmers I also strongly agree that monads are a proper concept that can be understood, when taken care and time.
English
@comandingo @RadishHarmers Well im glad youre adding so much relevance to the conversation. Good job.
English
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?
English
@DoozerDiffuser @RadishHarmers Also irrelevant for the question.
English
@DoozerDiffuser @RadishHarmers I fully agree with @RadishHarmers that completed infinities have nothing to do with the problem of naming things.
English
@RadishHarmers You want to leave the debate now that I have you cornered? Youre the one who started it. Pathetic. Go ahead, run away.
English
Johannes Drever 🌫➰💎 retuiteado
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