Хей хо! Мій переклад на українську спровокував французів та іспанців що можна також перекласти Гру в натуральні числа для Lean 4.

Закінчив головну роботу по перекладу книги Руї Уеями - Вступ у створення компілятора C для тих, хто хоче знати про низькорівневі речі. Це книга дуже гарно показує як можна буквально із нуля по крокам зробити компілятор С своїми руками. Через те що книга пишеться, і дописується, весь компілятор не описан, але є додатковий репозіторій для С компілятора - Chibicc від того самого автора, де ви можете подивитися весь процес побудови компілятора по комітам. Цей проект спеціально побудований так, щоб кожен коміт мав навчальну цінність.

Рекомендую як книгу так і репозиторій.

Гарного настрою

Вчора в чаті архітекторів скинули стару вже статтю про те як навчали програмістів раніше, можна сказати що це якесь бурчання. Але що цікаво, те що воно зараз майже те саме, 20 років по тому. Ну і написано непогано. Можна сказати переклав ИТ-фольклор.

Якщо ви викладач, ця гілка діскусіі про те як використання ШІ впливає на соціальні аспекти навчання. Цього звісно багато, але тут більше про соціальні аспекти ніж суто технічні, скількі і як людина вивчать.

Якщо ви студент, то просто почитайте перспективу як викладачі які турбуються за своїх учнів бачать проблему використання ЛЛМ.

https://hci.social/@chrisamaphone/114870932347008673

Гарні матеріали по будуванню різних мов програмування в обмеженому масштабі.
- інтерпретатори функціональної мови
- дрібний BASIC
- як реалізувати Хіндлі-Мілнера
- як реализувати свій пролог
- як реалізувати своє прототипне ООП
- так як реалізувати свою дрібний табличний процесовр

Мені дуже сподобалося свого часу дослідження GreenSoftware Lab щодо енергоефективності мов програмування. Але водночас мене завжди непокоїло, що вихідний код робить відтворення результатів дещо складним, тож я вирішив, що настав час зібрати все, що вони мають, та налаштувати CI, щоб спростити процес відтворення. Досі не знаю, де взяти настільне обладнання для запуску тестів. Також уся справа ще дуже на стадії розробки. Дайте знати, якщо вам це здається цікавим.
https://github.com/kant2002/Energy-Languages/pull/1

Китай опублікував свої плани по розвитку ШІ на наступні 10 років.

Мета доволі амбітна і треба дивитися чи в них вийде. Напрямки інтеграції в держуправління точно потребують уважного спостереження за їх роботою, як заради навчання, так і заради обережності.

Також вони вважають що потрібно зробити ШІ товаром. Це буде нести вплив на загальний ринок мабуть.

Беріть перекладач в своєму браузері і читайте самі

проходячи мимо, не зміг не перекласти звіт про помилки у програмному забеpпеченні які виникли під час запуску Ariane 5. Це доволі класична вже історія про конвертацію між типами даних, тому хай буде на українській також

Не знаю наскільки воно цікаво іншим, але мені дуже сподобалася стаття в якій підіймається питання як будувати суспільства які дійсно дотримуються своїх цілей, і не стають деклараціями їх. На справді це не дуже практичне есе, скоріш воно підіймає одне, але важливе питання — треба враховувати що люди інколи ведуть себе не ідеально, і планувати що робити коли таки ситуації трапляються.

Цікава така штука, яку корпорація зла придумала. Вона хочу поєднати ШІ та книги і зробити персоналізовану подачу матеріалу. Як мінімум це те чим ШІ таки може допомогти із навчанням людей. Спробуйте погратися, окрім головної сторінки, ,ще є приклади в технічному репорті

Сам продукт.
https://learnyourway.withgoogle.com/

Трішки технічних подробиць.
https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/

Вважаю що замість алгоритмів краще питати про техніки тестування на співбесідах

https://nedbatchelder.com/blog/202509/testing_is_better_than_dsa.html

Це гарна серія дрібних статей, яка поможе вам математично зрозуміти як працюють докази в Lean. Через те що це пояснюється на теорії множин, яка доволі інтуітивно зрозуміла, то це і просто і дуже гарно для початку.
Навіть якщо ви вже гралися із Lean, ці прості доведення корисні, бо їх так само можна спробувати довести із нуля, не дуже втомлюючись (що важливо для початку робити із ліном). Також для мене це крутий приклад, як можна взяти книжечку
і намагатися пливти через неї у міру читання. Мабуть (бо я сам не пробував) це класна штука для навчання.

Так чи інакше спробуйте прочитати, пограйтеся - Lean is love, Lean is life :)

я вважаю що зараз інструменти для деобфускації занадто консолідовані, і через це не всі можливості відтворення оригінального, або близько до оригінального коду існують. тому я вирішив що можна типовий деобфускатор розібрати на умовні прості утіліти, які можна буде рекомбінувати. Ось приклад простого інструмента MetadataRenamer - перейменування типів та методів. більш складні аналізи можуть бути окремими частинами пайплайну, і через те що є вхідні параметри, то можливо трішки руками коригувати процес.

Трішки прогресу по Cesium - C компілятору який компілює під платформу CLR.
Тепер є підтримка .NET SDK і можна створити С аплікацію використовуючи .NET SDK

Ось так можна почати із Привіт Світ!

dotnet new -i Cesium.Templates
dotnet new cesiumapp -o mycapp
cd mycapp
dotnet run

ще не всі можливості підтримуються, і Дум ми не скомпілюємо поки що, але в цілому прості програми можна вже спробувати запускати.

Як .Net розробник який був по інший бік екосистеми, мене дуже турбує монокультура в нашій платформі, хоча є звісно і цінність в цьому, тому ця стаття начебто про фронтенд, але вона для мене про монокультуру і те як вона насаджує свою позицію і заважає діалогу. Якщо ви знаходитесь в будь якій моно культурі, незаважаючи на мову, мабуть це гарна рефлексія із дуже прагматичними порадами як конструктувати діалог із догмою.

Сьогодні дізнався, що в .NET Foundation для виборів ради діректорів використовується шотландська система голосування. Я навіть не знав що така штука існує. Цікаво, а які ще софтварні організації використовують цю систему для організації своєї роботи?

Якщо ви колись хотіли написати розширення для dnSpy, то це доволі легко. В статті я лише сконцентрувався на базових речах, як додати свою логіку в dnSpy і як побачити свій плагін. Маю надію що якщо ви хочете плагін ви трішки знаєте dnLib і далі буде легше. Якщо ні, то я мабуть далі опишу що треба робити в іншій статті.

Через те що я колись перекладав документацію Кордови на російську і МС через закинутий через півроку проект переписали сайт із документацією і викинули весь старий переклад, то коли Мозілла, змогли відтворити аналогічну ситуацію із автоматичним перекладом і їх SUMO, коли ручний труд викидається, без обговорення, це звісно дуже демотивує. настількі, що я в цілому не довіряю перекладам текстів від корпорацій. Я в цілому бачу що більшість розробників вважає що локалізація це просто щось щось там поперекладати, а скоріше це багато читати, і читати і редагувати.

Досі болить.

Ось тред на ХакерНьюс, обов'язково почитайте що член комьюніті із Японії написав, і які були коментарі. Сам хакерньюс після будь ласка, бо там лише персональні думки, без контексту як мені здається

https://news.ycombinator.com/item?id=45830770#45835119

Я доволі довго шукав можливість переїзду на кодеберг, через те що ГітХаб може бути агресивним через те що вони із США, і я альтенративи із ЕС типу кодебергу мені дуже імпонують. Але мені важливо мати щоб я міг пети публічно публікувати, і я не бачив альтернатив. Зараз наче знайшов, буду пробувати https://grebedoc.dev/

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 впливає на когнітивні здібності, в самій статті дуже багато речей про ефект від ЛЛМ на задачі навчання. це дуже велика стаття, і я ще все не прочитав, але думаю це гарне чтиво. Що гарно що результати дуже нагадують висновки які робили педагоги про ефект від ЛЛМ на навчання, більше не гіпотетичних турбот, а вимірених, що легше дозволить відстоювати позицію