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

You're viewing

avva's journal
Create a Dreamwidth Account Learn More

Reload page in style: site light

avva

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

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

Flat | Top-Level Comments Only

From: (Anonymous)

Её даже объяснить другому человеку трудно, буквально единицы въезжают.

Flat | Top-Level Comments Only

Profile

avva

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

Most Popular Tags

америка - 38 uses
английский - 172 uses
видео - 55 uses
война - 279 uses
всячина - 42 uses
глупости - 83 uses
дети - 33 uses
жизнь - 297 uses
задачка - 124 uses
израиль - 246 uses
интернет - 114 uses
искусственный интеллект - 70 uses
история - 186 uses
картинки - 29 uses
книги - 244 uses
компьютерное - 29 uses
компьютеры - 56 uses
коронавирус - 67 uses
культура - 223 uses
литература - 144 uses
математика - 277 uses
медицина - 35 uses
музыка - 121 uses
наука - 191 uses
обучение - 40 uses
открытая запись - 90 uses
переводы - 64 uses
политика - 506 uses
поэзия - 23 uses
программирование - 190 uses
прочитал - 77 uses
психология - 22 uses
рацио - 36 uses
россия - 244 uses
русский язык - 115 uses
слова - 56 uses
ссср - 85 uses
стихи - 90 uses
сша - 136 uses
украина - 88 uses
фантастика - 54 uses
физика - 90 uses
философия - 25 uses
фильмы - 48 uses
фортепиано - 33 uses
цитаты - 31 uses
что-читаете - 28 uses
шахматы - 43 uses
юмор - 53 uses
языки - 132 uses

Page Summary

(Anonymous) - Вот концепция это да.

Style Credit

Style: Neutral Good for Practicality by timeasmymeasure

Expand Cut Tags

No cut tags

Page generated Jan. 5th, 2026 04:50 am

Powered by Dreamwidth Studios