ogogmad

120 ms·

1651.
by ogogmad 6y ago
The WebGL stuff works in Chromium but not in Firefox.
1652.
by ogogmad 6y ago
> (But as a sidenote: couldn't you fix this with dependent types somehow?) Most proof assistants, including Lean, are built on dependent type theory.
1653.
by ogogmad 6y ago
Making the domain of f(x)=1/x be the non-zero real numbers allows f to be continuous. If f(0)=0 then continuity is lost. Alternatively, defining f(0) to be infinity (a projectively extended real number) also allows f to be continuous.
1654.
by ogogmad 6y ago
The codomain doesn't have to equal the image. The image is the non-zero reals, but the codomain could be any superset of it (including all of R). The word "range" is ambiguous.
1655.
SymPy - a Python library for symbolic mathematics(sympy.org)
209 points by ogogmad 6y ago|51 comments
1656.
by ogogmad 6y ago
Do you have a reference for 2? Thanks.
1657.
by ogogmad 6y ago
> Does this mean that for any given prime, there will always be a prime within 600 digits? No. Euclid showed that the gap between consecutive primes can be arbitrarily large. In particular, n!+2, n!+3, ..., n!+n are all composite whenev
1658.
by ogogmad 6y ago
Even Elon Musk agrees with you: https://twitter.com/elonmusk/status/1256239815256797184 And he's said it more than once.
1659.
by ogogmad 6y ago
Comments by Dan Piponi: https://twitter.com/sigfpe/status/1180146076579328000
1660.
The quaternion square root is uncomputable(mathoverflow.net)
2 points by ogogmad 6y ago|1 comments
1661.
Dual-Complex Numbers: A formalism for 2D rigid body motion(en.wikipedia.org)
1 points by ogogmad 6y ago|0 comments
1662.
Every mathematician has only a few tricks(mathoverflow.net)
2 points by ogogmad 6y ago|0 comments
1663.
by ogogmad 6y ago
I believe Android's built-in calculator app takes this approach: https://dl.acm.org/doi/pdf/10.1145/2911981 It also uses rational numbers and arbitrarily large integer arithmetic.
1664.
Show HN: Laguerre Transformations(github.com)
1 points by ogogmad 6y ago|0 comments