Skip to content
  • Categories
  • Recent
  • Tags
  • Popular
  • World
  • Users
  • Groups
Skins
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Default (Cyborg)
  • No Skin
Collapse
Brand Logo

CIRCLE WITH A DOT

  1. Home
  2. Uncategorized
  3. Weeknotes 2026-W09

Weeknotes 2026-W09

Scheduled Pinned Locked Moved Uncategorized
10 Posts 5 Posters 26 Views
  • Oldest to Newest
  • Newest to Oldest
  • Most Votes
Reply
  • Reply as topic
Log in to reply
This topic has been deleted. Only users with topic management privileges can see it.
  • jonmsterling@mathstodon.xyzJ This user is from outside of this forum
    jonmsterling@mathstodon.xyzJ This user is from outside of this forum
    jonmsterling@mathstodon.xyz
    wrote last edited by
    #1

    Weeknotes 2026-W09

    + A week at home...
    + Experiments with agentic coding
    + Reading corner: Elder Race

    Link Preview Image
    Weeknotes 2026-W09

    favicon

    (www.jonmsterling.com)

    ids1024@mathstodon.xyzI martinescardo@mathstodon.xyzM 2 Replies Last reply
    0
    • jonmsterling@mathstodon.xyzJ jonmsterling@mathstodon.xyz

      Weeknotes 2026-W09

      + A week at home...
      + Experiments with agentic coding
      + Reading corner: Elder Race

      Link Preview Image
      Weeknotes 2026-W09

      favicon

      (www.jonmsterling.com)

      ids1024@mathstodon.xyzI This user is from outside of this forum
      ids1024@mathstodon.xyzI This user is from outside of this forum
      ids1024@mathstodon.xyz
      wrote last edited by
      #2

      @jonmsterling Elder Race was great! It also reminded me of Rocanon's World and Planet of Exile. I'm reading Children of Time now.

      1 Reply Last reply
      0
      • jonmsterling@mathstodon.xyzJ jonmsterling@mathstodon.xyz

        Weeknotes 2026-W09

        + A week at home...
        + Experiments with agentic coding
        + Reading corner: Elder Race

        Link Preview Image
        Weeknotes 2026-W09

        favicon

        (www.jonmsterling.com)

        martinescardo@mathstodon.xyzM This user is from outside of this forum
        martinescardo@mathstodon.xyzM This user is from outside of this forum
        martinescardo@mathstodon.xyz
        wrote last edited by
        #3

        @jonmsterling

        I would really like to have help for things that are routine when programming or proving.

        But do we really need an expensive farm of GPU's, with an even more expensive amount of energy doing something blindly based on probabilities gathered from training data to get this done?

        For example, one thing I would like is some tool that can read my TypeTopology codebase and answer some more or less trivial questions that are very time consuming for me to answer myself.

        Surely, a system such as the one you describe can do it. But do we really need such a brute-force approach to that?

        I thought the purpose of computer science was to get things done cleverly, and not by brute force.

        Ironically, brute force is now called AI.

        But it seems we are going back to brute force, if only because there is enough money now to get this done that way (and not for solving other more fundamental problems humanity has).

        J martinescardo@mathstodon.xyzM 2 Replies Last reply
        0
        • martinescardo@mathstodon.xyzM martinescardo@mathstodon.xyz

          @jonmsterling

          I would really like to have help for things that are routine when programming or proving.

          But do we really need an expensive farm of GPU's, with an even more expensive amount of energy doing something blindly based on probabilities gathered from training data to get this done?

          For example, one thing I would like is some tool that can read my TypeTopology codebase and answer some more or less trivial questions that are very time consuming for me to answer myself.

          Surely, a system such as the one you describe can do it. But do we really need such a brute-force approach to that?

          I thought the purpose of computer science was to get things done cleverly, and not by brute force.

          Ironically, brute force is now called AI.

          But it seems we are going back to brute force, if only because there is enough money now to get this done that way (and not for solving other more fundamental problems humanity has).

          J This user is from outside of this forum
          J This user is from outside of this forum
          jac@types.pl
          wrote last edited by
          #4

          @MartinEscardo @jonmsterling I think this might have an implicit bias due to novelty.

          The same arguments apply to programming languages, web browsing, operating systems. We could always spend more effort to remove generic platforms and write everything by hand. But this is quite expensive.
          The point of a large swathe of computer science is not just algorithms, but how do we build platforms that can automate repetitive work.

          I think the impression of the environmental costs is greatly hampered by the shortages on hardware. You can run models on a home GPU or a modern CPU and it does not take long at all for these tasks. So compared to a few minutes of any other application, or streaming a second or two of video, it's really quite minimal.

          jonmsterling@mathstodon.xyzJ 1 Reply Last reply
          0
          • J jac@types.pl

            @MartinEscardo @jonmsterling I think this might have an implicit bias due to novelty.

            The same arguments apply to programming languages, web browsing, operating systems. We could always spend more effort to remove generic platforms and write everything by hand. But this is quite expensive.
            The point of a large swathe of computer science is not just algorithms, but how do we build platforms that can automate repetitive work.

            I think the impression of the environmental costs is greatly hampered by the shortages on hardware. You can run models on a home GPU or a modern CPU and it does not take long at all for these tasks. So compared to a few minutes of any other application, or streaming a second or two of video, it's really quite minimal.

            jonmsterling@mathstodon.xyzJ This user is from outside of this forum
            jonmsterling@mathstodon.xyzJ This user is from outside of this forum
            jonmsterling@mathstodon.xyz
            wrote last edited by
            #5

            @jac @MartinEscardo I think it is different, I agree with Martin. Actual energy cost of inference is not high, but cost of training is astronomical and the models get thrown away every several months.

            martinescardo@mathstodon.xyzM 1 Reply Last reply
            0
            • martinescardo@mathstodon.xyzM martinescardo@mathstodon.xyz

              @jonmsterling

              I would really like to have help for things that are routine when programming or proving.

              But do we really need an expensive farm of GPU's, with an even more expensive amount of energy doing something blindly based on probabilities gathered from training data to get this done?

              For example, one thing I would like is some tool that can read my TypeTopology codebase and answer some more or less trivial questions that are very time consuming for me to answer myself.

              Surely, a system such as the one you describe can do it. But do we really need such a brute-force approach to that?

              I thought the purpose of computer science was to get things done cleverly, and not by brute force.

              Ironically, brute force is now called AI.

              But it seems we are going back to brute force, if only because there is enough money now to get this done that way (and not for solving other more fundamental problems humanity has).

              martinescardo@mathstodon.xyzM This user is from outside of this forum
              martinescardo@mathstodon.xyzM This user is from outside of this forum
              martinescardo@mathstodon.xyz
              wrote last edited by
              #6

              @jonmsterling Time to blame the so-called invisible hand. 🙂

              1 Reply Last reply
              0
              • jonmsterling@mathstodon.xyzJ jonmsterling@mathstodon.xyz

                @jac @MartinEscardo I think it is different, I agree with Martin. Actual energy cost of inference is not high, but cost of training is astronomical and the models get thrown away every several months.

                martinescardo@mathstodon.xyzM This user is from outside of this forum
                martinescardo@mathstodon.xyzM This user is from outside of this forum
                martinescardo@mathstodon.xyz
                wrote last edited by
                #7

                @jonmsterling But, even if you disregard the energy costs, this seems to me like the most inefficient way of getting things done.

                Can I just get things done in my own computer, rather than in a farm of who knows how many computers?

                I am absolutely sure this is possible.

                @jac

                J zer_dyn@privacysafe.socialZ 2 Replies Last reply
                0
                • martinescardo@mathstodon.xyzM martinescardo@mathstodon.xyz

                  @jonmsterling But, even if you disregard the energy costs, this seems to me like the most inefficient way of getting things done.

                  Can I just get things done in my own computer, rather than in a farm of who knows how many computers?

                  I am absolutely sure this is possible.

                  @jac

                  J This user is from outside of this forum
                  J This user is from outside of this forum
                  jac@types.pl
                  wrote last edited by
                  #8

                  @MartinEscardo @jonmsterling Indeed you can! I know there's minor caveats, but a lot of modern CPUs and devices have NPUs that are optimized for running neural nets on a low amount of energy. And it does not take much intelligence at all to generate small scripts and searches, although we sometimes need better harnesses for small language models.

                  jonmsterling@mathstodon.xyzJ 1 Reply Last reply
                  0
                  • J jac@types.pl

                    @MartinEscardo @jonmsterling Indeed you can! I know there's minor caveats, but a lot of modern CPUs and devices have NPUs that are optimized for running neural nets on a low amount of energy. And it does not take much intelligence at all to generate small scripts and searches, although we sometimes need better harnesses for small language models.

                    jonmsterling@mathstodon.xyzJ This user is from outside of this forum
                    jonmsterling@mathstodon.xyzJ This user is from outside of this forum
                    jonmsterling@mathstodon.xyz
                    wrote last edited by
                    #9

                    @jac @MartinEscardo Also, we can print the models onto silicon. The problem is, I think, that the models are basically disposable. Once the money runs out, that may change. I can only hope.

                    1 Reply Last reply
                    0
                    • martinescardo@mathstodon.xyzM martinescardo@mathstodon.xyz

                      @jonmsterling But, even if you disregard the energy costs, this seems to me like the most inefficient way of getting things done.

                      Can I just get things done in my own computer, rather than in a farm of who knows how many computers?

                      I am absolutely sure this is possible.

                      @jac

                      zer_dyn@privacysafe.socialZ This user is from outside of this forum
                      zer_dyn@privacysafe.socialZ This user is from outside of this forum
                      zer_dyn@privacysafe.social
                      wrote last edited by
                      #10

                      @MartinEscardo @jonmsterling @jac
                      Regarding energy cost, the best new approach to addressing that issue is probably Thermodynamic Computing. I think if the claims by the startup extropic.ai are true then that's the future.

                      I'm thinking perhaps in the future there will be changes to hardware which will incorporate these new architectures specifically for AI, like we have a CPU, GPU and hopefully a "TSU" (Thermodynamic Sampling Unit) for probabilistic computing.

                      1 Reply Last reply
                      1
                      0
                      • R relay@relay.mycrowd.ca shared this topic
                      Reply
                      • Reply as topic
                      Log in to reply
                      • Oldest to Newest
                      • Newest to Oldest
                      • Most Votes


                      • Login

                      • Login or register to search.
                      • First post
                        Last post
                      0
                      • Categories
                      • Recent
                      • Tags
                      • Popular
                      • World
                      • Users
                      • Groups