#инварианты — Public Fediverse posts

Я строю AI-бот для самопознания. Вот спек, архитектура и почему LLM — это периферия, а не ядро

Статья четвертая из серии. Были исследование , личная история , продуктовый инсайт . Здесь будет продукт. Публикую манифест до того, как написана первая строчка кода — чтобы потом было честно сравнить, где я прав, а где разбился о реальность.

https://habr.com/ru/articles/1027210/

#event_sourcing #domaindriven_design #AI_бот #архитектура #TypeScript #PostgreSQL #LLM #мессенджер_бот #саморазвитие #инварианты

Schnorr/MuSig2 Nonce-Forensics:

Можно ли смотреть на подпись Schnorr и MuSig2 не как на «чёрный ящик», а как на математическую систему наблюдаемых структур? В статье разбирается строгий BIP340 membership bridge, affine-представление скрытых нонсов, compression/connectivity-метрики и protocol-valid affine-линеаризация MuSig2 partial signatures. Без сенсаций и без заявлений о «магическом взломе» — только формальная модель, подтверждённые артефакты и аккуратный разбор того, что действительно доказано на практике.

https://habr.com/ru/articles/1025236/

#Bip340 #MuSig2 #affine #forensicаудит #weaknonce #protocolvalid_controls #algorithms #инварианты #security_angle #bitcoin

Schnorr/MuSig2 Nonce-Forensics:

Можно ли смотреть на подпись Schnorr и MuSig2 не как на «чёрный ящик», а как на математическую систему наблюдаемых структур? В статье разбирается строгий BIP340 membership bridge, affine-представление скрытых нонсов, compression/connectivity-метрики и protocol-valid affine-линеаризация MuSig2 partial signatures. Без сенсаций и без заявлений о «магическом взломе» — только формальная модель, подтверждённые артефакты и аккуратный разбор того, что действительно доказано на практике.

https://habr.com/ru/articles/1025236/

#Bip340 #MuSig2 #affine #forensicаудит #weaknonce #protocolvalid_controls #algorithms #инварианты #security_angle #bitcoin

Schnorr/MuSig2 Nonce-Forensics:

Можно ли смотреть на подпись Schnorr и MuSig2 не как на «чёрный ящик», а как на математическую систему наблюдаемых структур? В статье разбирается строгий BIP340 membership bridge, affine-представление скрытых нонсов, compression/connectivity-метрики и protocol-valid affine-линеаризация MuSig2 partial signatures. Без сенсаций и без заявлений о «магическом взломе» — только формальная модель, подтверждённые артефакты и аккуратный разбор того, что действительно доказано на практике.

https://habr.com/ru/articles/1025236/

#Bip340 #MuSig2 #affine #forensicаудит #weaknonce #protocolvalid_controls #algorithms #инварианты #security_angle #bitcoin

Schnorr/MuSig2 Nonce-Forensics:

Можно ли смотреть на подпись Schnorr и MuSig2 не как на «чёрный ящик», а как на математическую систему наблюдаемых структур? В статье разбирается строгий BIP340 membership bridge, affine-представление скрытых нонсов, compression/connectivity-метрики и protocol-valid affine-линеаризация MuSig2 partial signatures. Без сенсаций и без заявлений о «магическом взломе» — только формальная модель, подтверждённые артефакты и аккуратный разбор того, что действительно доказано на практике.

https://habr.com/ru/articles/1025236/

#Bip340 #MuSig2 #affine #forensicаудит #weaknonce #protocolvalid_controls #algorithms #инварианты #security_angle #bitcoin

Founder Mode: как ИИ вытащил меня из иллюзии занятости, или…

Как я потерял несколько лет, делая всё кроме главного — и что с этим сделал Эта статья — про две вещи. Сначала — зачем : годы прокрастинации, иллюзия занятости и простая механика, которая это сломала. Потом — как : 35-й вайбкодинг-проект за 10 месяцев, событийная архитектура, 39 коммитов за 3 недели, TypeScript, Playwright, LLM и деплой на двухъядерный VDS. На Хабре вышла [ статья Эдуарда Ланчева ] — честная история, как один человек за 3 месяца с помощью ИИ собрал полноценный шахматный сервис. У меня похожая. Только не про шахматы, а про предпринимательство. И не 100 тысяч строк, а 9 500 — но с event store, инвариантами и Prometheus на проде. --- Часть 1. Медоборудование, прокрастинация и иллюзия занятости Несколько лет назад накопилось достаточно денег, чтобы попробовать своё дело. Ниша знакомая — проектные продажи медицинского оборудования. Бизнес-модель простая: находишь клиники и госпитали, заходишь к нужным людям, продаёшь. Казалось бы, что сложного. Я не продавал. Вместо этого — маркетинговые материалы, поиск уникального оборудования, изучение конкурентов, чтение про отрасль. Классика жанра. Всё это ощущалось как работа: занят, устал, лёг спать с чувством, что что-то делал. Но денег не было, потому что без продаж денег не бывает. Самое неприятное: не было момента осознания, не было точки, чтобы посмотреть в зеркало и сказать: «окей, ты избегаешь главного». Просто отсутствие прогресса накапливалось, доходило до критической точки — тогда начиналось шевеление, минимальный результат, и всё возвращалось на круги своя. Я потерял несколько лет. Единственный вывод: что-то подсознательно избегалось. Другие проекты — та же история Прошло время. Новые проекты, другая сфера. И всё повторилось. Снова — что угодно, кроме того, что действительно двигало бизнес вперёд. Допиливал продукт бесконечно, перескакивал между проектами, находил причины, почему «сегодня не лучший день», и проводил его в телефоне.

https://habr.com/ru/articles/1019240/

#Founder_Mode #прокрастинация #вайбкодинг #событийная_архитектура #PossibilityDriven_Architecture #метрики #daily_fixations #LLM #read_models #инварианты

Проблема не в разработке, проблема в управлении: если виноватых нет, виноватый назначается

Когда я начинал карьеру в ИТ в роли разработчика, я довольно рано начал слышать одну и ту же фразу от более опытных коллег и руководителей: «Тут проблема не в разработке. Тут проблема в управлении». Эта фраза всплывала в самых разных контекстах — когда срывались сроки, когда продукт не давал ожидаемого результата, когда архитектура начинала сыпаться, а команда выгорала, продолжая делать работу ради работы. Она звучала убедительно и как будто бы всё объясняла, но в этом и заключалась проблема: такая формулировка работает как универсальное объяснение, которое не требует ничего уточнять. Она не заставляет указывать причину, место возникновения или критерии доказательства — и потому разговор неизбежно уходит в абстракцию, где управление превращается в туманную смесь «не той культуры», «не того мышления» и «не тех людей». Как говорил Луначарский, дайте мне томик Ленина — и я найду в нём такую цитату, которая способна объяснить любое явление в этой вселенной.

https://habr.com/ru/articles/996918/

#продуктовая_разработка #системное_мышление #software_development #управление_разработкой #архитектура_процессов #инварианты #управляемость #жизненный_цикл #software_architecture #development_process

Заменяем лишние if-проверки на assert для инвариантов кода в C/C++

Многие разработчики привыкли везде ставить if-проверки, даже для условий, гарантированных кодом. Зачем проверять то, что не может нарушиться? Такие проверки создают шум в коде и мусор в релизе. Assert решает эту проблему: документирует допущения и исчезает из финальной сборки. В статье покажу все преимущества assert'ов и предостерегу от подводных камней их использования.

https://habr.com/ru/articles/962668/

#C++ #C #assert #инварианты #ifelse #NDEBUG #Design_by_Contract #код_как_документация

Заменяем лишние if-проверки на assert для инвариантов кода в C/C++

Многие разработчики привыкли везде ставить if-проверки, даже для условий, гарантированных кодом. Зачем проверять то, что не может нарушиться? Такие проверки создают шум в коде и мусор в релизе. Assert решает эту проблему: документирует допущения и исчезает из финальной сборки. В статье покажу все преимущества assert'ов и предостерегу от подводных камней их использования.

https://habr.com/ru/articles/962668/

#C++ #C #assert #инварианты #ifelse #NDEBUG #Design_by_Contract #код_как_документация

Заменяем лишние if-проверки на assert для инвариантов кода в C/C++

Многие разработчики привыкли везде ставить if-проверки, даже для условий, гарантированных кодом. Зачем проверять то, что не может нарушиться? Такие проверки создают шум в коде и мусор в релизе. Assert решает эту проблему: документирует допущения и исчезает из финальной сборки. В статье покажу все преимущества assert'ов и предостерегу от подводных камней их использования.

https://habr.com/ru/articles/962668/

#C++ #C #assert #инварианты #ifelse #NDEBUG #Design_by_Contract #код_как_документация

Заменяем лишние if-проверки на assert для инвариантов кода в C/C++

Многие разработчики привыкли везде ставить if-проверки, даже для условий, гарантированных кодом. Зачем проверять то, что не может нарушиться? Такие проверки создают шум в коде и мусор в релизе. Assert решает эту проблему: документирует допущения и исчезает из финальной сборки. В статье покажу все преимущества assert'ов и предостерегу от подводных камней их использования.

https://habr.com/ru/articles/962668/

#C++ #C #assert #инварианты #ifelse #NDEBUG #Design_by_Contract #код_как_документация