You Can Prove a Negative [pdf]
(departments.bloomu.edu)
August 2015 Archive
1831.
1832.
1834.
Show HN: Forestry.io – A better way to host static websites (demo)
(forestryio.herokuapp.com)
1835.
If the Panama Canal gets a rival
(worldif.economist.com)
1836.
Zombie Factories Stalk the Sputtering Chinese Economy
(nytimes.com)
1837.
GRPC.io is interestingly different from CORBA
(eighty-twenty.org)
1839.
Microsoft's homepage circa 1994
(microsoft.com)
1840.
A page about call/cc (2002)
(madore.org)
1841.
Why “Agile” and Especially Scrum Are Terrible
(michaelochurch.wordpress.com)
1842.
PEP 0501 – Translation ready string interpolation
(python.org)
1843.
1844.
1845.
Rethinking temperature, sensors, and Raspberry Pi
(rethinkdb.com)
1846.
The Incredible Shrinking Operating System
(jonescape.com)
1847.
How Dropbox Sources, Scales and Ships Its Best Product Ideas
(firstround.com)
1848.
Project Oberon Emulator in JavaScript and Java
(schierlm.github.io)
1849.
Luerl – An implementation of Lua in Erlang
(github.com)
1850.
Thunderbird and end-to-end email encryption – should this be a priority?
(blog.mozilla.org)
1851.
Getting C-compatible structs in Go with and for cgo
(utcc.utoronto.ca)
1852.
NAND Flash: How It Breaks
(cushychicken.github.io)
1853.
1854.
Deringing in DCT via overshoot and clipping
(pornel.net)
1855.
Germany halts treason inquiry into journalists after protests
(theguardian.com)
1856.
Adding a Hard Drive to an Original IBM PC Using a Raspberry Pi
(insentricity.com)
1857.
Clojure to MiniZinc
(github.com)
1858.
The Hype Framework
(hypeframework.org)
1859.
Scooping the Loop Snooper (2000)
(lel.ed.ac.uk)
1860.
WebGoat – A deliberately insecure JavaEE application
(webgoat.github.io)