Viewing profile — vez-

Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)

This video gives a very concrete example of a non-repeating pattern (Penrose tiling) https://www.youtube.com/watch?v=48sCx-wBs34

correction: I actually used the text "What If?" NOT "sets, logic, computation"! My mistake.

I took a class under one of the authors with "sets, logic, computation". I found this textbook to be incredibly good for both reading and as a reference. It presents things very st…

Considering these three statements: - the brain predicts what its upcoming input will be, - quantum biologists ask if the human eye is sensitive to quantum effects, and - measuring…

Check out "WebXR"

The author's argues that the 50-50 model of chess is less true and a dead-end. If this is a matter of which model to use then fair enough, you may wish to use a more exact model th…

Yup https://en.wikipedia.org/wiki/W_state

The thing I think the original commenter was trying to get at is that spacetime (the mathematical model) and quantum mechanics (the mathematical model) for the most part are in no …

Perhaps the above commenter is talking about the perceived scale or speed of time? Order of events certainly seems to matter. At the same time, order of events is also a certain wa…

I disagree that people should NOT be attached to their code. Having a sense of ownership for what you write can lead to higher quality systems where people are willing to stand up …

I've been wondering the same thing. I feel like there could be a more exclusively visual programming paradigm. I wish there was a better way to program on mobile, because typing ju…