Не знаю наскільки воно цікаво іншим, але мені дуже сподобалася стаття в якій підіймається питання як будувати суспільства які дійсно дотримуються своїх цілей, і не стають деклараціями їх. На справді це не дуже практичне есе, скоріш воно підіймає одне, але важливе питання — треба враховувати що люди інколи ведуть себе не ідеально, і планувати що робити коли таки ситуації трапляються.
Kenneth Reitz
When Values Eat Their Young: How Ideal-Driven Groups Drift into Their Own Shadow
Picture this: A Slack channel for an open-source project that prominently displays "Be excellent to each other" in its community guidelines. Six months...
Цікава така штука, яку корпорація зла придумала. Вона хочу поєднати ШІ та книги і зробити персоналізовану подачу матеріалу. Як мінімум це те чим ШІ таки може допомогти із навчанням людей. Спробуйте погратися, окрім головної сторінки, ,ще є приклади в технічному репорті
Сам продукт.
https://learnyourway.withgoogle.com/
Трішки технічних подробиць.
https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/
Сам продукт.
https://learnyourway.withgoogle.com/
Трішки технічних подробиць.
https://research.google/blog/learn-your-way-reimagining-textbooks-with-generative-ai/
research.google
Learn Your Way: Reimagining textbooks with generative AI
👍3
Вважаю що замість алгоритмів краще питати про техніки тестування на співбесідах
https://nedbatchelder.com/blog/202509/testing_is_better_than_dsa.html
https://nedbatchelder.com/blog/202509/testing_is_better_than_dsa.html
Nedbatchelder
Testing is better than DSA
People should spend less time learning DSA, more time learning testing.
👍2
Це гарна серія дрібних статей, яка поможе вам математично зрозуміти як працюють докази в Lean. Через те що це пояснюється на теорії множин, яка доволі інтуітивно зрозуміла, то це і просто і дуже гарно для початку.
Навіть якщо ви вже гралися із Lean, ці прості доведення корисні, бо їх так само можна спробувати довести із нуля, не дуже втомлюючись (що важливо для початку робити із ліном). Також для мене це крутий приклад, як можна взяти книжечку
і намагатися пливти через неї у міру читання. Мабуть (бо я сам не пробував) це класна штука для навчання.
Так чи інакше спробуйте прочитати, пограйтеся - Lean is love, Lean is life :)
Навіть якщо ви вже гралися із Lean, ці прості доведення корисні, бо їх так само можна спробувати довести із нуля, не дуже втомлюючись (що важливо для початку робити із ліном). Також для мене це крутий приклад, як можна взяти книжечку
і намагатися пливти через неї у міру читання. Мабуть (бо я сам не пробував) це класна штука для навчання.
Так чи інакше спробуйте прочитати, пограйтеся - Lean is love, Lean is life :)
Андрій-Ка
Lean 4 із підручником з математики - Частина 0 - Вступ
Досить простий блог про задротьські речі. Найбільше мене цікавить .NET, NLP, компілятори, AOT технології.
❤1👍1
я вважаю що зараз інструменти для деобфускації занадто консолідовані, і через це не всі можливості відтворення оригінального, або близько до оригінального коду існують. тому я вирішив що можна типовий деобфускатор розібрати на умовні прості утіліти, які можна буде рекомбінувати. Ось приклад простого інструмента MetadataRenamer - перейменування типів та методів. більш складні аналізи можуть бути окремими частинами пайплайну, і через те що є вхідні параметри, то можливо трішки руками коригувати процес.
GitHub
GitHub - kant2002/MetadataDumper: Dump .NET metadata information into CSV files
Dump .NET metadata information into CSV files. Contribute to kant2002/MetadataDumper development by creating an account on GitHub.
Трішки прогресу по Cesium - C компілятору який компілює під платформу CLR.
Тепер є підтримка .NET SDK і можна створити С аплікацію використовуючи .NET SDK
Ось так можна почати із Привіт Світ!
ще не всі можливості підтримуються, і Дум ми не скомпілюємо поки що, але в цілому прості програми можна вже спробувати запускати.
Тепер є підтримка .NET SDK і можна створити С аплікацію використовуючи .NET SDK
Ось так можна почати із Привіт Світ!
dotnet new -i Cesium.Templates
dotnet new cesiumapp -o mycapp
cd mycapp
dotnet run
ще не всі можливості підтримуються, і Дум ми не скомпілюємо поки що, але в цілому прості програми можна вже спробувати запускати.
GitHub
GitHub - ForNeVeR/Cesium: C compiler for the CLI platform
C compiler for the CLI platform. Contribute to ForNeVeR/Cesium development by creating an account on GitHub.
🔥2
Як .Net розробник який був по інший бік екосистеми, мене дуже турбує монокультура в нашій платформі, хоча є звісно і цінність в цьому, тому ця стаття начебто про фронтенд, але вона для мене про монокультуру і те як вона насаджує свою позицію і заважає діалогу. Якщо ви знаходитесь в будь якій моно культурі, незаважаючи на мову, мабуть це гарна рефлексія із дуже прагматичними порадами як конструктувати діалог із догмою.
Medium
Default Isn’t Design
Why familiar feels right but often isn’t.
🔥1
Сьогодні дізнався, що в .NET Foundation для виборів ради діректорів використовується шотландська система голосування. Я навіть не знав що така штука існує. Цікаво, а які ще софтварні організації використовують цю систему для організації своєї роботи?
Opavote
Single Transferable Vote (STV)
Learn how to use the single transferable vote for your own elections with OpaVote. With the single transferable vote, voters rank the candidates and votes are transferred to determine the winner.
Якщо ви колись хотіли написати розширення для dnSpy, то це доволі легко. В статті я лише сконцентрувався на базових речах, як додати свою логіку в dnSpy і як побачити свій плагін. Маю надію що якщо ви хочете плагін ви трішки знаєте dnLib і далі буде легше. Якщо ні, то я мабуть далі опишу що треба робити в іншій статті.
Андрій-Ка
Create dnSpy extension
I do love reverse engineering, for some strange reasons that starts with reversing .NET Reflector and never ends to this day. I was at security minded meetup at Almaty and speak with one of the speaker about possibility for MCP for deobfuscation in de4dot…
🔥3
Через те що я колись перекладав документацію Кордови на російську і МС через закинутий через півроку проект переписали сайт із документацією і викинули весь старий переклад, то коли Мозілла, змогли відтворити аналогічну ситуацію із автоматичним перекладом і їх SUMO, коли ручний труд викидається, без обговорення, це звісно дуже демотивує. настількі, що я в цілому не довіряю перекладам текстів від корпорацій. Я в цілому бачу що більшість розробників вважає що локалізація це просто щось щось там поперекладати, а скоріше це багато читати, і читати і редагувати.
Досі болить.
Ось тред на ХакерНьюс, обов'язково почитайте що член комьюніті із Японії написав, і які були коментарі. Сам хакерньюс після будь ласка, бо там лише персональні думки, без контексту як мені здається
https://news.ycombinator.com/item?id=45830770#45835119
Досі болить.
Ось тред на ХакерНьюс, обов'язково почитайте що член комьюніті із Японії написав, і які були коментарі. Сам хакерньюс після будь ласка, бо там лише персональні думки, без контексту як мені здається
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 впливає на когнітивні здібності, в самій статті дуже багато речей про ефект від ЛЛМ на задачі навчання. це дуже велика стаття, і я ще все не прочитав, але думаю це гарне чтиво. Що гарно що результати дуже нагадують висновки які робили педагоги про ефект від ЛЛМ на навчання, більше не гіпотетичних турбот, а вимірених, що легше дозволить відстоювати позицію
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://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
https://www.openpetition.de/petition/online/recognition-of-work-on-open-source-as-volunteering-in-germany
openPetition
Recognition of Work on Open-Source as Volunteering in Germany - Online petition
Open-Source-Software builds the foundations of digital infrastructure in big parts - in administration, economy, science and daily life. Even the current coalition agreement of the Federal Government mentions Open-Source-Software as a fundamental building…
👍1
Чудовий експеримент про те як вчити старшокласників квантовим обчисленням. Незважаючи на те що ми ще не маємо ефективних працюючих апаратів, але ми вже можемо вчити дітей просто цим складним речам.
Ось дослідження Оксфордського університету і партнерів
https://arxiv.org/abs/2512.00141
Ось дослідження Оксфордського університету і партнерів
https://arxiv.org/abs/2512.00141
arXiv.org
High schoolers excel at Oxford quantum course using pictorial mathematics
We are at the dawn of the second quantum revolution, where our ability to create and control individual quantum systems is poised to drive transformative advancements in basic science,...
Мені дуже сподобалося це відео, де підіймається питання що конкретний синтаксис, може бути важливим для програмування, через те як синтаксис спрощуює, чи ускладнює шлях до конкретної семантики. Це не дуже популярна тема для досліджень, але через те що це HCI і текст в програми це інтерфейс, я думаю треба подивитися якщо вас таке цікавить
https://www.youtube.com/watch?v=kQjrcSMYpaA
https://www.youtube.com/watch?v=kQjrcSMYpaA
YouTube
Slim Lim: "Concrete syntax matters, actually"
Topos Institute Colloquium, 4th of December 2025.
———
Too many programming languages researchers dismiss concrete syntax as an afterthought: arbitrary, superficial, or distracting from matters of “actual” (semantic) importance. This received view ignores…
———
Too many programming languages researchers dismiss concrete syntax as an afterthought: arbitrary, superficial, or distracting from matters of “actual” (semantic) importance. This received view ignores…
git config --global alias.🤡 clone
Ну там, якщо ви хочете бути дуже продвинутим
😁3🫡1
Французький анекдот про сучасну освіту
Побачивши народ, Він зійшов на гору; І, коли сів, приступили до Нього учні Його. І Він, відкривши уста Свої, навчав їх, кажучи: «Блаженні убогі духом, бо їхнє Царство Небесне. Блаженні плачуть, бо вони втішаться. Блаженні лагідні, бо вони успадковують землю...»
І тоді Симон Петро сказав: "Нам треба буде все це вивчити?"
І Андрій сказав: "А що, треба було записувати?"
І Пилип сказав: «Листочка ні в кого не знайдеться?»
І Іван сказав: "А іншим по стільки не задають!"
І Варфоломій сказав: "А це що, домашнє завдання?"
І Яків сказав: «Наступного разу буде опитування?»
І Марк сказав: "На оцінку?"
І Матвій спустився з гори, кажучи: «Мені треба в туалет».
І Симон Зілот сказав: «А скоро обідатимемо?»
І Юда сказав: «А що там було далі, після жебраків духом?»
І тоді один первосвященик підійшов до Ісуса і сказав: «А яка проблематика? Які цілі та завдання ти поставив? Чому не поділив учнів на підгрупи та не залучив до навчального процесу? Чому ти вибрав фронтальну форму навчання?
І тоді Ісус заплакав.
Побачивши народ, Він зійшов на гору; І, коли сів, приступили до Нього учні Його. І Він, відкривши уста Свої, навчав їх, кажучи: «Блаженні убогі духом, бо їхнє Царство Небесне. Блаженні плачуть, бо вони втішаться. Блаженні лагідні, бо вони успадковують землю...»
І тоді Симон Петро сказав: "Нам треба буде все це вивчити?"
І Андрій сказав: "А що, треба було записувати?"
І Пилип сказав: «Листочка ні в кого не знайдеться?»
І Іван сказав: "А іншим по стільки не задають!"
І Варфоломій сказав: "А це що, домашнє завдання?"
І Яків сказав: «Наступного разу буде опитування?»
І Марк сказав: "На оцінку?"
І Матвій спустився з гори, кажучи: «Мені треба в туалет».
І Симон Зілот сказав: «А скоро обідатимемо?»
І Юда сказав: «А що там було далі, після жебраків духом?»
І тоді один первосвященик підійшов до Ісуса і сказав: «А яка проблематика? Які цілі та завдання ти поставив? Чому не поділив учнів на підгрупи та не залучив до навчального процесу? Чому ти вибрав фронтальну форму навчання?
І тоді Ісус заплакав.
👍1
Це дуже прикольний експеримент, але не через ШІ. Кого цим ШІ зараз здивуєш. Подивіться на висновки щодо які мови менше токенів використовують. То тут така штука, а що якщо деяким людям кількість "токенів" важлива через їх персональні особливості (дінамічні мови + ФП). А для когось це не так важливо (більш статичні мови).
Через те що це дуже персональні речі, то може люди і вважають що інші "чогось не розуміють". Бо таки дійсно не розуміють що залізо то у людей різне
Через те що це дуже персональні речі, то може люди і вважають що інші "чогось не розуміють". Бо таки дійсно не розуміють що залізо то у людей різне
Martin Alderson
Which programming languages are most token-efficient?
Comparing token efficiency across 19 popular programming languages using RosettaCode data - from Clojure to C, there's a 2.6x difference.