Viewing profile — bollu

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 abou…

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 . 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. ev…

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

Having similar reasoning, I would up writing a tiny-optimizing-compiler tutorial that only explains how to write a middle and back end of a compiler: https://github.com/bollu/tiny-…

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 l…

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" (wh…

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.

I'm curious, which solver did you work on? And yeah, I've been working on formally verifying bitblasting in Lean ( https://github.com/leanprover/lean4/pulls?q=+is%3Apr+author%... )…

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

what definition of "fair" was reached upon?

Nice! As someone who understands very little CSS, could you explain why this works?

I've written about [this explanation of tensors]( https://pixel-druid.com/articles/tensor-is-a-thing-that-tran... ) before, and it seems worthwhile to write it down again: There ar…

I am curious why you feel that way.

Does the temperature actually change discontinuously in a physical system from -infty to +infty, or is it a theoretical artifact that does not show up experimentally?

I have a very well documented implementation of rete, that also produces nice looking SVGs of the state of the rete algorithm here: https://github.com/bollu/rete It's a really inte…

Neat! do you have a resource that explains this perspective further?

Yes, lilypond generates SVG that rescales smoothly

You're right on one count: no library implements forward mode. Hence, you're correct that no autodiff library (including pytorch) implement autodiff this way. However, *you're wron…

You are very wrong. Many of the key results of theoretical CS is to prove impossibility . There is no code to be written when you show that something is not possible. - Halting pro…

Could you link to your code? I am interested in the API design of meshing a layout system with immediate mode GUIs

How do you define the curvature for a cone when it has a singularity at the apex? From the definion that I know (angle defect), the tip of the cone will have curvature