3 ms·

> Turner said that he was “interested in finding something simpler” than full dependent types. What are some current options for avoiding full dependent types?

• gsf_emergency_2 2y ago
  Lagniappe: https://youtu.be/KBzlkPS7ZUw https://youtu.be/KBzlkPS7ZUw https://arxiv.org/abs/1909.04628 https://arxiv.org/abs/1909.04628 >replace any theory which does not explain symmetrical observational situations as the manifestation of deeper symmetries
  • 082349872349872 2y ago
    now I'd like to see Cambrian knot-fish! is there a slogan for how Spekkens' metaphysics (epistemology?) differs from "working up to isomorphism"? (we prefer theories which result from applying condensation to situations in order to form DAGs? minimise strongly connected components?)
    • gsf_emergency 2y ago
      Not that I know of but maybe! Let me know if you see/come up with one (edit: did you mean "homomorphism"?) The trick to getting yt to return nonLatin recs seems to be: keep only high quality not-dubbed comedy in history.. Edit: maybe he should panned the cam https://youtube.com/shorts/TWLZMVSbi6c https://youtube.com/shorts/TWLZMVSbi6c (What do you mean by "condensation"?)
      • 082349872349872 2y ago
        https://en.wikipedia.org/wiki/Directed_acyclic_graph#Construction_from_cyclic_graphs https://en.wikipedia.org/wiki/Directed_acyclic_graph#Constru...
        • gsf_emergency 2y ago
          facepalm emoji Graph theory is (regrettably) my L3+.. (Secondarily) Moscow is well-known for its distinct layout (compared to Peterburg)
          • 082349872349872 2y ago
            no bandwidth (sorry!) placeholder...