In April 2025, Bluesky raised $100 million in Series B funding led by Bain Capital Crypto. Since our Series A, we've grown from 13 million to over 43 million global users.

and more on what's next

Contribute to angeris/cad-repo development by creating an account on GitHub.

Here's how mathematical proofs generally work. You start with some statement. Say, something like: A standard mathematical proof is then a list of sta...

An interesting observation that stumbled across while reading some of is the following While the JL lemma does indicate that this might be true (ish, ...