Y Hacker News new | ask | show | jobs

user: johnbernier created: 2023-01-22 karma: 14 Mathematician working in topos theory. submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Logic of Functional Programming 6 points | 5 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Visualising information flows of finite functions 3 points | 1 comments 0 points | 0 comments 0 points | 0 comments A new way of programming with information flows 6 points | 1 comments 0 points | 0 comments 0 points | 0 comments The topos theory of computing: introduction to the mathematics of dataflow [pdf] 5 points | 3 comments