brendanyounger
Joined 6 years ago
Joined 6 years ago
To your point that "executives should be tracking performance daily", there's an argument that all that data should be publicly released daily. It would make it nearly impossible to hide mismanagement and actually remove most of the human overhead since it would be impossible to spin bad data on a daily basis.
I take comfort in re-reading much of the 70's and 80's literature which focuses the possibilities of user experience. We still haven't fully explored all the dreams of half a century ago.
If AI forces the business case that "code is cheap", I can only hope we re-double our efforts at creating new interfaces and capabilities for computer systems. The Meta glasses, Apple Vision, and the like are small steps in this direction.
He's always been involved in mentoring high schoolers, undergrads, and, of course, his own grad students. It's not surprising that he's working with a 24 year old.
He's a bundle of energy in math and sports and always looking for the new thing. Jumping in on a new project in a burgeoning field is very much his m.o.
What Wildberger is suggesting is that, rather than taking an nth root (solution to x^n = A where A is a fraction) as a "fundamental" operation, what if we took power series with "hyper-Catalan" coefficients as fundamental operators? (This is where I get a bit fuzzy because I haven't read and understood his work.)
Galois proved that you can't have a general algorithm for solving polynomials of degree >= 5 if all you can use are +,-,*,/, and nth roots. But what if you can use a different operation besides nth roots? That's what Wildberger is proposing and apparently it works for higher degrees.
Stepping back a bit, this is very much in line with Kronecker's notion that God made the natural numbers and all else is man's handiwork. There's no avoiding infinite series for computing non-rational roots of equations, but it is possible to choose series that are easier to work with.
I tried to read about Willow, but could never make heads or tails of it [1]. It seems to be a hierarchical key value store with a bunch of extra fields for timestamps and cryptographic tokens, but it's woefully short on working examples. Even the recent Rust library [2] is effectively a bunch of abstract classes with implementations that just throw errors.
I could make a quip about the state of European tech sophistication, but I'll let it pass with a polite smile.
[0] https://willowprotocol.org/earthstar/spec/
[1] https://willowprotocol.org/specs/data-model/index.html#data_...
[2] https://github.com/earthstar-project/willow-rs/tree/main
No one knows how to compute the size of that group in general (in fact no one has proved that it's finite!). Computing the rank of a curve via non-analytic means is more akin to a bespoke proof than a straightforward computation (see Noam Elkies' work).
So saying you're going to disprove BSD with blind computation is rather naive unless you're sitting on several career-defining proofs and not sharing them.
Consider surgery instead of software development. There are general best practices, but the difference between a good surgeon and a poor one is a small number of deaths. Malpractice insurance is high. Litigation is constant. And patients still die on the operating table. It's unclear what all the malpractice tort law actually gets you in the end.