Verified Programming of Turing Machines in Coq (2020)

2020-06-14

We need tool support for keyset pagination (2017)

2020-06-14

Ridiculous NPM (Node.js) Packages that I wish didn't exist [video]

2020-06-14

Ask HN: Should Clients or Contractors Pay for tools/licenses to do their job?

2020-06-14

Give Your Ideas Some Legs: The Positive Effect of Walking on Creative Thinking

2020-06-14

Show HN: My (simple) static feed aggregator for Reddit and HN

2020-06-14

Third-Party Audit of Rustls

2020-06-14

Stephen Jarvis’s New Paper on Impact of Nuclear Production Shutdown in Germany

2020-06-13

The ‘retail bros’ betting on a quick recovery from the pandemic

2020-06-13

Professor's Open Letter Against BLM, Police Brutality and Cultural Orthodoxy

2020-06-13