zlacker
[return to "Satya Nadella says as much as 30% of Microsoft code is written by software"]
◧
1. ken47+Oe
[view]
[source]
2025-04-30 09:05:29
>>shinry+(OP)
Written by software != written by AI. But CNBC has to pump.
◧◩
2. Tade0+zf
[view]
[source]
2025-04-30 09:13:09
>>ken47+Oe
That's still a huge indictment towards the languages/libraries they're using.
◧◩◪
3. touist+qo2
[view]
[source]
2025-04-30 21:48:14
>>Tade0+zf
So much code everywhere is parsers and plumbing. Have it all generated, model-checked, proved, inspectable, debuggable... Pieter Hintjens said it better than I could
https://github.com/imatix/gsl?tab=readme-ov-file#model-orien...
[go to top]