Henry B
@henbarts.bsky.social
ms in cs @ neu, interested in PL/Verification/Cryptography intersection
Reposted by Henry B
HONK IFF "THE TURING MACHINE THAT LOOPS INFINITELY IFF YOU'D HONK AFTER READING THIS BUMPER STICKER" WOULD HALT
March 16, 2025 at 9:50 PM
HONK IFF "THE TURING MACHINE THAT LOOPS INFINITELY IFF YOU'D HONK AFTER READING THIS BUMPER STICKER" WOULD HALT