Листи задрота
Kanalga Telegram’da o‘tish
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
Ko'proq ko'rsatishMamlakat belgilanmaganToif belgilanmagan
205
Obunachilar
Ma'lumot yo'q24 soatlar
+17 kun
+430 kun
Ma'lumotlar yuklanmoqda
O'xshash kanallar
Ma'lumot yo'q
Muammo bormi? Iltimos, sahifani yangilang yoki bizning qo'llab-quvvatlash boshqaruvchimizga murojaat qiling>.
Taglar buluti
Ma'lumot yo'q
Muammo bormi? Iltimos, sahifani yangilang yoki bizning qo'llab-quvvatlash boshqaruvchimizga murojaat qiling>.
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Oktabr '26Okt '26
Oktabr '26
+3
0 kanalda
Sentabr '26
+4
0 kanalda
Get PRO
Avgust '26
+30
1 kanalda
Get PRO
Iyul '260
1 kanalda
Get PRO
Iyun '26
+27
2 kanalda
Get PRO
May '260
2 kanalda
Get PRO
Aprel '26
+60
3 kanalda
Get PRO
Mart '260
1 kanalda
Get PRO
Fevral '26
+6
0 kanalda
Get PRO
Yanvar '26
+9
1 kanalda
Get PRO
Dekabr '250
0 kanalda
Get PRO
Noyabr '25
+1
0 kanalda
Get PRO
Oktabr '25
+12
0 kanalda
Get PRO
Sentabr '250
0 kanalda
Get PRO
Avgust '25
+8
0 kanalda
Get PRO
Iyul '250
0 kanalda
Get PRO
Iyun '25
+14
0 kanalda
Get PRO
May '250
1 kanalda
Get PRO
Aprel '25
+13
0 kanalda
Get PRO
Mart '250
0 kanalda
Get PRO
Fevral '250
0 kanalda
Get PRO
Yanvar '25
+21
0 kanalda
Get PRO
Dekabr '240
0 kanalda
Get PRO
Noyabr '24
+4
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 20 Oktabr | 0 | |||
| 19 Oktabr | 0 | |||
| 18 Oktabr | +1 | |||
| 17 Oktabr | 0 | |||
| 16 Oktabr | 0 | |||
| 15 Oktabr | 0 | |||
| 14 Oktabr | 0 | |||
| 13 Oktabr | 0 | |||
| 12 Oktabr | 0 | |||
| 11 Oktabr | 0 | |||
| 10 Oktabr | 0 | |||
| 09 Oktabr | 0 | |||
| 08 Oktabr | 0 | |||
| 07 Oktabr | 0 | |||
| 06 Oktabr | 0 | |||
| 05 Oktabr | 0 | |||
| 04 Oktabr | 0 | |||
| 03 Oktabr | +2 | |||
| 02 Oktabr | 0 | |||
| 01 Oktabr | 0 |
Kanal postlari
Дуже цікава стаття про інтерпретацію нейронних мереж. Може таки ми зможемо інтерпретувати ЛЛМ і це буде доказово
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 |
