Go's race detector has a mutex blind spot

Re:Go's race detector has a mutex blind spot by jimbo808 on Thursday July 31, 2025 @11:27AM (#44746650)

My guess is that next the language gen will be languages that AI generates, which are optimized to be readable to humans and writable by AI. Maybe even two layers, one layer that is optimized for human skimming, and another layer that actually compiles, which is optimized for AI to generate and for the computer to compile.

[ Parent | on HN ]

Re:Go's race detector has a mutex blind spot by CodeBrad on Thursday July 31, 2025 @11:35AM (#44746738)

> which are optimized to be readable to humans and writable by AI

How might a language optimized for AI look different than a language optimized for humans?

[ Parent | on HN ]

Re:Go's race detector has a mutex blind spot by mbonnet on Thursday July 31, 2025 @01:18PM (#44747821)

especially when LLMs "speak" human language.

[ Parent | on HN ]

Re:Go's race detector has a mutex blind spot by Lvl999Noob on Thursday July 31, 2025 @12:19PM (#44747169)

For the current category of LLM based AI, "AI optimised" means "old and popular". Even if you add a layer that has much more details but may be a lot more verbose or whatever, that layer would not be "AI optimised".

[ Parent | on HN ]