AlexTCH
333 subscribers
89 photos
4 videos
2 files
964 links
Что-то про программирование, что-то про Computer Science и Data Science, и немного кофе. Ну и всякая чушь вместо Твиттера. :)
Download Telegram
"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.
💯1
Если бы жил в Таиланде и завёл местного кота, определённо, назвал бы его Таймыр.
Terminator: The Sarah Connor Chronicles Season 2 but unironically.
😁4
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.
👍1
— Does structural integrity still hold?
— Vacuously.
— What do you mean?
— There ain't no structure no more.
😁5🔥2
Strategic WTF Analyst
💯3❤1
That kinda explains what the heck one needs (higher) category theory for.

https://www.youtube.com/watch?v=ZkWmKMig7Rk
🔥3
That's one hell of a team!..
🔥3
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?! 🤣
Не стоит прогибаться под изменчивый мир
Пусть лучше он прогнётся под нас

ⓒ Машина Времени

We didn't know to be cut out for this
It would have to be cut into us

ⓒ Marilyn Manson
😁4
Кот: делает какую-то хуйню.
Ты: умиляешься и гладишь.
Кот: начинает регулярно делать эту хуйню, рассчитывая, что его будут гладить.
❤3👍1
JFP, but it's a "Journal of Fictional Programming".
It's curious that LLMs (or "agents"), which are "software 2.0", are writing regular code for regular apps, which are "software 1.0".
😁3👎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
🔥1
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.
🔥1
"You'll own nothing and you'll love it", but it's a beta-version where you own nothing, and the rest is postponed until the release.
🔥2