En utvikler og forsker utforsker om kunstig intelligens vil ha nytte av nye typer programmeringsspråk, og konkluderer foreløpig med at det sannsynligvis ikke er tilfellet. Innlegget drøfter forholdet mellom lokal resonnering og globale systemegenskaper i kode.
Kilde: https://tratt.net/laurie/blog/2026/local_reasoning_for_global_properties.html