zlacker
[parent]
[thread]
1 comments
1. Tade0+(OP)
[view]
[source]
2025-04-30 09:13:09
That's still a huge indictment towards the languages/libraries they're using.
replies(1):
>>touist+R82
◧
2. touist+R82
[view]
[source]
2025-04-30 21:48:14
>>Tade0+(OP)
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]