Mathematical Foundations of Joy (hypercubed.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hypercubed.github.io: Mathematical Foundations of Joy

First screen, captured 2 years ago.

Looks similar

Screenshot of tristanrhodes.com: The Joy of Nand2Tetris

The Joy of Nand2Tetris (tristanrhodes.com)

146 points by partypete 1 year ago | 39 comments

Screenshot of nsl.com: F (2006)

F (2006)(nsl.com)

133 points by hwayne 2 years ago | 13 comments

Screenshot of paultaylor.eu: Practical Foundations of Mathematics

Practical Foundations of Mathematics (paultaylor.eu)

95 points by nill0 1 year ago | 19 comments

Screenshot of desislav.dev: Functional Programming with TypeScript's Type System

Functional Programming with TypeScript's Type System (desislav.dev)

74 points by evolveyourmind 3 years ago | 30 comments

Screenshot of cs.nott.ac.uk: Advanced Functional Programming Free Course

Advanced Functional Programming Free Course (cs.nott.ac.uk)

25 points by agomez314 2 years ago | 4 comments

Screenshot of cs.bham.ac.uk: Introduction to Univalent Foundations of Mathematics with Agda

Introduction to Univalent Foundations of Mathematics with Agda (cs.bham.ac.uk)

104 points by haltist 3 years ago | 6 comments