Threads for coffee2theorems

  1. 2

    Hiking and photography with my wife, then finishing up the draft of the second third of my book for my beta reader group.

    1. 1

      Whats your book about?

      1. 2

        The direct relationship between the programmer and the program they’re creating. People work one way. Computers work another way. Nobody ever explains to us what the differences are. Because most coders don’t grok it, it tends to make really bad people and really bad technology.

        After that is explained, there’s a pivot from that to all sorts of logical implications, like static code analysis, structuring microservices, supercompilers, AGI, etc. The book is half narrative and half code, bouncing back and forth from humans to formal systems and back, each time picking up something on one side that can be applied to the other, seeing where that leads us.

        1. 1

          Sounds really interesting. As a new developer I could see how that would be useful. How do you plan to publish it? Is there a way I can follow the progress?

    1. 2

      I’m going to look into https://deno.land/ and make a small app in it.