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: gist.github.com/olligobber/044

Found some more:
Total ordering: x < y or x == y or x > y
Negatives: x - x == 0
More associativity: x * (y * z) == (x * y) * z
Inverses: 1/x * x == 1
Distributivity: x*(y+z) == x*y + x*z

Show thread

Rules I've found that floating point numbers disobey:
substitution: x == y => f(x) == f(y)
reflexivity: x == x
associativity: (x + y) + z == x + (y + z)

olligobber boosted

Idea for a web extension: [[epithet]]. It replaces the name of corporations online with a crowdsourced/user set description of the company.

olligobber boosted

What's your primary OS?

Boosts appreciated for sample size :)

olligobber boosted

On the "Mozilla" subject. Let's face it, we don't have a mature and truly open browser nowadays. Despite the fact that Mozilla exist as foundation they're on the quest for revenue. And this is the main problem.
We need an open browser which is not driven by revenue, backed by foundation, and truly Open Source. And it must be just a browser, no bloatware, no tracking, no commercialization at all.
The web is a public place and we need a browser for public.

#mozilla #browser #opensource

olligobber boosted

All browser prompts need a "Lie" function in addition to Allow and Block.

<Website> wants to:
* Know your location
* Use your camera
[ Allow ] [ Block ] [ Lie ]

Since when was it spelled quaternion instead of quaRternion?

olligobber boosted
olligobber boosted
olligobber boosted
olligobber boosted

@CaribenxMarciaX ah, this makes me think about how the chinese third person pronoun was historically non-gendered until after the opium war era, when western ideas that male is the default co-opted the word to reflect male people, and then a whole other word had to be used to refer to female people, and now it's awkward to refer to people without gendering them

"I prove a lot with induction because it’s obviously false and hence quite powerful" - @frobunnius@twitter.com

Since Haskell → C and C → BF compilers presumably exist, I have an Iota → Lambda compiler, and I'm gonna write BF → Iota and Lambda → Tex compilers, that means Haskell → Tex will be a thing. Convenient!

olligobber boosted
Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!