Типизированное лямбда-исчисление и соответствие Карри-Ховарда
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.
Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить
Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:
Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.
Планов делать курсы платными нет.
Выкладка от 16 сентября 2026, срез 95043e5
Что изменилось на портале с вашего прошлого захода. Полный список выкладок — в разделе «Что изменилось» на странице «О нас».
Статьи, гайды, разборы и курсы Digitable.
Что происходит, когда к лямбда-исчислению приделывают типы: часть программ перестаёт компилироваться, зато оставшиеся гарантированно завершаются — и внезапно оказывается, …
Что происходит с работой инженера, когда он становится руководителем: какой контур обратной связи ломается, какие полномочия у тимлида есть и каких нет, насколько …
Почему инженерный документ существует только ради решения, которое он должен изменить, и читателя, который это решение примет; какие жанры бывают, почему документация …
Как руководителю превратить разговоры про «плохой код» в решения: чем долг отличается от вкусовщины, как его измерять без самообмана, как считать окупаемость, где взять …
Как руководителю решать, куда уходит инженерное время команды: замерить фактическое распределение, сформулировать диагноз с числом, превратить стратегию в набор …
Как превратить набор тестов в работающий конвейер: где ставить quality gates, как параллелить прогон и держать обратную связь в минутах, что делать с флаки-тестами и …
Как устроен прогон pytest, зачем фикстуры вместо setUp, чем autospec отличается от MagicMock, как Hypothesis находит краевые случаи сам и почему 100 % покрытия ничего не …
Как устроен JUnit Platform, где проходит граница юнит-теста, когда мок вреден, как поднять настоящий PostgreSQL в Docker из теста и почему интеграционные тесты в Java …
Как собрать набор тестов фронтенда, который ловит настоящие регрессии: Vitest и Testing Library, перехват сети через MSW, browser mode, E2E на Playwright, …
Как проверять систему, у которой нет одного правильного ответа: детерминированная симуляция с одним seed, проверка историй на линеаризуемость и изоляцию, устройство …
Как проверять код, у которого нет ни стенда разработки, ни воспроизводимого окружения: шов между логикой и железом, юнит-тесты прошивки обычным gcc с санитайзерами, …
Почему на мобильном пирамида тестов деформируется, как тестировать смерть процесса, отозванные разрешения и сеть с провалами, чем снапшот-тесты выгоднее прогонов на …
По этому запросу ничего не найдено.