[personal profile] codedot
Большие новости!

Я доделал needed reduction на веревочках, почистил лямбду от уродской waiting construct, сделал closed reduction дефолтным алгоритмом и обновил браузерную демку. Там теперь есть бесконечная прокрутка для дебага. Зацените рюшечки:

https://codedot.github.io/lambda/

Приятно иметь калькулятор в браузере, который одновременно печатает полную βη-нормальную форму для любого бестипового λK-терма и при этом считает 10 2 2 1 в цифрах Черча за долю секунды на моем Хромбуке.

Напомню, что 21024 примерно в (1017)4 раз больше, чем гиперобъем пространства-времени всей наблюдаемой вселенной с момента большого взрыва в планковских единицах измерения, в наши дни имеющий порядок (1060)4 планковских единиц.

Вот.
From: [personal profile] andy_ivanov
Это высказывание неверно. Планковкие единицы не расширялись же?
From: [personal profile] andy_ivanov
"примерно в 10^^17" Так в какой момент от ввзрыва?
From: [personal profile] andy_ivanov
А можно спросить?
Вас не удивляет, что в этом кубике не видно разума кроме нас
From: [personal profile] andy_ivanov
Вы хотите сказать, те кто раньше нас стал разумным, спрятались и молчат. Боятся соседей, что ли? Думаю, отставших не боятся.

То есть

Date: 19 March 2017 18:00 (UTC)
From: [personal profile] andy_ivanov
на скорости света всё заканчивается. А путешествия по времени тоже не возможны.

Про ИИ

Date: 19 March 2017 20:02 (UTC)
From: [personal profile] andy_ivanov
Вы верите в сингулярность ИИ?

Date: 12 April 2017 15:01 (UTC)
From: [personal profile] 66george
То есть, эта-редукция получилась?
Я разобрался в лямбдаскопе и прочитал книгу Асперти, могу оценить.

Most Popular Tags

March 2017

S M T W T F S
   1234
5 6789 1011
12131415161718
1920 2122232425
262728293031 
Powered by Dreamwidth Studios