senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Andrew Miloradovsky (amiloradovsky@functional.cafe)

    This is the timeline for amiloradovsky, but amiloradovsky hasn't posted anything yet. Why not register an account and then nudge amiloradovsky or post a notice to them.

    User actions

      Andrew Miloradovsky

      Andrew Miloradovsky

      Interests include: #Coq, #OCaml, #Ocsigen, #Guix(SD), #CoreBoot, #OpenCASCADE; free/libre/open-source computing, pure and applied #mathematics & #mechanics

      Tags
      • (None)

      Following 0

        Followers 0

          Groups 0

            Statistics

            User ID
            19331
            Member since
            10 Mar 2019
            Notices
            0
            Daily average
            0

            Feeds

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

            senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

            Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.