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

Privacy and Surveillance boosted

[?]Rémi Eismann » 🌐
@decompwlj@mathstodon.xyz

Deep analysis of the decomposition into weight × level + jump by Fable 5:
455 052 508 primes decomposed;
Conjecture 9 proved (pending external refereeing).
Fifth report:
➡️ decompwlj.com/decompwlj_deep_a

For privacy ➡️ web.archive.org/web/2026071409

Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

    Privacy and Surveillance boosted

    [?]Rémi Eismann » 🌐
    @decompwlj@mathstodon.xyz

    Deep analysis of the decomposition into weight × level + jump by Fable 5:
    455 052 508 primes decomposed;
    Conjecture 9 proved (pending external refereeing).
    Fifth report:
    ➡️ decompwlj.com/decompwlj_deep_a

    For privacy ➡️ web.archive.org/web/2026071409

    Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

    Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

      Privacy and Surveillance boosted

      [?]Rémi Eismann » 🌐
      @decompwlj@mathstodon.xyz

      Deep analysis of the decomposition into weight × level + jump by Fable 5:
      455 052 508 primes decomposed;
      Conjecture 9 proved (pending external refereeing).
      Fifth report:
      ➡️ decompwlj.com/decompwlj_deep_a

      For privacy ➡️ web.archive.org/web/2026071409

      Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

      Alt...Screenshot: Conjecture 9 from the 5th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, pending external refereeing)"

        Privacy and Surveillance boosted

        [?]Rémi Eismann » 🌐
        @decompwlj@mathstodon.xyz

        Fifth report:
        A new minor theorem C;
        PARI/GP restored;
        π(10^10) 455 052 511 — exact; decomposable 455 052 508 = π − #{2, 3, 7}✓ fresh.

        Fifth report:
        ➡️ decompwlj.com/decompwlj_deep_a

        For privacy ➡️ web.archive.org/web/2026071409

        Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

        Alt...Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

          Privacy and Surveillance boosted

          [?]Rémi Eismann » 🌐
          @decompwlj@mathstodon.xyz

          Fifth report:
          A new minor theorem C;
          PARI/GP restored;
          π(10^10) 455 052 511 — exact; decomposable 455 052 508 = π − #{2, 3, 7}✓ fresh.

          Fifth report:
          ➡️ decompwlj.com/decompwlj_deep_a

          For privacy ➡️ web.archive.org/web/2026071409

          Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

          Alt...Screenshot: "Verification strip — every anchor recomputed from scratch this session (C engine + PARI/GP 2.15.4 + sympy)"

            Privacy and Surveillance boosted

            [?]Rémi Eismann » 🌐
            @decompwlj@mathstodon.xyz

            In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
            I would be grateful if a number theorist could conduct an external review.

            4th report:

            ➡️ decompwlj.com/decompwlj_deep_a

            For privacy ➡️ web.archive.org/web/2026071009

            Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

            Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

              Privacy and Surveillance boosted

              [?]Rémi Eismann » 🌐
              @decompwlj@mathstodon.xyz

              In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
              I would be grateful if a number theorist could conduct an external review.

              4th report:

              ➡️ decompwlj.com/decompwlj_deep_a

              For privacy ➡️ web.archive.org/web/2026071009

              Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

              Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                vicash :perl: :perl_camel: boosted

                [?]Paysages Mathématiques » 🌐
                @paysmaths@mathstodon.xyz

                "Mathematical activity requires daily practice. If you stop for too long, the know-how erodes. The habits are lost. Fortunately, this is only temporary."
                – Alain Connes (1947-)

                Photographic portrait of Alain Connes, and a quote : "Mathematical activity requires daily practice. If you stop for too long, the know-how erodes. The habits are lost. Fortunately, this is only temporary."

                Alt...Photographic portrait of Alain Connes, and a quote : "Mathematical activity requires daily practice. If you stop for too long, the know-how erodes. The habits are lost. Fortunately, this is only temporary."

                  Flipboard Tech Desk boosted

                  [?]Flipboard Science Desk » 🌐
                  @ScienceDesk@flipboard.social

                  Mathematicians put AI to work on Fermat’s last theorem.

                  From @NewScientist (registration may be required): flip.it/_V6E9W

                    Privacy and Surveillance boosted

                    [?]Rémi Eismann » 🌐
                    @decompwlj@mathstodon.xyz

                    In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                    I would be grateful if a number theorist could conduct an external review.

                    4th report:

                    ➡️ decompwlj.com/decompwlj_deep_a

                    For privacy ➡️ web.archive.org/web/2026071009

                    Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                    Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                      Privacy and Surveillance boosted

                      [?]Rémi Eismann » 🌐
                      @decompwlj@mathstodon.xyz

                      In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                      I would be grateful if a number theorist could conduct an external review.

                      4th report:

                      ➡️ decompwlj.com/decompwlj_deep_a

                      For privacy ➡️ web.archive.org/web/2026071009

                      Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                      Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                      Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                      Alt...Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                        screwlisp boosted

                        [?]Digital Mark λ ☕️ 8647 » 🌐
                        @mdhughes@appdot.net

                        The hardest thing in Dylan or any 🫰quote "normal" unquote🫰lang, is writing algebraic math when you're used to RPN or sexpr. Why am I putting one argument before the operator, the other randomly after, and having to figure out which ones happen first? Do people DO MATH like this‽

                        In theory I could just use +(a, b) (or does it need \+(a, b)? I'd try that in REPL but there isn't one).

                          [?]hairylarry » 🌐
                          @hairylarry@gamerplus.org

                          @screwlisp @mdhughes

                          The new version.

                          Without warnings?

                          Also with a q to quit.

                          Code in reply.

                            Privacy and Surveillance boosted

                            [?]Rémi Eismann » 🌐
                            @decompwlj@mathstodon.xyz

                            In its 4th report, Fable proved Conjecture 9 (pending external refereeing).
                            I would be grateful if a number theorist could conduct an external review.

                            4th report:

                            ➡️ decompwlj.com/decompwlj_deep_a

                            For privacy ➡️ web.archive.org/web/2026071009

                            @tao

                            Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                            Alt...Screenshot: Conjecture 9 from the 4th report by Fable. "Theorem B (Conjecture 9 — rarefaction of the level class — proved unconditionally, (pending external refereeing)"

                            Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                            Alt...Decomposition into weight × level + jump of prime numbers: in 2D with sequences on the OEIS: a new classification of primes

                              [?]JaZone » 🌐
                              @Jazone@theforkiverse.com

                              And it's really that simple. When you allow oversight of your decisions, you have some measure of protection because the oversight, an independent review, was part of the process.

                              Alternatively, when you are the final decision and signature on everything WITHOUT OVERSIGHT, don't expect anyone to blame but YOURSELF.

                              It's leadership 101 and US obviously failed before they could get that far in basics of .




                                [?]hairylarry » 🌐
                                @hairylarry@gamerplus.org

                                @mdhughes @screwlisp

                                Not sure what the lines of code do but I know how the game is played.

                                You take a deck of cards and remove the royals. This gives you Ace through 10 with Ace = 1.

                                You deal two cards. If someone can make an equation they slap the table. They say their equation and everyone agrees or disagrees.

                                If no one can make an equation you deal another card.

                                part1

                                  [?]vga256 » 🌐
                                  @vga256@mastodon.tomodori.net

                                  i've always been baffled by various paper size symbols, like A0 and A6, assuming they were some arbitrary system like "hands" for horse measurement

                                  it turns out that A0-A8 are all just square roots of 2! to go from A0 to A1, you cut the A0 paper in half. to go from A1 to A2, you cut it in half.

                                  if you're a programmer or a gamer, you've (knowingly or unknowingly) used this mathematical function in binary search partition (bsp) trees to narrow down which polygons to render in a room. e.g. Wolf3d and Doom used bsp trees.

                                  en.wikipedia.org/wiki/Paper_si

                                  while i'm here, if you love arbitrary math insanity, enjoy horse hands:
                                  en.wikipedia.org/wiki/Hand_(un

                                  A diagram showing the A paper size algorithm. A0 is the entire sheet of paper. A1 is A0 bisected horizontally. A2 is A1 bisected vertically, and so on, all the way down to the smallest size: A8.

                                  Alt...A diagram showing the A paper size algorithm. A0 is the entire sheet of paper. A1 is A0 bisected horizontally. A2 is A1 bisected vertically, and so on, all the way down to the smallest size: A8.

                                    screwlisp boosted

                                    [?]hairylarry » 🌐
                                    @hairylarry@gamerplus.org

                                    @screwlisp

                                    part 1

                                    I have just specced a lisp game in my mind. Should be easy enough for me to write.

                                    The game is MathSlap, invented by @Carl to be played with a deck of playing cards with no royals. (A-10)

                                    Two numbers are placed face up. If you can make an equation from these numbers using any math symbols but no more numbers you slap the table. Then you say your equation and it's evaluated for correctness. If no one can make an equation another card is dealt.

                                      [?]Earl » 🌐
                                      @Earl@mast.john1126.com

                                      Pythagorean Theorem

                                      a² + b² = c²

                                        Privacy and Surveillance boosted

                                        [?]Paysages Mathématiques » 🌐
                                        @paysmaths@mathstodon.xyz

                                        Singaporean brothers use unsolvable maths equations to build modern, unbreakable encryption
                                        Source : The Straits Times / Sarah Koh

                                        straitstimes.com/tech/sporean-

                                          Mike Fraser boosted

                                          [?]steve mookie kong » 🌐
                                          @mookie@weredreaming.com

                                          Why is that ship named 3.1415? [SENSITIVE CONTENT]Because it’s full of 𝛑-rates.


                                            [?]Truth & Answers » 🌐
                                            @collective_truth@mastodon.social

                                            @geethap2007 from - by :

                                            "#Triangles compressing me once
                                            into , my roundness
                                            meets , shadows ensnared

                                            [Verse]
                                            I squeeze hard repressing contours
                                            On ’s path, we oft take
                                            The walk on lasts
                                            Greater into the vasts

                                            [Chorus]
                                            Morning star, it buds within me
                                            Rising light carries me so free
                                            Into meadows of morrows sighs
                                            Where deep and clean, forgiveness lies


                                            See > geethabalvannanathan.com

                                              screwlisp boosted

                                              [?]Juan M. Bello-Rivas » 🌐
                                              @rwxrwxrwx@mathstodon.xyz

                                              José María Yturralde - Estructura volante (1977)

                                              march.es/en/cuenca/exhibitions

                                              Geometric-shaped kite flying over a beach against the backdrop of a blue sky.

                                              Alt...Geometric-shaped kite flying over a beach against the backdrop of a blue sky.

                                                Peter Bloem boosted

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

                                                Meet Alice. Alice is impatient lobste.rs/s/dswkwr
                                                brooker.co.za/blog/2026/06/19/

                                                  JJDavis :terminal: boosted

                                                  [?]ProgressivePower » 🌐
                                                  @ProgressivePower@newsie.social

                                                  MAGA folks who can’t do math nor science, that’s near one billion

                                                    JJDavis :terminal: boosted

                                                    [?]Paysages Mathématiques » 🌐
                                                    @paysmaths@mathstodon.xyz

                                                    Solved, Unsolved and Unsolvable: The Status of Hilbert’s 23 Problems in Mathematics
                                                    Source : Simons Foundation / Evelyn Lamb

                                                    simonsfoundation.org/2026/06/1

                                                      JJDavis :terminal: boosted

                                                      [?]Paysages Mathématiques » 🌐
                                                      @paysmaths@mathstodon.xyz

                                                      "Like Molière's M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The real nature of the tools of their craft has become evident only within recent times." –E.Nagel and J.Newman

                                                      Quote from Ernest Nagel and James R. Newman : "Like Molière's M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The real nature of the tools of their craft has become evident only within recent times."

                                                      Alt...Quote from Ernest Nagel and James R. Newman : "Like Molière's M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The real nature of the tools of their craft has become evident only within recent times."

                                                        [?]Brian Sletten » 🌐
                                                        @bsletten@mastodon.social

                                                        After all this time looking for it!

                                                        A beach by a lake in the mountains. Blue sky, trees, pretty water. In the foreground there are the remnants of a tree trunk on its side. Roots are exposed. There are two prominent branches at 90 degrees that have another 90 degree turn in each direction to meet back up in what appears to be a natural rectanglish shape. The text says, “I finally found it… the square root”.

                                                        Alt...A beach by a lake in the mountains. Blue sky, trees, pretty water. In the foreground there are the remnants of a tree trunk on its side. Roots are exposed. There are two prominent branches at 90 degrees that have another 90 degree turn in each direction to meet back up in what appears to be a natural rectanglish shape. The text says, “I finally found it… the square root”.

                                                          Light boosted

                                                          [?]Freezenet » 🌐
                                                          @freezenet@noc.social

                                                          To come up with that kind of math in 30 seconds is ridiculously good in my books.

                                                          youtube.com/watch?v=pfa3MHLLSW

                                                            about this site - powered by snac/2.93-dev