Make Em Laugh, Make Em Cry
Category: Self: Meet Center. Center: Meet Self.
Scenes from today's CSE 322 (introduction to formal methods in computer science) final:...
Posted by Dave Bacon at 7:47 PM • 0 Comments • 0 TrackBacks
Now on ScienceBlogs: The Chicago Tribune: Telling it like it is about the antivaccine autism "biomed" movement
Theoretical Musings
Dave Bacon is a theoretical ski bum who is also a pseudo professor. His research is on quantum computing, his scientific passions extend to everything in physics, mathematics, computer science and beyond, and his personal pleasures include making wine, playing poker, skiing, camping, and daydreaming (although not all of those at the same time.)
Nothing he says on this blog should be construed as having anything to do with his employer or his dog.
Category: Self: Meet Center. Center: Meet Self.
Scenes from today's CSE 322 (introduction to formal methods in computer science) final:...
Posted by Dave Bacon at 7:47 PM • 0 Comments • 0 TrackBacks
Category: Teaching
The final has been administered:...
Posted by Dave Bacon at 7:59 PM • 2 Comments • 0 TrackBacks
Category: Quantum
Michael Nielsen has a nice essay up explaining Why the world needs quantum mechanics:Conventional wisdom holds that quantum mechanics is hard to learn. This is more or less correct, although often overstated. However, the necessity of abandoning conventional ways of...
Posted by Dave Bacon at 12:30 PM • 13 Comments • 0 TrackBacks
Category: Teaching
What I drew on the whiteboard during today's final:...
Posted by Dave Bacon at 7:43 PM • 7 Comments • 0 TrackBacks
Category: Self: Meet Center. Center: Meet Self.
Today is the final exam for the course I've been teaching this summer. So I need some reading material for when I'm not watching the students take their exam. Here are two fun ones I just downloaded (one via Alea):...
Posted by Dave Bacon at 12:27 PM • 2 Comments • 0 TrackBacks
Category: Teaching
For a second straight year, the winner of the U.S. Teacher of the Year, is a University of Washington graduate. Of course I'm not supposed to say that, as not bragging is an sacred northwest tradition. (Did you know that...
Posted by Dave Bacon at 3:13 PM • 1 Comments • 0 TrackBacks
Category: Computer Science
Last week, in the class I'm teaching, we talked about the basics of deterministic finite automata. In week two we moved on to more interesting and slightly less basic material. In particular we introduced the notion of a nondeterministic finite...
Posted by Dave Bacon at 6:36 PM • 3 Comments • 0 TrackBacks
Category: Teaching
This quarter I am teaching CSE 322: Introduction to Formal Models in Computer Science. Good fun. As part of my teaching I am LaTeXing up lecture notes from the class, which follow closely the book we are using, Sipser's "Introduction...
Posted by Dave Bacon at 10:03 AM • 2 Comments • 0 TrackBacks
Category: Teaching
...realizing that the class you are teaching for the first time this quarter ends on the half hour, not the hour, and therefore the fact that you are rushing through the material must seem extremely amusing to the students who...
Posted by Dave Bacon at 5:37 PM • 3 Comments • 0 TrackBacks
Category: Teaching
Addition, for me, is intimately connected up with my concept of a number. When I think of numbers in my head, I often think of the number in connection with its constituent parts, and when I divide these parts up...
Posted by Dave Bacon at 2:03 PM • 47 Comments • 0 TrackBacks
Tim Lambert 11.22.2009
PZ Myers 11.22.2009
PZ Myers 11.19.2009
Ed Brayton 11.22.2009
Ed Brayton 11.19.2009