The Origins and Motivations of Univalent Foundations (2014) (ias.edu) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ias.edu: The Origins and Motivations of Univalent Foundations (2014)

First screen, captured 3 years ago.

Looks similar

Screenshot of quantamagazine.org: In math, rigor is vital, but are digitized proofs taking it too far?

In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)

110 points by isaacfrond 7 months ago | 99 comments

Screenshot of arxiv.org: Invariants: Computation and Applications

Invariants: Computation and Applications (arxiv.org)

38 points by crete 1 year ago | 1 comments

Screenshot of arxiv.org: Vectorization of Verilog Designs and its Effects on Verification and Synthesis

Vectorization of Verilog Designs and its Effects on Verification and Synthesis (arxiv.org)

26 points by matt_d 7 months ago | 6 comments

Screenshot of igorpak.wordpress.com: What if they are all wrong? (2020)

What if they are all wrong? (2020)(igorpak.wordpress.com)

67 points by macleginn 2 years ago | 18 comments

Screenshot of borretti.me: Mathematics Without Mathematicians

Mathematics Without Mathematicians (borretti.me)

34 points by varjag 2 months ago | 38 comments

Screenshot of arxiv.org: 4.5M Suspected Fake Stars in GitHub

4.5M Suspected Fake Stars in GitHub (arxiv.org)

196 points by qianli_cs 1 year ago | 182 comments