• 0 Posts
  • 81 Comments
Joined 1 year ago
cake
Cake day: October 9th, 2024

help-circle








  • Against my better judgement I got into an argument with a promptfan on Bluesky. To his credit, aside from the usual boring arguments (ā€œmodels are getting better, and betterā€, ā€œhave you tried model xyzā€, ā€œeveryone not using chatbots will be left in the dustā€ he provided an actual example.

    https://github.com/dfed/SafeDI/issues/183 It’s a bug that’s supposedly easy to test, but hard to reason about. Took the chatbot half an hour while it would take him several (allegedly).

    Now, my first thought was: ā€œIf a clanker could do it (something that famously can’t reason) then it couldn’t be that hard to reason about.ā€

    But I was curious so I looked. Unfortunately it is an area I’m not familiar with and in a language (Swift) I don’t know at all.

    Probably should file the claim under ā€œnot true or falseā€ and touch grass or something, but it’s bugging me.

    Any one y’all who could say if there’s something interesting in there?