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

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

Через те що я колись перекладав документацію Кордови на російську і МС через закинутий через півроку проект переписали сайт із документацією і викинули весь старий переклад, то коли Мозілла, змогли відтворити аналогічну ситуацію із автоматичним перекладом і їх SUMO, коли ручний труд викидається, без обговорення, це звісно дуже демотивує. настількі, що я в цілому не довіряю перекладам текстів від корпорацій. Я в цілому бачу що більшість розробників вважає що локалізація це просто щось щось там поперекладати, а скоріше це багато читати, і читати і редагувати. Досі болить. Ось тред на ХакерНьюс, обов'язково почитайте що член комьюніті із Японії написав, і які були коментарі. Сам хакерньюс після будь ласка, бо там лише персональні думки, без контексту як мені здається https://news.ycombinator.com/item?id=45830770#45835119

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

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

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

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

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

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

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

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

Вважаю що замість алгоритмів краще питати про техніки тестування на співбесідах https://nedbatchelder.com/blog/202509/testing_is_better_than_dsa.html

Цікава така штука, яку корпорація зла придумала. Вона хочу поєднати ШІ та книги і зробити персоналізовану подачу матеріалу. Як мінімум це те чим ШІ таки може допомогти із навчанням людей. Спробуйте погратися, окрім головної сторінки, ,ще є приклади в технічному репорті Сам продукт. https://learnyourway.withgoogle.com/ Трішки технічних подробиць. https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/

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

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

Китай опублікував свої плани по розвитку ШІ на наступні 10 років. Мета доволі амбітна і треба дивитися чи в них вийде. Напрямки інтеграції в держуправління точно потребують уважного спостереження за їх роботою, як заради навчання, так і заради обережності. Також вони вважають що потрібно зробити ШІ товаром. Це буде нести вплив на загальний ринок мабуть. Беріть перекладач в своєму браузері і читайте самі

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

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