HappyPanacea

10 ms·

151.
by HappyPanacea 2y ago
I think it is https://arxiv.org/abs/2002.05766 .
152.
by HappyPanacea 2y ago
If we have polynomial with integer coefficients, we can bound the largest and smallest root by an expression that is maximum of abs. value of coefficients to some power. There should be similar bounds for the smallest imaginary value a root
153.
by HappyPanacea 2y ago
Math Overflow domain and name are owned by a nonprofit organization, see https://meta.mathoverflow.net/questions/969/who-owns-mathove...
154.
by HappyPanacea 2y ago
I suspect they will fail to emphasize the ShareAlike property of CC BY-SA 2.5/3.0/4.0 which is incredibly strong - "ShareAlike — If you remix, transform, or build upon the material, you must distribute your contributions unde
155.
by HappyPanacea 2y ago
It is a mistake, it should be x.y = ((x + y)^2 - (x - y)^2)/4.
156.
by HappyPanacea 3y ago
If you don't have an authenticated channel, you are susceptible to a MITM attack which makes any asymmetric crypto useless. Thus I think there is an implicit assumption in any asymmetric crypto that you already have an authenticated ch
157.
by HappyPanacea 3y ago
This gives rise to the following: Any sufficiently advanced malice is indistinguishable from stupidity.
158.
by HappyPanacea 3y ago
(I'm also not a theoretical physicist). Not entirely true, I was looking at proton decay recently and one model of string theory model apparently predicts 10^36 yr lifetime [1] which is within experimental reach. [1]: Igor R Klebanov,
159.
by HappyPanacea 3y ago
Considering the human finger is very sensitive to texture perhaps there is a material that change its texture in response to voltage?
160.
by HappyPanacea 3y ago
Insightful, thanks!
161.
by HappyPanacea 3y ago
> Japanese [...] is also significantly more expressive than English is My first reaction was to doubt it because I remember reading [0] that spoken languages have roughly the same bit rate ( 39.15 bits/s on avg ). However, bit rate
162.
by HappyPanacea 3y ago
Wow I have used AVG for like 13 years and never even heard these allegations before although I'm plenty online. I saw the AVG email signature and disabled the web/email part of AVG. I should have realized that a company which does
163.
by HappyPanacea 3y ago
Why not just XOR them? Is the reason we use HKDF is so if one or both is only partially broken (only some bits or some correlation) instead of fully broken we still benefits from the information that is still there?
164.
by HappyPanacea 3y ago
McEliece encryption algorithm was published in 1978 (one year later than RSA) and seems to be considered safe to classical and quantum computers, the only downside is the huge public key size.
165.
by HappyPanacea 3y ago
It does seems so, both seems to compute the Dedekind number by using sums over equivalence classes of lower number of variables functions. Before [0][1] It was only possible to compute D(n+2) from Rn and Jäkel gave way to compute D(n+3) and
166.
by HappyPanacea 3y ago
Also, He used 5311 Nvidia A100 GPU hours and the team in the article used 47000 Intel Stratix 10 GX 2800 FPGA hours.
167.
by HappyPanacea 3y ago
This conclusion doesn't follow, it only makes sense if they are 100% busy all the time. I volunteered in an emergency ambulance a little bit and most of the time we waited in the waiting station.
168.
by HappyPanacea 3y ago
What is the difference between "there's a worst case maximum cycle budget for programs" and bounded? and why it would not be OK?
169.
by HappyPanacea 3y ago
This is also how it works in Lean and in VSCode with the Lean extension it will also show you overlay saying how to type the symbol if you are unfamiliar with it. I'm not sure who came up with this feature first but it seems emacs has
170.
by HappyPanacea 3y ago
The author is a PhD student therefore he will be time-rich but money-poor so it is not surprising as you think.
171.
by HappyPanacea 3y ago
This is also not my area of expertise, but considering they are using sized types to prove termination through well-foundness so they are probably suppose to be ordinals where we can have ω < ω+1 but for some reasons they decide to forgo
172.
by HappyPanacea 3y ago
In the last round of ballistic excitement (called "Operation Shield and Arrow" by the Israelis), according to the Hebrew Wikipedia, 460 rockets had been shot into Israeli residential areas, of those 439 were intercepted and 21 wer
173.
by HappyPanacea 4y ago
The author links to another blog post called "A nice approximation of the norm of a 2D vector" [1], Recently I learnt from Youtube about the Alpha max plus beta min algorithm [2] which is a better approximation, it uses 1 max and