Viewing profile — nivter

Wrote an article for someone who doesn't have the context to appreciate the recently disproven Jacobian conjecture, but is curious and knowledgeable enough to understand it.

> The U.S. government has said that all federal agencies will use quantum-resistant cryptography by 2035 I wonder what the current pace and effort of adopting this new cybersecurit…

Some use cases and examples are provided here: https://www.tinyvolt.com/blog/bringing-autodiff-to-geometry

Not a fan of subscription hell myself, I plan to use one-time payment for all my products. Implementation wise one time payment is much simpler than setting up smaller payments tha…

Automatic differentiation. For any DAG with a scalar output, it allows calculating its partial derivative wrt the input parameters.

All commands have the format `output = \func inputs` or just `\function inputs`. Points and scalars are built on the fly. Eg `\line a b` to an empty canvas creates points `a` and `…

Youtube: https://www.youtube.com/@MITHANLab Course: https://hanlab.mit.edu/courses/2024-fall-65940

This is far from what I expected. There is not much related to quantization, pruning, common architectures, precision or benchmarking. For those interested in this topic, I would r…

I believe that abstraction is recursive in nature which creates multiple layers of abstract ideas leading to new areas or insights. For instance our understanding of continuity and…

If it's about teaching and not about efficiency, why not just use plain Python? One could argue it is actually better since students don't have to worry about typing and syntax, an…

A journey from rotation matrices to Lie algebra

Thanks, this is a very helpful feedback.

This was a joyful epiphany for me when I encountered continuous linear systems for the first time. Another corollary of this is when the kernel is δ(x-y), the resulting integral ha…

Yup, I consider this interpretation as a matrix being a function that takes in objects like a line, a circle or a convex shape and spits out objects like some other line, an ellips…

Originally I had planned to add a line or two explaining how a matrix-matrix product is just a _list_ of matrix-vector products but then dropped the idea to keep it solely focused …

You can add vectors, polygons or points on a circle - these are elements to be transformed - by typing something like `add a square with side 4 and top left point -2,2`. You can mo…