3 ms·
A 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 p
by killerstorm 9d ago
A 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 8d 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 8d agoWait what? Have you? Why are you posting passive aggressive unfounded dismissals posing as questions?
- steego 8d 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?