Post #4390742
2026-08-05 06:07 UTC
@darkuncle@infosec.exchange
Mmm... I get it. I'm not sure I agree. Mathematics proofs are in (mostly) english, or russian, or some other natural language. Legal docs are the same. You can absolutely be precise in English. We just normally don't bother because we know the entity we are speaking to can handle ambiguity.
The AI can handle ambiguity. I can say "go look at the cloudwatch logs" and it knows I mean aws, and the current context - and if it doesn't it will ask.
Besides - ambiguity happens in code as well. Is "1" a number? Floating point? An ascii character? In perl, it depended on context, and could change depending on usage! If I say "one time" is it really better for that to generate an error rather than DWIM?
A preference to use a language you are fluent in is a preference; it doesn't make other's preferences invalid or wrong, and they aren't saying that.
My point is simply that it's nice to have other options. I like not having to be pedantic and let the AI make intelligent guesses, especially since they are often correct.
Replies (1)
-
@darkuncle@infosec.exchange 2026-08-06 05:08
@tbortels@infosec.exchange proofs are not written in English. They are *described* in English (or whatever spoken language the author prefers); they are *written* in the language of set theory (see https://youtu.be/X3l0fPHZja8?t=564 ). Mathematical notation is extremely precise and has a strictly defined order of operation (unlike English, which is both ambiguous and contextual)