Reposted by kolmogorov gnosticNotPrinceHamlet @anattendantlord.bsky.social · 07/10/2026Via the elephant site: this issue arxiv.org/abs/2610.08144 is something I hadn't considered. (My guess is that probably this wouldn't affect the "correcteness" of any of the claimed results in the OpenAI MathsDump, but it does remind us that LeanSaysAllGood isn't the end of the story)arxiv.orgNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsAutoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro... 021
Reposted by kolmogorov gnosticHenry Farrell @himself.bsky.social · 22/09/2026www.programmablemutter.com/p/machine-go... what it says on the packageprogrammablemutter.comMachine god metaphors eat your brainThere are other ways of thinking about AI 610830
Reposted by kolmogorov gnosticJoe Bak-Coleman @jbakcoleman.bsky.social · 20/09/2026We can simulate fish schools or ants in ways that solve complex problems (gradient detection, bridge building, nest selection) but no one would create this weird soul/no-soul dichotomy to argue they these that multi-agent swarms of extremely simple rules are “thinking”. 14503167
Reposted by kolmogorov gnosticDawna Read @riverofcrows.bsky.social · 14/09/2026I've had this cookbook for less than a week, and I have already made the black cardamom smothered pork chops, which were proclaimed "a winner!" at dinner tonight. Many more things to try! The cumin-drizzled apple pie...the Tellicherry buttermilk biscuits...the vivid tomato and cheese pie... 🍜 35712
Reposted by kolmogorov gnosticneutral @neutral.zone · 12/09/2026Frontier Psychiatrist sounds like an Anthropic job posting 623032
Reposted by kolmogorov gnosticregular meghan 나영지 🇵🇸 @ruemcclammyhand.bsky.social · 08/05/2026watched this on repeat losing my shit for two nights now 14180882668
kolmogorov gnostic @javaid89.bsky.social · 10/09/2026A functioning society should hope for more than kids cosplaying as mngmt consultants "audit" a cult. A cult compelled to create a digital slave they believe -will probably cause the apocalypse. But we're not a functioning society and y'all aren't serious people. Can't wait for the Sankey plots tho 010
kolmogorov gnostic @javaid89.bsky.social · 08/09/2026I like this. Don't let the d bags distract you from being curious! Hold bad behavior to account but don't lose the plot. 010
Reposted by kolmogorov gnosticTed McCormick @tedmccormick.bsky.social · 12/05/2026A society of atheists is possible. A society of managers is not. 1364
Reposted by kolmogorov gnosticMax Read @maxread.info · 08/05/2026"the forklift model" of a.i. education maxread.substack.com/p/the-drama-... 3269
kolmogorov gnostic @javaid89.bsky.social · 03/05/2026I'm sorry. But this is bad ... www.cambridge.org/news-and-ins...cambridge.orgRethinking education in the age of AIIn this guest blog, former UK schools minister Lord Knight argues we can use AI to make education work better by reshaping teaching, learning and assessment. The blog is based on his recent talk at In... 110
Reposted by kolmogorov gnosticJohn C. Baez @johncarlosbaez.bsky.social · 23/04/2026The academic equivalent of that hand sign you make to quietly alert others that you're being threatened. 0287
Reposted by kolmogorov gnosticCharlotte Clymer @charlotteclymer.bsky.social · 17/04/2026Holy shit, I have NEVER been more excited for a movie. 196180113168
Reposted by kolmogorov gnosticCarl T. Bergstrom @carlbergstrom.com · 10/04/2026This is all good and well but does it work on congressmen?nature.comFemale mice grow testes after this single DNA tweakSmall changes in the non-coding part of the genome have a key role in sex determination. 1435664
Reposted by kolmogorov gnosticMaxim Raginsky @mraginsky.bsky.social · 09/04/2026Attention to electrical transformers is all you need. 3164
Reposted by kolmogorov gnosticP(aul) Frazee @pfrazee.com · 07/04/2026I feel like we're not addressing the most concerning news from Mythos 2755581
Reposted by kolmogorov gnosticBenjamin Riley @benjaminjriley.bsky.social · 26/03/2026I love this stuff. 2184
Reposted by kolmogorov gnosticBen Recht @beenwrekt.bsky.social · 20/03/2026Following a tradition means not having to think for oneself: Cosma Shalizi frames artificial intelligence as mechanized tradition.argmin.netCosma Shalizi Is Aware of All Internet TraditionsShalizi’s frame of artificial intelligence as mechanized tradition 1274
kolmogorov gnostic @javaid89.bsky.social · 14/03/2026Not disagreeing here. But there are many many industries outside tech that are begging for "tech people." The automotive industry for one. I think, there needs to be a migration out of SV etc. The bottleneck in the physical world imo is not coding but other knowledge that a tech 131
Reposted by kolmogorov gnosticPookleblinky @pookleblinky.bsky.social · 14/03/2026"To intimidate your enemy, first slam your dick in a car door before shooting yourself in both feet. Do this repeatedly, while complaining the entire time that you don't have enough food or bullets." - Sun Tzu 118447
Reposted by kolmogorov gnosticThomas Dietterich @tdietterich.bsky.social · 11/03/2026On the importance of abstract, from @lateinteraction.bsky.social on X: 2242
Reposted by kolmogorov gnosticderek guy @dieworkwear.bsky.social · 08/03/2026me paying $30 in gas to buy imported things that have been hit with tariffs bc joe rogan is learning about politics at age 58 442394956953
kolmogorov gnostic @javaid89.bsky.social · 09/03/2026Starting to wonder if the study of Abstract Machines/Automata Theory is a "pathological science." Based on people's obsession with "consciousness" and "intelligence." Yes I am talking about Computer Science. 000
Reposted by kolmogorov gnosticJulian Togelius @togelius.bsky.social · 07/03/2026People are talking this way too literally. Here’s something I wrote some time ago to try to articulate the feeling: togelius.blogspot.com/2025/06/the-... Or maybe it’s another feeling? Who knows.togelius.blogspot.comThe library came aliveThe library came alive, but it was not life. It was not eating, breathing, dancing, hating, and loving, just describing all that. But so man... 041
kolmogorov gnostic @javaid89.bsky.social · 20/02/2026Lol OMG this is so good lol. youtu.be/M-pkXr-qqII?...youtu.beWe need to talk about Sonnet 4.6YouTube video by Theo - t3․gg 110
Reposted by kolmogorov gnosticDan Davies @dsquareddigest.bsky.social · 20/02/2026in which I write many things which will look ironic when I am starving in the gutter begging for a few hours work tagging images for my robot overlords. backofmind.substack.com/p/finally-we...backofmind.substack.comfinally we have created the silver bulletfrom Fred Brooks' classic essay "No Silver Bullets" 66023
kolmogorov gnostic @javaid89.bsky.social · 19/02/2026Big Tech is basically the borg from Star Trek :/ 010
Reposted by kolmogorov gnostic5,000 Epstein Files for Every American Adult @tobellz.bsky.social · 19/02/2026It's the year 3012, aliens visit earth and find the few remaining humans live in scattered tribes on the small land area that remains habitable and above water. Thousands of AIs operating in nuclear powered datacenters, sending emails to each other and summarizing received emails for other AIs. 151
Reposted by kolmogorov gnosticPookleblinky @pookleblinky.bsky.social · 25/11/2025There's a part of learning, which generative AI completely turns into dogshit, which is *doing something you could not have done before* Whether it's drawing, playing an instrument, solving a physics problem, organizing an essay, you find yourself doing easily what previously you found overwhelming 10735177
kolmogorov gnostic @javaid89.bsky.social · 14/02/2026I really think humans are the stupidest type of thing in many ways. Also, our destiny was never in our hands ... there is not some "council of elders" that decides our fate. We are continually adapting to our circumstances etc. 000
Reposted by kolmogorov gnosticGOLIKEHELLMACHINE @golikehellmachine.com · 14/02/2026i'm honestly not even being facetious here, i'm just trying to imagine all of the different tasks that all of the different people all over the world do in "white collar jobs", and wondering how anyone could ever even begin to think they could make such a broadly sweeping statement 1736913
Reposted by kolmogorov gnosticGOLIKEHELLMACHINE @golikehellmachine.com · 14/02/2026i have to wonder what kind of future AI hypebeasts are imagining when they say stupid shit like, "most or all of white collar tasks will be automated within 18 months". like, okay, microsoft, then who are your customers? who is purchasing O365 subscriptions when robots are doing all the work? 371103158
kolmogorov gnostic @javaid89.bsky.social · 13/02/2026Unless there is a reason to believe humans have run out of ideas, or problems to solve ... I don't understand the "jobpocalypse" framing. Do the cog-sci people know? Have we run out of ideas? I browsed Netflix today, there were some new shows so maybe we have? idk 000
kolmogorov gnostic @javaid89.bsky.social · 13/02/2026Apologies for mining someone's back-catalog. But imo there are two types of knowledge work: the type where 1) you need to churn out standardized "work product" clearing some threshold of quality at some per-determined pace to meet your "output quota." (like a machine). and 1/n 120
kolmogorov gnostic @javaid89.bsky.social · 13/02/2026Noah Smith having a totally normal one ... I guess that happens when you hang out with the race-scientists and eugenics enthusiasts? 020
kolmogorov gnostic @javaid89.bsky.social · 13/02/2026So there are a whole set of people that are called "systems engineers" in more mature industries. They create and write requirements in a "subset" of natural language. But the systems/features are so complex, you need teams of testers that fill out reports and the system owner owns those 1/n 230
Reposted by kolmogorov gnosticJulian Togelius @togelius.bsky.social · 09/02/2026I wrote about how I don’t know math but still am somehow a successful computer scientist. I have strong feelings about this. But I also want to understand. togelius.blogspot.com/2026/02/math... 108810
kolmogorov gnostic @javaid89.bsky.social · 12/02/2026This dude dynamics. Call me crazy but if I built or was on the verge of building an Oracle I would keep it to my damned self. 000
Reposted by kolmogorov gnosticJohn Warner @biblioracle.bsky.social · 11/02/2026It is simply not true that LLMs are "black boxes." Not knowing everything about something doesn't make it a black box. The architecture was developed prior to their invention. They are iterated via intentional design. This is not a black box. www.newyorker.com/magazine/202... 76513
kolmogorov gnostic @javaid89.bsky.social · 11/02/2026We be building a God that's going to predict everything and solve everything!! I am so glad Mantic (TM)(C) will usher in new golden age of disruption and chaos. Amen www.theatlantic.com/technology/2...theatlantic.comAI Is Getting Scary Good at Making PredictionsEven superforecasters are guessing that they’ll soon be obsolete. 000
kolmogorov gnostic @javaid89.bsky.social · 10/02/2026Omg just fire us all now man just do it... www.theatlantic.com/magazine/202...theatlantic.comAmerica Isn’t Ready for What AI Will Do to JobsDoes anyone have a plan for what happens next? 000
kolmogorov gnostic @javaid89.bsky.social · 22/12/2025I think I need to log off ... Happy Holidays everyone!!! 000
