Jason (jcreed) wrote,


Hacked some twelf, read about hyperfunctions.
I found about the latter looking at some bibliography
on arrows, which are in turn a generalization of

  • (no subject)

    So, K had incredible foresight and realized that I needed to bring the TWC modem with me when we moved, so alls I had to do to finally sort out the…

  • (no subject)

    Posted more lambda visualizations over on twitter, got record numbers of twitter points. Where do I redeem them, again? It's over behind the…

  • (no subject)

    Bein' all social and stuff today. Had lunch with Moira and her data science pals, and dinner with Michael Coblenz, who I talked to about life and…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded