YHacker Newsscreenshots

ryanbrewer.dev on Hacker News

5 stories on the front page, newest first. Scroll down to watch the site change over time.

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

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

29 points by hoping1 1 year ago | 8 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 ryanbrewer.dev: The Type of Sprintf

The Type of Sprintf (ryanbrewer.dev)

3 points by verdagon 2 years ago | 1 comments

Screenshot of ryanbrewer.dev: SaberVM

SaberVM (ryanbrewer.dev)

120 points by hoping1 2 years ago | 11 comments

Screenshot pending…

Security and crashing with modal logic (ryanbrewer.dev)

8 points by cbarrick 2 years ago | 0 comments