Conversation

Notices

1. Embed this notice
   івась тарасик (tivasyk@mastodon.social)'s status on Friday, 22-Nov-2024 09:40:03 JST івась тарасик

   #quote | «What keeps the software alive are the programmers who have an accurate mental model (theory) of how it is built and works».

   https://www.baldurbjarnason.com/2022/theory-building/

   • Haelwenn /элвэн/ :triskell: likes this.
   • Embed this notice
     Rich Felker (dalias@hachyderm.io)'s status on Friday, 22-Nov-2024 15:17:48 JST Rich Felker

     in reply to

     • John Regehr
     • John Mitchell

     @johnm @regehr @tivasyk 🙄

   • Embed this notice
     John Regehr (regehr@mastodon.social)'s status on Friday, 22-Nov-2024 15:17:55 JST John Regehr

     in reply to

     • Rich Felker

     @tivasyk @dalias effect of AI coding assistance on building theories of programs TBD…

   • Embed this notice
     John Mitchell (johnm@federate.social)'s status on Friday, 22-Nov-2024 15:17:55 JST John Mitchell

     in reply to

     • Rich Felker
     • John Regehr

     @regehr @tivasyk @dalias As the effective utility of "AI" tools improves, the leverage of smaller teams will increase.

   • Embed this notice
     Haelwenn /элвэн/ :triskell: (lanodan@queer.hacktivis.me)'s status on Friday, 22-Nov-2024 18:24:21 JST Haelwenn /элвэн/ :triskell:

     in reply to

     @tivasyk One old quote I also like in this context is this one:

     Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it. — Brian W. Kernighan and P. J. Plauger in The Elements of Programming Style.

     Because if AI just wrote a whole bunch of code for you… are you sure you're going to be able not just to somewhat understand it, but also debug it and so *maintain* that code?