Open Logic Project: An Open-Source, Collaborative Logic Text
(openlogicproject.org)
August 2018 Archive
1711.
1712.
Dataspace 3: It Came from the S-Expressions
(natecull.org)
1713.
An incomplete history of the QED Text Editor (2004)
(bell-labs.com)
1714.
1715.
Peeking Behind the Curtains of Serverless Platforms [pdf]
(pages.cs.wisc.edu)
1716.
Clojure Compilation (2014)
(blog.ndk.io)
1717.
1718.
1719.
1720.
1722.
What Men and Women Consider Hardcore Gaming Are Not The Same
(quanticfoundry.com)
1723.
The pain that minimal version selection solves
(about.sourcegraph.com)
1724.
The End of the TV Writers’ Room?
(vanityfair.com)
1725.
New StackOverflow code of conduct
(stackoverflow.com)
1726.
Philadelphians Drink a Lot More Alcohol Since the City's Soda Tax Was Imposed
(politicalcalculations.blogspot.com)
1727.
How to Get Rich (without Getting Lucky)
(twitter.com)
1729.
Go 1.11 Rc1 released
(golang.org)
1730.
Traceability on the Internet
(cacm.acm.org)
1731.
Rainworks – Rain-Activated Positive Messages and Art
(rain.works)
1732.
1733.
Show HN: A simple interactive resume-making tool
(danplisetsky.github.io)
1734.
1735.
1736.
What's in a Production Web Application?
(stephenmann.io)
1737.
1738.
X.509 Style Guide (2000)
(cs.auckland.ac.nz)
1739.
A Kindergartener’s Best Computer Is About to Die
(kickscondor.com)
1740.