HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vez-

no profile record

Submissions

Bidirectional Language Note

vezwork.github.io
1 points·by vez-·3 years ago·0 comments

[untitled]

1 points·by vez-·5 years ago·0 comments

comments

vez-
·4 years ago·discuss
Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)
vez-
·4 years ago·discuss
This video gives a very concrete example of a non-repeating pattern (Penrose tiling) https://www.youtube.com/watch?v=48sCx-wBs34
vez-
·4 years ago·discuss
correction: I actually used the text "What If?" NOT "sets, logic, computation"! My mistake.
vez-
·4 years ago·discuss
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 straightforwardly (the language is simple) and clearly (makes good use of tables and diagrams to give the full info needed to understand something). The chapters are short and digestible. I forget if the text includes exercises, but I found the exercises in that class very good as well. I was actually looking for this text again, so that I could use it as a reference while learning Homotopy Type Theory, and here it is!
vez-
·5 years ago·discuss
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 quantum information under different bases result in a different quantum state of not only the measurer, but of the world being measured.

I wonder if it is possible that the brain uses its predictive power to change the basis under which the eye measures photons, resulting in different perceptions as well as a different reality. A bit of a crazy idea but I don't see any reason why it shouldn't be the case other than if it is shown that biological sensory organs are simply not that precise.

[0]https://www.templeton.org/grant/is-the-human-eye-able-to-see...
vez-
·5 years ago·discuss
Check out "WebXR"