Листи задрота

Люди помирають. Навіть без війни. Мені достався специфічний проект. Старий знайомий сказав що у його розробника знайшли рак, і він хотів щоб я був на підстраховці на всяк випадок. Це було майже два місяці тому, і оригінальний розробник який завідував процесом мав потроху його задокументувати і передати мені. Йому явно було важко, бо він виходив дуже рідко на звʼязок. А потім клієнт написав що Слави не стало. Це було приблизно місяць тому. Звісно я гарно себе почуваю при пожежогасінні але я явно не очікував що це буде настільки екстремальний проект. Звісно немає документації. Процес побудований із декілька частин в різних репозіторіях. Оточення де треба запускати процес частково постраждало бо було на зашифрованому розділу диску. Бережіть себе, життя йде мимо. І пишіть документацію.

Кучно йде. Це цікава публікація 1990 року, яка намагається побудувати аналогії із тим як в індустрії США впроваджувалися електричні мотори із компьютерізацією. Там багато речей які не дуже очевидні в поточному ШІ дискурсі. Як то: - час який потрібно було на діфузію іновацій в суспільстві (я не вірю Курцвейлу якщо що) - те що проста електрифікація заводу без повної перебудови не працювала - аналогію між критиками компьютерізаціі і крітиками ШІ, і чому були праві обидві сторони. - причини чому ЩІ не показує заявлених результатів десь в економічних звітах компаній. https://gwern.net/doc/economics/automation/1990-david.pdf

Окей. У нас починаються вибори в раду директорів Дотнет Фундації. Це все ще зламане комьюніті і організація але я не знаю кращого для дотнету. Так ця організація погано працює, але наче поки альтернатив немає і там точно є люди які хотять покращити стан. Щодо людей які обираються на цю посаду. Як і в прошлому році мабуть я не знаю там нікого. Я мабуть піду в дикий інтернет шукати де ці люди живуть і буду напряму спілкуватися із ними и питати чому треба віддати за них мій голос. Якщо те саме зробите і ви, буде круто https://dotnetfoundation.org/board-elections/candidates

Сьогодні нарешті закінчив переклад Слів настанови Абая Кунанбаєва. Я не знайшов переклада українською, тому вирішив зробити сам. Як на мене це цікавий твір через те що він навіть сто років потому показує те як думає кахахський народ. Ще його думки цікаві, бо його мабуть назвали би зараз поміркованим мусульманином, і це показує що мусульмани, як і християни свого часу по різному дивляться на віру, і треба насам перед дивитися на справи людей а не атрибутику, як колір шкіри, вік, пол, чи релігія. Маю надію що сподобається https://kant2002.github.io/words-abay/

Незважаючи що маркетинг HTMX занадто Gonzo, як вони самі і казали в якомусь відео, у них дуже гарний вдумливий блог який завжди дає помірковані думки. Зараз вони пропонують доволі просту модель яка можливо і каталася кимось раніше, але мені здається в них вона більш елегантно донесена. https://htmx.org/essays/code-is-cheap/

Звісно я не думаю що цей сценарій трапиться. Навіть не вважаю його скільки то реальним. Але цей твіт дає гарні дані які можна використати для того щоб зрозуміти як ЛЛМ впливає на освіту і як освіта реагує https://x.com/hedgiemarkets/status/2062580279810605205

Чому все зламано в інтернеті. Невже виходить так що більшості людей все не цікаво? Знайшов плагін для Ghidra який допомогає краще аналізувати DOS програми. І що ви думаєте, для нової гідри воно не компілюється і треба щось йти, розбиратися, читати. І останні зміни були 3 роки тому. Дуже жаль що доводиться розбиратися ще і в Ghidra.

Через те що GitHub повинен померти як едина точку фіктивного соціального тяжіння зараз багато хто обговорює альтернативи. Зазвичай звучать відомі речі типу Codeberg,Forgejo,Fossil та Gitea із мутним керуванням. Але це звісно не весь ландшафт Окрім стандартних варіантів що робити із Git типу , є також проекти які намагаються подвинути фронтір можливостей. Звісно зараз не можна казати про децентралізовані системи контролю версій і не згадати Radicle! Ці люди [1] вирішили зробити не лише розподілений репозіторій, а можна сказати все розподілене. Розподілені іщью, розподілений код, розподілена інфраструктура, і якщо ви бажаєте ще щось зробити розподіленим, то велком робіть надбудови. https://radicle.dev/ Це менш радікальний проект, він лише робить пулреквести децентралізованими. Але навіть це дуже гарний розвиток подій, бо це дозволить мати інфраструктуру із звичайних серверів, які по ATproto обмінюються пулреквестами. Це мабуть гарний напрямок для більш консервативних людей, які не хотять ризикувати. https://tangled.org/ Звісно треба згатати GitTorrent який був піонером в цьому напрямку, але мабуть прийшов зарано. https://blog.printf.net/articles/2015/05/29/announcing-gittorrent-a-decentralized-github/ [1] я хотів написати хлопці, але згадав що воно занадто не інклюзівно і виключає жінок, і транс персон[2]. Тому питання, як це прийнято казати українською в спільноті. [2] я не дуже давно дізнався що слово транс краще не вживати, через активне використання його ксенофобами. Наче транс-персона це нейтральний термін, але знову таки цікаво як воно у спільноті українській прийнято.

= Чарівні квадрати Чарівний квадрат - це такий квадрат із клітинок в яких вписано число таким чино що суми чисел за будь-яким рядком, та за будь-яким стовпчиком і обома діагоналями квадрата однакові. Такий чарівний квадрат розміром 6х6 можна скласти із зелених квадратиків 3х3, які видно на малюнку. [Перевірте будь ласка!]. Заповнити клітини червоного квадратика 3×3 так, щоб: а) червоний квадратик був чарівним; б) весь великий квадрат 9×9 був чарівним.

Це цікаве дослідження яке пробує заміняти сторонні бібліотеки ЛЛМ с генерованими лібами. І що гарне що воно має наче непоганий код. Але фінальну думку я скажу коли прогоню фазінг по лібам де буде виходити https://arxiv.org/html/2605.21405v1

Це дуже незвична перспектива для мене. Я уявно вважав що я трішки постарішав, тому мені складно було розібратися в якійсь книзі. Але наче проблема існує. Звісно можливо Лін вирішить частково проблеми пояснення. Але може проблема де інде? Може у нас погані конструкції і на потрібно покращувати те що є в математиці? Чи треба мати більше іменованих вспоміжних конструкцій? В будь якому випадку це здається непогана стаття(і коментарі до неї) щоб подумати про стан педагогіки в математиці https://susam.net/comments/advanced-mathematics-pedagogy.html

Трішки про педагогічні справи. Просто цікава історія як професор намагається реагувати на ЛЛМ в класі https://x.com/kn_owled_ge/status/2055605434837237985?s=46

Мене трішки довели хайпом навколо перепису Бану на раст. Я вирішив подивитися що це означає на практиці. Для початку я швидко вирішив подивитися що було із тестами. В Бані я бачу лише інтеграційні тести в репозіторі . Ці інтеграційні тести мають наступну структуру. 11 290 18 610 тестів запускається. Мабуть справжне число на декілька тисяч більше, бо я рахував грепом, а не в рантаймі. 1546 файлів із тестовими групами (тобто де в принципі описані тести) 3582 тестових групп (describe). Чи цього достатньо для контролю мільйону нових рядків чи ні я думаю вирішувати вам

https://github.com/kant2002/obfuscation-talk Приклади коду які використовувалися в презентації. Дякую всім що долучилися. Якщо хтось пропустив, я думаю я ще матеріалу підготовлю і буде нова презентація на інші техніки

Meet - Базові техніки будування обфускаторів якщо що подивимося що вийде. запис поки не встиг налаштувати. только сьогодні. Вже зараз!

Завтра, в неділю о 15-00 по Київу, хочу зробити доклад по базовим технікам будування обфускаторів для .NET. Ці знання будуть цікаві не лише для обфускації а і для деобфускації. Також техніки будуть працювати для інших стекових віртуальних машин як Java, WASM. Знання дотнету не обовʼязкове. Обовʼязкове бажання написати хочаб простий обфускатор для .Net самостійно. Оточення що буде потрібно для подальшої роботи(на презентації думаю не обовʼязково) https://gist.github.com/kant2002/8690d113b500e8ea0a0bd4373a113137 Базові речі повинні зайняти 2-3 години. Буду намагатися пошвидше все розказати.

Інколи баги в відкритому коді виправляються дуже повільно https://github.com/rocktimsaikia/github-dlr/issues/7

https://www.brookings.edu/wp-content/uploads/2026/01/A-New-Direction-for-Students-in-an-AI-World-FULL-REPORT.pdf Звіт про те як ШІ змінює ландшафт системи освіти. Незважаючи на те що звіт містить і позитивні речі які може принести використання ЛЛМ для освіти, все ж саме для освіти ЛЛМ це не гарний напрямок розвитку на поточному шляху і потрібно прибирати існуючі ризики. Наразі немає прямих кроків для того щоб замінити ризики - вигодами. Просто казати що ось давайте спробуємо - це оптимістично, але воно поки зовсім не обгрунтовано.

Продовження статі про будування обфускаторів. В цей раз було більш цікаво і я написав про будування графу виконання коду із IL і прості техніки заплутування на базі цього графу https://kant2002.github.io/en/obfuscators/2026/05/02/how-to-build-obfuscator-part-ii.html

Сьогодні я прямо задоволений собою. Мало того що я таки реанімував публічні тули навколо реверсінгу в дотнет екосистемі. Так я ще знайшов що я могу нового і корисного зробити — почати робити фазінг емулятора IL інструкцій. Наче це простий випадок, але я дивуюся, чому я не здогадувався що такий прости експеримент можна зробити. І як ви можете здогадатися навіть трівіальний процес генерації довільного .Net метода знайшов мені неправильно реалізовані інструкції. Завтра можна буде більше погратися і подивитися що за результат вийде. Але думаю якщо я розпробую генерацію тестів то може в мене якось вийде перетягнути цей процес до ентерпраз розробки також