News for hackers. Stuff that matters.
Re:Discovering faster matrix multiplication algorithms with ... by loufe on Wednesday October 05, 2022 @11:37AM (#33096951)
This is completely besides the matter, but reading "provably" in the abstract is a frank reminder of how terrible English spelling/pronounciation is. I can't imagine I'm the only well-read native English speaker who read this as "prov-ably" on first take. I don't know about most languages, but you just don't get nonsense like this in French, at least.
Re:Discovering faster matrix multiplication algorithms with ... by evmar on Wednesday October 05, 2022 @12:05PM (#33097310)
English is terrible for sure, but this comment is pretty funny to compare it to the language that spells /kɛs kə sɛ/ as "qu'est-ce que c'est".
Re:Discovering faster matrix multiplication algorithms with ... by julienchastang on Wednesday October 05, 2022 @09:05PM (#33103136)
Or quatre-vingt-dix-huit -> four-twenty-eighteen, for the number 98.
Re:Discovering faster matrix multiplication algorithms with ... by elcomet on Wednesday October 05, 2022 @12:56PM (#33098094)
I don't understand your point, provably means which can be proven, is there another meaning I'm missing ?
Re:Discovering faster matrix multiplication algorithms with ... by 613style on Wednesday October 05, 2022 @03:30PM (#33100228)
Think "probably" vs "provably" (it's about pronunciation/spelling)
Re:Discovering faster matrix multiplication algorithms with ... by ogogmad on Wednesday October 05, 2022 @01:18PM (#33098402)
He's talking about the spelling not matching the pronunciation
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.

Re:Discovering faster matrix multiplication algorithms with ... by pwdisswordfish9 on Wednesday October 05, 2022 @11:43AM (#33097018)
I agree. This is completely besides the matter.