Mike Battaglia

YouTube:

[Mike Battaglia @MikeyBTags]

@chesscom @LoudovicB You evaluate an earlier branch of the decision tree that rules out that entire subtree. You do not literally need to brute force every single position in chess, in principle.

[Mike Battaglia @MikeyBTags]

@_DJShort Damn. A Bitches Brew style album with Hendrix on it would have been the most incredible thing ever

[Mike Battaglia @MikeyBTags]

@AlexKontorovich One thing I have never got about Lean: is intuitionistic logic required when proving this kind of thing? Because given that IsOdd(n) is defined as !IsEven(n), all we are saying is, "IsEven(n) | !IsEven(n)" which follows immediately from excluded middle. Is that legal, though?

[Mike Battaglia @MikeyBTags]

@SVG__Collection

[Mike Battaglia @MikeyBTags]

@mimoi_sound @soundquest_jp Very cool stuff @mimoi_sound! Really good idea to think of it this way

[Mike Battaglia @MikeyBTags]

@SVG__Collection Two great bass players on this album. Alphonso Johnson doesn't get enough credit.

[Mike Battaglia @MikeyBTags]

@JDHamkins Note that the converse is also true: if you can make it anywhere, you can trivially thus make it in New York. Thus, via another contrapositive, if you can't make it in New York, you can't make it anywhere. You can only make it anywhere iff you can make it in New York.

[Mike Battaglia @MikeyBTags]

@fklivestolearn @technicitymag @gvalan @DrFerdowsi @junjudapi @mary_gambara How on earth is 2.0 flash ahead of 2.5 pro?

[Mike Battaglia @MikeyBTags]

@0xf3mi @AlexKontorovich You need to compute it for what? If you're just doing sgd/backprop that doesn't involve computing any Hessians

[Mike Battaglia @MikeyBTags]

@JDHamkins Is the idea that you have a countable model and add the same countable set of reals to it in different orders? In one model you add it ordered as what the model thinks is omega_1, in the second you add it ordered as omega_2.

[Mike Battaglia @MikeyBTags]

@JDHamkins Any of these on Zoom?

[Mike Battaglia @MikeyBTags]

@MonoNeon It needs to be tradition everywhere around the world to play this exact jam if the fire alarm goes off during a gig

[Mike Battaglia @MikeyBTags]

The best least known EWF song: https://t.co/K4IHq2JMja

[Mike Battaglia @MikeyBTags]

@JDHamkins Is it open for anyone to join?

[Mike Battaglia @MikeyBTags]

@skdh Good video though I thought the weak force broke T symmetry?

[Mike Battaglia @MikeyBTags]

@nickcammarata "Real computer science"

[Mike Battaglia @MikeyBTags]

@AnalysisFact Roses are red,
Violets are blue,
I've noticed that most poems on the internet abandon all sense of meter and cram a bunch of syllables in the middle and then throw in a rhyme at the end,
Have you noticed this too?

[Mike Battaglia @MikeyBTags]

@AlexKontorovich I was just thinking about this today. I would imagine that the best way would just be to give it to mathematicians and have them rate how useful it is. Given all the hype about this I'm surprised they haven't just done that already.

[Mike Battaglia @MikeyBTags]

@512x512 And bring back fun mode!

[Mike Battaglia @MikeyBTags]

@512x512 I'd want to use it for work, so I'd ideally want it to have a) some kind of Python code interpreter, and b) be as far away from Twitter as possible, so I don't get distracted, in some other UI somewhere.