Daily Top Stories
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Men who stare at walls (alexselimov.com)
11.
12.
The Prompt API (developer.chrome.com)
13.
14.
15.
16.
17.
“Why not just use Lean?” (lawrencecpaulson.github.io)
18.
19.
20.
21.
22.
23.
24.
25.
GitHub is having issues now (githubstatus.com)
26.
27.
28.
29.
30.