Очередное разочарование и избавление от иллюзий (и это очень хорошо): оказывается, когда нам говорят "ну вот же, вот, посмотрите -- математики это доказали, вот статьи в авторитетных журналах" - в 99,98% случаев это никакие не доказательства - в смысле конструктивных подходов - потому что для этого требуется отдельно доказать, что придуманное кем-то там доказательство верное. Сейчас такое доказательство доказательства единственное: мнение экспертного сообщества, и тут политики всё больше и больше.

Причём сами математики не шибко-то стремятся использовать современные теорем-пруверы - потому что если таким образом формально попроверять их работы, то весьма вероятно oкажется, что многие из них отнюдь не настолько "доказаны", как считалось. А за такие работы платят весьма прилично.

Хороший пример -- разрекламированная по всему миру шумиха вокруг якобы решённой проблемы BB(5) про Усердных Бобров -- дескать, математики не только это доказали, но и формально верифицировали сам процесс доказательства!

Сайт проекта bbchallenge , их спонсоры prgm.dev , код бобров на github.

Да, но...

"Природа, вероятно, встроила в машины с пятью состояниями одну или несколько проблем, столь же иллюзорных, как гипотеза Гольдбаха. Или, другими словами, скорее всего, будут существовать безостановочные рекурсивные паттерны, которые мы не в состоянии распознать."
Аллен Брэди, BB(4)

Так вот оказывается, что если копнуть чуть-чуть поглубже, то выясняется что это всё — огромный фейк ☠️

Сперва надо было классифицировать все 63,403,380,965,376 возможных 5-состояний машин Тьюринга. Затем надо было сам алгоритм моделирования машины Тьюринга запустить, соответственно, 63+ триллиона раз, применить эвристики быстрой классификации, и отобрать кандидаты с максимальными значениями.

Так вот сермяга в том, что 99.9% бобров классифицируются быстрыми эвристиками, а отнюдь не формально верифицированными доказательствами.

В чём же тогда заключается "доказательство" BB(5)?

"Решение" BB(5) = 47,176,870 основано на:
✓ формально верифицированных алгоритмах (~1% работы)
? эвристиках быстрой классификации (~98% работы)

Да, но отсутствие багов в коде? Корректность аппаратуры? Корректность самих эвристик? Нет, конечно.

Полностью верифицированные формальные доказательства строились на Coq только для самых трудных единичных случаев (особенно для доказательства незавершимости). Например с огромным трудом удалось доказать (или опровергнуть), что самый проблемный бобёр (1RB 1LC 1RC 1RD 1LA 1LA 1RB 1RH 0LE 1LB) никогда не достигает состояния HALT.

Корректность реализации симулятора, что он корректно выполняет переходы (так-то это 15 строк на питоне, разберём их верификацию в моём гайде:), доказывалось на Isabelle.

Алгоритмы обнаружения циклов и квази-поведения формально верифицировались на Lean.

Ну и всё. Всё остальное 98% — чистая программная инженерия.

Эвристика: "Машина зациклилась после 1000 шагов"
Реальность: Машина остановится через 10^100 шагов
Результат: Пропустили рекордсмена! 🙈

=

Короче говоря единственное что можно сказать — это чисто инженерное решение с некоторыми математическими гарантиями.

— BB(5) ≥ 47,176,870 (это точно доказано)
— Существует 5-машина, которая производит именно 47,176,870 единиц.

И не более. Конечно, на 99,98% скорее всего именно так и есть — и всё же...

=

Требуемое моделирование с множеством эвристик – это не недостаток методов, а неизбежное следствие природы вычислений. Из-за фундаментальных теорем неразрешимости (Райс, проблема останова) это области, где интеллектуальный перебор, глубокий анализ конкретных случаев и изобретательные эвристики — единственный практический путь вперёд 💪🏻

Достижения в вычислении BB(5) и начавшиеся атаки на BB(6) — это триумф человеческой изобретательности в преодолении принципиальных математических барьеров 🚀

А зачем вообще люди занимаются этим, насколько это подобное вообще "серьёзно" ?
Ну, не более серьезно, чем 98% всей теоретической математики :)

Чем выраженнее ваше мотивация по созданию стартапа "(тупо) заработать денег", тем сильнее вероятность вашего успеха стремится к нулю.

Соответственно, если вы создаёте стартап только ради денег, то вероятность того, что у вас ничего не получится, равна 💯

Под стартапом я имею в виду в принципе и "сделать враппер для жпт", и "склонировать топовую игру под андроид, заработавшую много бабла, чтобы повторить её успех хотя бы на 10%", и "хочу войти в айти за хорошую зарплату и соцстатус, в нашей деревне это единственный социальный лифт" и т.п.

Дальше дам БАЗУ для тех, у кого есть мотивация на 98% просто делать что-то полезное для других, и на 2% чтобы это дело приносило адекватные деньги.

С чего начать с полного нуля, если вообще не знаете и не представляете, каким должен быть самый первый шаг.

(на картинке наша ламповая Лаборатория, РАЙцентр:)

Облако драгоценностей за неделю.

Раз в месяц (вот как сегодня) я открываю одно место done на начальный тест "Годитесь ли вы в программисты". Кто его успешно проходит, может продолжить в моей Лаборатории. Но найти это место - хардкорный квест уровня хакерских паззлов из "Quadrilateral Cowboy" (правда, в прошлый раз его нашли за 15 минут :)


Основной паблик:

null

Для донов-начинающих:

По большому счёту, автоматическая генерация изображений в стиле ghibli, автоматическое написание унылых статей c кучей фактических ошибок, автоматическое создание однообразных музыкальных треков и видеороликов никогда не было проблемой, требующей решения на уровне человечества. Понятно, что ряд гуманитарных профессий оказывается под риском уничтожения, хотя на мой взгляд правильнее всё же говорить о переквалификации.
Разработка программного обеспечения, однако, - это другая совсем другая история ...

Для донов-неначинающих:

Продолжаю выкладывать для донов материалы СильныхИдей -- доступны моим ментатам, но тут расширенные версии, дополненные множеством примеров.
40. Жёсткий хейт SOLID (заключительное) : DIP
Dependency Inversion Principle — принцип инверсии зависимостей. Хотя в нём нету ничего принципиально неправильного, не будет преувеличением сказать, что тотальная одержимость инверсией зависимостей привела в 21-м веке к невосполнимым потерям на многие миллиарды долларов...

=

Напомню, что первые две дюжины существенно переработанных и улучшенных материалов СильныхИдей (по сути две книги) пока доступны на бусти, но скоро будет мощный третий гайд по SOLID, и дружелюбные цены вырастут:
1. БАЗА программной инженерии
2. Software Design с акцентом на Programming in Small


=

Новые материалы для ментатов-вычислителей.

В раздел "Элитный программист" добавлен материал
68) Как правильно планировать рабочий день.
Сколько помидорок в день лучше делать для оптимальной производительности и продуктивности? И вроде бы хочется сказать что это сильно зависит от человека... но нет.

... Гайд "Гомотопическая теория типов для программистов (2)": этим летом 💯 будет готов.
Фактически закончил, вычитываю (я вообще во всех своих материалах всегда очень тщательно выслеживаю всё что можно вплоть до идеальной пунктуации, всё форматирование делаю вручную, никаких html-редакторов) и выкладываю на библиотечный сервер. Получилось 57 топиков (в первом - 60).

По итогам двух гайдов: вся базовая теория HoTT смоделирована на питоне и покрыта тестами, приложены все исходники и тесты (никаких дополнительных библиотек кроме стандартных). Далее начинаю кубическую теорию .
По увлекательности и глубине с этим всем никакие шахматы или паззлы вроде baba is you и близко не сравнятся.
Ну или если угодно, это своеобразный gom-jabbar: он убивает только животных.

=

Трек "Чистое Проектирование/Software Design in Large", материал "Ясная архитектура"

null

=

На неделе немного отвлёкся на другой лабораторный проэкт self-hack: тайм-менеджер + мотиватор + idle-игра. У меня были маленькие самодельные программки под эти цели, которыми пользуюсь уже не один десяток лет, и зарекомендовали себя прекрасно, настало время зафиналить это всё, объединить лучшие подходы в одно. И беру также из игр наиболее аддиктивные фишечки, мотивирующие делать побольше помидорок в кайф.
Пока альфа-версия, 10% от беты; этим летом бета 💯 будет готова.
(код hand make 100%, ни капли ai)

idle — своеобразный тамагочи-хакер, сотни уровней.
Поиск и идентификация слабых сигналов в радиусе действия. Обнаружение открытых Wi-Fi точек, радионянь, дешевых смарт-замков, сигналов личных комов. Анализ базовых параметров (сила сигнала, тип шифрования, активность). Самодельный SDR модуль из хлама, антенна из пивной банки. Поиск халявного трафика в переполненных жилых блоках...
Босс: старый, параноидальный хакер-одиночка, десятилетиями контролирующий все значимые нелегальные частоты и пиратские ретрансляторы на районе. Его крепость - лабиринт из самодельных антенн и глушилок на крыше заброшенной промзоны. Его система - аналоговый кошмар, устойчивый к цифровым атакам...

(в далёких планах: pvp, блэкджеки и всё подобное.)

self-hack будет доступен БЕС-ПЛАТ-НО (но сперва для моих ментатов).

Хорошая идея от одного из наших ментатов, когда собес вроде бы прошёл норм, и они с тобой радостно прощались за ручку, а потом... кинули, просто молча слились, и вообще никакого фидбека, или откровенное корпоративное хамство.

Уничтожьте их: запилите бесплатный SaaS-клон их основного платного сервиса, реализуйте за несколько часов 20% его оригинальных фишек, которые охватят 80% возможностей, и разово ливаните рекламу на 10 долларов на их клиентов (у компаний обычно есть свои группы в тг вк фб, вот туда...).

Ну и так-то, AI сегодня фактически уничтожил рынок SaaS-сервисов более чем полностью.

"Отдайте хоть данные, нелюди" (с)

...техподдержка русоникса/zенона сказала "нас ддосят часть сетевых сегментов недоступна время фикса неведомо", а это десятки тысяч сайтов, включая и нашу Лабу.

Вот лучше чем ютуб блочить, сделали бы норм защиту от подобного. РосКомНадзирать-то легко, а вот где РосКомЗащита например?

Ну и как бы есть давно известные best practices для защиты от подобного.

Ладно, вот ещё одна: "НЕ называйте их best practices. Назовите их "известные более-менее хорошие практики".

Они существуют ровно для того, чтобы избавить от необходимости изобретать велосипед заново.

Хорошие инженеры всегда находят способы улучшить процесс, а это было бы невозможно, если бы действительно существовали "лучшие" практики.

p.s. 9 вечера: rusonyx всё лежит. поток комментов:
- Что со сроками восстановления? Деньги же теряем!
- Это уже зашквар, мы сваливаем с rusonix
- Ну пролежать почти весь рабочий день - ну круто, что я смогу сказать...
- Видимо, дела плохи. Поддержка ответила, что привлекли помощь

- Даже выдрать данные не получается пока что бы переехать к другому провайдеру(
(ну бэкапы-то всегда надо делать)

- Не у всех же на вашем хостинге копеечные сайты — конкретно нам суточный простой приносит убыток в среднем 1 миллион.
(ну а если и копеечные, их значит можно отрубать?:)

- Что за отношение к клиентам? Телефон не отвечает, на почту никто не отвечает. Сервера не работают, доступа нет. Что за зашквар? Нужно в офис приезжать? Отдайте хоть данные, нелюди

Интересно, а вдруг это не ддос, а вирус-шифровальщик? как в сдэке :)
Не волнуйтесь, у меня еженедельная копия всего сервера с базой на флешке.

p.p.s. 17-е утро: техподдержка: "всё плохо". русоникс убит? :)
РКН, спаси!!1

"...Наши инженеры продолжают работу над восстановлением нормальной работы сервисов, но указать приблизительные сроки решения проблемы не можем.
❗️Самое главное: сами серверы работают в штатном режиме, данные клиентов — в безопасности. Атака производится на сетевом уровне."
Ну а если вас будут ддосить бесконечно?

С чего же начать с полного нуля в итэ-предпринимательство, если вообще не знаете и не представляете, каким должен быть самый первый шаг?

В любой непонятной ситуации делайте КОНТЕНТ, полезный другим. Вот и всё.

-- Но, Сергей Игоревич, посмотрите сколько вокруг контента, блогов, жпт, книг, гайдов, зачем, да и кому, нужен ещё один??

Вообще, на сегодня, уверен уже на 98%, остался единственный реальный путь создать соло итэ-бизнес с нуля -- это
a) вообще забыть про AI, и
b) развивать платный/донатный/рекламный блог, и/или вести условные "стримы за донаты". Подписчики -- это новая нефть.

Только не надо делать классические ошибки ведения блога, я их подробно разбираю в рекомендациях (не превращайте свой блог в справочник; не надо никого учить; не пишите скучно, но избегайте чрезмерной эмоциональности; не начинайте блог бесплатным, чтобы потом перевести его в платный; и т.д.). Им впрочем никто не следует.

=

Сейчас в Сеть хлещет какой-то бесконечный поток хипстерского жпт-кала, каждый день являются десятки новых ai-сервисов, доверие к которым уже стало фактически полным нулём. Ну и зачем пытаться влиться в эту муть? AI, позволивший создать кому угодно прототип чего угодно за один день, по сути уничтожил классическое стартаперство. То есть ровно как в сегодняшнем убитом найме: вместе с одним твоим честным резюме с тремя годами опыта на вакансию прилетает ещё 300 резюме с накруткой, и ты просто затеряешься.

=

Если бы я например начинал в какой-то новой темке с полного нуля, то первое бы что сделал -- это прошёл скучный качественный дорогой курс "Как зарабатывать на блоге", "Как развивать личный бренд" с проверенным ментором. Но и так тоже никто не делает.

Ну ok, на бусти за 1000 рублей можно найти отменные гайды по всем этим темам, им просто надо следовать. Но и так не хотят.

Напомню базу:
-- ваш блог - это по умолчанию готовый нетворк с кучей бонусов + потенциальные пользователи, ваших saas-ов :);
-- пока вы не зарабатываете на блоге миллион рублей в месяц, развивайте его исключительно через платную рекламу, и забудьте про органический трафик (вы бессмертный?);
-- вам надо взять одну (ОДНУ!) тему (в идеале -- вообще жёстко занишеваться), и тупо развивать её МИНИМУМ 9 месяцев.

Но и это вообще никто не делает, особенно из тех, кто любит поговорить о "своём бизнесе" с нулевым результатом, и бесконечно прыгает по идейкам на миллион; а уж если случайно заработал сто долларов, так самомнение улетает в космос, и вообще уже никого не слушает. Короче, я отключил с трека карьерных ачивок всё связанное с итэ-бизнесом, и больше в этом не помогаю; вернулся к прежней версии с блогом.

А в англоязычном мире сабстэк например уже стал не просто средством заработка для отдельных известных блогеров, а по сути отдельной огромной экономикой, стилем жизни для множества профи, фактически одним из обязательных софт-скиллов. Поэтому если хотите создавать бизнес с нуля за доллары, изучайте как следует английский и идите на сабстэк; хотя я всё же посоветовал бы начинать с платного блога в России: если получится тут, то 100% получится и там, потому что там это во многом ми-ми-ми, а у нас это больше хардкор :)

=

За последние лет пять я читаю ну максимум дюжину русскоязычых программистских текстовых блогов в телеге/бусти, и примерно столько же видеоблогов на ютубе, которые хотя бы на 42% реально интересно почитать посмотреть. Причём из них примерно половина авторов живёт не в России.

И это ВСЁ. А потенциал русского рынка БЕСКОНЕЧЕН! И я, и многие другие, подписывались бы на хорошие платные блоги больше в разы, и на ютубе донатили бы на каждом стриме -- но их как не было, так и нету.

Я не знаю, почему так, честно.

Или нет, всё же знаю: люди хочут
-- быстренько срубить на халяву
И
-- заниматься интересненьким
И
-- чтобы всегда получалось легко и просто
И
— обязательно с первого раза.

Ну ок.

Пророческое от Пелевина (2011-й!), про промпты :)

"Священники говорят, что любое обращение к Сингулярному должно подробно излагать все обстоятельства дела. Злые языки уверяют – причина в накрутках за декламацию: чем длинее воззвание, тем дороже стоит зачитать его в храме."

Между прочим наш любимый Антропик системные промпты пишет на сотни тысяч символов, вот с чего надо брать пример для своих проэктов (без иронии).

Другое дело, что Клод вряд ли будет прямо точно этого всего придерживаться - примерно как в армии приказ отдан и считается абсолютным к выполнению, но в реальной жизни отнюдь не факт что он будет выполнен 😬

Андрей Карпатый конечно гениальный маркетолог. Пока что оправдать радужные обещания на триллион долларов, что AI заменит программистов, как-то не очень получается, мягко говоря, и инвесторы уже начинают что-то подозревать.

Ну пока что в мире не было ни одного примера, когда например сидел джуниор, делал рабочие несложные задачки, и вот его сокращают, на его место сажают AI-агента за подписку 200 долларов, загружают в него весь проект и историю тикетов джуна, и он тут же начинает фигачить 24/7 x10 в уже существовавшем рабочем процессе. Ага.

Поэтому новоявленный Остап Бендер Карпаты, выступая намедни на каком-то там питерском Форуме, выдвинул новую -- уже уже гораздо более абстрактную -- идею Нью-AI-Васюков для развода богатеньких лохов. И тут уже суммы на порядок другие -- на десятки, если не сотни триллионов долларов!

Видите надпись из слайда над его головой? Это будет типа Software 3.0.

Схема развода такая: сегодня есть куча плохого кода, написанного белковыми, а завтра он будет весь переписан AI и станет хорошим )))

Представляете, переписать весь софт в мире? При этом системы внешне как работали, так и продолжат работать, особо ничего и не изменилось -- может где-то стал посимпатичнее дизайн, где-то добавились 2% производительности, где-то вроде бы стала поменьше багов (а может, и нет...) но зато, "внутри-то всё отрефакторено! вот же, посмотрите ого-го какой стал код!"

То есть идея -- отдать всё мировое ПО на откуп AI, навечно подсадить весь мир на абсолютную иглу конкретных нейронок (в основном от Карпатого, конечно).

Молодец, чо.

Как лучше всего прожить свою жизнь до технологической сингулярности?

Вдумчиво изучая материалы Лаборатории.

Я закончил второй гайд по гомотопической теории ↑ ↑ ↑

И сразу взялся за "кубики", ещё шесть лет назад планировал.

Казалось бы, да ну чего там, эх! в сравнении с HoTT в CTT база чистая геометрия: куб, грани, интервал (1-куб), направления, system, и потом сразу заходим на открытые боксы в кубическом типе...

ага, щас, за 4 часа слил сотку баксов на клода4 и крепко наполучал граблями по лбу; cхема классов вроде бы очевидная, но внутри там такие хардкорные математические завязки...

Начал всё переделывать с нуля по взрослому, в соответствии со своими собственными рекомендациями по проектированию :)

свежий отзыв на материал по вайб-проектированию:

"Я вчера добил ваш [...] по Vibe Coding – хороший материал, и востребованный, в том смысле что до сих пор удивительно много разработчиков которые вообще не пользуются LLM для ускорения своей работы
Конечно, одно из самых ценных что вы упоминаете это тестирование, это надо выделить красным огромным заголовком вообще, потому что прочитают и забудут, и не будут тесты никакие нормальные генерировать (в cursor это вообще надо прям в cursorules наверное прописывать)."

Да, ну там всё же основной акцент на software/system desing, тесты это действительно просто техническое must have (хотя для AI мы формулируем их как спецификации), необходимость которых даже и упоминать странно в контексте AI.

=

Ладно, я реализацию HoTT только на 5-7-й итерации смог сделать, а CTT вдобавок действительно немного необычная, много топологических нюансов. Суммарно обе эти теории, подозреваю, в тысячу зелёных обойдутся 🙈

Ну ничего, во-первых я сам хочу эти темки глубоко изучить, и по потенциалу это буквально бесценно в контексте грядущей сингулярности, вот увидите, и во-вторых с моей стороны это сущая благотворительность, тоже плюсик в карму 😇

Везде ценят победителей и рассказывают о них, а мы ценим тех, кто отказался от эго.
-- "Бриллиантовые псы" с Дольфом Лундгреном (приключения в Тибете)

Как заработать 1 млн долларов за год? Ну, это простая математика:

60 x 60 x 24 = 86 400 секунд в день
86 400 × 365 = 31 536 000 секунд в год
1,000,000 / 31,536,000 = $0.0317

Вам просто нужно зарабатывать 300k/s $0,03/s , или 2-3 рубля каждую секунду,

И вы только что влезли в долги на 20 рублей, читая это.