October 27th, 2015

moose, transparent

ньет, молотофф

Я удержусь и не напишу запись на тему 20-летия убийства Рабина.
Я удержусь и не напишу запись на тему 20-летия убийства Рабина.
Я удержусь и не напишу запись на тему 20-летия убийства Рабина.
moose, transparent

о верификации

Сегодня вечером (во ВТОРНИК, 19:00) в Тель-Авиве будет очередная встреча (Facebook event) участников форума LessWrong.

Сегодня Йоав Холландер прочитает лекцию о верификации аппаратного обеспечения (hardware verification) и о том, имеют ли современные парадигмы верификации применение в гипотетической будущей верификации программ искусственного интеллекта.