engboris

3 ms·

1. 1.▲
   by engboris 2y ago

   Yes, it's this paper but there's no English translation. Girard mostly (only?) write in French now. I believe LLM like ChatGPT or Claude do a great job nowadays?
2. 2.▲
   by engboris 2y ago

   He's indeed very special and looks like he's writing to himself (especially in his last works). However, after trying to understand his last works for 3-4 years in full-time, I can't say he's "crazy". I would r
3. 3.▲
   by engboris 2y ago

   Thank you very much!
4. 4.▲
   by engboris 2y ago

   I created an account for this thread and answered right away. If it's not because of that, then I suspect it's because of too much subjectivity / bias / self-promotion. I didn't exactly talk about my own works but m
5. 5.▲
   by engboris 2y ago

   I'm not very familiar with the static analysis of algorithms, abstract interpretation and collapsing stacks of interpreters but I'm curious if you have any intuitions (even vague ones). I don't think there is any concrete ste
6. 6.▲
   by engboris 2y ago

   Formally speaking, transcendental syntax is the successor of the Geometry of Interaction programme (which is sort of parallel to the development of ludics). It gives a new and more general version (or an abstraction) of proof-nets. Whereas
7. 7.▲
   by engboris 2y ago

   I'm the author of this repository. I just want to point out that it was an experiment / proof-of-concept for the ideas of Girard's transcendental syntax (I didn't even expect it would be posted somewhere outside of my sm