olligobber @olligobber@mathstodon.xyz
- Pronoun
- Any
- Location
- Australia
Mathematician and design enthusiast. Computing, music, science, video games and art.
Breaking news in the algorithmic/arithmetic world!
Integer multiplication in time O(n · log n). [1]
It means you can multiply two n-bits integer using roughly n log n operations. It's a *very* important problem because a lot of mathematical software rely on efficient integer multiplication.
It breaks the last best known algorithm [2] (Schönhage–Strassen), that was in O(n · log n · log log n)
[1] https://hal.archives-ouvertes.fr/hal-02070778/document
[2] https://en.wikipedia.org/wiki/Sch%C3%B6nhage%E2%80%93Strassen_algorithm
I have this stuck in my head: https://www.youtube.com/watch?v=M699TqhO06k
Ooh, a cool puzzle game by @increpare@twitter.com https://games.increpare.com/Gestalt_OS/
TCP over Blockchain
The Incredible Proof Machine: "LabView wrestled through the Curry-Howard isomorphism"
@olligobber Another proof by induction: If you don't believe this, you're drafted.
Proof by induction: https://www.smbc-comics.com/comic/proof
I have set my phone's device name to "Pology". So now whenever I use my bluetooth headset, I hear "Connected to-Pology".
Huh, the squares of odd affine transformations of the euclidean plane form a group.
Dreamed about set theory.
Except with a bunch of 'advisory' axioms.
Like, if you take a set outside and it gets rained on, make sure to dry it thoroughly before defining any sets of which it is a member or they'll both get mildewed.
@enumerator 4, 5 and 6
Unicode is so amazing that the python statement len("ㅤ ㅤ ㅤ".split()) prints out your python version, 2 or 3.
What a treat! Over the weekend I received an unexpected email from a fan, containing proofs of the Riemann hypothesis, Fermat's last theorem, the Beal conjecture *and* the abc conjecture! Furthermore, they're all proved by the one proof! #blessed
Thanks @christianp for sorting out my signup issues.
- Pronoun
- Any
- Location
- Australia
Mathematician and design enthusiast. Computing, music, science, video games and art.
