Jason (jcreed) wrote,
Jason
jcreed

I have this chorus running through my head now:
I'd tell you why
but I don't know
It's simple and
so complicated
I could walk all day
on the railroad tracks
but there's much more
to it than that

(from mirah's "sweepstakes prize")

Events of today include: got some writing work done, went to the ConCert reading group meeting and listened to people talk about Leroy's certif(ied/ying) C compiler, played some piano.

Also someone in the pre-ConCertRG chatter asked whether there were finite non-Boolean Heyting algebras. It took me a minute to dredge up the (positive) answer, and I added it to the Wikipedia page for Heyting algebras just for the hell of it. The short answer is that it's the lattice of open sets of the Sierpinski space.
Tags: math, music, wiki, work
Subscribe

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 15 comments

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…