theemathas
Joined 12 years ago
Karma
536
Submissions
69
Member since
Sep 5
Recent submissions
Comment · 26 days ago
Finding unsoundness bugs isn't the most unusual, yes. But this one is unusual in how simple the code that causes it can be (see the versions of the reproducer code in the comments). For other unsoundness bugs, the code would need to contort itself a lot to avoid the compiler checks.
Comment · 2 months ago
Why are the boards squares and not circles?
Comment · 2 years ago
Pyinstaller doesn't work with python 3.12.0. You need to use python 3.12.1. https://github.com/pyinstaller/pyinstaller/issues/7992
Comment · 3 years ago
Sorry for the irrelevant reply, but I'm trying to get some attention on this.
This youtuber got a fraudulent DMCA notice, and his counter-notice got automatically rejected. The person who sent the notice isn't associated with the devs, and is asking for a $100 ransom to get the channel reinstated. How could this be fixed?
Proof that the person sending the notice isn't "authorized on behalf of the copyright holder": https://twitter.com/Lionheart/status/1671349063931838464
Tweet about the automatic rejection of the counter-notice: https://twitter.com/Azrial_Vanity/status/1671696220190810113
Tweet about the initial DMCA takedown: https://twitter.com/Azrial_Vanity/status/1671323777978736643
Mention of the $100 ransom: https://twitter.com/Azrial_Vanity/status/1671332970836140032
Any youtube people on here can help? Or anyone else have any advice?
Comment · 3 years ago
This youtuber got a fraudulent DMCA notice, and his counter-notice got automatically rejected. The person who sent the notice isn't associated with the devs, and is asking for a $100 ransom to get the channel reinstated. How could this be fixed?
Proof that the person sending the notice isn't "authorized on behalf of the copyright holder": https://twitter.com/Lionheart/status/1671349063931838464
Tweet about the automatic rejection of the counter-notice: https://twitter.com/Azrial_Vanity/status/1671696220190810113
Tweet about the initial DMCA takedown: https://twitter.com/Azrial_Vanity/status/1671323777978736643
Mention of the $100 ransom: https://twitter.com/Azrial_Vanity/status/1671332970836140032
Any youtube people on here can help?
Comment · 3 years ago
RLHF makes it possible to get good results with a bad prompt.
Comment · 3 years ago
Probably stuff like this (note: possibly misleading URL)
https://www.theverge.com/2023/2/15/23599072/microsoft-ai-bin...
Early Bing AI had a tendency to be rather unhinged.
Comment · 3 years ago
A similar issue happened to Steam in 2015 https://www.forbes.com/sites/insertcoin/2015/12/25/steam-is-...
Comment · 3 years ago
Reversing time on an attracting force still gives you an attractive force. Velocity is reversed, but acceleration isn't.
Imagine a ball being thrown up and then falling down, in a parabola. Reversing a video of that still gives you a video of a ball in a normal parabola trajectory.
Comment · 3 years ago
> All real numbers, and all numbers of any other variety, can be written with a finite number of symbols.
This is false. In some sense, there exist numbers that can't be referred to. We can refer to the set of real numbers as a whole, but not some of the elements. https://en.wikipedia.org/wiki/Definable_real_number
But then there are issues with defining "definable numbers", which complicates things by a lot. https://mathoverflow.net/questions/44102/is-the-analysis-as-...
Comment · 3 years ago
An alternative formulation of the axiom of choice: The cartesian product of a collection of non-empty sets is non-empty.
Comment · 3 years ago
The main reason that we use real numbers is because we need real numbers to do calculus, at least in the normal way. And to do physics, we need to do calculus. You can keep approximating integrals as sums of very large number of terms, but it gets unwieldy to handle symbolically.
Comment · 3 years ago
Seems really close to reality https://prompt-to-prompt.github.io/