red_trumpet

11 ms·

91.
by red_trumpet 2y ago
Do you have any reference for this?
92.
by red_trumpet 2y ago
Later on the article says > To eliminate this problem, Professor Shintake aligned two axis-symmetric mirrors in a straight line and used a total of only four mirrors instead of ten.
93.
by red_trumpet 2y ago
No, blackboard bold X [1]. Unfortunately HN doesn't allow it... [1] https://en.wikipedia.org/wiki/Blackboard_bold
94.
by red_trumpet 2y ago
For starters, they don't support any subdomains...
95.
by red_trumpet 2y ago
The cool thing is this argument immediately generalizes to zeroes of monic polynomials with integer coefficients, i.e. x^n + a_0 x^{n-1} + ... + a_n. In commutative algebra one says "the ring Z is integrally closed in its field of frac
96.
by red_trumpet 2y ago
The article explicitly claims > Rational numbers or fractions must have a simplest form. They make no claim about uniqueness, but that is not needed in the argument.
97.
by red_trumpet 2y ago
Isn't the proof just claiming that you can't divide an integet infinitely many times by 2, and still expect it to be an integer?
98.
by red_trumpet 2y ago
> I really wish a powerful standard emerged, though Relevant xkcd: https://xkcd.com/927/
99.
by red_trumpet 2y ago
He doesn't explain how it works though, or why it is private. Only that we should trust them.
100.
by red_trumpet 2y ago
I had the same question. Typically, loans are inherently trustful, because the bank has to trust to get the money back at some point. And if the debtor does not want to pay, there is (hopefully) a working justice system to make them pay, wh
101.
by red_trumpet 2y ago
Well, to center the text in flow layout, you would use text-align:center;
102.
by red_trumpet 2y ago
Not sure if this is helpful, but maybe you can try to get a UK keyboard? They don't seem to be identical to ANSI US[1], but maybe close enough? [1] https://en.wikipedia.org/wiki/British_and_American_keyboards
103.
by red_trumpet 2y ago
> Last years SoME3 has this entrant https://youtu.be/Njx2ed8RGis?si=-Q0TwT8LKmTC9o0R That's not an application of category theory. The important theorem here is that the fundamental group is a functor, plus computat
104.
by red_trumpet 2y ago
Even stronger, the integrand is positive , hence the integral is positive as well, so it cannot be zero.
105.
by red_trumpet 2y ago
As a mathematician, I find this proof reasonably written. Yes, not everything is spelled out, but the proof was published by the AMS for mathematician, and imo it can be expected that those know how to fill the gaps.
106.
by red_trumpet 2y ago
The firmware author themselves write[1]: > I was not anybody’s contractor or subcontractor. I’m not employed by entropic nor by you [DEFCON]. I did this in my free time so attendees could have a fun badge. [1] https://old.redd
107.
by red_trumpet 2y ago
I don't see how proving the Riemann Hypothesis would help cracking RSA? If it helps, couldn't you just assume it is true and start cracking RSA today? If you ever hit a point where it doesn't work then BOOOM: Riemann Hypothes
108.
by red_trumpet 2y ago
https://archive.is/rnQIv
109.
by red_trumpet 2y ago
Interesting topic! However, I would like to point out that the dichotomy closed form <-> numerical methods is somewhat artificial. Even if one could express an arc length parametrization using exp and log, one would still need numer
110.
by red_trumpet 2y ago
I'd say the pig is somewhat recognizable, with four legs and a tail. The humans on the other hand...
111.
by red_trumpet 2y ago
You sure? From the article: > In 2009 Microsoft was also forced to implement a browser ballot box in its Windows operating system to ensure users were presented with a choice of web browsers, after years of Microsoft bunding Internet Exp
112.
by red_trumpet 2y ago
> If you set out to build a local-first application that users have complete control and ownership over, you need something to solve data sync. > Dropbox and other file-sync services, while very basic, offer enough to implement it in
113.
by red_trumpet 2y ago
> It's like seeing a beautiful painting being painted and arguing about the kind of paintbrush the painter has used. It's like seeing a beautiful painting and realizing the painter didn't use lightfast colors. In ten years
114.
by red_trumpet 2y ago
Yeah, they should have heard about ZFC and have a notion what a formal proof is. On the other hand, I'm not sure your last sentence is really that relevant. > They don't know anything about type theory, implications of the law
115.
by red_trumpet 2y ago
> Nuclear replaces coal or hydro. There's not much hydro where I'm wrong, so I might be mistaken with this. But I always thought hydro was also pretty flexible, so it could serve as peak load? Like, you can even pump water up a
116.
by red_trumpet 2y ago
That article also contains the phrase > As of 2020, there is insufficient clinical evidence to determine that phytoestrogens have effects in humans.
117.
by red_trumpet 2y ago
That's a lie. If a site does not use cookies, it doesn't need to ask you about them. Similarly, if Adobe doesn't process your files, they don't need to have your permissions.
118.
by red_trumpet 2y ago
Makes me wonder if section 4.2 (the part you quote) was part of the update or if it has been there for before? Adobe's official communication [1,2] does not seem to indicate 4.2 changed with this update? [1] The popup in OP only mentio
119.
by red_trumpet 2y ago
> Spotify Premium will now cost $11.99 a month So this is about one album per month. The accumulation of music might be slow at the beginning, but I could imagine that 3-4 years in you have quite some collection.
120.
by red_trumpet 2y ago
> they said there is a formula to make popular songs. No they didn't. They said all popular songs follow a formula.

More ›