HNHacker News
TopNewBestAskShowJobs

johnbernier

14 karma · joined January 22, 2023

Mathematician working in topos theory.
submissionscomments

The Logic of Functional Programming

lisp-ai.blogspot.com·6 pts·johnbernier·
5

Visualising information flows of finite functions

lisp-ai.blogspot.com·3 pts·johnbernier·
1

A new way of programming with information flows

lisp-ai.blogspot.com·6 pts·johnbernier·
1

The topos theory of computing: introduction to the mathematics of dataflow [pdf]

raw.githubusercontent.com·5 pts·johnbernier·
3