avva | Oct. 27th, 2015

You're viewing

avva's journal
Create a Dreamwidth Account Learn More

Reload page in style: light

Oct. 27th, 2015

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

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

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

Profile

avva

February 2026

S	M	T	W	T	F	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28

Most Popular Tags

америка - 39 uses
английский - 173 uses
видео - 55 uses
война - 280 uses
всячина - 42 uses
глупости - 85 uses
дети - 33 uses
жизнь - 300 uses
задачка - 125 uses
израиль - 250 uses
интернет - 118 uses
искусственный интеллект - 76 uses
история - 189 uses
картинки - 30 uses
книги - 247 uses
компьютерное - 29 uses
компьютеры - 56 uses
коронавирус - 67 uses
культура - 226 uses
литература - 144 uses
математика - 280 uses
медицина - 36 uses
музыка - 123 uses
наука - 195 uses
обучение - 41 uses
открытая запись - 90 uses
переводы - 67 uses
политика - 515 uses
поэзия - 23 uses
программирование - 193 uses
прочитал - 78 uses
рацио - 36 uses
россия - 246 uses
русский язык - 116 uses
слова - 56 uses
ссср - 88 uses
стихи - 95 uses
сша - 143 uses
украина - 89 uses
фантастика - 54 uses
физика - 91 uses
философия - 25 uses
фильмы - 49 uses
фортепиано - 33 uses
хочу все знать - 22 uses
цитаты - 31 uses
что-читаете - 28 uses
шахматы - 43 uses
юмор - 54 uses
языки - 132 uses

Page Summary

ньет, молотофф
о верификации

Style Credit

Style: Neutral Good for Practicality by timeasmymeasure

Expand Cut Tags

No cut tags

Page generated Feb. 24th, 2026 11:15 am

Powered by Dreamwidth Studios