There's a quote Atiyah has about spin geometry which he heard from his advisor Hodge, who had an office next to Dirac at Cambridge. Only two people understand spinors: God, and Dirac. And Dirac's dead.
I think you're a little naive if you think this is because of gate-keeping by mathematicians rather than the essential complexity of mathematics. Mathematicians individually and as a group would love nothing more than a…
Yeah I should have phrased that better. The traits themselves are not the effects, they're bits of code which can have side effects. Rust doesn't track those side effects in the type system yet, but !Forget especially…
The traits are essentially effect handlers for effects like `drop<T>`, `move<T>`, `forget<T>` which are implicitly charged to the a function which owns a `T` and does drops, moves, or forgets it. Inferring the…
More algebraic effects being retrofitted onto Rust.
This smacks me as a very combinatorist view of theorem proving (no coincidence there.. the author is a combinatorist). Very famously, combinatorics is a field overrepresented by problem solvers as opposed to theory…
Yep, no doubt there are definitely issues with inflation. My main point is that the size of black holes in the early universe is largely orthogonal to the whole big bang/inflation debate. Even if the model changes, the…
The evidence for the big bang is generally not that if you look far enough back in a telescope, the universe looks younger, which is somewhat the layperson's confusion. Evidence for the big bang is about measuring…
Here's how to appreciate it in terms of the counterfactual: Suppose kinetic energy was E = m|v| instead, linearly dependent on speed |v|. What does that mean for the universe? The traditional Lagrangian is L = 1/2 mv^2…
NPM only gained minimum package age in February of this year, and still doesn't support package exclusions for internal packages. https://github.com/npm/cli/pull/8965 https://github.com/npm/cli/issues/8994 Its good that…
Willingness to look stupid and intellectual self-confidence are two sides of the same coin. If you can find internal (rather than external) reasons to trust/believe in your own intelligence and capabilities, it makes it…
You need to differentiate between special and general relativity when making these statements. It is absolutely true that someone else would have come up with special relativity very soon after Einstein. All that would…
> If, then, it is true that the axiomatic basis of theoretical physics cannot be extracted from experience but must be freely invented, can we ever hope to find the right way? Nay, more, has this right way any existence…
Peter Woit, the Columbia maths department computer systems administrator, makes his bread by googling the word String Theory and then posting what ever latest results come up in a disingenuous way on his blog to stir…
Simons himself completely disspells this idea in his interview on Numberphile.
The EMH is a description of how the market behaves when a sufficiently large number of independent actors are looking for alpha. It is not a prescription of how the market should behave. The conclusion is that with a…
>Today, mathematics is regarded as an abstract science. Pure mathematics is regarded as an abstract science, which it is by definition. Arnol'd argued vehemently and much more convincingly for the viewpoint that all…
I certainly am not making any comments about her experiences for sure! Academia is difficult and full of terrible stories, and its not surprising that it causes many people to become exceedingly bitter and contrarian…
As an expert in at least some of the things Sabine makes videos about (string theory), Sabine is a contrarian who, if you are not otherwise an expert on what she is talking about, it would be best to avoid. Sabine, like…
Wildberger is a crank
A theorem which is true in every model is provable by Godel's completeness theorem. Since this theorem is true for the standard model of the natural numbers but not provable, it follows there are nonstandard models of…
The actual answer is the assumptions which define a self-propagating wave do not apply once the wave leaves a vacuum. When it becomes incident onto some medium, due to the coupling of electrons within the medium to the…
One of two things: Either what we know about black hole formation is basically complete (it goes gas -> star -> black hole -> accretion + collisions) but the environment in the early universe was sufficiently…
Also important to note that the process of stellar collapse and then black hole accretion takes absolutely enormous amounts of time to collate a large amount of mass together. It's also an extremely energetic process,…
On that of course I agree, but mathematicians tend to "relegate" such things to exercises. This tends to look pretty bad to enthusiasts reading books because the key examples aren't explored in detail in the main text…
There's a quote Atiyah has about spin geometry which he heard from his advisor Hodge, who had an office next to Dirac at Cambridge. Only two people understand spinors: God, and Dirac. And Dirac's dead.
I think you're a little naive if you think this is because of gate-keeping by mathematicians rather than the essential complexity of mathematics. Mathematicians individually and as a group would love nothing more than a…
Yeah I should have phrased that better. The traits themselves are not the effects, they're bits of code which can have side effects. Rust doesn't track those side effects in the type system yet, but !Forget especially…
The traits are essentially effect handlers for effects like `drop<T>`, `move<T>`, `forget<T>` which are implicitly charged to the a function which owns a `T` and does drops, moves, or forgets it. Inferring the…
More algebraic effects being retrofitted onto Rust.
This smacks me as a very combinatorist view of theorem proving (no coincidence there.. the author is a combinatorist). Very famously, combinatorics is a field overrepresented by problem solvers as opposed to theory…
Yep, no doubt there are definitely issues with inflation. My main point is that the size of black holes in the early universe is largely orthogonal to the whole big bang/inflation debate. Even if the model changes, the…
The evidence for the big bang is generally not that if you look far enough back in a telescope, the universe looks younger, which is somewhat the layperson's confusion. Evidence for the big bang is about measuring…
Here's how to appreciate it in terms of the counterfactual: Suppose kinetic energy was E = m|v| instead, linearly dependent on speed |v|. What does that mean for the universe? The traditional Lagrangian is L = 1/2 mv^2…
NPM only gained minimum package age in February of this year, and still doesn't support package exclusions for internal packages. https://github.com/npm/cli/pull/8965 https://github.com/npm/cli/issues/8994 Its good that…
Willingness to look stupid and intellectual self-confidence are two sides of the same coin. If you can find internal (rather than external) reasons to trust/believe in your own intelligence and capabilities, it makes it…
You need to differentiate between special and general relativity when making these statements. It is absolutely true that someone else would have come up with special relativity very soon after Einstein. All that would…
> If, then, it is true that the axiomatic basis of theoretical physics cannot be extracted from experience but must be freely invented, can we ever hope to find the right way? Nay, more, has this right way any existence…
Peter Woit, the Columbia maths department computer systems administrator, makes his bread by googling the word String Theory and then posting what ever latest results come up in a disingenuous way on his blog to stir…
Simons himself completely disspells this idea in his interview on Numberphile.
The EMH is a description of how the market behaves when a sufficiently large number of independent actors are looking for alpha. It is not a prescription of how the market should behave. The conclusion is that with a…
>Today, mathematics is regarded as an abstract science. Pure mathematics is regarded as an abstract science, which it is by definition. Arnol'd argued vehemently and much more convincingly for the viewpoint that all…
I certainly am not making any comments about her experiences for sure! Academia is difficult and full of terrible stories, and its not surprising that it causes many people to become exceedingly bitter and contrarian…
As an expert in at least some of the things Sabine makes videos about (string theory), Sabine is a contrarian who, if you are not otherwise an expert on what she is talking about, it would be best to avoid. Sabine, like…
Wildberger is a crank
A theorem which is true in every model is provable by Godel's completeness theorem. Since this theorem is true for the standard model of the natural numbers but not provable, it follows there are nonstandard models of…
The actual answer is the assumptions which define a self-propagating wave do not apply once the wave leaves a vacuum. When it becomes incident onto some medium, due to the coupling of electrons within the medium to the…
One of two things: Either what we know about black hole formation is basically complete (it goes gas -> star -> black hole -> accretion + collisions) but the environment in the early universe was sufficiently…
Also important to note that the process of stellar collapse and then black hole accretion takes absolutely enormous amounts of time to collate a large amount of mass together. It's also an extremely energetic process,…
On that of course I agree, but mathematicians tend to "relegate" such things to exercises. This tends to look pretty bad to enthusiasts reading books because the key examples aren't explored in detail in the main text…