Matches for gabriel_laddel, 3496 total results Sorted by newest | relevance
Sun Mar 01 05:06:19 UTC 2015 <gabriel_laddel> What Al would like to test is pretty simple. Is gravity mirror-symmetric? If it is, then you can drop two stereoisomers in a vacuum, and they'll fall at the same rate. We don't know that this is the case, and the universe actually violates mirror-symmetry on many scales. Perhaps a violation will be observable.
Sun Mar 01 04:53:48 UTC 2015 <gabriel_laddel> lemme finish making this burrito and I'll write up something on the game being played
Sun Mar 01 04:53:02 UTC 2015 <gabriel_laddel> mircea_popescu: did you read the stackoverflow post linked above?
Sun Mar 01 04:52:39 UTC 2015 <mircea_popescu> gabriel_laddel this is not how it works.
Sun Mar 01 04:52:26 UTC 2015 <gabriel_laddel> mircea_popescu: the opposition lie through their teeth at every given moment, you don't want to give them anything to work with
Sun Mar 01 04:51:27 UTC 2015 <gabriel_laddel> he isn't giving up, as far as I know, but biding his time
Sun Mar 01 04:50:44 UTC 2015 <gabriel_laddel> iirc, it was an even bet whether the effect - if real - is even large enough to measure with current instrumentation at all << this makes a great deal of sense
Sun Mar 01 04:27:27 UTC 2015 <mircea_popescu> gabriel_laddel string theorists are a lot like freudian psychanalists. the better ones follow the lieberman line.
Sun Mar 01 04:24:19 UTC 2015 <*> gabriel_laddel hand-cranked systematization is exactly what I had in mind
Sun Mar 01 04:24:04 UTC 2015 <gabriel_laddel> well, I've not looked at cyc yet, but thanks for the pointer.
Sun Mar 01 04:23:49 UTC 2015 <gabriel_laddel> asciilifeform: this is exactly what I was thinking of
Sun Mar 01 04:23:30 UTC 2015 <asciilifeform> gabriel_laddel: if you're thinking of a human-cranked systematization project, straight to doug lenat's 'cyc' (i'll spoil it for you: it was stillborn)
Sun Mar 01 04:22:11 UTC 2015 <gabriel_laddel> my basic understanding of category theory is that there are interesting things that can be derived when you break down basic mathematics into some abstractions such as functors, mappings etc.
Sun Mar 01 04:21:08 UTC 2015 <gabriel_laddel> nah, the obvious, in the case of category theory: Sucking up all the mathematics ever via some OCR routines and categorizing it via computer. Have an intern write a parser for latex -> ast
Sun Mar 01 04:20:06 UTC 2015 <gabriel_laddel> it seem to me that they're not doing the obvious, which bothers me somewhat.
Sun Mar 01 04:18:38 UTC 2015 <gabriel_laddel> asciilifeform: btw, do you know any category theory?
Sun Mar 01 04:17:17 UTC 2015 <gabriel_laddel> we just have to wait
Sun Mar 01 04:17:13 UTC 2015 <gabriel_laddel> reality will do a backtracking branch cut soon enough
Sun Mar 01 04:14:06 UTC 2015 <gabriel_laddel> I'm not going to claim to know that the math works out unless I do it myself though
Sun Mar 01 04:13:47 UTC 2015 <gabriel_laddel> that should be clear to anyone reading it