RU

Три мажора, две ошибки: проектирование API приостановки для интерпретатора машины Тьюринга

Когда «снисходительность к входным данным» становится ловушкой? Когда имя хука начинает диктовать потребителю модель мышления? Когда подстановка …

машина тьюрингаnpm-пакетbreaking changesopen sourceпроектирование интерфейсовгенераторыинтерпретаторыsemverхукиразбор полетов
Habr
RU

Ключ к вычислимости ℵ₋₁

Сколько нужно бит, чтобы представить одно число из континуума ℵ₁ чисел? Ответ: ℵ₀ бит. Сколько нужно бит, чтобы представить одно число из счётного мно…

кардинальные числамашина тьюрингамашина поставычислимостьпроблема остановки
Habr