"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.
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
https://www.youtube.com/watch?v=xkKeGtIalXM
Yeah... Now I feel like Rents but without any drugs. And it sucks ass big time.
Yeah... Now I feel like Rents but without any drugs. And it sucks ass big time.
YouTube
Trainspotting intro scene (choose life scene) _ Lust for Life By Iggy Pop
Check the description for facts about this song
Song: Lust for Life
By: Iggy Pop
Film: Trainspotting,1996
«Lust for Life» es una canción interpretada por Iggy Pop y coescrita por David Bowie, incluida en el álbum Lust for Life (1977). En 2004, Rolling Stone…
Song: Lust for Life
By: Iggy Pop
Film: Trainspotting,1996
«Lust for Life» es una canción interpretada por Iggy Pop y coescrita por David Bowie, incluida en el álbum Lust for Life (1977). En 2004, Rolling Stone…
❤1
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)
Online attendance is possible via Zoom after a registration.
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.
— Vacuously.
— What do you mean?
— There ain't no structure no more.
😁5🔥2
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.
Suddenly it became even funnier. Or less funny depending on how you look at it and the news.
The SCP Foundation
SCP-610 - SCP Foundation
The SCP Foundation's 'top-secret' archives, declassified for your enjoyment.
That kinda explains what the heck one needs (higher) category theory for.
https://www.youtube.com/watch?v=ZkWmKMig7Rk
https://www.youtube.com/watch?v=ZkWmKMig7Rk
🔥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?! 🤣
IMDb
Rumble Fish (1983) ⭐ 7.1 | Crime, Drama, Romance
1h 34m | R
Не стоит прогибаться под изменчивый мир
Пусть лучше он прогнётся под нас
ⓒ Машина Времени
We didn't know to be cut out for this
It would have to be cut into us
ⓒ Marilyn Manson
😁4
Кот: делает какую-то хуйню.
Ты: умиляешься и гладишь.
Кот: начинает регулярно делать эту хуйню, рассчитывая, что его будут гладить.
Ты: умиляешься и гладишь.
Кот: начинает регулярно делать эту хуйню, рассчитывая, что его будут гладить.
❤3👍1
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
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.
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.
YouTube
JuliaLowering.jl: Provenance, automatic hygiene, and tooling | Foster, Chu | JuliaCon Global 2026
JuliaLowering.jl: Provenance, automatic hygiene, and tooling by Claire Foster, Em Chu
PreTalx: https://pretalx.com/juliacon-2026/talk/U39FKW/
The first time you implement lowering, it takes parsed code, expands macros, and compiles it to linear, untyped…
PreTalx: https://pretalx.com/juliacon-2026/talk/U39FKW/
The first time you implement lowering, it takes parsed code, expands macros, and compiles it to linear, untyped…
👍1
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
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.
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.
&Truth
&Atlas — &Truth
Explore &Atlas, &Truth's interactive map of verification progress across open-source software.
🔥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