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
    Rich Felker (dalias@hachyderm.io)'s status on Friday, 24-Jan-2025 22:09:48 JSTRich FelkerRich Felker
    in reply to
    • Aral Balkan
    • Martin Dougiamas
    • G. Wozniak
    • JWcph, Radicalized By Decency
    • Mud Road

    @gwozniak @jwcph @aral @fredb @martin Mathematics is one place where there might be some useful results, specifically because proofs are testable.

    However most interesting advances in mathematics are choosing the right definitions to build stuff from, not provinces something that was hard to prove. And I'm skeptical shuffling existing proof techniques according to statistical models will yield a lot of new results.

    In conversationabout 5 months ago from hachyderm.iopermalink
  • 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.