AlexTCH
Kanalga Telegram’da o‘tish
Что-то про программирование, что-то про Computer Science и Data Science, и немного кофе. Ну и всякая чушь вместо Твиттера. :)
Ko'proq ko'rsatish333
Obunachilar
Ma'lumot yo'q24 soatlar
+17 kun
+130 kun
Ma'lumotlar yuklanmoqda
O'xshash kanallar
Taglar buluti
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Noyabr '26Noy '26
Noyabr '26
+1
1 kanalda
Oktabr '26
+52
1 kanalda
Get PRO
Sentabr '260
1 kanalda
Get PRO
Avgust '260
1 kanalda
Get PRO
Iyul '260
1 kanalda
Get PRO
Iyun '260
1 kanalda
Get PRO
May '260
0 kanalda
Get PRO
Aprel '260
3 kanalda
Get PRO
Mart '260
1 kanalda
Get PRO
Fevral '260
2 kanalda
Get PRO
Yanvar '260
2 kanalda
Get PRO
Dekabr '250
2 kanalda
Get PRO
Noyabr '250
1 kanalda
Get PRO
Oktabr '250
0 kanalda
Get PRO
Sentabr '250
1 kanalda
Get PRO
Avgust '25
+15
3 kanalda
Get PRO
Iyul '25
+3
2 kanalda
Get PRO
Iyun '25
+5
1 kanalda
Get PRO
May '25
+6
2 kanalda
Get PRO
Aprel '25
+6
2 kanalda
Get PRO
Mart '25
+8
2 kanalda
Get PRO
Fevral '25
+15
1 kanalda
Get PRO
Yanvar '25
+7
1 kanalda
Get PRO
Dekabr '24
+4
1 kanalda
Get PRO
Noyabr '24
+1
0 kanalda
Get PRO
Oktabr '24
+4
2 kanalda
Get PRO
Sentabr '24
+8
1 kanalda
Get PRO
Avgust '24
+8
2 kanalda
Get PRO
Iyul '24
+2
2 kanalda
Get PRO
Iyun '24
+5
0 kanalda
Get PRO
May '24
+3
0 kanalda
Get PRO
Aprel '24
+8
2 kanalda
Get PRO
Mart '24
+18
2 kanalda
Get PRO
Fevral '24
+9
2 kanalda
Get PRO
Yanvar '24
+8
0 kanalda
Get PRO
Dekabr '23
+209
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 13 Noyabr | 0 | |||
| 12 Noyabr | 0 | |||
| 11 Noyabr | 0 | |||
| 10 Noyabr | 0 | |||
| 09 Noyabr | 0 | |||
| 08 Noyabr | +1 | |||
| 07 Noyabr | 0 | |||
| 06 Noyabr | 0 | |||
| 05 Noyabr | 0 | |||
| 04 Noyabr | 0 | |||
| 03 Noyabr | 0 | |||
| 02 Noyabr | 0 | |||
| 01 Noyabr | 0 |
Kanal postlari
https://atlas.andtruth.com
Epic. Impressive. Beautiful. Illuminating.
&Truth team made a visualization of a huge chunk of libraries (glibc, bzip2, jemalloc, etc.) and applications (SQLite, Firefox, etc.) with dependencies between them and the state of verification. You can click on every node and see what's verified (and what's trusted) down to single functions.
I guess, the caveat is that it reflects only what &Truth verified, not taking into account other efforts.
It's not the complete picture and however impressively detailed it is, it still glosses over many nuances. But it certainly helps get the scale of things.
| 2 | Annual VerifyThis competition collects verification tasks for the next run:
https://verifythis.github.io/onsite/cfp/
Problems submission deadline: Friday, 18 December 2026, AoE
Competition: 10 and 11 April 2027 | 280 |
| 3 | https://www.youtube.com/watch?v=eUjx72GApN4
Em Chu's talk at JuliaCon'26 regarding what's expected from a mature lowering pass for a (dynamic) language (with macros) and how to get there. Primarily it's provenance for error messages, of course. And macro hygiene. | 504 |
| 4 | It's curious that LLMs (or "agents"), which are "software 2.0", are writing regular code for regular apps, which are "software 1.0". | 206 |
| 5 | JFP, but it's a "Journal of Fictional Programming". | 212 |
| 6 | OpenQuake Engine is not what you think. | 361 |
| 7 | Кот: делает какую-то хуйню.
Ты: умиляешься и гладишь.
Кот: начинает регулярно делать эту хуйню, рассчитывая, что его будут гладить. | 236 |
| 8 | Не стоит прогибаться под изменчивый мир
Пусть лучше он прогнётся под нас
ⓒ Машина Времени
We didn't know to be cut out for this
It would have to be cut into us
ⓒ Marilyn Manson | 252 |
| 9 | An absent-minded street thug struggles to live up to his legendary older brother's reputation and longs for the days of gang warfare.
ⓒ https://www.imdb.com/title/tt0086216/
THE FUCK?! 🤣 | 228 |
| 10 |  That's one hell of a team!.. | 261 |
| 11 |  That's kinda explains why the heck one needs (higher) category theory for.
https://www.youtube.com/watch?v=ZkWmKMig7Rk | 253 |
| 12 | Strategic WTF Analyst | 1 323 |
| 13 | https://scp-wiki.wikidot.com/scp-610
Suddenly it became even funnier. Or less funny depending on how you look at it and the news. | 416 |
| 14 | — Does structural integrity still hold?
— Vacuously.
— What do you mean?
— There ain't no structure no more. | 403 |
| 15 | https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2026
12 November 2026, 16:00 - 18:30
"Alan Turing, The Absent Father of Computing" by Andrew Hodges (University of Oxford)
Alan Turing (1912-1954) has often been dubbed the ‘Father’ of computing, this vague word conveying the complex connection between On Computable Numbers in 1936, the digital computing plans of 1945, the first working electronic computers in 1948-51, and computer science thereafter. I will address this complexity, starting with an update on the well-known question of whether and how von Neumann’s EDVAC report of 1945 was related to Turing’s work. But my emphasis will be on what happened after 1945, regarding it as a puzzle that Turing drew so little attention to his own 1936 foundations, despite their relevance to his famous Intelligent Machinery predictions. His extraordinary reticence affected the emergent science and technology of computing, as I will illustrate with some little-known documents. My conclusion is summarised in the title: it is fair to consider him a ‘father’, but he avoided taking either praise or responsibility for his offspring
Online attendance is possible via Zoom after a registration. | 804 |
| 16 |  Terminator: The Sarah Connor Chronicles Season 2 but unironically. | 392 |
| 17 | Если бы жил в Таиланде и завёл местного кота, определённо, назвал бы его Таймыр. | 411 |
| 18 | https://www.youtube.com/watch?v=xkKeGtIalXM
Yeah... Now I feel like Rents but without any drugs. And it sucks ass big time. | 421 |
| 19 | "Super-average-human-intelligence"
Probably, doesn't sound as scary, but it does sound much more plausible.
And as they say, to escape a lion you don't need to outrun lion, you only need to outrun the next guy. | 456 |
| 20 | Julia 1.13 has been released:
https://julialang.org/blog/2026/09/julia-1.13-highlights/
No major new features, but a handful of various performance improvements including faster package downloading, precompilation, loading and the hash function replacement (new one implemented in Julia).
The most interesting improvement could be the major GC phase speed up. Which was achieved by NOT marking and traversing image objects. Essentially, the objects `mmap`ed from the system and library images which never get deallocated. Implementation is a bit more involved than that, but the principle remains: don't perform useless work. Figuring out which work is useless is the real trick. | 888 |
