Conversation

Notices

1. Embed this notice
   dilbert 1 (sun@shitposter.world)'s status on Thursday, 23-Jan-2025 06:08:42 JST dilbert 1

   • :suya:
   • Cyborg Anthropologist
   @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.
   • Embed this notice
     dilbert 1 (sun@shitposter.world)'s status on Thursday, 23-Jan-2025 06:09:54 JST dilbert 1

     in reply to

     • :suya:
     • Cyborg Anthropologist
     @newt @jmw150 basically if you think the future isn't going to eat what you do, I will still bet against that every time.
   • Embed this notice
     Cyborg Anthropologist (jmw150@poa.st)'s status on Thursday, 23-Jan-2025 06:16:29 JST Cyborg Anthropologist

     in reply to

     • :suya:
     @sun @newt Yeah common stuff like C/C++ algorithms and the field of mathematical analysis for engineering have a lot of data of people doing them. Particular stuff like niche architectures and closed information projects suck at automation so far though.
   • Embed this notice
     dilbert 1 (sun@shitposter.world)'s status on Thursday, 23-Jan-2025 06:16:29 JST dilbert 1

     in reply to

     • :suya:
     • Cyborg Anthropologist
     @jmw150 @newt not exactly disagreeing with you but I have found it easier to get into exotic language stuff through the LLM because it can synthesize code examples for tasks that actually interest me. it struggles but it's better than reading dry documentation