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

June 2025

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
29	30

Most Popular Tags

америка - 35 uses
английский - 168 uses
видео - 54 uses
война - 261 uses
всячина - 42 uses
глупости - 77 uses
дети - 31 uses
жизнь - 285 uses
задачка - 120 uses
израиль - 212 uses
интернет - 107 uses
искусственный интеллект - 55 uses
история - 173 uses
картинки - 28 uses
книги - 238 uses
компьютерное - 28 uses
компьютеры - 53 uses
коронавирус - 67 uses
культура - 201 uses
литература - 136 uses
математика - 260 uses
медицина - 35 uses
музыка - 115 uses
наука - 184 uses
обучение - 34 uses
открытая запись - 89 uses
переводы - 59 uses
политика - 486 uses
поэзия - 23 uses
программирование - 184 uses
прочитал - 75 uses
психология - 22 uses
рацио - 31 uses
россия - 235 uses
русский язык - 106 uses
слова - 54 uses
ссср - 78 uses
стихи - 85 uses
сша - 126 uses
украина - 88 uses
фантастика - 49 uses
физика - 85 uses
фильмы - 43 uses
фортепиано - 33 uses
хочу все знать - 21 uses
цитаты - 29 uses
что-читаете - 28 uses
шахматы - 39 uses
юмор - 51 uses
языки - 132 uses

Page Summary

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

Style Credit

Style: Neutral Good for Practicality by timeasmymeasure

Expand Cut Tags

No cut tags

Page generated Jun. 15th, 2025 09:16 am

Powered by Dreamwidth Studios

	
		OSZAR »