daynthelife

5 ms·

1.
by daynthelife 2mo ago
As mathematician, I actually agree. We could do a lot more to communicate ideas in a way non-experts can understand. For instance, most people are familiar with polynomials. Take a polynomial in x (with integer coefficients) and substitute
2.
by daynthelife 3mo ago
Editions do not fragment the ecosystem at all. A crate written in rust 2015 can depend on a crate written in rust 2024 and vice versa. There are no forced upgrades. The only maintainers it causes a burden for are the compiler developers (an
3.
by daynthelife 3mo ago
Out of curiosity, did it shift up or down for you? I've had perfect putch from a young age, but now at 30 I hear everything a semiton higher (so e.g. a B sounds like a C to me, and I have to manually subtract the semitone to infer the
4.
by daynthelife 3mo ago
My read of GP is that there is a cycle economy between "bitter lesson" style domain-general scaling and domain-specific adaptation once the scaling plateaus for the latest tech.
5.
by daynthelife 4mo ago
I love this! If I were to suggest any improvements: - Have a play-by-play view so users can see plays they missed - Make the "between innings" tabs clickable rather than forcing users to wait for the cycle (cycle by default, pin i
6.
by daynthelife 5mo ago
To the extent that's true, the same would then apply to any sufficiently intelligent life. So if that's the crux of the argument, it has nothing to do with AI being a great filter.
7.
by daynthelife 5mo ago
It always bothers me when people suggest that AI could be the "great filter" in the sense of Fermi's paradox. Yes, AI may well wipe out biological life, but all evidence suggests AI will have a much easier time with space t
8.
by daynthelife 6mo ago
It clearly doesn't use minimax, since it doesn't play the best move for black in the critical line, leading to a mate in 5 instead if a mate in 6. Best line is N4 N5, Nx6+ K7, R4 N3+!, K2 N5, N8! Kx8, Rx5#. The site has black inst
9.
by daynthelife 6mo ago
The site plays Kx6 instead. You're right though that I was generous with the exclams; all the moves are easy to find in reality.
10.
by daynthelife 6mo ago
It frustrates me that the site does not give the strongest defense for black. The position is mate in 6, not 5: 1. N4 N5 2. Nx6+ K7 3. R4 N3+! 4. K2 N5 5. N8! Kx8 6. Rx5#
11.
by daynthelife 6mo ago
> Theoretically you can max out every 5 hour window, but they lose money on that. No, there is a weekly limit as well. Maxing out a single 5h window uses ~10% of the weekly limit
12.
by daynthelife 10mo ago
I find a lot of motivation from topology. If you plot a smooth degree d curve over the complex numbers, it forms a surface of degree g=(d-1)(d-2)/2. In the case of a cubic, we get genus 1, i.e. a torus. Now tori admit a very natural gr
13.
by daynthelife 10mo ago
Rooks don't have taxicab geometry. Their metric space is compact even on an infinite board. I think you're thinking of the wazir: https://en.wikipedia.org/wiki/Wazir_(chess)
14.
by daynthelife 1y ago
Sure, but who's reading the conversation to determine whether it "looks suspicious"? A regex? A neural network? Who decides the algorithm, and do you really can believe they won't ever change it to serve other more nefar
15.
by daynthelife 1y ago
I am confused how we can define a rotation number of the map from S^1 to R^3 defined at the end of the second paragraph. R^3 is nullhomotopic, after all...
16.
by daynthelife 2y ago
My preference is semi-compatible with both conventions: First = 0 Second = 1 Toward = 2 Third = 3 … This way, the semantic meaning of the words “first” (prior to all others) and “second” (prior to all but one) are preserved, but we get sens
17.
by daynthelife 2y ago
Beat me to it!
18.
by daynthelife 2y ago
Working in HFT, my favorite is 1 nanosecond ≈ 1 foot
19.
by daynthelife 2y ago
Can you make the checkboxes indexed from zero? (Maybe I am too dogmatic)
20.
by daynthelife 2y ago
> You think mathematicians had it all wrong for centuries As a mathematician, yes, I do. Pretty much everything becomes simpler if you treat zero as the first natural number. > Incidentally, I find it amusing that in Europe, the groun
21.
by daynthelife 2y ago
And when you do need google, you can always just add `!g` to your search query. There are a bunch of other useful ones [0], my favorite is probably `!w` for Wikipedia. [0] https://duckduckgo.com/bangs
22.
by daynthelife 2y ago
I disagree on the zero-based indexing complaint. Indeed, the fact that Julia indexed from 1 is the sole reason I will never use an otherwise great language. I can’t comprehend how people came to the conclusion this was a good idea.
23.
by daynthelife 2y ago
For anyone wondering if the speed of light is a concern, a good mnemonic is that a foot is roughly equal to a nanosecond. So a millisecond is long enough (by a factor of ~50000) that camera placement doesn’t matter.
24.
by daynthelife 2y ago
One of many things I learned from [0] is that the vast majority drownings happen in crowded pools with a ton of floaties. It’s so easy to miss a kid falling in. Those floats are supposed to keep kids safe, but they’re a lot closer to being
25.
by daynthelife 3y ago
Put more briefly, gravity does not produce a compressive stress in the phone in free fall. The external force from the table applied to the phone sitting atop it does create compressive stress. Ergo, the situations are fundamentally differe
26.
by daynthelife 3y ago
The payload still contains a list of other inodes though
27.
by daynthelife 3y ago
My hot take is that it should be called the L^(1/2) norm. Many theorems and formulas become a lot easier to state if you redefine L^p as L^(1/p). For instance, under this notation, the dual of L^p is just L^(1-p). And Littlewood’s
28.
by daynthelife 3y ago
They may well. But if we ban research altogether, the only ones with access will be governments. At least with an open system there would be some competition.
29.
by daynthelife 3y ago
Just to add some data points, I’ve flown spirit many times (at least 20), have never paid any more than the base cost, and have never had any issues. Maybe it’s just that I go in with the expectation that I’ll receive no special service, bu
30.
by daynthelife 3y ago
What about nation states? Do you really think the US military will avoid working towards AGI if they think it would give them a tactical advantage? Or the CCP? Or North Korea? Personally, if AGI gets developed, I’d rather the first iterati

More ›