Viewing profile — Tazerenix

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 ty…

The traits are essentially effect handlers for effects like `drop `, `move `, `forget ` which are implicitly charged to the a function which owns a `T` and does drops, moves, or fo…

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 pr…

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 …

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 fo…

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 …

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://gith…

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 in…

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 ve…

> 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,…

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 …

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 pres…

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.

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 b…

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 mean…

>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 con…

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 suf…

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 beco…

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, …

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 fo…

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…

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 ear…