3 ms·
> Again, as a "proof of research" take a look at : https://github.com/VictorTaelin/Interaction-Type-Theory https://github.com/VictorTaelin/Interaction-Type-Theo
by etiamz 15d ago
> Again, as a "proof of research" take a look at : https://github.com/VictorTaelin/Interaction-Type-Theory https://github.com/VictorTaelin/Interaction-Type-Theory that's 3 year old, pre-dates Fable, but OMG doesn't look like a paper.
Yes, it doesn't look like a paper at all. I can see the idea, and it's an interesting idea, but no proofs that it works, no measurements, and no proper citations.
Nobody claims Victor hasn't done a lot of research. But academically inclined people typically expect claims to be substantiated either formally or empirically or both.
- killerstorm 15d agoA complete implementation have been released, how is that not a substantiation? Academic people might have more trust in a paper which when through a lengthy publication process. But if you think about it, it's not a better proof than a direct access to the thing. It used to be hard to try out software but with modern tech it literally takes minutes...
- steego 15d agoHow do you know the implementation is complete or that it works well? Have you evaluated it? Wouldn’t you be inclined to withhold any claims of anything being substantiated until it’s actually been evaluated?
- baq 15d agoWait what? Have you? Why are you posting passive aggressive unfounded dismissals posing as questions?
- steego 15d agoI’m not being “passive aggressive” with an “unfounded dismissal posing as a question” The person I am responding to made a SPECIFIC claim when they said, “A complete implementation have been released” They then ASKED, “how is that not a substantiation?” Uploading code does NOT substantiate anything. The code must been executed, tested, analyzed and/or verified in order to substantiate ANYTHING. We are in limbo because MOST people are JUST seeing the code now. Almost nobody has evaluated it. BTW, I got the Discord announcement BEFORE I saw the HN announcement (Because I’m not a hater or a bully) and I started looking at the Lean code as well as the TypeScript compiler. Have YOU been evaluating it? Do you actually have an informed opinion, or are you here to fight the bullies?