Posts by codonell@fosstodon.org
 (DIR) Post #B4QbKc5Nobnrvn5eSG by codonell@fosstodon.org
       0 likes, 1 repeats
       
       @civodul https://cekrem.github.io/posts/programming-as-theory-building-part-ii/ "The trust that makes someone ask for help instead of hiding their confusion. The solidarity that makes a team want to build something good together, not just ship features. The friction of working with people who think differently than you—which is uncomfortable but essential for growth."
       
 (DIR) Post #B8Mh3S5OzF4brpJVcO by codonell@fosstodon.org
       0 likes, 0 repeats
       
       @ariadne What do you think about things like oss-fuzz-gen which effectively task the LLM with exploring the solution space and locking in incremental progress with commits that regardless of their validity increase deterministic coverage numbers?
       
 (DIR) Post #B8MjWJSoK7rjQo9WLI by codonell@fosstodon.org
       0 likes, 0 repeats
       
       @ariadne I'm thinking specifically of things like libm where I know I have untested cut points or conditionals and would like to find them and add coverage at lower human cost. My question is more along the lines of "Can LLMs search for things that would be expensive for me to do?" In the context of threading I want something to explore the total global ordering of operations.