Home / 2015
2015 Archive
24211.
L1c: A conceptually simple formally verified compiler (github.com)
33 points by CHY872 on Jun 24, 2015 | 3 comments
24212.
Opinion Mining with Deep Recurrent Neural Networks (cs.cornell.edu)
33 points by luu on Jul 6, 2015 | 3 comments
24213.
Establishing the Rust-Python FFI (wafflespeanut.github.io)
33 points by wafflespeanut on Jul 8, 2015 | 3 comments
24214.
E. L. Doctorow, the Art of Fiction No. 94 (1986) (theparisreview.org)
33 points by benbreen on Jul 22, 2015 | 3 comments
24215.
Why Libraries Matter (2014) [video] (theatlantic.com)
33 points by Tomte on Jul 30, 2015 | 3 comments
24216.
React.Component vs. React.createClass (reactjsnews.com)
33 points by zackify on Aug 7, 2015 | 3 comments
24217.
The Next Penelope Post-Mortem (aurelregard.tumblr.com)
33 points by epsylon on Aug 10, 2015 | 3 comments
24218.
Fastest way to sort 10 numbers? (numbers are 32 bit) (stackoverflow.com)
33 points by shagunsodhani on Aug 28, 2015 | 3 comments
24219.
Recursion in SPARC (mathcs.emory.edu)
33 points by ishtu on Sep 13, 2015 | 3 comments
24220.
An architecture for encoding sentence meaning in left temporal cortex (pnas.org)
33 points by benbreen on Sep 30, 2015 | 3 comments
24221.
iKe: Browser-based k-family language IDE (johnearnest.github.io)
33 points by shaunxcode on Oct 1, 2015 | 3 comments
24222.
Avout: Distributed State in Clojure (avout.io)
33 points by divs1210 on Oct 25, 2015 | 3 comments
24223.
Ways to Say Nothing with Scientific Visualization (1994) [pdf] (lsi.usp.br)
33 points by GuiA on Nov 15, 2015 | 3 comments
24224.
Containerd: a daemon to control runC (blog.docker.com)
33 points by alpb on Dec 17, 2015 | 3 comments
24225.
Introduction to redo (homepage.ntlworld.com)
33 points by soundsop on Mar 28, 2015 | 2 comments
24226.
Facebook disabled users' accounts for violating WhatsApp TOS 3 years ago ()
33 points by hubail on Apr 2, 2015 | 2 comments
24227.
RichEditor – A Rich Text WYSIWYG Editor for Android (github.com)
33 points by wasabeef on Apr 2, 2015 | 2 comments
24228.
Accurate, Robust, and Flexible Real-Time Hand Tracking [pdf] (research.microsoft.com)
33 points by noteloop on Apr 15, 2015 | 2 comments
24229.
DOJ looking at Apple as it is pushes record labels to ditch free Spotify streams (theverge.com)
33 points by jfuhrman on May 4, 2015 | 2 comments
24230.
NSA Planned to Hijack Google App Store to Hack Smartphones (firstlook.org)
33 points by etiam on May 21, 2015 | 2 comments
24231.
The Trials and Tribulations of Batch Processing (1967) [video] (computerhistory.org)
33 points by MilnerRoute on Jul 25, 2015 | 2 comments
24232.
Chinese Cave Graffiti Contains 500 Years of Climate Data (motherboard.vice.com)
33 points by curtis on Aug 13, 2015 | 2 comments
24233.
Portmapper – A New DDoS Reflection Attack (blog.level3.com)
33 points by Sami_Lehtinen on Aug 18, 2015 | 2 comments
24234.
Deconstructing the CAP Theorem for CM and DevOps (2013) (markburgess.org)
33 points by shin_lao on Oct 19, 2015 | 2 comments
24235.
Man builds giant computer at home (bbc.co.uk)
33 points by alan_cx on Nov 7, 2015 | 2 comments
24236.
A glimpse of Cornell's new tech campus (venturebeat.com)
33 points by vishnuks on Nov 21, 2015 | 2 comments
24237.
John Carmack Reviews Bazaar on GearVR (facebook.com)
33 points by tsemple on Nov 27, 2015 | 2 comments
24238.
Open-Source Retreat 2016 grantees (stripe.com)
33 points by krithix on Dec 8, 2015 | 2 comments
24239.
Emergence in Holographic Scenarios for Gravity (philsci-archive.pitt.edu)
33 points by ColinWright on Dec 16, 2015 | 2 comments
24240.
Drone Light Painting (asctec.de)
33 points by gurkwart on Dec 16, 2015 | 2 comments