Все записи автора arseniiv

Ограниченный оператор amb на Ceylon

Не то чтобы это было что-то новое или сложное — сложен как раз неограниченный amb, он требует от языка возможности работы с продолжениями (continuations). Но вот. (По ссылке — код, который можно запустить в браузере.)

Кто такой этот amb, можете почитать тут и тут.

42 или немного меньше умолчаний

— Компьютер, который грядёт после меня, — торжественно объявил Пронзительный Интеллектомат. — Его параметры я не достоин даже вычислять. И все же я создам его для вас.

О чём он не упомянул, так это о том, что следующий компьютер тоже не сможет сформулировать Вопрос, а только спроектировать следующий компьютер, который также не сможет сформулировать Вопрос… и только через примерно \(10^{10^{10}}\) итераций, наконец, сможет появиться такой, который будет способен.

«Это вполне стандартное натуральное число, — подумал Интеллектомат, оценив его сверху, — и что ж, если вещества наблюдаемой Вселенной не хватит на полпути. К тому же, какой-нибудь мой \(10^{10^4}\)-й потомок вполне мог бы отыскать и обходной путь…»

Три фазы бренного существования механизмов по Аристотелю:

а) работает правильно;
б) работает неправильно;
в) не работает.

Nota bene! Сайт переезжает на домен в зоне .name; туда сейчас перенаправляются обращения к .info. Скоро старый домен разрегистрируется и может после этого посылать куда угодно; вы предупреждены. Sm_rolleyes.svg

P. S. Уже переехал. Раньше эта запись была прилепленой.