Листи задрота
الذهاب إلى القناة على Telegram
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
إظهار المزيدلم يتم تحديد البلدالفئة غير محددة
205
المشتركون
لا توجد بيانات24 ساعات
+17 أيام
+430 أيام
جارٍ تحميل البيانات
القنوات المماثلة
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
سحابة العلامات
لا توجد بيانات
هل تواجه مشاكل؟ يرجى تحديث الصفحة أو الاتصال بمدير الدعم الخاص بنا.
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
أكتوبر '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 |
