Comment on We did this to ourselves

if (theorems_for(free))
    make_instance_of(x, String)

• ezchili@iusearchlinux.fyi ⁨1⁩ ⁨year⁩ ago

  What

  source

  • db2@sopuli.xyz ⁨1⁩ ⁨year⁩ ago

    Magnets.

    source

    • deegeese@sopuli.xyz ⁨1⁩ ⁨year⁩ ago

      It’s a miracle!

      source
    • RoyaltyInTraining@lemmy.world ⁨1⁩ ⁨year⁩ ago

      How do they work?

      source