HN user

Chinjut

3,225 karma
Posts29
Comments893
View on HN
www.nbcnews.com 1mo ago

Elon Musk under fire for stoking anti-immigrant riots in Belfast

Chinjut
15pts0
fortune.com 8mo ago

Nevada Governor's office covered up Boring Co safety violations

Chinjut
336pts74
www.nytimes.com 8mo ago

I Worked All over Silicon Valley. This Is How It Lost Its Spine

Chinjut
11pts5
muromuro.substack.com 11mo ago

Agile as a Micromanagement Tool

Chinjut
3pts0
finance.yahoo.com 1y ago

Elon Musk wins vote to establish his city in Starbase, Texas

Chinjut
14pts0
leaddev.com 1y ago

Should the daily stand-up die?

Chinjut
1pts1
twitter.com 3y ago

Twitter to limit Direct Messages by non-paying users

Chinjut
7pts2
www.reuters.com 3y ago

Twitter stalling hundreds of ex-workers' legal cases: lawsuit

Chinjut
9pts0
stackoverflow.blog 3y ago

Are meetings making you less productive?

Chinjut
2pts0
www.youtube.com 3y ago

The Wallis product for pi, proved geometrically

Chinjut
1pts0
twitter.com 3y ago

Twitter links to @elonmusksjet on Instagram considered harmful

Chinjut
31pts2
www.youtube.com 8y ago

Why does this product equal π/2? (3Blue1Brown)

Chinjut
4pts0
youtube.com 8y ago

A New Proof of the Wallis Product for Pi (3Blue1Brown)

Chinjut
2pts0
www.youtube.com 8y ago

How to solve 2D equations using color

Chinjut
2pts0
www.jacobinmag.com 9y ago

When Billionaires Rule

Chinjut
2pts0
www.jacobinmag.com 9y ago

How Peter Thiel Killed Gawker

Chinjut
2pts0
qz.com 10y ago

Millennials will work forever–but they may be happier for it

Chinjut
1pts0
blogs.wsj.com 10y ago

Top White House Economist Dismisses the Idea of a Universal Basic Income

Chinjut
93pts180
www.nytimes.com 10y ago

Artificial Intelligence's White Guy Problem

Chinjut
23pts44
www.theguardian.com 10y ago

Death by gentrification: the killing that shamed San Francisco

Chinjut
5pts0
medium.com 10y ago

Academic Publishing Is a Goddamned Exploitative Farce

Chinjut
3pts2
www.wsj.com 10y ago

Calculus Is So Last Century

Chinjut
3pts3
www.jacobinmag.com 10y ago

Against Charity

Chinjut
1pts0
www.vice.com 10y ago

What Life Will Look Like After the Robots Steal All Our Jobs

Chinjut
3pts0
education.lms.ac.uk 10y ago

The Math Myth [pdf]

Chinjut
2pts0
www.nytimes.com 10y ago

Millenial Men Aren't the Dads They Thought They'd Be

Chinjut
40pts45
www.vox.com 11y ago

These men found an innovative approach to work/life balance – trick the boss

Chinjut
1pts0
www.nytimes.com 11y ago

What Hollywood Can Teach Us About the Future of Work

Chinjut
79pts44
www.youtube.com 11y ago

“Humans Need Not Apply”

Chinjut
2pts1

That just means even more limitations, then. (Though the grandparent comment is correct that literally everything is subject to the same Gödel-style limitation on its ability to make negative claims about its own behavior, whether computers, humans, or any other system at all.)

This is like how one often wants to distinguish the points of an affine space from the vectors representing displacements in that space (there is no distinguished origin for the physical world, but there is a distinguished concept of zero displacement). One can add a vector to a point to get a point, or a vector to a vector to get a vector, but cannot add a point to a point to get another point. Yet, it is meaningful to treat a linear combination of points in an affine space as yielding another point in the same space when the weights of the linear combination sum to 1.

The exact same thing is happening here, only multiplicatively, where z1^(1/2) * z2^(1/2) is a combination with two weights of 1/2 (thus, summing to 1). It is geometrically meaningful to treat 2d vectors (displacements in a plane) as complex numbers, raise them to exponents summing to 1, and then multiply these together to get another vector in the same plane. But it is not generally geometrically meaningful to just multiply one vector by another vector to get a third vector in the same space (because this would require distinguishing some particular direction and magnitude as "1").

The basic issue with geometric algebra is that geometric vectors generally do not have a distinguished notion of unit magnitude (is unit magnitude 1 meter? 1 mile? 1 inch?), so it is silly to work in a framework that requires pretending they do (since the definition of the geometric product of two vectors is dependent upon this choice). Dimensional analysis (a very handy way of tracking mathematical symmetries and thus sanity checking results) goes out the window when working with mixed grade multivectors.

This is not an issue when working with non-mixed-grade multivectors, for which dimensional analysis works just fine in the ordinary way. As the linked article notes, exterior algebra/the wedge product is great. Thinking about exterior powers of vector spaces is great. It's the further move of forcing everything into a Procrustean bed of Clifford algebra that is misguided for almost any application other than some spinor stuff.

That's fortunate for you that what you enjoy doing and get meaning from is capable of providing you a living via market income. That's not true of many others. I try to make time for what I enjoy doing and get meaning from. But for me as for many, it does not provide income.

Many of us do not particularly enjoy the work our employer has us do, nor believe in what the company we work for is trying to achieve. It's not like we get to choose its aims, and it's not like we have alternatives where we get to do so either. Our lives are spent working on someone else's goals.

There's always a comment saying "Don't ask for better, because someone else had worse". Fuck that. I want better and I want everyone else to have it too.

But surely the more natural approach than making this undefined behavior would be making the computation of a[i] take place in 64-bit pointer space rather than 32-bit int space? Why does the compiler need the freedom to emit nasal demons?

These links' mentions of quaternions are about a different part of the book (the tea party). Furthermore, even regarding that different part, your first link explicitly debunks the second link and disavows the quaternion connection the latter alleges. Your first link's whole point is to conclude "it is indeed very unlikely that Dodgson had the quaternions in mind when writing the tea-party chapter."