Comment on We did this to ourselves

PotatoesFall@discuss.tchncs.de ⁨11⁩ ⁨months⁩ ago

• steersman2484@sh.itjust.works ⁨11⁩ ⁨months⁩ ago

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

  source

  • ezchili@iusearchlinux.fyi ⁨11⁩ ⁨months⁩ ago

    What

    source

    • db2@sopuli.xyz ⁨11⁩ ⁨months⁩ ago

      Magnets.

      source

      • deegeese@sopuli.xyz ⁨11⁩ ⁨months⁩ ago

        It’s a miracle!

        source
      • RoyaltyInTraining@lemmy.world ⁨11⁩ ⁨months⁩ ago

        How do they work?

        source