gexaha

Has there been any progress in the last 10 years since the discovery of amplituhedron?

I think "Understanding Deep Learning" is very nice - https://udlbook.github.io/udlbook/ (an covers almost all topics, it has maybe just a couple of omissions, such as Multimodal Learning, NERFs and Time Series Prediction)

wow! who's your dad?

Sorry, stupid question, can someone tell, please, how do other interpreted languages deal with problem similar to GIL or noGIL?

Won't it be easier to teach/use Lean?

and also the same Oliver Stone that helped making conspiracy theories mainstream!

In philosophy this idea is called "hyperstition"

could you advertise your research a bit less often, please? i see your post like literally almost every other day here

nice, but where's the swing in the generated midis? Would be also nice to here the midi with appropriate soundfont (not piano)

jepsen.io has a neat diagram of various consistency models - http://jepsen.io/consistency

also, you can find talks of Martin Kleppmann on youtube about consistency guarantees, e. g., https://www.youtube.com/watch?v=5ZjhNTM8XU8

I'm developing microtonal algorithmic music, leaning towards chiptune sound, and for sounds/timbres/instruments I found the Plogue synthesisers to be the best - https://www.plogue.com/index.html - they have 3 great FM-synthesizers/emulators of Yamaha chips: OPL2, OPN from megadrive, and DX7. Bought 2 of them on this black friday.

Some more recent books in this area:

David Corfield "Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy"

Fernando Zalamea "Synthetic Philosophy of Contemporary Mathematics" (though the book is a bit convoluted in the language it uses)

also recent translation from French:

Albert Lautman "Mathematics, Ideas and the Physical Real"

also a book that uses category theory for purposes of philosophy:

Rocco Gangle "Diagrammatic Immanence: Category Theory and Philosophy"

I also would guess, that nowadays such a book should include chapters about automatic theorem provers, but don't know them

Probably, but a very dull/non-creative point nonetheless

That's a very badly written paper, to be honest. I mean, even knowing it was a hoax, I really expected that he somehow would have some speculative/creative content on the topic of "Hermeneutics of Quantum Gravity", whatever that could mean, but it's just a bunch of misplaced quotes and summaries.

would be interesting to see the setup of the artist Jon Rafman, he has an old photo with his messy setup (but maybe the photo is staged): https://www.monopol-magazin.de/sites/default/files/styles/mi...

The summary is a bit outdated (as can be seen by the year). I don't know any articles about recent intersections between analytic and continental philosophies (and the split between them seems irrelevant nowadays), but you could check various philosophers, like Robert Brandom, Quentin Meillassoux, Reza Negarestani or Ray Brassier.

Do you know, whether anyone of the approaches (yours or one of that you mention in the links) has had any kind of practical success, or maybe has been adopted by some community? I mean, it's nice to generalize, but did it help anyone yet? like practically (e. g., did epidemiologists or biologists or math. modellers adopted any of the approaches?)

James Tenney has a book on this - "history of consonance and dissonance"

Humanity’s most extraordinary achievement is that we are still alive, despite having 8 or 9 countries with nuclear weapons

I've tried a similar network on "Reptiles", also adding color - here's what i got - https://imgur.com/a/8gqhmlc

is it the same Dave Keenan, who is the co-author of Sagittal microtonal notation [1]? (upd: oh, actually it's him, nice)

[1] http://sagittal.org

how about Conway-Kochen's Free Will Theorem? is it compatible with superdeterminism?

There was a nice thread about these discoveries on physics stack exchange https://physics.stackexchange.com/questions/484675/does-the-...

Aphex Twin actually listened to Stockhausen (and vice versa): http://www.synthtopia.com/content/2010/10/15/karlheinz-stock...

and they probably met https://www.reddit.com/r/aphextwin/comments/8vyrbf/aphex_twi...

This looks like a draw, is it not?

Data structure from competitive programming is also known as "treap with implicit keys", related question on stackoverflow: https://stackoverflow.com/questions/3497875/treap-with-impli...