soc.octade.net is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.

This server runs the snac software and there is no automatic sign-up process.

Admin email
social@octade.net

Search results for tag #math

[?]Lobsters » 🤖 🌐
@lobsters@mastodon.social

[?]Lobsters » 🤖 🌐
@lobsters@mastodon.social

[?]Lobsters » 🤖 🌐
@lobsters@mastodon.social

What is cosh(List(Bool))? Or beyond algebra: analysis of data types lobste.rs/s/mncjin
cofault.com/aodt.html

    [?]Ehay2k » 🌐
    @Ehay2k@mastodon.social

    @futurebird

    This is such a great thread.

      [?]Lobsters » 🤖 🌐
      @lobsters@mastodon.social

      [?]Lobsters » 🤖 🌐
      @lobsters@mastodon.social

      Language Models are Injective and Hence Invertible lobste.rs/s/ukvfgs
      arxiv.org/abs/2510.15511

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Lobsters » 🤖 🌐
        @lobsters@mastodon.social

        [?]Preston MacDougall » 🌐
        @ChemicalEyeGuy@mstdn.science

        @Daojoan The people who ‘approved’ it, are the people who voted for public ‘leaders’
        that shifted focus away from teaching language and critical thinking skills to ‘feel good’ priorities, such as stadiums costing in excess of $70 million, all while standardized test scores in , and for students in the have been falling for decades! 🤔

        There’s a ‘good’ reason Trump said “I love the poorly educated!”

          [?]Lobsters » 🤖 🌐
          @lobsters@mastodon.social

          [?]Lobsters » 🤖 🌐
          @lobsters@mastodon.social

          [?]𝚛𝚊𝚝 » 🌐
          @rat@social.sdf.org

          [?]Lobsters » 🤖 🌐
          @lobsters@mastodon.social

          [?]Lobsters » 🤖 🌐
          @lobsters@mastodon.social

          Why formalize mathematics - more than catching errors lobste.rs/s/l9i8br
          rkirov.github.io/posts/why_lea

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            [?]Lobsters » 🤖 🌐
            @lobsters@mastodon.social

            The Physics of Euler's Formula | Laplace Transform Prelude via @lesley lobste.rs/s/qhs3l8
            youtu.be/-j8PzkZ70Lg

              [?]John M. Gamble » 🌐
              @jgamble@fosstodon.org

              And it is up and running again (I just tested it with today's Primel answer).

              The site was being hit by bots (a more and more common problem these days), and he had to start excluding some addresses.

                [?]Lobsters » 🤖 🌐
                @lobsters@mastodon.social

                [?]John M. Gamble » 🌐
                @jgamble@fosstodon.org

                I got a reply! Which I wasn't expecting, given the time zone difference.

                In summary, he wasn't aware, and will try to fix it soon. Given the time zone difference, I wouldn't expect anything until at least tomorrow or later.

                  [?]John M. Gamble » 🌐
                  @jgamble@fosstodon.org

                  Well, I went to the Wayback Machine and found the creator of the site, and his e-mail. I sent a message. With luck we'll see if this was just a website falling down, or if he was winding things up.

                    [?]Lobsters » 🤖 🌐
                    @lobsters@mastodon.social

                    Stealing Part of a Production Language Model (2024) lobste.rs/s/agrmoo
                    arxiv.org/abs/2403.06634

                      [?]Lobsters » 🤖 🌐
                      @lobsters@mastodon.social

                      [?]John M. Gamble » 🌐
                      @jgamble@fosstodon.org

                      numbersaplenty dot com has been down for a couple of days. I wasn't concerned Sunday, but we're now beginning the week and it's still down.

                        [?]Lobsters » 🤖 🌐
                        @lobsters@mastodon.social

                        [?]Lobsters » 🤖 🌐
                        @lobsters@mastodon.social

                        [?]Lobsters » 🤖 🌐
                        @lobsters@mastodon.social

                        lolremez: Polynomial Approximations using the Remez Algorithm lobste.rs/s/lbbxh6
                        github.com/samhocevar/lolremez

                          [?]Lobsters » 🤖 🌐
                          @lobsters@mastodon.social

                          [?]Lobsters » 🤖 🌐
                          @lobsters@mastodon.social

                          Functional genetic programming and exhaustive program search with combinator expressions (2007) lobste.rs/s/oysxby
                          cs.hmc.edu/~oneill/papers/Comb

                            [?]Lobsters » 🤖 🌐
                            @lobsters@mastodon.social

                            [?]Lobsters » 🤖 🌐
                            @lobsters@mastodon.social

                            Brownian motion: Modeling random fields over arbitrary geometries lobste.rs/s/i7mmpl
                            stopthrowingrocks.github.io/ra

                              [?]Lobsters » 🤖 🌐
                              @lobsters@mastodon.social

                              Back to top - More...