• Soyweiser@awful.systems
    link
    fedilink
    English
    arrow-up
    11
    ·
    2 days ago

    There is a computer scientists who reads that posts and looks back at his 40 year long career in writing formal logic systems and he is now crying.