md224 on Hacker News

1

Eyes on the Solar System (opens in new tab)

(eyes.nasa.gov)

1md2241mo ago0

2

CSLib: A Focused Effort on Formalizing Computer Science in Lean (opens in new tab)

(cslib.io)

4md2244mo ago0

3

Life on Peptides Feels Amazing (opens in new tab)

(nymag.com)

5md2244mo ago2

4

Mothers Against Decapentaplegic (opens in new tab)

(en.wikipedia.org)

4md2245mo ago0

5

A School of Strength and Character (2023) (opens in new tab)

(palladiummag.com)

2md2249mo ago0

6

Proofs that there are infinitely many primes (opens in new tab)

(t5k.org)

5md2249mo ago0

7

The Monty Hall Problem: Why the nature of the host's choice matters (opens in new tab)

(observablehq.com)

2md2240y ago3

8

Formal Conjectures (opens in new tab)

(github.com)GitHub

4md2241y ago0

9

Ricky Jay and His 52 Assistants (1996) (opens in new tab)

(archive.org)

8md2241y ago0

10

Is Telegram really an encrypted messaging app? (opens in new tab)

(blog.cryptographyengineering.com)

596md2241y ago583

11

Cosmos CLI: A CLI tool for tracking satellites (opens in new tab)

(github.com)GitHub

1md2242y ago0

12

How Not to Play the Game (opens in new tab)

(bloomberg.com)

7md2243y ago1

13

Bitcoin and the Energy Transition [pdf] (opens in new tab)

(global-uploads.webflow.com)PDF

1md2244y ago0

md224

Recent submissions

Eyes on the Solar System (opens in new tab)

CSLib: A Focused Effort on Formalizing Computer Science in Lean (opens in new tab)

Life on Peptides Feels Amazing (opens in new tab)

Mothers Against Decapentaplegic (opens in new tab)

A School of Strength and Character (2023) (opens in new tab)

Proofs that there are infinitely many primes (opens in new tab)

The Monty Hall Problem: Why the nature of the host's choice matters (opens in new tab)

Formal Conjectures (opens in new tab)

Ricky Jay and His 52 Assistants (1996) (opens in new tab)

Is Telegram really an encrypted messaging app? (opens in new tab)

Cosmos CLI: A CLI tool for tracking satellites (opens in new tab)

How Not to Play the Game (opens in new tab)

Bitcoin and the Energy Transition [pdf] (opens in new tab)

Recent submissions

Eyes on the Solar System (opens in new tab)

CSLib: A Focused Effort on Formalizing Computer Science in Lean (opens in new tab)

Life on Peptides Feels Amazing (opens in new tab)

Mothers Against Decapentaplegic (opens in new tab)

A School of Strength and Character (2023) (opens in new tab)

Proofs that there are infinitely many primes (opens in new tab)

The Monty Hall Problem: Why the nature of the host's choice matters (opens in new tab)

Formal Conjectures (opens in new tab)

Ricky Jay and His 52 Assistants (1996) (opens in new tab)

Is Telegram really an encrypted messaging app? (opens in new tab)

Cosmos CLI: A CLI tool for tracking satellites (opens in new tab)

How Not to Play the Game (opens in new tab)

Bitcoin and the Energy Transition [pdf] (opens in new tab)