Homotopy Type Theory: Univalent Foundations of Mathematics (2013)
(homotopytypetheory.org)
November 2018 Archive
8071.
8072.
8073.
Animating NBA Games with Matplotlib and Pandas
(medium.com)
8074.
MongoDB for Mobile
(mongodb.com)
8075.
A Quick Note on SSPLv1
(blog.licensezero.com)
8076.
Arm’s CTO Mike Muller: Computing Way Outside of a Box
(semiengineering.com)
8077.
How to Hide Security Cameras Effectively
(smarthomequest.com)
8078.
ApproxJoin: approximate distributed joins
(blog.acolyer.org)
8079.
How to Engineer Biology
(blogs.scientificamerican.com)
8080.
Chromium: Notifying users of unclear subscription pages
(blog.chromium.org)
8081.
Organized List of Chromium Design Documents
(github.com)
8082.
May You Live in Epic Times
(ribbonfarm.com)
8083.
Packaging Applications in a Serverless World
(youtube.com)
8084.
A Lap Around Functions 2.0
(serverless360.com)
8085.
8086.
8087.
Zimbabwe has a new ride hailing service
(iafrikan.com)
8088.
Apple Rejects Whatsapp Sticker Apps
(forums.developer.apple.com)
8089.
8090.
AI in Data Analytics
(zepto.io)
8091.
You don't understand probability
(medium.com)
8092.
8093.
Google Curbs Forced Arbitration After Protest on Harassment
(bloomberg.com)
8094.
Great interactive tutorial for learning Git branching (and more)
(learngitbranching.js.org)
8095.
Show HN: Chakras and Kundalini all over again
(karma-engineering.com)
8096.
ODE:s can be used to simulate Turing Machines
(researchgate.net)
8097.
American Political Candidate Logos
(politicsanddesign.com)
8098.
Against the Current: What We Learned from Eve
(beta.observablehq.com)
8099.
Paul Allen Remembered
(edge.org)
8100.
Show HN: Sherlock – give your iOS simulator superpowers
(sherlock.inspiredcode.io)