Make Em Laugh, Make Em Cry

By pontiff on June 8, 2009.

Scenes from today's CSE 322 (introduction to formal methods in computer science) final:

More like this

Advertisment

Donate

ScienceBlogs is where scientists communicate directly with the public. We are part of Science 2.0, a science education nonprofit operating under Section 501(c)(3) of the Internal Revenue Code. Please make a tax-deductible donation if you value independent science communication, collaboration, participation, and open access.

You can also shop using Amazon Smile and though you pay nothing more we get a tiny something.

Science 2.0

Science Codex

More by this author

So Long and Thanks For All the Fish!

July 7, 2010

This blog has moved. The new location is http://dabacon.org/pontiff.So long and thanks for all the fish! Over the past three years I've had a good time blogging here at Scienceblogs. Though I rarely agree with much they say (haha, classic curmudgeon that I am) I can honestly say my fellow…

Dead Spins And The Dirty Ground

June 23, 2010

Yep, it's that time again. Paper dance time!arXiv:1006.4388Making Classical Ground State Spin Computing Fault-Tolerant Isaac J. Crosson, Dave Bacon, Kenneth R. Brown We examine a model of classical deterministic computing in which the ground state of the classical system is a spatial history of…

Bacon Camp

June 23, 2010

Oh, damn, I missed Bacon Camp. Well I'll just have to go camping myself :) Also: Colored Bacon and Bacon cupcakes.

Best Paper at STOC

June 17, 2010

Congrats to Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, and John Watrous for being selected a best paper at STOC 2010 for their paper "QIP=PSPACE". (The best paper award was shared with "An improved LP-based approximation for Steiner Tree" by Jaroslaw Byrka, Fabrizio Grandoni , Thomas Rothvoss…

Pr(Future Dave Bacons|Library Cuts) is Small

June 14, 2010

I grew up in the small town of Yreka, CA ("Yreka Bakery" backwards is...) that sits just minutes south of the Oregon-California border on Interstate 5. Yreka, population a little over 7000 brave souls, is the county seat of Siskiyou county. Siskiyou county is "god's country" meaning, yes, (a) it…