Viewing profile — howling

Andrew Kelley described Github employees as 'monkeys' and 'losers'. https://news.ycombinator.com/item?id=46065366

Same. I don't even use LLM normally as I found polars' syntax to be very intuitive. I just searched my ChatGPT history and the only times I used it are when I'm dealing with list a…

Terrence Tao blogged about this. https://terrytao.wordpress.com/2017/08/28/dodgson-condensati...

The paper's introduction says: we first establish algebraic product formulas for the direct computation of the Clifford product inverses of multivectors in Clifford algebras Cl(p, …

Sorry I forgot to answer your question: To rotate a bivector of the form v ^ w, just do R v ^ R w where R is the rotation matrix. This is a linear map so you can extend the operati…

There is no equivalent notion of rotor in EA. I would say its most important use is that you need it to define differential form in which we can define exterior derivative and inte…

> In 2D and 3D GA, every non-zero k-vector and versor has an inverse. Of course by definition every versor has an inverse. The invertibility of k-vector gets hairier for higher dim…

You have to read the first paragraph as well. > I have given a lot of reasons why I think GA is problematic: the Geometric Product is a bad operation for most purposes. It really i…

> but the biggest giveaway is how he says we should move away from quaternions I'm sorry I must have missed that part. Can you point me to where did he say this?

First of all it is only invertible for some non-zero elements, especially if `a` is a linear combination of multivectors or we work in PGA that explicitly adds a basis vector of no…

All of these stuff can be done in normal linear algebra. Some (not all) of the operations can be done more efficiently with GA in low dimensions. It is neither more concise nor mor…

> Can you formulate a lot of stuff much more efficiently and concisely, and does it help gain new perspective on some things? yes, absolutely. It provides a wonderful framework for…

> Yes, sometimes you just need the dot product, and sometimes you just need the exterior product. If you are coding, or giving the final form of some formula, you don't have to alw…

An article that argues against GA: https://alexkritchevsky.com/2024/02/28/geometric-algebra.htm... TLDR: - GA tends to attract a lot of crackpot. In fact most mathematicians avoid …

You might be interested in https://github.com/HigherOrderCO/HVM

I always dislike the unnecessary use of dual of dual. We should define tensor product as a quotient space of all linear combinations of v₁⊗v₂ as in https://en.wikipedia.org/wiki/Te…

System F just isn't flexible enough to encode most of mathematics. You need at the minimum dependent type and preferably a more flexible identity type to avoid setoid hell. The clo…

Symmetric interaction combinators (an instance of interaction nets like 2-state 3-symbol Turing machine is a particular type of Turing Machine) only has 3 agents and 3 rewriting ru…

I think interaction nets [0] is actually a simpler model and can simulate Turing Machine efficiently. I wish courses in Computability/Complexity theory would be taught in interacti…

This is the same company that creates the touted highly secure LiteLok Gold that LPL cuts in 16s. https://www.youtube.com/watch?v=D-On0DGcDlc I'm skeptical of any bike lock's secur…

None, but I have written code that requires more data structure and algorithm knowledge than inverting a binary tree (at my job).

Yeah it's not clear what he was asked. Swapping the direction of every edge of a binary tree would result in a DAG that is likely no longer a binary tree though.

> Google: 90% of our engineers use the software you wrote (Homebrew), but you can’t invert a binary tree on a whiteboard so fuck off. — Max Howell (@mxcl) If inverting a binary tre…

I have a similar experience at Oxford. However, the introduction course doesn't even cover IO monad and all of our code are run in repl. No wonder the students regard Haskell as im…

nuclear fusion reaction with net energy gain?