Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Wednesday, 11-Oct-2017 12:06:24 EDT ∑ XahLee ∑ XahLee

    homotopy type theory foreseen!
    Math Notation, Computer Language Syntax, and the “Form” in Formalism
    http://xahlee.info/cmaci/notation/index.html
    #haskell! #clojure!

    In conversation Wednesday, 11-Oct-2017 12:06:24 EDT from noagendasocial.com permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.