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 Andy Tonks (apt12@mathstodon.xyz)

  1. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Tuesday, 07-Jan-2025 01:08:00 JST Andy Tonks Andy Tonks

    please don't let maths journals go this way...

    Elsevier adds AI to the "proofreading" of publications. Editors resign.

    https://retractionwatch.com/2024/12/27/evolution-journal-editors-resign-en-masse-to-protest-elsevier-changes/

    https://pivot-to-ai.com/2025/01/05/elsevier-rewrites-academic-papers-with-ai-without-telling-editors-or-authors/

    In conversation about 6 months ago from mathstodon.xyz permalink
  2. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Friday, 27-Dec-2024 03:36:26 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh ah ok. for me all the words in TOS are plural (maybe I pronounce series (pl) slightly differently than series (sing) - and I speak only english english ;-) )

    In conversation about 6 months ago from mathstodon.xyz permalink
  3. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Thursday, 26-Dec-2024 23:38:41 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh when did the nomenclature "OG Star Trek" start replacing "Star Trek TOS" ?

    In conversation about 6 months ago from mathstodon.xyz permalink
  4. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Wednesday, 25-Dec-2024 02:39:44 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh is that "named after the Ancient Psychic Tandem War Elephant, a minor character in Adventure Time. It doesn't matter that this is a terrible name, because it is only a kernel language and will never be programmer-facing" 😂 https://github.com/CyberCat-Institute/Aptwe/blob/main/README.md

    In conversation about 6 months ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: opengraph.githubassets.com
      Aptwe/README.md at main · CyberCat-Institute/Aptwe
      A well typed by construction kernel language for bidirectional programming - CyberCat-Institute/Aptwe
  5. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Wednesday, 25-Dec-2024 02:24:27 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh and 25th unboxing day

    In conversation about 6 months ago from mathstodon.xyz permalink
  6. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:46:46 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh OK maybe I am not understanding the question, but the unit \( \eta\colon \hat C\to F \) is just an element of the set \( FC \) by Yondaa, so that's a start.

    In conversation about 7 months ago from mathstodon.xyz permalink
  7. Embed this notice
    Andy Tonks (apt12@mathstodon.xyz)'s status on Saturday, 30-Nov-2024 06:37:35 JST Andy Tonks Andy Tonks
    in reply to
    • julesh

    @julesh A chef? Just a prechef satisfying the chef condition I guess.

    In conversation about 7 months ago from mathstodon.xyz permalink

User actions

    Andy Tonks

    Andy Tonks

    ex "University" of Leicesternow Universidad de Málaga

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          301868
          Member since
          29 Nov 2024
          Notices
          7
          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.