Using Coq to verify LLVM optimization passes.
(cis.upenn.edu)
October 2012 Archive
7021.
7022.
7023.
Google Wallet Incognito Credit Card - my take
(plus.google.com)
7024.
Parser and lexical analyzer generator for JavaScript, written in JavaScript
(jscc.phorward-software.com)
7025.
Abandoned Apps (part 1)
(samvermette.com)
7026.
John Resig - Talk: Khan Academy Computer Science
(ejohn.org)
7027.
ClojureScript and Node.js – an experience report
(pauldee.org)
7028.
You've got to sell your heart
(lettersofnote.com)
7029.
7030.
The African Dream- Part 2
(munyukim.blogspot.com)
7031.
Sass port of YAML
(github.com)
7032.
Woof - simply exchange files
(home.unix-ag.org)
7033.
3.6 million social security numbers exposed in cyber attack.
(theverge.com)
7034.
When a gnu crashed the Windows 8 launch
(fsf.org)
7035.
Bootstrap Form Helpers now has 6 plugins including one for timezones.
(vlamanna.github.com)
7036.
The Map-Reduce Card Game
(blog.marciosilva.com)
7037.
Software quality hell: bandaid development
(blog.sacaluta.com)
7038.
Better Solution to Outdated One Time Employee Referral Bonuses
(theoperationsguy.com)
7039.
Sandy vs. Irene: Sandy is going to be worse. Way worse.
(epawablogs.com)
7040.
Just Enough NLP with Python
(speakerdeck.com)
7041.
Delightful Animations in One Line of Code: Part 1
(neatocode.tumblr.com)
7042.
Looking Under the Covers of StatsD
(blog.johngoulah.com)
7043.
Unsemantic
(unsemantic.com)
7044.
7045.
7046.
7047.
Tracking-clicks-online-to-try-to-sway-voters
(nytimes.com)
7048.
7049.
Microsoft Surface Day 2: Setting up our new ‘iPad’
(geekwire.com)
7050.
Background Checks and Personal Ethics in Age of Google
(nytimes.com)