Anatomy of a Formal Proof(ams.org)

119 points by bikenaga 1 year ago | 10 comments

Quadratic forms beyond arithmetic(ams.org)

48 points by bikenaga 1 year ago | 8 comments

The Four-Color Theorem 1852–1976(ams.org)

13 points by bikenaga 8 months ago | 0 comments

Show HN: ASCII Drawing Board(delopsu.com)

96 points by delopsu 1 year ago | 33 comments

Nicotine pouches, tobacco's latest ploy(med.stanford.edu)

13 points by car 3 months ago | 1 comments

Two parallel neural ectoderm progenitors contribute to the developing brain(med.stanford.edu)

613 points by emigre 1 month ago | 241 comments

Stanford Medicine news article on research finding two parallel neural ectoderm progenitor populations that contribute to the developing brain.