Program Logics for Certified Compilers [pdf]
2020-09-08
Why Most Pedestrian Infrastructure Is for Drivers
2020-09-08
Show HN: Open-source web framework in Go with routing, authentication, and more
2020-09-08
Ask HN: Anyone else have trouble focusing?
2020-09-08
Covid-19 may cause prolonged gut infection–stool may test pos/resp sample neg
2020-09-08
Who is the Australian woman arrested for her Facebook post?
2020-09-08
All About the Pixels
2020-09-08
At Least 37M People Have Been Displaced by America’s War on Terror
2020-09-08
Licensing in a Post Copyright World (2013)
2020-09-08
The Automated CIO
2020-09-08