axiom boosted

Cartesian closed catgirl

2019 is the largest known prime number

opetopic.net/

Super interesting site by Eric Finster about opetopic higher categories. Unfortunately it seems rather incomplete.

kerodon.net

Lurie's online textbook. Looks interesting! I'm somewhat tempted to take more algebraic topology...

axiom boosted
@iitalics Miss me with that classical shit, tho.
axiom boosted

no YOU just spent \$25 on snacks at the korean market

I am looking at a 4 hour sleep and need to stop having interesting conversations on mastodon

axiom boosted

LET 👏 LINK 👏 BE 👏 THE 👏 PRINCESS

The best known lower bound on superpermutations was proved by anon on 4chan's /sci/ board.

axiom boosted

axiom boosted

axiom boosted

The Big Hack: How China Used a Tiny Chip to Infiltrate U.S. Companies

"The attack by Chinese spies reached almost 30 U.S. companies, including Amazon and Apple, by compromising America’s technology supply chain, according to extensive interviews with government and corporate sources."

TIL preorder != reverse postorder

axiom boosted

@feonixrift I remember there's an Arxiv-to-Modern-HTML webpage somewhere, but my memory sucks...

Ah: arxiv-vanity.com How's this?

axiom boosted

@king challenge @npd

@kosinus Castling.club is really fun! Is the source code available online? Also, I have a couple suggestions for useful features:
- resignation
- draw offers
- takeback offers
- PGN export (copying and pasting the move list is almost good enough but it would be really convenient to get PGN with the player names filled in, etc

If the source is available I'd be happy to implement any of these and send you a PR. Thanks for making this!

@king challenge @mona

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.