zlacker
[parent]
[thread]
2 comments
1. ken47+(OP)
[view]
[source]
2025-04-30 09:05:29
Written by software != written by AI. But CNBC has to pump.
replies(1):
>>Tade0+L
◧
2. Tade0+L
[view]
[source]
2025-04-30 09:13:09
>>ken47+(OP)
That's still a huge indictment towards the languages/libraries they're using.
replies(1):
>>touist+C92
◧◩
3. touist+C92
[view]
[source]
[discussion]
2025-04-30 21:48:14
>>Tade0+L
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]