@gds

Тег cs в блоге gds

gds

У меня спрашивают, где бы найти кошерных видеолекций по функциональщине, алгоритмам, и по computer science в целом, а я не знаю (потому что не понимаю, как можно всё это смотреть и слушать, не мой формат). Подскажете человеку?

#vrtpk 3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226

#ovrlnv
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

"ЗаяцШЩ, M, T, стрелка и отбивная монада с горошком" [nivanych]

#ovrsju 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Накидайте пазязя вводного материала и обзоров методов/алгоритмов в области новомодного (уже несколько лет) machine learning. Интересна сама Суть. Текст ок, видеоматериалы не ок, слайды норм. (статью в википедии прочитал, её не надо накидывать.)

#ovqjro 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

"Coordination Avoidance in Database Systems" [ http://wizzard0.livejournal.com/470021.html ]
Если чо, сам пока не читал. Как почитаю -- отпишу впечатления в каменты к этому посту.

#ovrvzn
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Может кто помнит мой вопрос про многопоточную симуляцию в каком-то посте не отсюда. Вот, сделал её достаточно быстро, проверил ей нужное, но оно как бы мешало жить дальше, пока валялось у меня локально. Выбрал время, дописал ридмишку корявым наглийским, задокументировал интерфейс, зарелизил. https://bitbucket.org/gds/mtsim . Вообще, говно там, я предупреждал. Но мне оказалось полезным -- разное отладочное добавлял туда быстро и легко, например. Ну, собственно, и проверил свой алгоритм, который буду лепить на сишечьке, располагая семафоры в шаред мемори (вспомню -- вздрогну). Но сишное буду делать потом. Как хорошее рабство найду, как минимум.

#cwoh
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds


ппц унижение

#viz 1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Думаю сделать "симулятор многопоточного выполнения". Суть токова: есть пара алгоритмов с мутабельностью и синхронизацией по семафорам. Я хочу доказать полным перебором вариантов, что при любом раскладе переключений тредов результат выполнения алгоритмов будет ожидаемым (в том числе с проверкой инвариантов "если алгоритм A выполняет блок инструкций X, одновременно с ним алгоритм B не может выполнять блок инструкций Y"). (либо найти контрпример, где будет ошибка.)
Алгоритмы, наверное, будут в виде списка инструкций, напоминающих какой-то C-- или ещё что такое же примитивное.
Принимаю идеи, как именно обеспечить полный перебор вариантов выполнения, ну и вообще, в целом, идеи.
Сходу -- поставить instruction pointer в начало каждого алгоритма, перебрать различные варианты "стартует тред номер n", для каждой инструкции иметь признак "после неё будет переключение на тред номер n", и для семафоров иметь признаки "если семафор ждут, то переключено будет на тред n" и "если семафор отпустили, то его захватит тред n" (невалидные расклады типа "но ведь тред n не ждёт семафора!" игнорировать). Учитывая, что алгоритмы у меня в сумме не больше 20..25 инструкций, для двух одновременно выполняющихся тредов получится порядка 2³⁰ различных вариантов выполнения, а то и меньше. Перебрать вполне реально.

#onow 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.