SMT Solving on an iPhone (2018)
(cs.utexas.edu)
2020 Archive
6481.
6482.
UberEats could be underpaying delivery drivers on 21% of trips
(businessinsider.com)
6483.
Why do incompetent managers get promoted?
(medium.com)
6484.
Microsoft Flight Simulator returned to the skies
(theverge.com)
6485.
6486.
Google Finance Finally Updated
(google.com)
6487.
HTTP 402: Payment Required
(developer.mozilla.org)
6489.
AWS pre-announces public container image registry
(aws.amazon.com)
6490.
Nobody ever ported Doom to run on a Cray 1
(twitter.com)
6491.
6492.
What I learned from writing for The Onion for a month (2015)
(wordsbyevanporter.com)
6494.
Which GPUs to get for deep learning
(timdettmers.com)
6495.
From context collapse to content collapse
(roughtype.com)
6496.
WasmBoxC: Simple, Fast, and VM-Less Sandboxing
(kripken.github.io)
6497.
Beware the Casual Polymath
(applieddivinitystudies.com)
6498.
ElectricityMap – Live CO₂ emissions of electricity production and consumption
(electricitymap.org)
6499.
It's Time to Act – A Response to Marc Andreessen
(blog.coryfoy.com)
6500.
Free software tools for staying in touch
(fsf.org)
6501.
Valve put their 'Pressure Vessel' container source for Linux games up on Gitlab
(gamingonlinux.com)
6502.
Luminus – A Clojure Web Framework
(luminusweb.com)
6503.
Use a Decision Journal
(blog.trello.com)
6504.
A brief introduction to BEAM
(blog.erlang.org)
6505.
SpaCy v3.0 Nightly
(explosion.ai)
6506.
6507.
Show HN: Headless Recorder
(github.com)
6508.
Show HN: Royalty-Free SVG Illustrations and Animations
(pixeltrue.com)
6509.
How to give a great presentation: advice from a legendary adman (2012)
(brainpickings.org)
6510.