Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)A

aio

@ aio @awful.systems

Posts
0
Comments
44
Joined
2 yr. ago

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 22nd February 2026

    Jump

  • Also your paper has to be truly irredeemable dogshit to get rejected from arxiv. Like you can post proofs of P=NP as long as it sounds kinda coherent. 2400 monthly rejections is absurd.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 8th February 2026

    Jump

  • i think it's when you and a bunch of other vegans live in a group home together and argue over who does the dishes

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 1st February 2026

    Jump

  • a lot of this "computational irreducibility" nonsense could be subsumed by the time hierarchy theorem which apparently Stephen has never heard of

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 1st February 2026

    Jump

  • He straight up misstates how NP computation works. Essentially he writes that a nondeterministic machine M computes a function f if on every input x, there exists a path of M(x) which outputs f(x). But this is totally nonsense - it implies that a machine M which just branches repeatedly to produce every possible output of a given size "computes" every function of that size.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 1st February 2026

    Jump

  • the ruliad is something in a sense infinitely more complicated. Its concept is to use not just all rules of a given form, but all possible rules. And to apply these rules to all possible initial conditions. And to run the rules for an infinite number of steps

    So it's the complete graph on the set of strings? Stephen how the fuck is this going to help with anything

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 1st February 2026

    Jump

  • if two people disagree on a conclusion then either they disagree on the reasoning or the premises.

    I don't think that's an accurate summary. In Aumann's agreement theorem, the different agents share a common prior distribution but are given access to different sources of information about the random quantity under examination. The surprising part is that they agree on the posterior probability provided that their conclusions (not their sources) are common knowledge.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 11th January 2026

    Jump

  • Sorry for you and your cat. You did the right thing, but that doesn't make it any easier.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 4th January 2026

    Jump

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 28th December 2025

    Jump

  • I'm also a big fan of the concurrency implementation, I wish other languages made it so easy to use green threads & channels.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 28th December 2025

    Jump

  • P(hole)

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 7th December 2025 - awful.systems

    Jump

  • article is informing me that it isn't X - it's Y

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 30th November 2025 - awful.systems

    Jump

  • what i got from reading this is that it's not X, but Y.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 9th November 2025

    Jump

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 26th October 2025

    Jump

  • Well, it is true that computer programs have far surpassed humans in board games. They are very well suited for it. It just has nothing to do with the hypothesized abilities of future "AI" as rationalists conceive them.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 26th October 2025

    Jump

  • Oh, I didn't know that!

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 26th October 2025

    Jump

  • The paper is itself written by LLM.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 26th October 2025

    Jump

  • flaviat explained why your counterexample is not correct. But also, the correct statement (Liouville's theorem) is that a bounded entire function must be constant.

  • Stubsack: weekly thread for sneers not worth an entire post, week ending 12th October 2025

    Jump

  • CS has a huge number of people who think you can derive the solutions to social problems from first principles. It's impossible to reason with them.

  • Massachusetts MCAS tests: sorry kid, AI says ‘fail’

    Jump

  • In this case these are grade schooler's (roughly ages 9-18) essays for a standardized test, so there isn't a body of students who could grade them.