Скачать
It's clearly decidable whether your program halts or not.
Автор: simrob
Загружено: 2021-04-01
Просмотров: 35426
Описание:
BLINKING LIGHTS WARNING! This talk was first presented at SIGBOVIK 2021.
Full title: "Look, it's clearly decidable whether any program (on your computer) halts or not."
Project leaderboard: https://sisyphean.glitch.me/
Project writeup: https://sisyphean.glitch.me/paper.pdf
Ben Eater's website: https://eater.net
Ben Eatter's sub: / beneater
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
