Type Save Division in Idris Using Dependent Types
(gist.github.com)
July 2014 Archive
9511.
9512.
99/1 is the new 80/20
(rude.vc)
9514.
Software Engineering: An Idea Whose Time Has Come and Gone? (2009) [pdf]
(www2.computer.org)
9515.
CHRISTIE’S TO SELL HISTORIC 1958 MICROCHIP
(christies.com)
9516.
9517.
The Golden Age of Basic
(spectrum.ieee.org)
9518.
9519.
An 18-Minute Plan for Managing Your Day And Finding Focus
(farnamstreetblog.com)
9520.
Creating a Startup – The Importance of Now
(code-love.com)
9521.
CoreOS on DigitalOcean
(github.com)
9522.
Your Domain Model is broken
(philcrissman.com)
9523.
The pitching theory that could revolutionize baseball
(sbnation.com)
9525.
Renewables in German State Produce 120% Electricity
(cleantechnica.com)
9526.
Big Quakes Double in 2014, But They're Not Linked
(news.discovery.com)
9527.
Please Tell This Robot What a Turtle Looks Like
(spectrum.ieee.org)
9528.
The future of loudspeaker design
(theregister.co.uk)
9529.
Landing Page Mistakes You Can Learn From
(pagewiz.com)
9530.
9531.
European Ridesharing Blablacar raises $100M led by Index Ventures
(rudebaguette.com)
9532.
9533.
Raspberry Pi Temperature Controller
(kickstarter.com)
9534.
9535.
Why the growing API economy gives developers limitless opportunities
(venturebeat.com)
9536.
How a password changed my life
(medium.com)
9537.
Mistakes to Avoid With Responsive Web Design
(flippinawesome.org)
9538.
Interactive Quiz: Can You Tell What Makes a Good Tweet?
(nytimes.com)
9539.
9540.
The Team Behind Soon-to-Launch Google Ventures London
(breitbart.com)