A tiny toy compiler proven correct in Idris
(github.com)
July 2018 Archive
9121.
9122.
Containers and Cloud Security
(blog.hansenpartnership.com)
9123.
Must-Learn JavaScript array methods
(gofore.com)
9124.
9125.
Statistical and Machine Learning forecasting methods: Concerns and ways forward
(journals.plos.org)
9126.
Judge jails defendant for failing to unlock phones
(fox13news.com)
9127.
Plowing through Procrastination
(spin.atomicobject.com)
9129.
9130.
9131.
9132.
Amazon Prime Day 2018: the best deals
(theverge.com)
9133.
Could Africa Become the Next Silicon Valley?
(foxnews.com)
9134.
Will Bitcoin Save Us from Google?
(wsj.com)
9135.
9136.
Morphos 3.11 run on Qemu 3.0 host threadripper 1950x
(youtube.com)
9138.
That’s Numberwangcoin! [pdf]
(calculem.us)
9139.
China Expands Surveillance of Sewage to Police Illegal Drug Use
(scientificamerican.com)
9140.
Windows Command-Line: Inside the Windows Console
(blogs.msdn.microsoft.com)
9143.
How to raise money from friends and family
(blog.elizabethyin.com)
9144.
The Sci-Fi Sex Scene That Changed My Life
(slate.com)
9145.
Boredom: A History of Western Philosophical Perspectives
(iep.utm.edu)
9146.
Tokyo Wants People to Go to Work Earlier to Ease Train Crush
(bloomberg.com)
9148.
Linux top command: customization guide
(haydenjames.io)
9149.
How Russia could steal our next election
(fivethirtyeight.com)