Tazerenix

6 ms·

1.
by Tazerenix 15d ago
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.
2.
by Tazerenix 17d ago
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 world which is
3.
by Tazerenix 2mo ago
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 is the essen
4.
by Tazerenix 2mo ago
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 capabilities
5.
by Tazerenix 2mo ago
More algebraic effects being retrofitted onto Rust.
6.
by Tazerenix 2mo ago
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 builders, mostly for the
7.
by Tazerenix 3mo ago
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 lack of IMBH evi
8.
by Tazerenix 3mo ago
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 redshift of galaxie
9.
by Tazerenix 3mo ago
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 - V(x). Thi
10.
by Tazerenix 6mo ago
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&#x
11.
by Tazerenix 7mo ago
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 easier to b
12.
by Tazerenix 8mo ago
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 be necessary is someo
13.
by Tazerenix 9mo ago
> 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 outside our illus
14.
by Tazerenix 9mo ago
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 reactions from his read
15.
by Tazerenix 10mo ago
Something the computer scientists of Hackernews might not realise is that most mathematicians are by nature Platonists, even if they would not try to defend that position when pressed. most mathematicians act as though they are Platonists,
16.
by Tazerenix 10mo ago
https://youtu.be/EbzESiemPHs?si=4UNA7JGPt7OmfnOi&t=206 Here's Gromov, one of the greatest geometers of the last 50 years, discussing his viewpoint on this.
17.
by Tazerenix 1y ago
Simons himself completely disspells this idea in his interview on Numberphile.
18.
by Tazerenix 1y ago
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 sufficiently large
19.
by Tazerenix 1y ago
The practical experience of doing mathematics is actually quite close to a natural science, even if the subject is technically a "formal science* according to the conventional meanings of the terms. Mathematicians actually do the same
20.
by Tazerenix 1y ago
>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 mathematics
21.
by Tazerenix 2y ago
This is related to Terence Tao's notion of the stages of mathematical rigor. As Tao puts it, the value of intuition becomes much higher in the post-rigorous stage once you have sufficiently developed your technical skills. https:&#x2F
22.
by Tazerenix 2y ago
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 (Peter Woit is famously
23.
by Tazerenix 2y ago
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 many contrarians, ta
24.
by Tazerenix 2y ago
Wildberger is a crank
25.
by Tazerenix 3y ago
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 natural numbe
26.
by Tazerenix 3y ago
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 electromagnetic field
27.
by Tazerenix 3y ago
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 different/dense t
28.
by Tazerenix 3y ago
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, you would expect
29.
by Tazerenix 3y ago
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 but act
30.
by Tazerenix 3y ago
> I’m sure it’s important if you want to be a mathematician, but if you just want to understand enough to be able to use it? This book is for people who want to be mathematicians.

More ›