Листи задрота
Відкрити в Telegram
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
Показати більшеКраїна не вказанаКатегорія не вказана
205
Підписники
Немає даних24 години
+17 днів
+430 днів
Завантажуємо дані
Схожі канали
Немає даних
Виникли проблеми? Будь ласка, оновіть сторінку або зверніться до нашого support-менеджера.
Хмара тегів
Немає даних
Виникли проблеми? Будь ласка, оновіть сторінку або зверніться до нашого support-менеджера.
Вхідні та вихідні згадування
---
---
---
---
---
---
Залучення підписників
жовтень '26жовт '26
жовтень '26
+3
в 0 каналах
вересень '26
+4
в 0 каналах
Get PRO
серпень '26
+30
в 1 каналах
Get PRO
липень '260
в 1 каналах
Get PRO
червень '26
+27
в 2 каналах
Get PRO
травень '260
в 2 каналах
Get PRO
квітень '26
+60
в 3 каналах
Get PRO
березень '260
в 1 каналах
Get PRO
лютий '26
+6
в 0 каналах
Get PRO
січень '26
+9
в 1 каналах
Get PRO
грудень '250
в 0 каналах
Get PRO
листопад '25
+1
в 0 каналах
Get PRO
жовтень '25
+12
в 0 каналах
Get PRO
вересень '250
в 0 каналах
Get PRO
серпень '25
+8
в 0 каналах
Get PRO
липень '250
в 0 каналах
Get PRO
червень '25
+14
в 0 каналах
Get PRO
травень '250
в 1 каналах
Get PRO
квітень '25
+13
в 0 каналах
Get PRO
березень '250
в 0 каналах
Get PRO
лютий '250
в 0 каналах
Get PRO
січень '25
+21
в 0 каналах
Get PRO
грудень '240
в 0 каналах
Get PRO
листопад '24
+4
в 0 каналах
| Дата | Залучення підписників | Згадування | Канали | |
| 20 жовтня | 0 | |||
| 19 жовтня | 0 | |||
| 18 жовтня | +1 | |||
| 17 жовтня | 0 | |||
| 16 жовтня | 0 | |||
| 15 жовтня | 0 | |||
| 14 жовтня | 0 | |||
| 13 жовтня | 0 | |||
| 12 жовтня | 0 | |||
| 11 жовтня | 0 | |||
| 10 жовтня | 0 | |||
| 09 жовтня | 0 | |||
| 08 жовтня | 0 | |||
| 07 жовтня | 0 | |||
| 06 жовтня | 0 | |||
| 05 жовтня | 0 | |||
| 04 жовтня | 0 | |||
| 03 жовтня | +2 | |||
| 02 жовтня | 0 | |||
| 01 жовтня | 0 |
Дописи каналу
Дуже цікава стаття про інтерпретацію нейронних мереж. Може таки ми зможемо інтерпретувати ЛЛМ і це буде доказово
https://already-clean.goodfire.com/
| 2 | Ось до речі цікавий сайт зроблений одним із активістів українського перекладу MDN. Цей сайт присвячений пошуку своїх корінь https://koreni.org.ua/ через архивні матеріали, якщо ми можете взяти архивні реестри, можна спробувати долучитися до проекту і допомогти накопичувати базу даних потроху | 242 |
| 3 | В цілому гарна стаття яка описує практичні проблеми із автоформплізауію доведень, можна використовувати незалежно від позиції по ШІ
https://arxiv.org/pdf/2610.08144 | 218 |
| 4 | Там працюють люди зовсім іншого калібру, не те що в нас.
https://github.com/search?q=repo%3Aopenai%2Fmath+sorry&type=code | 256 |
| 5 | із поганих новин, знайшов баг в тому яка версія компілятора упакована в останніх версіях .NET SDK 10, це мені заважало починити баг із екстракцією F# із F*. Із гарних новин, новий бекенд на екстракцію в F* підтримує цей сценарій, і скоро можна буде нормально в дотнеті гратися | 348 |
| 6 | Хочете Standard ML для .NET? — тоді ми йдемо до вас.
https://github.com/kant2002/smldotnet | 300 |
| 7 | А ви знали, як буде ransomware по-казахськи? Калимware! | 365 |
| 8 | Це цікава діскусія яка почалася із думки Кет Хікс яка апелюює що у людей багато способів будувати модель світу, і описана в статті “Programming is building mental model” це не єдиний спосіб будувати розуміння технічно складної системи. Я мав нагоду працювати із гарними менеджерами які розуміли систему по іншому ніж я, і вони будували розуміння системи зовсім по іншому. Це скоріш за те що ШІ для розуміння не робить щось гірше, але це все ще не дає однозначну якусь відповідь. Просто для мене це коригування занадто гучної заяви що нам треба мати розуміння системи лише одним конкретним чином. Читати не лише Кет а і інших також.
I like this paper but the strangest part of its impact to me is the general idea people seem to take from it that we cannot form our mental models when we haven't created something ourselves, when in fact, the core architecture of how human beings form mental models and test hypotheses about them is essentially all evolved for understanding a world we didn't create ourselves | 433 |
| 9 |  Андрій Курдюмов розповідає, як звичайний файл prn.ap раптом уперся в легасі Windows - Git for Windows відмовився його індексувати через зарезервоване ім’я PRN.
У статті автор розбирається, звідки взялося це обмеження, а у підсумку показує, як локально змінити поведінку Git і таки клонувати Linux-репозиторій на Windows.
👉 https://dou.ua/goto/EWBW | 1 |
| 10 | Ось наслідки того що Git for Windows зламаний. Довелося робити маленький форк, поки для себе. Якщо потрібно вам, то пишіть, спробую організувати білди.
https://kant2002.github.io/uk/git/hacking/2026/09/21/cloning-linux-on-windows-uk.html | 306 |
| 11 | Я не знаю нащо Гіт так робить, але він не може додати в індекс файл prn.ap, експериментально це пов'язано із тим що PRN це заборонена назва файла, але ж у мене розширення інше, і файл цілком нормальний і PowerShell і редактор його бачили. Ось чого не очікував, того не очікував від Git | 331 |
| 12 | а клод мабуть християнин, чи просто теїст. Переклав "молитва огню" як "молитва Богу" | 377 |
| 13 | А колись, 17 років тому, давно давно, коли формальні докази були інноваційною технологією, люди також вважали що не треба довіряти доведенням зробленим компьютерами.
https://sites.math.rutgers.edu/~zeilberg/Opinion94.html
Opinion 94: The Human Obsession With "Formal Proofs" is a Waste of the Computer's Time, and, Even More Regretfully, of Humans' Time
Written: Jan. 4, 2009 | 397 |
| 14 | Я коли відкривав статтю, думав що ну ось, зараз буде щось цікаве почитати зранку, Нажаль, ця гарна стаття, вже не актуальна для мене, просто тому що я вважаю що це перший етап коли ти дуже дуже гарно розібрався із ORM + маєш гарний SQL і вирішив що SQL це відповідь. В .NET розробці це як залишитися назавжди із використанням Dapper. Із прагматичних причин я вважаю що це не правильний вибір, і тобі доведеться в роботі використовувати всі можливості ORM так і опускатися до SQL коли потрібно.
І після цього я думаю ви будете шукати або сучасний SQL або сучасний Linq | 431 |
| 15 | Мене не влаштовує сучасний відкритий код. Хоча він і відкритий і переміг але відсмак в роті від нього дуже і дуже корпоративний.
Я не можу сам вголос сформулювати що саме мене турбує в когерентному вигляді, тому шукаю що є в інтернеті.
Я навіть не готовий діскутувати всерйоз проблему так як не знаю що мені відгукується
Але читати думки як в цьому треді, або допису шо викликала тред дозволяє мені подивитися на те що думають люди які вирішили що бачать проблему і хоч якісь шляхи для її вирішення.
Маю надію шо я краще зрозумію шо саме мені не подобається і що треба робити
https://toot.cafe/@slightlyoff/117202195414384428 | 437 |
| 16 | Це наче не моє але мені здається що це гарний матеріал який був би цікавий мені колись, коли я не дуже давно працював. Я не впевнений що прямо це навчить дизайну, скоріш ні, просто це покаже його менш сухо ніж він описується від тої самої бали чотирьох
https://third-bit.com/sdxpy/ | 317 |
| 17 | Думаю друзів треба рекламувати :) ну і в цілому ректрокомпьютінг мене завжди цікавить | 295 |
| 18 | Якщо ви ще не спите, чи вже прокинулись і нічого робити...
То в мене для вас є дещо.
Це частинка мого життя. Одна з речей яка мене формувала як програміста та інженера.
https://youtu.be/7EdjHP9XyKQ
Приємного просмотру (чи прослуховування).
Лайк, підписка, комент - завжди вітаються.
А ще більше - якщо є конструктивна критика.
Дякую, що ви тут зі мною. | 297 |
| 19 | Знайшов кльовий сайт який вчить як працювати із TLA+, невтримався і переклав, доволі гарно покроково показує що є багато чого.
також там є приклади від комьюніті і це набагато більше перекладу, але може якщо буде зацікавлення в спільноти набагато більше ніж звичайно я і це добью
а поки https://kant2002.github.io/tla-by-example/ | 284 |
| 20 | Історія обчислювання доволі цікава тема для мене. В цій доповіді Кейсі Мураторі розповідає історію виникнення фрази Premature optimization is the root of all evils, а також культурний контекст у академічній середі який створив цю фразу.
https://www.youtube.com/watch?v=hpj6r6CjJf8 | 280 |
