bollu

where would one learn philosophy to a level that one is conversant with western philosophy? I would love a eg yearlong course on this

you seem to know a lot of data structures :) are there new ones in the 2010s and 2020s that are cool?

where would I learn a taxonomy of such motifs? I trained for classical piano as a kid, and I'm slowly trying to learn jazz piano as I ease back into it! I'd love to learn more about these types of harmonic ideas and motifs as I get back to playing

Lambda calculus talks about computable functions, where the types of the inputs are typically something discrete, like `Bool` or `Nat`. Here, the domain is the real numbers.

please send me an email <[email protected]>. I'm a PhD student at cambridge, and might be able to put you in touch with folks who have positions to hire you as an RA if your research profile fits. even if there isn't an immediate fit, I'm happy to scout around and see if anything pops up. Best, Sid

how does one get to conversational level in a week? I would love to know!currently anki-flashcarding my way through italian...

That's really neat, I hadn't seen the black hole argument before, that's really cute

yes, Lean is executable, and the proof of natural numbers runs with arbitrary width integers. they're stored as tagged pointers, with upto 63bit numbers being normal numbers, and larger numbers become GMP encoded.

How does one formally define a spinor? I've seen the definition of a spinor field as "things that transform like a spinor", and a spinor as a "representation of the spin group" (which representation), but I would like to know a canonical mathsy definition of what the heck a "spinor" is! May I please have one? :)

How'd you recommend I learnt to paint? I've not really done much painting in my life at all, and I'd love a breakdown.

Can you elaborate on the batching part for me? I don’t see it