An ode to live theory. Software is not soft. It is hard. Its sharp edges hack. It breaks as dead twigs break. It runs while static. Why do we call it software? Why did the industry forebears pick software? Was it that dramatically different from hardware? Did this necessitate the...
This is the first part of a series exploring Live Discernment, heavily inspired by and a part of Live Theory. Admissibility of Mathematical Evidence This was written with help from Sahil K, Aditya Prasad, Aditya Adiga, Kuil & Matt. When do we say that a mathematical truth is an account[1]...
Admissibility of Mathematical Evidence When do we say that a mathematical truth is an accurate account of a phenomenon we are interested in? Much in the same way that a video can be seen as a true representation of some key events, e.g, a wedding, a speech, or a robbery,...