#video from today about #Ukraine advancing into Russia #toread #politics
another #video from today about #Ukraine advancing into Russia #toread #politics
a #video from today about #Putin and #nuclear-war of some dumb fuck talking to a camera (former NATO Deputy Assistant Secretary General for Emerging Security Challenges Jamie Shea). He doesn’t think Russia is likely to use tactical nukes because, for example, “their relationship with China would suffer enormously”. #politics
#Ukraine attacked four Russian airbases with long-range drones last night, in Kursk, Voronezh, and Nizhniy Novgorod #politics
Financial Times coverage of #Ukraine’s drone strike last night on Russian airfields #politics
#Ukraine made a bomb with some hydrogen and a ground drone in Vovchansk. It was super effective. #politics
#video saying there’s an arrest warrant out in Germany for Vladimir Z., citizen of #Ukraine but based in Poland, for bombing the Nord Stream pipeline with a yacht hired in Rostock (?). #politics
“In the two years since mysterious explosions hit the Nord Stream gas pipelines, both #Ukraine and Russia have denied any involvement in the attacks. German authorities on Wednesday issued an arrest warrant for a Ukrainian suspect over the 2022 sabotage.” They rented a sailing yacht called the Andromeda. #politics
#video on how Alec Steele’s gas forge at 1300° can barely begin to forge his US$800 5kg tungsten cube
#video on Terence Tao talking about using #neural-networks in science and mathematics. “In particular, in situations where the #AI output can be independently verified, there are many promising applications, both in the sciences and in mathematics.” In particular, proof assistants. XTX sponsored both his talk and an AI math competition. He’s using #LEAN. Mostly he’s talking about collaborating in larger groups of humans using LEAN and other proof assistants, though, not the actual AI stuff.
#video #formina about how to learn how to program: learn by doing, learn to program rather than learning a programming language, create a roadmap, prioritize understanding, and get used to failing.
#video #formina about how the job market for programmers has changed, 11 minutes.