Вклад участника
Материал из DISCOPAL
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 16:53, 28 октября 2020 (разн. | история) . . (+144) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка recoilme/pudge: Fast and simple key/value store written using Go's standard library)
- 15:39, 28 октября 2020 (разн. | история) . . (+225) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Использование ClickHouse в VK, или Зачем мы написали KittenHouse / Блог компании ВКонтакте / Хабр)
- 14:46, 25 октября 2020 (разн. | история) . . (-151) . . Курс «Эффективные алгоритмы» для МФТИ
- 14:05, 25 октября 2020 (разн. | история) . . (-152) . . Permission denied (→Жадные алгоритмы)
- 14:04, 25 октября 2020 (разн. | история) . . (+77) . . Permission denied (→Жадные алгоритмы)
- 13:56, 25 октября 2020 (разн. | история) . . (+182) . . Как зарегистрироваться на курс
- 13:46, 25 октября 2020 (разн. | история) . . (+76) . . Permission denied (→Жадные алгоритмы)
- 13:37, 25 октября 2020 (разн. | история) . . (-36) . . Permission denied
- 13:37, 25 октября 2020 (разн. | история) . . (-42) . . Курс «Эффективные алгоритмы» для МФТИ (→Темы)
- 13:36, 25 октября 2020 (разн. | история) . . (+1188) . . Курс «Эффективные алгоритмы» для МФТИ
- 13:31, 25 октября 2020 (разн. | история) . . (+11) . . Permission denied
- 13:28, 25 октября 2020 (разн. | история) . . (+68) . . Шаблон:Vimeoembed (текущая)
- 13:00, 25 октября 2020 (разн. | история) . . (+105) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Testbuilds – Oracle VM VirtualBox)
- 20:01, 24 октября 2020 (разн. | история) . . (+1268) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка python - How to progammatically pass the callable to gunicorn instead of arguments - Stack Overflow)
- 05:34, 23 октября 2020 (разн. | история) . . (0) . . Курс «Эффективные алгоритмы» для МФТИ
- 05:34, 23 октября 2020 (разн. | история) . . (-14) . . Курс «Эффективные алгоритмы» для МФТИ
- 19:32, 21 октября 2020 (разн. | история) . . (+232) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка virtualbox.org • View topic - VirtualBox 6.0 and Hyper-V)
- 19:21, 21 октября 2020 (разн. | история) . . (+136) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка WSL2 breaks VirtualBox 6.1 · Issue #798 · MicrosoftDocs/WSL)
- 19:10, 21 октября 2020 (разн. | история) . . (+141) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка virtualbox.org • View topic - VirtualBox 6.0 and Hyper-V)
- 15:33, 20 октября 2020 (разн. | история) . . (+167) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Анализ производительности WSGI-серверов: Часть вторая / Хабр)
- 09:00, 16 октября 2020 (разн. | история) . . (+185) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка How to Make a Photo Editor with React | by John Au-Yeung | DataSeries | Medium)
- 17:47, 13 октября 2020 (разн. | история) . . (+130) . . Участник:StasFomin/Bookmarks/Stegano (Добавлена закладка Coq - The Coq proof assistant user and developer forum.)
- 17:17, 13 октября 2020 (разн. | история) . . (+30) . . Coq
- 17:14, 13 октября 2020 (разн. | история) . . (+43) . . Coq
- 11:35, 13 октября 2020 (разн. | история) . . (-167) . . Coq
- 11:35, 13 октября 2020 (разн. | история) . . (+1177) . . Coq
- 11:33, 13 октября 2020 (разн. | история) . . (+15) . . Coq
- 11:33, 13 октября 2020 (разн. | история) . . (+177) . . Н Coq (Новая страница: «<slideshow/> === Ссылки === * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию пр…»)
- 11:31, 13 октября 2020 (разн. | история) . . (+405) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.)
- 11:10, 13 октября 2020 (разн. | история) . . (+86) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка The Science of Deep Specification)
- 11:06, 13 октября 2020 (разн. | история) . . (+237) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка engineering-sw-hw-model-checking-letures/Lecture1.pdf at master · vasil-sd/engineering-sw-hw-model-checking-letures)
- 11:00, 13 октября 2020 (разн. | история) . . (+173) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка «Введение в верификацию программ» - YouTube)
- 10:54, 13 октября 2020 (разн. | история) . . (+85) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка jsCoq – Use Coq in Your Browser)
- 23:45, 12 октября 2020 (разн. | история) . . (+262) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность, осень 2016)
- 23:40, 12 октября 2020 (разн. | история) . . (+192) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Введение в язык формальной верификации Coq, осень 2019)
- 23:35, 12 октября 2020 (разн. | история) . . (+172) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Алгоритмы: дополнительные главы, осень 2020)
- 23:33, 12 октября 2020 (разн. | история) . . (+141) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Fine-grained complexity, осень 2020)
- 23:33, 12 октября 2020 (разн. | история) . . (+235) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Эффективные алгоритмы и коммуникационная сложность, весна 2019)
- 23:32, 12 октября 2020 (разн. | история) . . (+169) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Вероятностные алгоритмы, весна 2020)
- 23:08, 12 октября 2020 (разн. | история) . . (+221) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Проблема останова лжеца Гёделя и брадобрея Кантора / Хабр)
- 22:01, 12 октября 2020 (разн. | история) . . (+306) . . Permission denied
- 21:59, 12 октября 2020 (разн. | история) . . (+10 737) . . Permission denied
- 20:58, 12 октября 2020 (разн. | история) . . (+547) . . Permission denied (→Теория вероятности)
- 20:54, 12 октября 2020 (разн. | история) . . (+64) . . Permission denied
- 20:51, 12 октября 2020 (разн. | история) . . (+1032) . . Permission denied (→Жадные алгоритмы)
- 20:40, 12 октября 2020 (разн. | история) . . (-1129) . . Permission denied
- 20:30, 12 октября 2020 (разн. | история) . . (+6649) . . Н Permission denied (Новая страница: «* /Видеопояснение Квест, обеспечивает полную свободу и при этом независимость — кажды…»)
- 20:20, 12 октября 2020 (разн. | история) . . (+192) . . Н Шаблон:Spojcode (Новая страница: «---- {{#if:{{{3|}}}|<html><div style="background-color:lightgreen"></html>}} «[https://www.spoj.com/problems/{{{1}}} {{{2}}}]» {{#if:{{{3|}}}|Проверен…»)
- 21:49, 11 октября 2020 (разн. | история) . . (+408) . . Участник:StasFomin/Bookmarks/Algorithms (Добавлена закладка Исследователи смогли преодолеть барьер в улучшении решения задачи коммивояжера / Хабр)
- 17:21, 11 октября 2020 (разн. | история) . . (0) . . м Permission denied (StasFomin переименовал страницу [[Параллельный алгоритм Люби для максимального по включению независимого множества/Задачи/Корректность алг…) (текущая)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)