January 2018 Archive
15181.
CASL and cold messages: opt-in is not always needed
(medium.com)
15182.
15183.
Request a woman scientist (women's voices in public sphere)
(500womenscientists.org)
15184.
15185.
Let's Prove Random Games Are Winnable (with Formal Methods)
(hillelwayne.com)
15186.
A Beginner's Guide to Kerning (2015)
(designschool.canva.com)
15187.
Archive of formal proofs
(isa-afp.org)
15188.
ReactJS for Noobs II – Flux
(medium.com)
15189.
15190.
Why We Use Terraform
(blog.gruntwork.io)
15191.
SpaceX sets historic first Falcon Heavy launch for February 6
(techcrunch.com)
15192.
China’s audacious and inventive new generation of entrepreneurs
(economist.com)
15193.
Island: A Sandbox Environment on Your Android Device (2016)
(forum.xda-developers.com)
15194.
15195.
Unblocking the database bottleneck in enterprise DevOps deployments
(computerweekly.com)
15196.
Cryonics: A Quick Overview
(rationalconspiracy.com)
15197.
Less screen time is the secret to teen happiness, new research shows
(washingtonpost.com)
15198.
Alcatraz mystery deepens after discovery of letter claiming prisoners survived
(independent.co.uk)
15199.
15201.
Set Your Homepage as a Countdown Clock to Your Death
(lifehacker.com)
15202.
Maybe It’s Time to Regulate Gadgets and Apps Like Cigarettes
(fastcompany.com)
15203.
Why Variable Fonts Will Succeed
(thomasphinney.com)
15204.
15205.
The Borel-Kolmogorov paradox
(en.wikipedia.org)
15206.
Show HN: Array manipulation at compile time in C++11
(github.com)
15207.
Submarine Cuisine [pdf]
(maritime.org)
15208.
15209.
Bitcoin Dip Frequency Data
(cryptocurrentsblog.com)
15210.
Tools Used for the Development of Celeste
(celestegame.tumblr.com)