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

  • Public

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

Embed Notice

HTML Code

Corresponding Notice

  1. Embed this notice
    julesh (julesh@mathstodon.xyz)'s status on Sunday, 01-Dec-2024 21:26:27 JSTjuleshjulesh
    in reply to
    • chris martens
    • James Wood

    @mudri @chrisamaphone Absolutely not... the closest thing I have to intuition is roughly "if it's pretty and symmetrical then it might admit cut, if it's janky in any way then it definitely won't admit cut"... and Girard's rules for ! are noticeably janky

    In conversationabout 3 months ago from mathstodon.xyzpermalink
  • 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.