Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
dilbert 1 (sun@shitposter.world)'s status on Thursday, 23-Jan-2025 06:08:42 JST dilbert 1
@newt @jmw150 I really don't believe systems programming in C/C++ is going to withstand this. Even formal verification is going to get inroads. I have used it for constructing formal grammar. You just have to check everything but it saves time.