News for hackers. Stuff that matters.
Re:Discovering faster matrix multiplication algorithms with ... by eigenschwarz on Wednesday October 05, 2022 @11:40AM (#33096985)
https://www.merriam-webster.com/dictionary/provably

Edit: Sorry, missed your point on first reading, which perhaps reinforces your point. I read papers like this for a living so the language is unambiguous but I see how it might not be for others, even if English is their first language.

There are no comments on this comment yet.