May 2012 Archive
4231.
4232.
Compiler pearl: Equality proofs and deferred type errors [pdf]
(research.microsoft.com)
4233.
Heap.coffee: Low-Level CoffeeScript
(syg.github.com)
4234.
Building the USS Enterprise - the real ship - over the next 20 years.
(buildtheenterprise.org)
4235.
High-tech system lets restaurant set noise level
(sfgate.com)
4236.
Wayfinding information system for Moscow (concept)
(artlebedev.com)
4237.
Software System Morphology
(elegantcoding.com)
4238.
Blitzprog - concurrent data flow programming language
(blitzprog.org)
4239.
Yahoo Names Fred Amoroso Chairman and Appoints Ross Levinsohn Interim CEO
(pressroom.yahoo.net)
4240.
Krugman: Greece exit of Euro soon (months)
(krugman.blogs.nytimes.com)
4241.
4242.
How Common Is Your Birthday?
(thedailyviz.com)
4243.
The head of Google News on the future of news
(civic.mit.edu)
4244.
The good and bad of Ubuntu 12.04 (part 2)
(lxer.com)
4245.
XML parser performance in CPython 3.3 and PyPy 1.7
(blog.behnel.de)
4246.
Kodak had a nuclear reactor
(democratandchronicle.com)
4248.
The problem with nerd politics
(guardian.co.uk)
4249.
4250.
Code Forensics
(javacodegeeks.com)
4252.
Apple reportedly asked Kaspersky Lab to analyze OS X
(arstechnica.com)
4253.
Client: We won’t be paying. We didn’t use your material.
(clientsfromhell.net)
4254.
Visualizing Network Flow Data
(blog.boundary.com)
4255.
The CEO’s Weekly Checklist
(scott.a16z.com)
4256.
Nvidia Delivers Eclipse-based IDE for GPU Computing on Linux and Mac OS
(developer.nvidia.com)
4257.
4258.
Quora raises $50m at a $400m valuation
(techcrunch.com)
4259.
Is Mozilla Punting on Web Apps for Linux?
(internetnews.com)
4260.
Kickstarter API Bug
(kickstarter.com)