 |
Post Asd4hJmkRqLNtlRvRQ by [email protected] |
 |
More posts by [email protected] |
|
Post #Asd4hJJgBv5kRbqi8G by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Is 'synthetic' a fancy word for DSL? (Or: where can I read a definition… |
|
|
|
Post #Asd4hJQllYlMnbANBQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais Means different things to different people, but "DSL" is a g… |
|
|
|
Post #Asd4hJYZIZ09BmobL6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @gallais For synthetic homotopy theory à la HoTT I would say tha… |
|
|
|
Post #Asd4hJfesCflXm8GOG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mortberg @gallais Yes. I think that the common thread of all forms of syntheti… |
|
|
|
Post #Asd4hJmkRqLNtlRvRQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mortberg @gallais So in that sense, synthetic methods means little more than (… |
|
|
|
Post #Asd4hJuXyqaAHx69b6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @mortberg @gallais In general audience talks, I have aimed for &q… |
|
|
|
Post #Asd4hK1zXAXMf2a6CW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @mortberg @gallais In this context, I described my use of modali… |
|
|
|
Post #Asd4hK8N9RdoypZC9A by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@danielgratzer @jonmsterling @mortberg That's exactly what I do too: an uns… |
|
|
|
Post #Asd4hKE2oMB7GQDizI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais @danielgratzer @jonmsterling @mortberg this is the core idea behind ru… |
|
|
|
Post #Asd4hKKQQdHZaDCovw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais @danielgratzer @jonmsterling @mortberg the 'relaxing the rules'… |
