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

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Untitled attachment

Download link

Notices where this attachment appears

  1. kat (boneidol@indy.im)'s status on Friday, 28-Jun-2019 08:57:03 UTC kat kat
    It just occurred to me that...

    If you are preparing a cucumber for a greek salad, that it DOES NOT MATTER if you cut the cumber radially ( into circles) and then cut those into quarters.

    OR

    If you cut the cucumber along it's long axis into quarters, and then chop those into smaller pieces.

    And this is a real world application of Theorems for Free, Wadler 1989

    https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf
    In conversation Friday, 28-Jun-2019 08:57:03 UTC from indy.im permalink
  2. kat (boneidol@indy.im)'s status on Saturday, 17-Feb-2018 19:45:27 UTC kat kat
    @make No! lifes too short! Also the reason it didn't get drunk immediately was we got distracted reading Wadlers paper on "Free Theorems" https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf
    In conversation Saturday, 17-Feb-2018 19:45:27 UTC from indy.im permalink
  • 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.