Sequent Calculus and Notation – Par Part 1 (ryanbrewer.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ryanbrewer.dev: Sequent Calculus and Notation – Par Part 1

First screen, captured 1 year ago.

Looks similar

Screenshot of hidden-phenomena.com: Using calculus to do number theory

Using calculus to do number theory (hidden-phenomena.com)

114 points by cpp_frog 7 months ago | 20 comments

Screenshot of lemire.me: Parsing integers quickly with AVX-512

Parsing integers quickly with AVX-512 (lemire.me)

156 points by usdogu 3 years ago | 30 comments

Screenshot of lemire.me: Parsing 8-bit integers quickly

Parsing 8-bit integers quickly (lemire.me)

85 points by usdogu 2 years ago | 40 comments

Screenshot of ryanbrewer.dev: Getting Started with Category Theory

Getting Started with Category Theory (ryanbrewer.dev)

42 points by hoping1 1 year ago | 16 comments

Screenshot of lemire.me: Can GPT pass my programming courses?

Can GPT pass my programming courses?(lemire.me)

27 points by greghn 3 years ago | 40 comments

Screenshot of ryanbrewer.dev: The Type of Sprintf

The Type of Sprintf (ryanbrewer.dev)

3 points by verdagon 2 years ago | 1 comments