Bridging the cultures between formal verification and AI.

My p(doom) is 50% cuz it either happens or it doesn't.

quinnd.net/date

ID: 1688999433940131840

linkhttps://gsai.substack.com calendar_today08-08-2023 19:44:07