• 4 Posts
  • 184 Comments
Joined 1 year ago
cake
Cake day: June 8th, 2024

help-circle

  • What I said is that smart people can be convinced to move to another platform. Most of my friends are not technically inclined, but it was easy to make them use it, at least to chat with me.

    What you did is change “smart people” with “people who already want to move”, which is not the same. You then said it’s not something you can choose (as you cannot choose to be rich). But I answered that you can actually choose your friends.

    Never did I say people who are not interested in niche technologies are not smart. My statement can be rephrased in an equivalent statement “people who cannot be convinced to change are not smart”, and I stand to it.











  • VintageGenious@sh.itjust.workstoTechnology@lemmy.world*Permanently Deleted*
    link
    fedilink
    English
    arrow-up
    2
    arrow-down
    1
    ·
    2 months ago

    Very interesting. Fixing one of the most common flaws of LLMs. If you can force them to follow proper structure they can generate better batch of test data samples, correct mathematical proofs in Lean, proper conlang words and sentences, proper json output for latter use by another tools, and obviously correct code generation in a specific version of a programming language.