The Syntax and Semantics of Quantitative Type Theory
(bentnib.org)
April 2018 Archive
2071.
2072.
Why the F-35 Isn’t Good Enough for Japan
(thediplomat.com)
2073.
Goodbye, Object Oriented Programming (2016)
(medium.com)
2074.
Meet the startups racing to reinvent the meal
(theguardian.com)
2075.
Finland to end basic income trial after two years
(theguardian.com)
2076.
Unclaimed Baggage Center: The Shop for Lost Luggage (2015)
(thepointsguy.com)
2078.
PagerDuty (YC S10) now at $100M in ARR
(pagerduty.com)
2079.
2080.
How Many Genes Do Cells Need? Maybe Almost All of Them
(quantamagazine.org)
2081.
Privacy underground: a class on privacy, held at a secret location
(kategreen28.org)
2082.
Empirical explanation for Craig Wright's selfish mining Bitcoin bet
(andygranowitz.com)
2083.
Playing it over and over again: how Casablanca was made
(newstatesman.com)
2084.
What of the lowly page number
(theoutline.com)
2085.
2086.
Techno-Fundamentalism Can’t Save You, Mark Zuckerberg
(newyorker.com)
2087.
2089.
Show HN: TrebleMaker – AI-assisted song writing
(treblemaker.ai)
2090.
A Lynching Memorial Is Opening
(nytimes.com)
2091.
What happens when you run `cp` on the command line?
(blog.safia.rocks)
2092.
2093.
Bootstrap 4.1 released
(blog.getbootstrap.com)
2094.
2096.
What comes after senior developer?
(christianheilmann.com)
2097.
2098.
Node v10.0.0 Released
(nodejs.org)
2099.
2100.