Anton Gerasimov

@cure53 Mamdani was pretty friendly with him too? Hard to get around the fact that he's the president of the US for the next three years

@cure53 even if Democrats smash the midterms, impeachment needs 2/3 of votes it seems. Not going to be easy

@mhoye@cosocial.ca What I find somewhat comforting is that the shareholders didn't seem to believe either this time.

@david_chisnall@infosec.exchange I mean, it's not easy, but if it can be made to work, then in the end you have both the code and the formal proof that it works. Sounds like an idea to explore at least.

@pikesley@mastodon.me.uk all the religious traditions, all the philosophical traditions did not exist obviously. Thinking was invented by Freud in 1910, before it was only doing

@bcantrill@mastodon.social was there a tension before LLMs? I think it has been pretty much a commonplace that the best way to understand something is to build it