top | item 43842786 (no title) ken47 | 10 months ago Written by software != written by AI. But CNBC has to pump. discuss order hn newest Tade0|10 months ago That's still a huge indictment towards the languages/libraries they're using. touisteur|10 months ago 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...
Tade0|10 months ago That's still a huge indictment towards the languages/libraries they're using. touisteur|10 months ago 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...
touisteur|10 months ago 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...
Tade0|10 months ago
touisteur|10 months ago