"; you need no account." This single phrase is enough. Claude loves to write this way; no humans do.
I also embrace it. Doesn't mean I chuck my slop at other people's faces.
Due diligence?
Re aside: Ok, but consider that maybe it is rude to ask people to read something you didn't write without warning. I'd add a disclaimer whenever I post about it, and on the very top of the readme. Better: have a readme…
Yeah, it's so funny seeing all these people discover Lean as if it invented mechanizing mathematics. Even Coq wasn't the first (might have been the first with dependent types though).
Putting aside the Claudisms. You only compare to tactic heavy languages, which is what you don't like about them. Try looking at Agda, Idris, Mikan,... They work with pattern matching not just for definitions but for…
No, this isn't what this is about. From the abstract: > In this process, an AI system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation is done, the argument…
They claim that each solution only needed 3 hours on the next generation public model, iiuc. So this theory doesn't really hold up.
A lean proof and a paper proof can diverge. But the statements have to correspond. I think that is what "mistranslated" means here.
How would these ideas be available to steal?
You emphasize TWO as of these kernels are so different.
Was your understanding of language also impaired?
How can you scrutinize something you don't understand?
Same!
This doesn't make any sense! Arguing for the sake of arguing. Why is Windows not open source then, where we can trust Microsoft based on the experience with previous Windows versions?
> going on pure trust The trust in open source software is founded on the process which involves people being able to understand the code given they have the right expertise. I don't see how this process works with open…
Having zero knowledge about these studies I have high credence they are baloney.
Your OS silently installs malware. Doesn't get much worse than this.
You used to do computer science for world of warcraft?! Sounds cool!
Well if you can't judge, doesn't it make your comment completely useless?
Slop about slop. Already tired of this new chapter of humanity...
| your brain on neocapitalism |
If you read a bit you learn that it's not a cell. Bad title imo.
Ah, ok. Thanks for the clarification.
That's physically impossible.
"; you need no account." This single phrase is enough. Claude loves to write this way; no humans do.
I also embrace it. Doesn't mean I chuck my slop at other people's faces.
Due diligence?
Re aside: Ok, but consider that maybe it is rude to ask people to read something you didn't write without warning. I'd add a disclaimer whenever I post about it, and on the very top of the readme. Better: have a readme…
Yeah, it's so funny seeing all these people discover Lean as if it invented mechanizing mathematics. Even Coq wasn't the first (might have been the first with dependent types though).
Putting aside the Claudisms. You only compare to tactic heavy languages, which is what you don't like about them. Try looking at Agda, Idris, Mikan,... They work with pattern matching not just for definitions but for…
No, this isn't what this is about. From the abstract: > In this process, an AI system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation is done, the argument…
They claim that each solution only needed 3 hours on the next generation public model, iiuc. So this theory doesn't really hold up.
A lean proof and a paper proof can diverge. But the statements have to correspond. I think that is what "mistranslated" means here.
How would these ideas be available to steal?
You emphasize TWO as of these kernels are so different.
Was your understanding of language also impaired?
How can you scrutinize something you don't understand?
Same!
This doesn't make any sense! Arguing for the sake of arguing. Why is Windows not open source then, where we can trust Microsoft based on the experience with previous Windows versions?
> going on pure trust The trust in open source software is founded on the process which involves people being able to understand the code given they have the right expertise. I don't see how this process works with open…
Having zero knowledge about these studies I have high credence they are baloney.
Your OS silently installs malware. Doesn't get much worse than this.
You used to do computer science for world of warcraft?! Sounds cool!
Well if you can't judge, doesn't it make your comment completely useless?
Slop about slop. Already tired of this new chapter of humanity...
| your brain on neocapitalism |
If you read a bit you learn that it's not a cell. Bad title imo.
Ah, ok. Thanks for the clarification.
That's physically impossible.