Formal Proof
(ams.org)
May 2009 Archive
6481.
6482.
Example of bad programming
(badprogramming.com)
6483.
Of labels and limits
(antoniocangiano.com)
6484.
Mint Map: Real Estate by State
(mint.com)
6485.
6486.
UI Changes in Windows 7 RC (b/w build 7000 and 7100)
(arstechnica.com)
6487.
6488.
Motorcycle Maintenance and the Matter with Kansas
(initforthegold.blogspot.com)
6489.
6490.
Data: Perceptions of VC Industry are Broken
(earlystagevc.typepad.com)
6491.
"Can we trust a result if people must pay to criticize it?"
(overcomingbias.com)
6492.
Agents which haggle and resolve conflict
(ecs.soton.ac.uk)
6493.
6494.
Animating Balloons
(news.cnet.com)
6495.
Troll on Cloud Computing Mailing List Actually cc's Valleywag on a Flame
(groups.google.com)
6496.
Commercial Software Results: Follow Up
(lunduke.com)
6497.
Last.fm Denies Data-Sharing Accusations, Again
(blogs.wsj.com)
6498.
EFF : Teaching Copyright
(teachingcopyright.org)
6499.
String Pattern Matching: Welcome to Dynamic Programming
(justinbozonier.posterous.com)
6500.
Koordinates: an NZ geodata company
(koordinates.com)
6501.
CrowdMind
(crowdmind.com)
6502.
Meta Magazine
(scribd.com)
6503.
Why You Should Go Back to a Day Job
(geekpreneur.com)
6504.
Eric Schmidt: It's not easy being "Googzilla" (video)
(washingtonpost.com)
6505.
Google Kills a Sacred Cow
(fool.com)
6506.
Google Gives Devs G2's. But What Music Did they Include?
(sdtimes.com)
6507.
Decoding antiquity: Eight scripts that still can't be read
(newscientist.com)
6508.
The next frontier in search marketing
(business.rediff.com)
6509.
Want An HTC Magic From Google I/O? Try eBay.
(techcrunch.com)
6510.
VC Tim Draper on Innovation and Entrepreneurship
(xconomy.com)