gignico
Joined 1 year ago
Karma
238
Submissions
59
Member since
Mar 16
Joined 1 year ago
This was an open problem in automata theory I worked on for more than one year before giving up. I'm very curious about their claimed proof.
At least those things cannot be solved by just burning GPT tokens.
I'm critical about some choices made with C++20 and after, like the mess that modules are, and the too-little-too-late ranges library. C++26 is also a joke imho. But on the other hand, working with std::optional and (in C++23) std::expected is so much better than without. The thing is nobody forces you to use every single feature of a new standard, but I would not recommend ignoring very good tools just for the sake of it.