121

OpenAI, the Partition Principle, and Mathematics (karagila.org)

22 hours ago md224 karagila.org

1

Eyes on the Solar System (nasa.gov)

5 months ago md224 nasa.gov

2

CSLib: A Focused Effort on Formalizing Computer Science in Lean (cslib.io)

8 months ago md224 cslib.io

5

Life on Peptides Feels Amazing (nymag.com)

9 months ago md224 nymag.com

2

Mothers Against Decapentaplegic (wikipedia.org)

9 months ago md224 wikipedia.org

2

A School of Strength and Character (2023) (palladiummag.com)

a year ago md224 palladiummag.com

2

Proofs that there are infinitely many primes (t5k.org)

a year ago md224 t5k.org

1

The Monty Hall Problem: Why the nature of the host's choice matters (observablehq.com)

a year ago md224 observablehq.com

2

Formal Conjectures (github.com/google-deepmind)

a year ago md224 github.com

6

Ricky Jay and His 52 Assistants (1996) (archive.org)

a year ago md224 archive.org

316

Is Telegram really an encrypted messaging app? (cryptographyengineering.com)

2 years ago md224 cryptographyengineering.com

1

Cosmos CLI: A CLI tool for tracking satellites (github.com/developerryan)

2 years ago md224 github.com

5

How Not to Play the Game (bloomberg.com)

3 years ago md224 bloomberg.com