Comment on We did this to ourselves

PotatoesFall@discuss.tchncs.de ⁨1⁩ ⁨year⁩ ago

• steersman2484@sh.itjust.works ⁨1⁩ ⁨year⁩ ago

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

  source

  • 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