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 Glerk Pizza (anshthewad@mathstodon.xyz)

  1. Embed this notice
    Glerk Pizza (anshthewad@mathstodon.xyz)'s status on Tuesday, 27-Jan-2026 04:02:30 JST Glerk Pizza Glerk Pizza
    in reply to
    • Aral Balkan

    @aral The quoted post is unavailable, what was it?

    In conversation about 2 months ago from mathstodon.xyz permalink
  2. Embed this notice
    Glerk Pizza (anshthewad@mathstodon.xyz)'s status on Tuesday, 23-Dec-2025 23:14:57 JST Glerk Pizza Glerk Pizza
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Ok, I'll have to start using that. But what if I'm contributing to a library like https://github.com/agda/cubical which isn't on codeberg?

    In conversation about 3 months ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: opengraph.githubassets.com
      GitHub - agda/cubical: An experimental library for Cubical Agda
      An experimental library for Cubical Agda. Contribute to agda/cubical development by creating an account on GitHub.
  3. Embed this notice
    Glerk Pizza (anshthewad@mathstodon.xyz)'s status on Tuesday, 23-Dec-2025 22:18:18 JST Glerk Pizza Glerk Pizza
    in reply to
    • ✧✦Catherine✦✧

    @whitequark Is there a way to disable this? or is there an alternative to github?

    In conversation about 3 months ago from mathstodon.xyz permalink

User actions

    Glerk Pizza

    Glerk Pizza

    plastic eyes lookin through a numbskullI'm Ansh :DI'll accept most follow requests.A minorCurrently: chasing diagrams (may be out of date)Profile image description: Clippy in blue backgroundHeader image description: Cheese #709

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          375421
          Member since
          23 Dec 2025
          Notices
          3
          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.