Листи задрота
201 subscribers
15 photos
135 links
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
Download Telegram
Людина легенда. Спілкуватися із живими людьми.

https://x.com/grady_booch/status/2009465895471690141
Ця інструкція по роботі із Джіу-джітсу(jj) мені зайшла більше. Виглядає що є чітке розділення локальної роботи, яка одна, роботою із віддаленими репозіторіями, що інша робота. Через те що все це працює поверх гіта, можна експериментувати навіть на живих проектах. Але на пустому проекті для тренування мені зайшло краще. треба більше практикувати звісно

https://abhinavsarkar.net/posts/jj-usage/
Ой як тяжко мені цей вайбкодінг дається, не розумію як воно працює. Але поділюся тим як воно в мене виходить. Без претензії на правільність, лише як декларацію шляху.

Я взяв prompt-builder.prompt.md із Awesome Copilot. за допомогою його зробив собі промпт який повинен додавати нові табличкі в DbContext проекта EfCore. Перша помилка була в назві файлу, і те що я не достатньо інформації дав, видалив файл, зробив наново знову через промпт. Після того як в мене був якийсь промпт, я взяв і запустив його в копілоті дав опис своїх змін. Воно дійсно мені нагенерувало ті класи які я приблизно собі уявляв, але воно дуже хотіло добавати Fluent API хоча я його не люблю. То я взяв і почав міняти свій вспоміжний промпт на зміну структури бази. Пробую, дивлюся, відкидаю результати, міняю промпт. Із третього разу наче завелося.

це насправді було боляче. Зайвий раз нагадує мені що вчитися це складно. Цікаво чи стикнуся я із проблемами із наступними використаннями промпта. Будемо дивитися, але дійсно це дуже інший процесс.
Я звісно не можу пройти мимо такої мови програмування яка використовує не англійські лінгвістичні особливості. https://github.com/kip-dili/kip/wiki/Tutorial#function-calls

Для мене це нагадує механізм іменованого виклику параметрів в сучасних мовах програмування.

Можливо можна вважати що ми передаємо типізовані параметри в функцію і в залежності від типу віртуальна машина робить підстановку параметрів.
🔥1
ПІдкажіть який на вашу думку рівень жиру на скріншоті
В чаті по Аді, скинули старий компілятор Ада- із майже орігінальними ісходниками. Але не із 83 а із 94. Я спробував скомпілювати, і воно майже все трівіально скомпілювалося. Нажаль запустити поки не виходить, без серйозних інвестицій в час і розробку, тому поки на мінімалках. В цілому я дуже був вражений наскількі сумісний старий С код із сучасними компіляторами.
Люди які пропагували децентралізацію перемогли. Мені здається нема сенсу заперечувати що ті ризики про які попереджали маргінали прийшли до нас.
- держави не кооперують а конкурують
- в середині держава коли має централізовані інструменти репресує громадян

Це модна сказати зараз про увесь світ, а не лише про маргіналів. Більше того, самі країни зараз хотять децентралізації хочаб часткової і ситуативної. Поїзд рухається і далі буде лише набирати оберти.

Як би я не любив ранній інтернет поки він знову неможливий, але мати захищений куточок вільного інтелектуального простору це зараз норма, і це треба будувати
👍21
Це регулярне нагадування що якщо ти вчений, або щось таке, то не треба бути мудаком. Було би непогано забути ім'я Докінза та інших назавжди. Дуже цікаво як права чоловіків інколи поєднуються із просто бажанням мати статус кво https://youtu.be/ZoO9FZXUgv4
А ось ці результати були зовсім не очікувані. Хоча деякі знайомі так і казали що треба в нахалку працювати

https://arxiv.org/abs/2602.11988

Across multiple coding agents and LLMs, we find that context files tend to reduce task success rates compared to providing no repository context, while also increasing inference cost by over 20%.
🤝1
Нарешті я переклав вспоміжний матеріал на Lean4 Теренса Тао до його книги Аналіз I.
Для тих хто не знає, це його проект по формалізації його доказів із книги на Lean4. Із одного боку це приклад того як формалізувати існуючу математику для студентів, із іншого там багато спеціально недоведених речей, тому можна буде попрактикуватися в доведенні самостійно. Бо лише практика дає досвід.

Якщо ви помітили що я використовую нестантартну математичну термінологію, я буду дуже вдячний якщо ви вкажете мені на це, щоб я міг це виправити.
🙏2🔥1
Із людськими сторонніми контрібьюторами в Цезіум складно було, але роботи вирішили що ми гідні того щоб мати із нами справу, і сами прийшли до нас https://github.com/ForNeVeR/Cesium/pull/964
Навіть не знаю що із цього вийде
Зробив переклад OWASP Cornucopia українською. якщо хтось може подивитися і дати рекомендації/коментарі, буду вдячний https://github.com/OWASP/cornucopia/pull/2494
🔥3👍2
Мені не зрозумілий весь меседж який ФСФ хоче донести до людей але виглядає що вони роблять приховану погрозу Антропіку

https://www.fsf.org/blogs/licensing/2026-anthropic-settlement
Все почалося із обговорення такого простого куска кейсу щодо холістичного використання ШІ у середі проджектів серед казахстанського комьюніті ПМ-ів.
При запуску проекту – pre-mortem за 3 години замість 12. На тому ERP-проекті ІІ знайшов ризик, який би команда не придумала: касири в магазинах саботуватимуть нову систему, бо звикли до старої за 8 років. Без цього інсайту проблема спливла б лише за пілота.


Я спочатку був дуже здивований що як так, це доволі простий і відомий ризик. І у чому тут користь від ШІ. Але потім в ході діскусії сам згадав що не так то багато вже команд десь в ентерпрайзі то і знають про типові ризики впроваждення. Ну і там було багато обговорювань.
Але що мені здалося цікавим, що виходить що ШІ зараз через довіру багатьох людей до нього вчить людей доволі відомим речам. Вони звісно могли вчитися самостійно, могли повірити вже досвідченим членам команди які сказали би про ці ризики, але через довіру до ШІ, люди отримують стандартне знання у делікатних речах, які вони можливо би пропустили через суто людяну упередженість.
Багато прикладів коли навіть якщо є в компанії люди які можуть розповісти про ризики, то їх думки можуть бути поглинуті начальством або почути не їх думки, а думки консультантів.
І тут мабуть дійсно ШІ вчить людей вже зараз в таких не оптимальних компаніяї. Це навчання працює через те що люди довіряють ШІ прямо зараз. Так, це дати людям рибу а не вудочку, але якщо люди не хотять рибачити. то це все одне краще ніж не допомогати людям.
👍21
О! Я два дні тому дізнався що CrowdIn це платформа для менеджменту локалізацій зроблена українцями!

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

Якось так трапилося що мені вони дуже подобаються. Рекомендую!
5
З вибаченнями до Борхеса, я вважаю, що все дослідницьке програмне забезпечення можна класифікувати так:

1. Те, що працює на ноутбуці початкового автора.
2. Те, єдина документація якого — постер з конференції 2009 року.
3. Те, що залежить від бібліотеки, яка залежить від бібліотеки, яка залежить від Python 2.
4. Те, що включене до цієї класифікації.
5. Те, у якого номер версії «final_FINAL_v3_revised_corrected» є коректним.
6. Те, що дає ледь помітно різні результати на Debian і Ubuntu з причин, які ніхто не досліджував.
7. Те, що написане на Fortran і тому є найнадійнішим з усіх.
8. Те, що працює правильно лише тоді, коли вхідний файл містить парну кількість рядків.
9. Те, яке при запуску видає одне число, що цитується у сімнадцяти статтях.
10. Те, яке швидше переписати, ніж зрозуміти.
11. Те, яке переписували чотири рази і воно все ще не завершене.
12. Те, чиї юніт-тести всі проходять, бо тести були написані під наявний результат.
13. Те, чий результат настільки правдоподібний, що його автори не ставили під сумнів його правильність.
14. Те, яке здалеку виглядає підтримуваним.

дякувати тут - https://third-bit.com/2026/03/26/classifying-research-software/
3
Абстрактні зобовʼязання - кому воно треба.

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

Не секрет, що у поточних активних дебатах та панічних заломлювань рук про наступ ШІ на переклад, зокрема на усний, одним з контраргументів називають саме етичні аспекти та відповідальність.

І тут стає особливо помітно, наскільки мало перекладачів усвідомлюють ці начебто абстрактні поняття.

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

"...act in good faith and respect the dignity of the profession..."

Коли усвідомлювати, що не лише права качати можна, а й треба свідомо брати на себе обовʼязки (як от поважати професію) - то і професія щедро тобі віддячить.

Якщо ні, то тоді не варта нарікати, що ти не пройшов через дедалі дрібніше сито реальності.

#insidetheinterpreting #interpretingisneverboring #conferenceinterpreting #професійнаспільнота
2🙉2
Давно я не читав нічого цікавого по педагогіці навчання програмуванню. Ця стаття дуже провокує мене спробувати використовувати ролі змінних для навчання. Замість комірки можна казати що бувають різні сорта комірок і це мабуть непогана інтуїція для початку навчання.

Почитайте і скажіть, які ще типи змінних ви бачили в реальних проектах

https://third-bit.com/2026/03/28/e-bike-for-the-mind/
2
ну коротше матеріали якщо підготувати, то наче даже непогано виходить щось гарне публікувати. Ось приклад вам статті як побудувати прості обфускатори.

https://kant2002.github.io/en/obfuscators/2026/04/02/how-to-build-obfuscator-part-i.html
👍6
https://ochagavia.nl/blog/a-real-world-case-of-property-based-verification/

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

Якщо вважати що будь-яка ШІ-побудована система складна, то подібні техніки цікаві. звісно сам проект супер-крутий - міжпланетарні сітьові взаємодії
👍21