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