Листи задрота
Ir al canal en Telegram
очікувати варто переважно програмування, бюрократії, NLP, можливо педагогіки, компіляторів і ще можливо лінгвістики
Mostrar másEl país no está especificadoLa categoría no está especificada
205
Suscriptores
Sin datos24 horas
+17 días
+430 días
Cargando datos
Canales Similares
Sin datos
¿Algún problema? Por favor, actualice la página o contacte a nuestro gerente de soporte.
Nube de Etiquetas
Sin datos
¿Algún problema? Por favor, actualice la página o contacte a nuestro gerente de soporte.
Menciones Entrantes y Salientes
---
---
---
---
---
---
Atraer Suscriptores
octubre '26oct '26
octubre '26
+3
en 0 canales
septiembre '26
+4
en 0 canales
Get PRO
agosto '26
+30
en 1 canales
Get PRO
julio '260
en 1 canales
Get PRO
junio '26
+27
en 2 canales
Get PRO
mayo '260
en 2 canales
Get PRO
abril '26
+60
en 3 canales
Get PRO
marzo '260
en 1 canales
Get PRO
febrero '26
+6
en 0 canales
Get PRO
enero '26
+9
en 1 canales
Get PRO
diciembre '250
en 0 canales
Get PRO
noviembre '25
+1
en 0 canales
Get PRO
octubre '25
+12
en 0 canales
Get PRO
septiembre '250
en 0 canales
Get PRO
agosto '25
+8
en 0 canales
Get PRO
julio '250
en 0 canales
Get PRO
junio '25
+14
en 0 canales
Get PRO
mayo '250
en 1 canales
Get PRO
abril '25
+13
en 0 canales
Get PRO
marzo '250
en 0 canales
Get PRO
febrero '250
en 0 canales
Get PRO
enero '25
+21
en 0 canales
Get PRO
diciembre '240
en 0 canales
Get PRO
noviembre '24
+4
en 0 canales
| Fecha | Crecimiento de Suscriptores | Menciones | Canales | |
| 20 octubre | 0 | |||
| 19 octubre | 0 | |||
| 18 octubre | +1 | |||
| 17 octubre | 0 | |||
| 16 octubre | 0 | |||
| 15 octubre | 0 | |||
| 14 octubre | 0 | |||
| 13 octubre | 0 | |||
| 12 octubre | 0 | |||
| 11 octubre | 0 | |||
| 10 octubre | 0 | |||
| 09 octubre | 0 | |||
| 08 octubre | 0 | |||
| 07 octubre | 0 | |||
| 06 octubre | 0 | |||
| 05 octubre | 0 | |||
| 04 octubre | 0 | |||
| 03 octubre | +2 | |||
| 02 octubre | 0 | |||
| 01 octubre | 0 |
Publicaciones del Canal
Дуже цікава стаття про інтерпретацію нейронних мереж. Може таки ми зможемо інтерпретувати ЛЛМ і це буде доказово
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 |
