The seventeen provers of the world:
http://www.cs.ru.nl/~freek/comparison/index.html
Seems like they could have provided more of a summary of this comparison. E.g., they could have provided "lines of proof script" for each, but I guess that particular comparison (or any one number) would be unfair.
I don't know Metamath, but the Metamath one looks strange.
Wednesday, February 10, 2010
Monday, February 1, 2010
"Sprinkles" on English Muffins
Random thought: What do you call the "sprinkles" on the top of an English muffin? Is it just a kind of bread crumb (i.e., it's just crumbled English muffin)?
Friday, August 28, 2009
Kiss Kiss Bang Bang
Hot on the heels of my Netflix post, I just finished watching Kiss Kiss Bang Bang and noticed that Michelle Monaghan was in Gone Baby Gone as Angie Gennaro, but her KKBB character was in a commercial for Genaro's Beer.
I am too bored.
I am too bored.
Netflix
On Recommendations: They recommended Kangaroo Jack to me because I liked Ratatouille and Kung Fu Panda. To their defense they also recommended Ice Age, which I actually did like. Why don't they consider the number of stars as well? Maybe there just aren't enough >= (4 - \epsilon) starred movies to go around (Kangaroo Jack had 3 + \epsilon, so maybe it's not that bad). I wonder when they will incorporate improvements from the Netflix competitions.
On old movies / tv shows: Do they make more money off of folks who rent old movies? Old movies are already shown for free on public TV, basic cable, and even online. Oh well, I should rent a movie based on its utility to me, not them, anyway. On a related note, I recently enjoyed the train station scene from The Untouchables (too young when it was first released).
It's much better to let y'all see that scene in context than to post the isolated youtube clip.
On old movies / tv shows: Do they make more money off of folks who rent old movies? Old movies are already shown for free on public TV, basic cable, and even online. Oh well, I should rent a movie based on its utility to me, not them, anyway. On a related note, I recently enjoyed the train station scene from The Untouchables (too young when it was first released).
It's much better to let y'all see that scene in context than to post the isolated youtube clip.
Wednesday, April 15, 2009
Phoenix Wright: Ace Attorney
The Phoenix Wright series is awesome.
If only there was a way to convert theorem prover queries into amusing court cases and have children of all ages help us find contradictions.
Misc:
http://objection.mrdictionary.net/index.php
+ the whole slew of youtube videos (e.g., this, this')
If only there was a way to convert theorem prover queries into amusing court cases and have children of all ages help us find contradictions.
Misc:
http://objection.mrdictionary.net/index.php
+ the whole slew of youtube videos (e.g., this, this')
Subscribe to:
Posts (Atom)