Це цікаве дослідження яке пробує заміняти сторонні бібліотеки ЛЛМ с генерованими лібами. І що гарне що воно має наче непоганий код. Але фінальну думку я скажу коли прогоню фазінг по лібам де буде виходити
https://arxiv.org/html/2605.21405v1
https://arxiv.org/html/2605.21405v1
❤1👍1
= Чарівні квадрати
Чарівний квадрат - це такий квадрат із клітинок в яких вписано число таким чино що суми чисел за будь-яким рядком, та за будь-яким стовпчиком і обома діагоналями квадрата однакові.
Такий чарівний квадрат розміром 6х6 можна скласти із зелених квадратиків 3х3, які видно на малюнку. [Перевірте будь ласка!].
Заповнити клітини червоного квадратика 3×3 так, щоб:
а) червоний квадратик був чарівним;
б) весь великий квадрат 9×9 був чарівним.
Чарівний квадрат - це такий квадрат із клітинок в яких вписано число таким чино що суми чисел за будь-яким рядком, та за будь-яким стовпчиком і обома діагоналями квадрата однакові.
Такий чарівний квадрат розміром 6х6 можна скласти із зелених квадратиків 3х3, які видно на малюнку. [Перевірте будь ласка!].
Заповнити клітини червоного квадратика 3×3 так, щоб:
а) червоний квадратик був чарівним;
б) весь великий квадрат 9×9 був чарівним.
👍2❤1🙉1
Через те що GitHub повинен померти як едина точку фіктивного соціального тяжіння зараз багато хто обговорює альтернативи.
Зазвичай звучать відомі речі типу Codeberg,Forgejo,Fossil та Gitea із мутним керуванням. Але це звісно не весь ландшафт
Окрім стандартних варіантів що робити із Git типу , є також проекти які намагаються подвинути фронтір можливостей.
Звісно зараз не можна казати про децентралізовані системи контролю версій і не згадати Radicle! Ці люди [1] вирішили зробити не лише розподілений репозіторій, а можна сказати все розподілене. Розподілені іщью, розподілений код, розподілена інфраструктура, і якщо ви бажаєте ще щось зробити розподіленим, то велком робіть надбудови.
https://radicle.dev/
Це менш радікальний проект, він лише робить пулреквести децентралізованими. Але навіть це дуже гарний розвиток подій, бо це дозволить мати інфраструктуру із звичайних серверів, які по ATproto обмінюються пулреквестами.
Це мабуть гарний напрямок для більш консервативних людей, які не хотять ризикувати.
https://tangled.org/
Звісно треба згатати GitTorrent який був піонером в цьому напрямку, але мабуть прийшов зарано.
https://blog.printf.net/articles/2015/05/29/announcing-gittorrent-a-decentralized-github/
[1] я хотів написати хлопці, але згадав що воно занадто не інклюзівно і виключає жінок, і транс персон[2]. Тому питання, як це прийнято казати українською в спільноті.
[2] я не дуже давно дізнався що слово транс краще не вживати, через активне використання його ксенофобами. Наче транс-персона це нейтральний термін, але знову таки цікаво як воно у спільноті українській прийнято.
Зазвичай звучать відомі речі типу Codeberg,Forgejo,Fossil та Gitea із мутним керуванням. Але це звісно не весь ландшафт
Окрім стандартних варіантів що робити із Git типу , є також проекти які намагаються подвинути фронтір можливостей.
Звісно зараз не можна казати про децентралізовані системи контролю версій і не згадати Radicle! Ці люди [1] вирішили зробити не лише розподілений репозіторій, а можна сказати все розподілене. Розподілені іщью, розподілений код, розподілена інфраструктура, і якщо ви бажаєте ще щось зробити розподіленим, то велком робіть надбудови.
https://radicle.dev/
Це менш радікальний проект, він лише робить пулреквести децентралізованими. Але навіть це дуже гарний розвиток подій, бо це дозволить мати інфраструктуру із звичайних серверів, які по ATproto обмінюються пулреквестами.
Це мабуть гарний напрямок для більш консервативних людей, які не хотять ризикувати.
https://tangled.org/
Звісно треба згатати GitTorrent який був піонером в цьому напрямку, але мабуть прийшов зарано.
https://blog.printf.net/articles/2015/05/29/announcing-gittorrent-a-decentralized-github/
[1] я хотів написати хлопці, але згадав що воно занадто не інклюзівно і виключає жінок, і транс персон[2]. Тому питання, як це прийнято казати українською в спільноті.
[2] я не дуже давно дізнався що слово транс краще не вживати, через активне використання його ксенофобами. Наче транс-персона це нейтральний термін, але знову таки цікаво як воно у спільноті українській прийнято.
❤4
Чому все зламано в інтернеті. Невже виходить так що більшості людей все не цікаво?
Знайшов плагін для Ghidra який допомогає краще аналізувати DOS програми. І що ви думаєте, для нової гідри воно не компілюється і треба щось йти, розбиратися, читати. І останні зміни були 3 роки тому. Дуже жаль що доводиться розбиратися ще і в Ghidra.
Знайшов плагін для Ghidra який допомогає краще аналізувати DOS програми. І що ви думаєте, для нової гідри воно не компілюється і треба щось йти, розбиратися, читати. І останні зміни були 3 роки тому. Дуже жаль що доводиться розбиратися ще і в Ghidra.
GitHub
GitHub - Gravelbones/GhidraDosToolbox: A toolbox for analyzing DOS (Real Mode) programs with Ghidra
A toolbox for analyzing DOS (Real Mode) programs with Ghidra - Gravelbones/GhidraDosToolbox
❤3
Звісно я не думаю що цей сценарій трапиться. Навіть не вважаю його скільки то реальним. Але цей твіт дає гарні дані які можна використати для того щоб зрозуміти як ЛЛМ впливає на освіту і як освіта реагує
https://x.com/hedgiemarkets/status/2062580279810605205
https://x.com/hedgiemarkets/status/2062580279810605205
X (formerly Twitter)
Hedgie (@HedgieMarkets) on X
🦔UC Berkeley's computer science department just posted its worst failure rates in years. 35.3% of CS 10 students got F's in spring 2026, up from under 10% in prior semesters. Professor Dan Garcia says the primary driver is a "vast increase in academic dishonesty"…
💔2
Незважаючи що маркетинг HTMX занадто Gonzo, як вони самі і казали в якомусь відео, у них дуже гарний вдумливий блог який завжди дає помірковані думки. Зараз вони пропонують доволі просту модель яка можливо і каталася кимось раніше, але мені здається в них вона більш елегантно донесена.
https://htmx.org/essays/code-is-cheap/
https://htmx.org/essays/code-is-cheap/
htmx.org
</> htmx ~ Code is Cheap(er)
In this essay, Carson Gross argues that as AI makes code cheap to produce, understanding code becomes the expensive and scarce resource. He warns of the complexity that LLM code can generate and proposes the subtractive, constraining engineer as the discipline…
👍3💯1
Сьогодні нарешті закінчив переклад Слів настанови Абая Кунанбаєва. Я не знайшов переклада українською, тому вирішив зробити сам.
Як на мене це цікавий твір через те що він навіть сто років потому показує те як думає кахахський народ. Ще його думки цікаві, бо його мабуть назвали би зараз поміркованим мусульманином, і це показує що мусульмани, як і християни свого часу по різному дивляться на віру, і треба насам перед дивитися на справи людей а не атрибутику, як колір шкіри, вік, пол, чи релігія.
Маю надію що сподобається
https://kant2002.github.io/words-abay/
Як на мене це цікавий твір через те що він навіть сто років потому показує те як думає кахахський народ. Ще його думки цікаві, бо його мабуть назвали би зараз поміркованим мусульманином, і це показує що мусульмани, як і християни свого часу по різному дивляться на віру, і треба насам перед дивитися на справи людей а не атрибутику, як колір шкіри, вік, пол, чи релігія.
Маю надію що сподобається
https://kant2002.github.io/words-abay/
Андрій-Ка
Слова настанови
Досить простий блог про задротьські речі. Найбільше мене цікавить .NET, NLP, компілятори, AOT технології.
❤4👎1
Окей. У нас починаються вибори в раду директорів Дотнет Фундації. Це все ще зламане комьюніті і організація але я не знаю кращого для дотнету. Так ця організація погано працює, але наче поки альтернатив немає і там точно є люди які хотять покращити стан.
Щодо людей які обираються на цю посаду. Як і в прошлому році мабуть я не знаю там нікого. Я мабуть піду в дикий інтернет шукати де ці люди живуть і буду напряму спілкуватися із ними и питати чому треба віддати за них мій голос. Якщо те саме зробите і ви, буде круто
https://dotnetfoundation.org/board-elections/candidates
Щодо людей які обираються на цю посаду. Як і в прошлому році мабуть я не знаю там нікого. Я мабуть піду в дикий інтернет шукати де ці люди живуть і буду напряму спілкуватися із ними и питати чому треба віддати за них мій голос. Якщо те саме зробите і ви, буде круто
https://dotnetfoundation.org/board-elections/candidates
🤔5❤1🤣1
Кучно йде. Це цікава публікація 1990 року, яка намагається побудувати аналогії із тим як в індустрії США впроваджувалися електричні мотори із компьютерізацією. Там багато речей які не дуже очевидні в поточному ШІ дискурсі. Як то:
- час який потрібно було на діфузію іновацій в суспільстві (я не вірю Курцвейлу якщо що)
- те що проста електрифікація заводу без повної перебудови не працювала
- аналогію між критиками компьютерізаціі і крітиками ШІ, і чому були праві обидві сторони.
- причини чому ЩІ не показує заявлених результатів десь в економічних звітах компаній.
https://gwern.net/doc/economics/automation/1990-david.pdf
- час який потрібно було на діфузію іновацій в суспільстві (я не вірю Курцвейлу якщо що)
- те що проста електрифікація заводу без повної перебудови не працювала
- аналогію між критиками компьютерізаціі і крітиками ШІ, і чому були праві обидві сторони.
- причини чому ЩІ не показує заявлених результатів десь в економічних звітах компаній.
https://gwern.net/doc/economics/automation/1990-david.pdf
👍2🔥1
Люди помирають. Навіть без війни. Мені достався специфічний проект. Старий знайомий сказав що у його розробника знайшли рак, і він хотів щоб я був на підстраховці на всяк випадок. Це було майже два місяці тому, і оригінальний розробник який завідував процесом мав потроху його задокументувати і передати мені. Йому явно було важко, бо він виходив дуже рідко на звʼязок. А потім клієнт написав що Слави не стало. Це було приблизно місяць тому. Звісно я гарно себе почуваю при пожежогасінні але я явно не очікував що це буде настільки екстремальний проект.
Звісно немає документації. Процес побудований із декілька частин в різних репозіторіях. Оточення де треба запускати процес частково постраждало бо було на зашифрованому розділу диску.
Бережіть себе, життя йде мимо. І пишіть документацію.
Звісно немає документації. Процес побудований із декілька частин в різних репозіторіях. Оточення де треба запускати процес частково постраждало бо було на зашифрованому розділу диску.
Бережіть себе, життя йде мимо. І пишіть документацію.
💔17
Що таке мова? Нащо вона потрібна, як легко її забути людям? Чи достатньо ми використовуємо мову щоб вона жила?
Я вважаю що українська недостатньо розвинута в науковій сфері і це мабуть означає тиск на неї із боку інших мов (і це ми бачимо на практиці)
Ситуація із казахською гірша але начебто є сильне комьюніті де казахська рідна мова для людей. Але ситуація із медіа все ще бажає кращого
На редіті дуже гарне обговорення щодо того як підтримувати вимираючі мови і чого - недостатньо для розвитку. Хоча найнято і казахська і українська не планують помирати як мови, але аргументи які люди використовують для захисту формальних політик відродження дуже знайомі. Мабуть дуже важко ці аргументи трансформувати в загальну підтримку бо наче лише націоналістичні політики по підтримці мови працюють
https://www.reddit.com/r/linguistics/s/2KlS7oCdd1
Я вважаю що українська недостатньо розвинута в науковій сфері і це мабуть означає тиск на неї із боку інших мов (і це ми бачимо на практиці)
Ситуація із казахською гірша але начебто є сильне комьюніті де казахська рідна мова для людей. Але ситуація із медіа все ще бажає кращого
На редіті дуже гарне обговорення щодо того як підтримувати вимираючі мови і чого - недостатньо для розвитку. Хоча найнято і казахська і українська не планують помирати як мови, але аргументи які люди використовують для захисту формальних політик відродження дуже знайомі. Мабуть дуже важко ці аргументи трансформувати в загальну підтримку бо наче лише націоналістичні політики по підтримці мови працюють
https://www.reddit.com/r/linguistics/s/2KlS7oCdd1
Reddit
From the linguistics community on Reddit: Native speaking Gaelic communities could be lost ‘in this generation’
Explore this post and more from the linguistics community
❤2
Сенсація! Скандал! GitHub UI fixed on large files. gc.cpp no longer freeze the brower.
https://github.com/dotnet/runtime/blob/main/src/coreclr/gc/gc.cpp
https://github.com/dotnet/runtime/blob/main/src/coreclr/gc/gc.cpp
😁5
https://kant2002.github.io/en/dotnet/open-source/2026/07/12/dotnet-gc.html
а тепер звідки я дізнався про сенсацію то. я розбирався із прикладом як вбудувати .NET GC як частину своєї С++ аплікації. В цілому це дуже прикольна затея, навіть простий збірник сміття доволі легко підключити до своєї апки. Я розумію що не на часі рекламувати С++, але кращого механізму почати діалог про збірку сміття в .NET я не бачу. Якщо хтось так само зробить аналогічний приклад як витягнути Гошну збірку сміття, я був би вдячний, можна було би спробувати побудувати чесний бенчмаркінг збірки сміття відокремлено від рантайму
а тепер звідки я дізнався про сенсацію то. я розбирався із прикладом як вбудувати .NET GC як частину своєї С++ аплікації. В цілому це дуже прикольна затея, навіть простий збірник сміття доволі легко підключити до своєї апки. Я розумію що не на часі рекламувати С++, але кращого механізму почати діалог про збірку сміття в .NET я не бачу. Якщо хтось так само зробить аналогічний приклад як витягнути Гошну збірку сміття, я був би вдячний, можна було би спробувати побудувати чесний бенчмаркінг збірки сміття відокремлено від рантайму
Андрій-Ка
Integrating .NET GC in your C++ application
When you read programming language holy wars, what irritates me is that when .NET compares to Go then magically arguments about GC start floating around, that some GC is magically better then others. I found that super irrational to that degree so I decide…
😁3❤1
Помилки в мовах програмування це тема для досліджень. Але багато людей користуються ЛЛМ агентами для виконання своєї роботи. Ми довго вчилися робити помилки зрозумілими для людей. Чи це правильна стратегія? Чи потребують агенти іншого формату діагностики про помилки?
Дослідження пана Крішнамурті намагається почати цей діалог. Він сам не каже що дослідження відповідає на всі питання і що є дуже багато обмежень в цьому дослідження але як старт діскусіі — я вважаю круто.
Також агенти побудовані на моделі із відкритими вагами! Що означає якщо сильно захотіти і мати Мак із 24 Гб ОЗУ то можна самостійно відтворити дослідження
Коротше гарного читання
https://arxiv.org/html/2606.01522v2
Дослідження пана Крішнамурті намагається почати цей діалог. Він сам не каже що дослідження відповідає на всі питання і що є дуже багато обмежень в цьому дослідження але як старт діскусіі — я вважаю круто.
Також агенти побудовані на моделі із відкритими вагами! Що означає якщо сильно захотіти і мати Мак із 24 Гб ОЗУ то можна самостійно відтворити дослідження
Коротше гарного читання
https://arxiv.org/html/2606.01522v2
❤4🥰2
https://arxiv.org/abs/2511.06148
Справа Тімніт Гібру не буде забута.
Справа Тімніт Гібру не буде забута.
These results reveal that LLMs are not merely passive mirrors of human social biases, but can actively create new ones from experience, raising urgent questions about how these systems will shape societies over time.
arXiv.org
Large Language Models Develop Novel Social Biases Through Adaptive...
As large language models (LLMs) are adopted into frameworks that grant them the capacity to make real decisions, it is increasingly important to ensure that they are unbiased. In this paper, we...
😱1
Інколи щоб побачити щось цікаве не потрібно дивитися в майбутьне, а треба подивитися в минуле. Коли я шукав інформацію про програми на FLOW-MATIC, я знайшов архів документів який залишився від Грейс Гопер. Одним із документів був дуже цікавий звіт про роботу комітету який будував спільну бізнес-мову програмування, яку потім назовуть COBOL.
Що мене вразило, що індустрія мала ті самі проблеми які ми маємо зараз в айті. Ті самі проблеми із замовниками і чванливими експертами. Звісно ми маємо інші технічні обмеження, але соціальні обмеження які заважають нам будувати ефекивні програми — ті самі.
Також дуже здивувало скільки часу тоді виділялося на навчання програмуванню. Зараз будь який бізнес був би здивований таким термінам, але раніше це якось працювало. Це цікаве спостереження.
Коли будете читати, я закликаю не шукати спосіб прогнозування майбутьного. Для мене цей документ скоріш спосіб зрозуміти поточний день краще.
https://kant2002.github.io/uk/history/cobol/2026/07/16/current-development-in-cobol-uk.html
Що мене вразило, що індустрія мала ті самі проблеми які ми маємо зараз в айті. Ті самі проблеми із замовниками і чванливими експертами. Звісно ми маємо інші технічні обмеження, але соціальні обмеження які заважають нам будувати ефекивні програми — ті самі.
Також дуже здивувало скільки часу тоді виділялося на навчання програмуванню. Зараз будь який бізнес був би здивований таким термінам, але раніше це якось працювало. Це цікаве спостереження.
Коли будете читати, я закликаю не шукати спосіб прогнозування майбутьного. Для мене цей документ скоріш спосіб зрозуміти поточний день краще.
https://kant2002.github.io/uk/history/cobol/2026/07/16/current-development-in-cobol-uk.html
Андрій-Ка
Сучасні тенденції в програмуванні спільною мовою для систем обробки ділових даних.
БУДЬ ЛАСКА ПОВЕРНІТЬ Командер Грейс М. Гоппер, Військово-морський резерв США
❤2
Десь годину тому, в каналі по харнес інженірінгу я спілкувався із Єгором Смоляковим щодо того що я вважаю гарним процесом конвертації програми із однією мови програмування на іншу. І так трапилося що в федіверсі хтось висловив свою, для мене аналогічну думку. ЛЛМ прибирає процес мислення через роботу. У вигляді прикладу там академічна робота, що трішки інше. Але це вже на розсуд читача, чи це гарна аналогія чи ні.
https://mathstodon.xyz/@MartinEscardo/116937684057505729
https://mathstodon.xyz/@MartinEscardo/116937684057505729
Mathstodon
Martin Escardo (@MartinEscardo@mathstodon.xyz)
I am trying to verbalize to myself why I don't like autoformalization (say to get Claude to write Agda code for me).
As I have said repeatedly before, I use TypeTopology/Agda as a blackboard, to think about mathematical objects and their properties.
When…
As I have said repeatedly before, I use TypeTopology/Agda as a blackboard, to think about mathematical objects and their properties.
When…
👍1😁1
Я потрапив на цю гілку через цікавий коментар про відношення Рея Бредбері до Айн Ранд. Але і сам оригінальний пост доволі цікавий на мою думку. Там можливо занадто дістопично для когось, але як поєднати Рея Бредбері і не дістопію я не знаю :)
https://mastodon.laurenweinstein.org/@lauren/116918792250023123
https://mastodon.laurenweinstein.org/@lauren/116918792250023123
Mastodon
Lauren Weinstein (@lauren@mastodon.laurenweinstein.org)
This is the text of my national network radio report yesterday discussing the misbehaving teens turned over to police by Waymo, and the broader implications of surveillance and actions by robotic vehicles. As always there may have been minor wording variations…
❤1
Forwarded from AI HOUSE
🔥 Залишилося лише два тижні, щоб долучитися до третього щорічного дослідження AI-екосистеми України.
Ми досліджуємо, як змінюються ринок AI-талантів, освітній ландшафт і стартап-екосистема, щоб краще зрозуміти виклики та можливості розвитку штучного інтелекту в Україні.
Хто може долучитися?
▪️ AI та ML-фахівці: ML Engineers, Data Scientists, AI Engineers, MLOps Engineers, NLP Engineers, Computer Vision Engineers, Data Engineers та спеціалісти суміжних напрямів.
▪️ Представники бізнесу, які створюють або впроваджують AI-рішення та готові долучитися до глибинних інтерв'ю в межах дослідження.
Всі учасники отримають ранній доступ до результатів дослідження, а також шанс виграти подарунки від AI HOUSE — після завершення опитування ви зможете залишити свої контактні дані в окремій формі. Вона не пов'язана з відповідями в анкеті, тож анонімність дослідження буде повністю збережена.
📅 Дедлайн — 26 липня.
🔗 Долучайтеся за посиланням.
Ми досліджуємо, як змінюються ринок AI-талантів, освітній ландшафт і стартап-екосистема, щоб краще зрозуміти виклики та можливості розвитку штучного інтелекту в Україні.
Хто може долучитися?
▪️ AI та ML-фахівці: ML Engineers, Data Scientists, AI Engineers, MLOps Engineers, NLP Engineers, Computer Vision Engineers, Data Engineers та спеціалісти суміжних напрямів.
▪️ Представники бізнесу, які створюють або впроваджують AI-рішення та готові долучитися до глибинних інтерв'ю в межах дослідження.
Всі учасники отримають ранній доступ до результатів дослідження, а також шанс виграти подарунки від AI HOUSE — після завершення опитування ви зможете залишити свої контактні дані в окремій формі. Вона не пов'язана з відповідями в анкеті, тож анонімність дослідження буде повністю збережена.
📅 Дедлайн — 26 липня.
🔗 Долучайтеся за посиланням.
І тепер трішки важливого політичного активізму. В цілому у нас є два браузера
- хром
- вебкіт
ФФ як браузер який мав лівацькі коріння вмирає. Мозіла системно руйнує залишки свого бренду тому люди вирішили що їм треба новий рушій не залежний від відомих гравців. Окрім відомого мені Servo пропонують і інші шляхи. Тому якщо ви хочете більше вільний веб — долучайтеся
https://mastodon.social/@sarahjamielewis/116959309031485270
- хром
- вебкіт
ФФ як браузер який мав лівацькі коріння вмирає. Мозіла системно руйнує залишки свого бренду тому люди вирішили що їм треба новий рушій не залежний від відомих гравців. Окрім відомого мені Servo пропонують і інші шляхи. Тому якщо ви хочете більше вільний веб — долучайтеся
https://mastodon.social/@sarahjamielewis/116959309031485270
Mastodon
Sarah Jamie Lewis (@sarahjamielewis@mastodon.social)
If the independent, non-slop web has any future at all, then now must be the time for every firefox fork to commit to working together to maintain a hardfork isolated from Mozilla.
It's a project that is too large to be handled by any small project alone…
It's a project that is too large to be handled by any small project alone…
❤3