Curry-Howard, the Ontological Ultimate
(psnively.github.io)
October 2014 Archive
991.
993.
64-bit Android L developer preview
(plus.google.com)
994.
The Human Factor – the 2009 crash of Air France Flight 447
(vanityfair.com)
995.
Farewell CoffeeScript
(github.com)
996.
Analyze Your HN Posts with Watson User Modeling
(hn.mybluemix.net)
997.
Ducksboard is joining New Relic
(ducksboard.com)
998.
OpenBSD Passes 300,000 Commits
(undeadly.org)
999.
Storage Scalability in Docker
(developerblog.redhat.com)
1000.
1001.
Fun with Dependent Types in Haskell
(alfredodinapoli.com)
1002.
Neural Turing Machines [pdf]
(arxiv.org)
1003.
Mechanical Turk: The New Face of Behavioral Science?
(priceonomics.com)
1004.
Steve Wozniak to teach at University of Technology, Sydney
(arnnet.com.au)
1005.
Redis Sentinel properties and fail scenarios
(antirez.com)
1006.
1007.
1008.
Varnish 4.0.2 released
(varnish-cache.org)
1009.
Less.Mail – An email assistant that makes you work less
(less.robinlabs.com)
1010.
1011.
Hoverboard? Still in the Future
(nytimes.com)
1012.
SAT solving – An alternative to brute force Bitcoin mining (2013)
(jheusser.github.io)
1014.
1015.
The Reddit world map – How to map out online social networks
(randalolson.com)
1016.
Type-safe Transducers in Clojure, Scala, and Haskell
(blog.podsnap.com)
1017.
1018.
Atari 2600 transistor-level simulation
(blog.visual6502.org)
1019.
1020.
Retailers are disabling NFC readers to shut out Apple Pay
(theverge.com)