Chirp!
  • Login
Chirp! is a GNU Social instance for the Cooley and Sekula families and their friends.

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by alanz (alanz@mastodon.land)

  1. alanz (alanz@mastodon.land)'s status on Wednesday, 16-Aug-2017 12:53:54 UTC alanz alanz
    • Hallå Kitteh
    • jjg

    @jjg @clacke fyi
    https://mastodon.land/media/_UWkcllzy7IBe43J1gs

    In conversation Wednesday, 16-Aug-2017 12:53:54 UTC from mastodon.land permalink
  2. alanz (alanz@mastodon.land)'s status on Thursday, 27-Jul-2017 13:37:18 UTC alanz alanz
    • Christine Lemmer-Webber

    @cwebber It comes up in the latest Functional Geekery podcast too. https://www.functionalgeekery.com/episode-101-adam-chlipala/

    In conversation Thursday, 27-Jul-2017 13:37:18 UTC from mastodon.land permalink

    Attachments

    1. Functional Geekery Episode 101 - Adam Chlipala
      from Functional Geekery
      Functional Geeks, Geeking Functionally In this episode I talk with Adam Chlipala. We talk Coq, proof assistants, getting started, tooling, domains for advancement using proofs, Ur/Web, and much, much more.
  3. alanz (alanz@mastodon.land)'s status on Thursday, 27-Jul-2017 06:29:04 UTC alanz alanz
    • Christine Lemmer-Webber

    @cwebber have you seen what the deepspec people are up to? Want a proof chain from the app specification to the processor. https://deepspec.org/

    In conversation Thursday, 27-Jul-2017 06:29:04 UTC from mastodon.land permalink

    Attachments


Internal Server Error - Chirp!
Chirp!
  • Login

Internal Server Error

Return value of UserFlagPlugin::showFlagButton() must be of the type array, none returned
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.

User actions