Листи задрота
84 subscribers
11 photos
67 links
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
Download Telegram
Не знаю наскільки воно цікаво іншим, але мені дуже сподобалася стаття в якій підіймається питання як будувати суспільства які дійсно дотримуються своїх цілей, і не стають деклараціями їх. На справді це не дуже практичне есе, скоріш воно підіймає одне, але важливе питання — треба враховувати що люди інколи ведуть себе не ідеально, і планувати що робити коли таки ситуації трапляються.
Цікава така штука, яку корпорація зла придумала. Вона хочу поєднати ШІ та книги і зробити персоналізовану подачу матеріалу. Як мінімум це те чим ШІ таки може допомогти із навчанням людей. Спробуйте погратися, окрім головної сторінки, ,ще є приклади в технічному репорті

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

Трішки технічних подробиць.
https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/
👍3
Вважаю що замість алгоритмів краще питати про техніки тестування на співбесідах

https://nedbatchelder.com/blog/202509/testing_is_better_than_dsa.html
👍2
Це гарна серія дрібних статей, яка поможе вам математично зрозуміти як працюють докази в Lean. Через те що це пояснюється на теорії множин, яка доволі інтуітивно зрозуміла, то це і просто і дуже гарно для початку.
Навіть якщо ви вже гралися із Lean, ці прості доведення корисні, бо їх так само можна спробувати довести із нуля, не дуже втомлюючись (що важливо для початку робити із ліном). Також для мене це крутий приклад, як можна взяти книжечку
і намагатися пливти через неї у міру читання. Мабуть (бо я сам не пробував) це класна штука для навчання.

Так чи інакше спробуйте прочитати, пограйтеся - Lean is love, Lean is life :)
1👍1
я вважаю що зараз інструменти для деобфускації занадто консолідовані, і через це не всі можливості відтворення оригінального, або близько до оригінального коду існують. тому я вирішив що можна типовий деобфускатор розібрати на умовні прості утіліти, які можна буде рекомбінувати. Ось приклад простого інструмента MetadataRenamer - перейменування типів та методів. більш складні аналізи можуть бути окремими частинами пайплайну, і через те що є вхідні параметри, то можливо трішки руками коригувати процес.
Трішки прогресу по Cesium - C компілятору який компілює під платформу CLR.
Тепер є підтримка .NET SDK і можна створити С аплікацію використовуючи .NET SDK

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

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



ще не всі можливості підтримуються, і Дум ми не скомпілюємо поки що, але в цілому прості програми можна вже спробувати запускати.
🔥2
Як .Net розробник який був по інший бік екосистеми, мене дуже турбує монокультура в нашій платформі, хоча є звісно і цінність в цьому, тому ця стаття начебто про фронтенд, але вона для мене про монокультуру і те як вона насаджує свою позицію і заважає діалогу. Якщо ви знаходитесь в будь якій моно культурі, незаважаючи на мову, мабуть це гарна рефлексія із дуже прагматичними порадами як конструктувати діалог із догмою.
🔥1
Сьогодні дізнався, що в .NET Foundation для виборів ради діректорів використовується шотландська система голосування. Я навіть не знав що така штука існує. Цікаво, а які ще софтварні організації використовують цю систему для організації своєї роботи?
Якщо ви колись хотіли написати розширення для dnSpy, то це доволі легко. В статті я лише сконцентрувався на базових речах, як додати свою логіку в dnSpy і як побачити свій плагін. Маю надію що якщо ви хочете плагін ви трішки знаєте dnLib і далі буде легше. Якщо ні, то я мабуть далі опишу що треба робити в іншій статті.
🔥3
Через те що я колись перекладав документацію Кордови на російську і МС через закинутий через півроку проект переписали сайт із документацією і викинули весь старий переклад, то коли Мозілла, змогли відтворити аналогічну ситуацію із автоматичним перекладом і їх 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 впливає на когнітивні здібності, в самій статті дуже багато речей про ефект від ЛЛМ на задачі навчання. це дуже велика стаття, і я ще все не прочитав, але думаю це гарне чтиво. Що гарно що результати дуже нагадують висновки які робили педагоги про ефект від ЛЛМ на навчання, більше не гіпотетичних турбот, а вимірених, що легше дозволить відстоювати позицію
3
Мікрософт зареліщила трі старі гри. Я навіть про них не чув. Але що цікаво це те яка там мова використовується Z-machine. Можливо я якось і реалізую один із варіантів цієї штуки. І подивимось чи воно запуститься чи ні

https://opensource.microsoft.com/blog/2025/11/20/preserving-code-that-shaped-generations-zork-i-ii-and-iii-go-open-source
Нарешті! Я довго думав що це мабуть найкращій спосіб легітимізувати соціальний статус відкритого коду. Зробити це волонтерством. Люди в Германії хотять спробувати це просунути в своїй країні. Є сенс підтримати ініціативу.

https://www.openpetition.de/petition/online/recognition-of-work-on-open-source-as-volunteering-in-germany
👍1
Чудовий експеримент про те як вчити старшокласників квантовим обчисленням. Незважаючи на те що ми ще не маємо ефективних працюючих апаратів, але ми вже можемо вчити дітей просто цим складним речам.

Ось дослідження Оксфордського університету і партнерів

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

https://www.youtube.com/watch?v=kQjrcSMYpaA
git config --global alias.🤡 clone

Ну там, якщо ви хочете бути дуже продвинутим
😁3🫡1
Французький анекдот про сучасну освіту

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

Через те що це дуже персональні речі, то може люди і вважають що інші "чогось не розуміють". Бо таки дійсно не розуміють що залізо то у людей різне