AlexTCH

— Does structural integrity still hold?
— Vacuously.
— What do you mean?
— There ain't no structure no more.

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.

Terminator: The Sarah Connor Chronicles Season 2 but unironically.

Если бы жил в Таиланде и завёл местного кота, определённо, назвал бы его Таймыр.

https://www.youtube.com/watch?v=xkKeGtIalXM

Yeah... Now I feel like Rents but without any drugs. And it sucks ass big time.

"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.

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.

NVidia officially has adopted Rust and exposes CUDA through Rust libraries (WIP):
https://developer.nvidia.com/blog/introducing-cuda-rust-two-tracks-for-writing-gpu-kernels/

It's funny how "AI startups" with their LLMs made pure math fancy and newsworthy. Two years ago nobody gave a flying fuck to weird Navier-Stokes solutions or The Fermat Theorem.

Very few actually do, but now thousands are talking.

Waterfall was one-shot generation before it was cool. Agile is an agentic loop.

https://www.kickstarter.com/projects/darkmathfilms/scp-academy-part-002

SCP Academy part 002 campaign needs more love... and more money!

Part 001 is there on YouTube, freely available. And it's really good. Production quality is among the best SCP short films. Solid direction and performance. Highly enjoyable.

И я в курсе, что Маяковский успел на 100 лет раньше.

@glock is it true?

Вы тейлорист или клиентократ?

Вы чё пишете?! Вам там ЛГБТ+ давно запретили, алё!

Корректно ли перевести "compute away" как "вычислить нахуй"? 🤔

А можно мне, пожалуйста, не быть goal-oriented, top performer, great team player и rockstar?

Powering helicopters in space with NASA

I'm 100% certain that AI could not write a sentence like that.

https://www.linkedin.com/posts/tscharnowski_rehosting-firmwaresecurity-embeddedsecurity-ugcPost-7496178697327079424-m3Di/

In short, hackers can infect a Tesla charging station with a worm, which then hacks cars parked nearby through WiFi and Bluetooth. Not necessarily Tesla cars, other brands too. They don't have to connect the charging cable. Swell.

Cyberpunk we've deserved.

Performance marketing? What's that? Writing "our app is blazing fast"?

https://palomar-registry.org/about

A sorta "beefed up" https://isa-afp.org/ for Lean 4 (and possibly other provers in the future).