HN user

nivter

77 karma
Posts8
Comments14
View on HN

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 cybersecurity paradigm is, and how familiar (AI) agents are with it. And I would assume most countries actively working on it must have amassed encrypted data, not just China and Russia.

Side note: I found the term quantum-resistant instead of quantum-proof a bit amusing. Also it would be better if the article included some references.

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 recommend content from MIT HAN Lab.

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 limit led to calculus, which when tied to the (abstract) idea of linearity led to the idea of linear operator which explains various phenomena in the real world surprisingly well.

[dead] 2 years ago

A journey from rotation matrices to Lie algebra

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 has the value f(x). I like to see it as a continuous version of expressing a vector as a sum of its components.

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 ellipse or another convex shape. It is a level of abstraction where you no longer care _how_ matrix multiplication works - you mostly care about what a matrix does to geometric objects. I covered this aspect not in the above article but in a separate one: https://www.linearalgebraforprogrammers.com/la/3_mat_vec_mul

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 on the interpretations. I will probably add it to make it all about matrix-matrix products.