Хабр
β
Открыть список
Как стать автором
Моя лента
Все потоки
Разработка
Администрирование
Дизайн
Менеджмент
Маркетинг
Научпоп
Поиск
Написать публикацию
Настройки
Войти
Обновить
4
0
Филипп
@Filipp42
Лисп-программист
Подписаться
Отправить сообщение
Профиль
Публикации
Комментарии
55
Закладки
110
Ещё
Открыть список
Подписчики
1
Подписки
1
Имя
Рейтинг
Карма
Михаил Потанин
@potan
Функциональный программист
How to Catch a Cat with TLA+
14 августа 2019 в 15:16
0
57
Информация
В рейтинге
Не участвует
Зарегистрирован
19 апреля 2019
Активность
вчера в 14:37