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

Зробив переклад OWASP Cornucopia українською. якщо хтось може подивитися і дати рекомендації/коментарі, буду вдячний https://github.com/OWASP/cornucopia/pull/2494

Із людськими сторонніми контрібьюторами в Цезіум складно було, але роботи вирішили що ми гідні того щоб мати із нами справу, і сами прийшли до нас https://github.com/ForNeVeR/Cesium/pull/964 Навіть не знаю що із цього вийде

Нарешті я переклав вспоміжний матеріал на Lean4 Теренса Тао до його книги Аналіз I. Для тих хто не знає, це його проект по формалізації його доказів із книги на Lean4. Із одного боку це приклад того як формалізувати існуючу математику для студентів, із іншого там багато спеціально недоведених речей, тому можна буде попрактикуватися в доведенні самостійно. Бо лише практика дає досвід. Якщо ви помітили що я використовую нестантартну математичну термінологію, я буду дуже вдячний якщо ви вкажете мені на це, щоб я міг це виправити.

А ось ці результати були зовсім не очікувані. Хоча деякі знайомі так і казали що треба в нахалку працювати https://arxiv.org/abs/2602.11988 Across multiple coding agents and LLMs, we find that context files tend to reduce task success rates compared to providing no repository context, while also increasing inference cost by over 20%.

Це регулярне нагадування що якщо ти вчений, або щось таке, то не треба бути мудаком. Було би непогано забути ім'я Докінза та інших назавжди. Дуже цікаво як права чоловіків інколи поєднуються із просто бажанням мати статус кво https://youtu.be/ZoO9FZXUgv4

Люди які пропагували децентралізацію перемогли. Мені здається нема сенсу заперечувати що ті ризики про які попереджали маргінали прийшли до нас. - держави не кооперують а конкурують - в середині держава коли має централізовані інструменти репресує громадян Це модна сказати зараз про увесь світ, а не лише про маргіналів. Більше того, самі країни зараз хотять децентралізації хочаб часткової і ситуативної. Поїзд рухається і далі буде лише набирати оберти. Як би я не любив ранній інтернет поки він знову неможливий, але мати захищений куточок вільного інтелектуального простору це зараз норма, і це треба будувати

В чаті по Аді, скинули старий компілятор Ада- із майже орігінальними ісходниками. Але не із 83 а із 94. Я спробував скомпілювати, і воно майже все трівіально скомпілювалося. Нажаль запустити поки не виходить, без серйозних інвестицій в час і розробку, тому поки на мінімалках. В цілому я дуже був вражений наскількі сумісний старий С код із сучасними компіляторами.

ПІдкажіть який на вашу думку рівень жиру на скріншоті

Я звісно не можу пройти мимо такої мови програмування яка використовує не англійські лінгвістичні особливості. https://github.com/kip-dili/kip/wiki/Tutorial#function-calls Для мене це нагадує механізм іменованого виклику параметрів в сучасних мовах програмування. Можливо можна вважати що ми передаємо типізовані параметри в функцію і в залежності від типу віртуальна машина робить підстановку параметрів.

Ой як тяжко мені цей вайбкодінг дається, не розумію як воно працює. Але поділюся тим як воно в мене виходить. Без претензії на правільність, лише як декларацію шляху. Я взяв prompt-builder.prompt.md із Awesome Copilot. за допомогою його зробив собі промпт який повинен додавати нові табличкі в DbContext проекта EfCore. Перша помилка була в назві файлу, і те що я не достатньо інформації дав, видалив файл, зробив наново знову через промпт. Після того як в мене був якийсь промпт, я взяв і запустив його в копілоті дав опис своїх змін. Воно дійсно мені нагенерувало ті класи які я приблизно собі уявляв, але воно дуже хотіло добавати Fluent API хоча я його не люблю. То я взяв і почав міняти свій вспоміжний промпт на зміну структури бази. Пробую, дивлюся, відкидаю результати, міняю промпт. Із третього разу наче завелося. це насправді було боляче. Зайвий раз нагадує мені що вчитися це складно. Цікаво чи стикнуся я із проблемами із наступними використаннями промпта. Будемо дивитися, але дійсно це дуже інший процесс.

Ця інструкція по роботі із Джіу-джітсу(jj) мені зайшла більше. Виглядає що є чітке розділення локальної роботи, яка одна, роботою із віддаленими репозіторіями, що інша робота. Через те що все це працює поверх гіта, можна експериментувати навіть на живих проектах. Але на пустому проекті для тренування мені зайшло краще. треба більше практикувати звісно https://abhinavsarkar.net/posts/jj-usage/

Людина легенда. Спілкуватися із живими людьми. https://x.com/grady_booch/status/2009465895471690141

Це дуже прикольний експеримент, але не через ШІ. Кого цим ШІ зараз здивуєш. Подивіться на висновки щодо які мови менше токенів використовують. То тут така штука, а що якщо деяким людям кількість "токенів" важлива через їх персональні особливості (дінамічні мови + ФП). А для когось це не так важливо (більш статичні мови). Через те що це дуже персональні речі, то може люди і вважають що інші "чогось не розуміють". Бо таки дійсно не розуміють що залізо то у людей різне

Французький анекдот про сучасну освіту Побачивши народ, Він зійшов на гору; І, коли сів, приступили до Нього учні Його. І Він, відкривши уста Свої, навчав їх, кажучи: «Блаженні убогі духом, бо їхнє Царство Небесне. Блаженні плачуть, бо вони втішаться. Блаженні лагідні, бо вони успадковують землю...» І тоді Симон Петро сказав: "Нам треба буде все це вивчити?" І Андрій сказав: "А що, треба було записувати?" І Пилип сказав: «Листочка ні в кого не знайдеться?» І Іван сказав: "А іншим по стільки не задають!" І Варфоломій сказав: "А це що, домашнє завдання?" І Яків сказав: «Наступного разу буде опитування?» І Марк сказав: "На оцінку?" І Матвій спустився з гори, кажучи: «Мені треба в туалет». І Симон Зілот сказав: «А скоро обідатимемо?» І Юда сказав: «А що там було далі, після жебраків духом?» І тоді один первосвященик підійшов до Ісуса і сказав: «А яка проблематика? Які цілі та завдання ти поставив? Чому не поділив учнів на підгрупи та не залучив до навчального процесу? Чому ти вибрав фронтальну форму навчання? І тоді Ісус заплакав.

git config --global alias.🤡 clone

Ну там, якщо ви хочете бути дуже продвинутим

Мені дуже сподобалося це відео, де підіймається питання що конкретний синтаксис, може бути важливим для програмування, через те як синтаксис спрощуює, чи ускладнює шлях до конкретної семантики. Це не дуже популярна тема для досліджень, але через те що це HCI і текст в програми це інтерфейс, я думаю треба подивитися якщо вас таке цікавить https://www.youtube.com/watch?v=kQjrcSMYpaA

Чудовий експеримент про те як вчити старшокласників квантовим обчисленням. Незважаючи на те що ми ще не маємо ефективних працюючих апаратів, але ми вже можемо вчити дітей просто цим складним речам. Ось дослідження Оксфордського університету і партнерів https://arxiv.org/abs/2512.00141

Нарешті! Я довго думав що це мабуть найкращій спосіб легітимізувати соціальний статус відкритого коду. Зробити це волонтерством. Люди в Германії хотять спробувати це просунути в своїй країні. Є сенс підтримати ініціативу. https://www.openpetition.de/petition/online/recognition-of-work-on-open-source-as-volunteering-in-germany

Мікрософт зареліщила трі старі гри. Я навіть про них не чув. Але що цікаво це те яка там мова використовується Z-machine. Можливо я якось і реалізую один із варіантів цієї штуки. І подивимось чи воно запуститься чи ні https://opensource.microsoft.com/blog/2025/11/20/preserving-code-that-shaped-generations-zork-i-ii-and-iii-go-open-source

https://arxiv.org/pdf/2506.08872 MIT: Your Brain on ChatGPT: Accumulation of Cognitive Debt when Using an AI Assistant for Essay Writing Task Хоча назва каже про те що LLM впливає на когнітивні здібності, в самій статті дуже багато речей про ефект від ЛЛМ на задачі навчання. це дуже велика стаття, і я ще все не прочитав, але думаю це гарне чтиво. Що гарно що результати дуже нагадують висновки які робили педагоги про ефект від ЛЛМ на навчання, більше не гіпотетичних турбот, а вимірених, що легше дозволить відстоювати позицію