Skip to content

Top New Best Ask Show Jobs

md224

3,741 karmaJoined October 3, 2011852 submissions

Creator of FuckItJS and /r/AskOuija.

Occasional music-maker.

Frequent internet-builder.

https://matt-diamond.com

https://x.com/mattdiamond

md224 | Better HN

Recent submissions

1

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

(cslib.io)

4md2241mo ago0

2

Life on Peptides Feels Amazing (opens in new tab)

(nymag.com)

5md2241mo ago2

3

Mothers Against Decapentaplegic (opens in new tab)

(en.wikipedia.org)

4md2242mo ago0

4

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

(palladiummag.com)

2md2246mo ago0

5

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

(t5k.org)

5md2246mo ago0

6

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

(observablehq.com)

2md2249mo ago3

7

Formal Conjectures (opens in new tab)

(github.com)

4md22410mo ago0

8

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

(archive.org)

8md2241y ago0

9

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

(blog.cryptographyengineering.com)

596md2241y ago583

10

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

(github.com)

1md2242y ago0