GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by theHigherGeometer (highergeometer@mathstodon.xyz)

  1. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Tuesday, 29-Apr-2025 20:18:41 JST theHigherGeometer theHigherGeometer

    People are saying we should write jumble words to mess up the training of AIs; I say we should just write sentences like those of the length Jane Austen would write, that have such non-local structure and nested clauses that, what with the drift of attention and the window of tokens, the LLMs might start to emulate said sentences and then start to drift; one should also throw in even more semicolons (and, why not, nested parentheticals (and even em-dash-separated asides—who doesn't love author commentary—to pad out the length) for the additional context they give)—but of course, also trying to keep in mind the general readability of the flow of ideas: know your audience, after all; for me, I'm happy to just be typing into the void as a release-valve for my thoughts, even if none of you are still reading by this point; I would much rather write—and read!—read something like this than have to and and/or subtract all the additional nonsense words; even better would be Proustian nested clauses and inverted grammar, but that, unlike run-on sentences, does not come so easily, unlike (apparently) to 19th century German journalists (but of course in German one can split the verbs as far apart as one likes).

    Or not.

    In conversation about a month ago from mathstodon.xyz permalink
  2. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:35 JST theHigherGeometer theHigherGeometer

    How much can you compress a number?

    The binary number

    01000101010110101001000100010001000001000101011000011000000000010111111100011001111111111011001011100001010111000010101111000000001011111000000001111111000010101010111111111111111101111111111110111101000000100000101011100100000001011011101100001010110000101101111101111111000011111111110011000001000011111111100110000010001001010101011111111011111111111111111100000011100001010111111111111111111110001110111111100001000000010110111011001000001010110111111111110010111011111111111110111111111001011101111111111110111111111000000001010101010111101000000001111000110000010000010000000000101011110000010011111111011111011110011101000001000001001011111100000010000000101101110110010000010101101110010101111111000100101110000011011110111111110010101110111111011110111111100000000000000001010111100000011101111111110011111110111100001111111000010110110111111001011100001011000010101100001011011111101111111100001111111001100000100001100000110110100001010101111011111111111111111000000000100000111000001000000010011101011000101000010110000101011000001000000000011100000110000000000111000001000001000001011000010001101000000110000000010111111101110010101111110111110110100000010101111110000001011101001011011000001100111101100111101000010101010001101000010000000001000100010101111100000000111111001010111111111101111111101100101111000011111110000101101100101011111111111100000011100101111111111111011010011110000000011001111111111111100001100000101111111100111110010101111111111011111111010111111000011100111100001011011011111000011001011111110110011100111101111000000101100000101100000010110000011011001101000001001101100000100101000110100000010000010110000000011011111001... (1/2)

    In conversation about 6 months ago from mathstodon.xyz permalink
  3. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:32 JST theHigherGeometer theHigherGeometer
    in reply to
    • Martin Escardo

    @MartinEscardo Sure, but is 'x' a computable expression? In what language?

    In conversation about 6 months ago from mathstodon.xyz permalink
  4. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Monday, 02-Dec-2024 14:43:49 JST theHigherGeometer theHigherGeometer
    • John Carlos Baez

    Oh, wow. Just dropped: a 199-page preprint that is claiming a solution of the moving sofa problem!

    https://arxiv.org/abs/2411.19826

    cc @johncarlosbaez

    In conversation about 6 months ago from mathstodon.xyz permalink
  5. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Monday, 18-Nov-2024 04:24:11 JST theHigherGeometer theHigherGeometer
    • Bridgy Fed for Bluesky

    Just followed @bsky.brid.gy to try to bridge over to BlueSky. Anyone else done that recently? Allegedly the account is supposed to follow me back to complete the handshake, but I can't see it has happened...

    EDIT: all sorted

    In conversation about 6 months ago from mathstodon.xyz permalink
  6. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Monday, 11-Nov-2024 19:52:54 JST theHigherGeometer theHigherGeometer

    Samuel Mimram has an interesting LaTeX package that takes algebraic syntax (possibly annotated) and turns it into a string diagram drawn in TikZ

    https://smimram.github.io/satex/

    In conversation about 7 months ago from mathstodon.xyz permalink
  7. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Monday, 11-Nov-2024 16:43:33 JST theHigherGeometer theHigherGeometer

    From the categories mailing list

    "To celebrate the 10th anniversary of the death of the great mathematician Alexander Grothendieck, occurred on 13 November 2014, the Grothendieck Institute organises a commemorative conference in his honour.

    The event will be held online on Saturday the 16th of November 2024, from 2 to 6 p.m. CET"

    https://igrothendieck.org/en/homage-to-alexander-grothendieck/

    In conversation about 7 months ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: igrothendieck.org
      Homage to Alexander Grothendieck - Istituto Grothendieck
      from Al3xGrThMatm4
      To celebrate the 10th anniversary of the death of A. Grothendieck, occurred on 13 November 2014, the Grothendieck Institute organises
  8. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Saturday, 27-Jan-2024 18:43:50 JST theHigherGeometer theHigherGeometer
    in reply to
    • kaia
    • Ryan Finnie

    @kaia @foo "...*where the Wingdings Js are"

    In conversation Saturday, 27-Jan-2024 18:43:50 JST from mathstodon.xyz permalink
  9. Embed this notice
    theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Monday, 05-Jun-2023 22:32:32 JST theHigherGeometer theHigherGeometer
    • John Carlos Baez
    • Terence Tao
    • Peter Woit

    Please note: this affects MathOverflow, and there is more than can at present be made public.

    https://meta.stackexchange.com/questions/389811/moderator-strike-stack-overflow-inc-cannot-consistently-ignore-mistreat-and

    CC @johncarlosbaez @tao @peterwoit

    1/n

    In conversation Monday, 05-Jun-2023 22:32:32 JST from mathstodon.xyz permalink

User actions

    theHigherGeometer

    theHigherGeometer

    rimcræftiga | bespoke constructions in categorified geometry since 2010 | dude

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          134335
          Member since
          5 Jun 2023
          Notices
          9
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.