olligobber @olligobber@mathstodon.xyz
- Pronoun
- Any
- Location
- Australia
Mathematician and design enthusiast. Computing, music, science, video games and art.
Joined Oct 2018
Pinned toot
I made a regex to match all multiples of 7, but it was >10,000 characters so grep couldn't handle it.
Pinned toot
I wanted to write a prime generator, but all the popular languages already have optimised ones I can't compete with.
++[>++<[->>+>+<<<]>>>[-<<<+>>>]<<[->->+<<]>>[-<<+>>]<[[>[->+>+>+<<<]>>>[-<<<+>>>]<[<->[-<->]]<+[<<<[->>+>>+<<<<]>>>>[-<<<<+>>>>]<-]<<->-<]>[->+>+>+<<<]>>>[-<<<+>>>]<[<->[-<->]]<+[<<<[-]<[->+>+<<]>>[-<<+>>]<->>>>-<-]<[-]<<+<[->>+>+<<<]>>>[-<<<+>>>]<<[->->+<<]>>[-<<+>>]<]<[-]>>>>+[<<<<<.>>>>>-]<<<<<+]
commented version: https://gist.github.com/olligobber/0445a1721eb22b1d5b65bb4d4becdbf6
I think I need to set up a cat bed next to me laptop's heat vent.
olligobber
boosted
Challenge for applied category theory: build a ronavirus, so that the world can be sane again.
olligobber
boosted
Who called it a magma and not a hemidemisemigroup?
olligobber
boosted
Consider the algorithm "M(x): if x<0 return -x, else return M(x-M(x-1))/2". This algorithm terminates for all real x, though this is not so easy to prove. In fact, Peano Arithmetic cannot prove the statement "M(x) terminates for all natural x". Paper to come! Joint work with @jeffgerickson and @alreadydone
Can't remember Cory Doctorow's name? Just google "xkcd cape guy"!
olligobber
boosted
I swear i didn't arrange this on purpose. They line up to stare at me when they're hungry
Politics/censorship
"Alastair Campbell advocating a return for Labour to its roots in calculus and infinite series" - @TomRivlin@twitter.com
https://twitter.com/TomRivlin/status/1205320708324298755
Concatenation of numbers preserves divisibility, that is if \(a_1,\dots,a_n\) are all divisible by d, then their concatenation \(a_1a_2\dots a_n\) is also divisible by d.
"Really excited that YouTube gave me the first 90 seconds of this year's Rewind to explain the volume formulas for higher dimensional spheres." - @3blue1brown@twitter.com
https://twitter.com/3blue1brown/status/1202429711709683712
I left this running overnight and it still hasn't output 229.
This version is cheaty:
++.+.++.++.++++.++.++++.++.++++.++++++.++.++++++.++++.++.++++.++++++.++++++.++.++++++.++++.++.++++++.++++.++++++.++++++++.++++.++.++++.++.++++.++++++++++++++.++++.++++++.++.++++++++++.++.++++++.++++++.++++.++++++.++++++.++.++++++++++.++.++++.++.++++++++++++.++++++++++++.++++.++.++++.++++++.++.++++++++++.
I wanted to write a prime generator, but all the popular languages already have optimised ones I can't compete with.
++[>++<[->>+>+<<<]>>>[-<<<+>>>]<<[->->+<<]>>[-<<+>>]<[[>[->+>+>+<<<]>>>[-<<<+>>>]<[<->[-<->]]<+[<<<[->>+>>+<<<<]>>>>[-<<<<+>>>>]<-]<<->-<]>[->+>+>+<<<]>>>[-<<<+>>>]<[<->[-<->]]<+[<<<[-]<[->+>+<<]>>[-<<+>>]<->>>>-<-]<[-]<<+<[->>+>+<<<]>>>[-<<<+>>>]<<[->->+<<]>>[-<<+>>]<]<[-]>>>>+[<<<<<.>>>>>-]<<<<<+]
commented version: https://gist.github.com/olligobber/0445a1721eb22b1d5b65bb4d4becdbf6
Now I have a program that sorts a 0-terminated list of bytes.
,[<<[[>>[->+>>+>>+<<<<<]>>>>>[-<<<<<+>>>>>]<<<<[>>-<<[->>-<<]]>>+[<<<<<[->>+<<]+>->+>>>-]<<<<<->>-<+<]>>[-<<+>>]<[-<+>>+<]<<<]>>[>>],]<<[.<<]
Commented version: https://gist.github.com/olligobber/8c58c18c41da4771c160849b865c9163
- Pronoun
- Any
- Location
- Australia
Mathematician and design enthusiast. Computing, music, science, video games and art.
Joined Oct 2018
