Листи задрота
رفتن به کانال در 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 |
