[HN Gopher] Archive (2020-04-06) - Page 2
___________________________________________________________________
(DIR) Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]
98 points by kevinbuzzard (8 comments)
(DIR) Git alias for printing recently-used branches
46 points by ses4j (8 comments)
(DIR) Screensharing your talk slides is skeuomorphic
30 points by weinzierl (22 comments)
(DIR) Beyond Cyberpunk: A Do-It-Yourself Guide to the Future (1991)
90 points by polm23 (4 comments)
(DIR) Brim: Open-source desktop app to analyze large pcaps through the...
83 points by siskojr (13 comments)
(DIR) Play social games with friends over Zoom
105 points by zuhayeer (59 comments)
(DIR) Principle of Least Astonishment
72 points by geerlingguy (34 comments)
(DIR) The Epic Online Orchestra
50 points by henridf (6 comments)
(DIR) Microservices [video]
194 points by abhisuri97 (26 comments)
(DIR) Timely Dataflow and Total Order
77 points by foldU (1 comments)
(DIR) The accent of BBC radio presenters (2018)
11 points by godelmachine (0 comments)
(DIR) Ask HN: How can I pick a side project and stick with it?
556 points by corecoder (329 comments)
(DIR) Ask HN: Must Read from ACM Library?
179 points by weej (38 comments)
(DIR) Common templates to help you say "no"
105 points by patwalls (31 comments)
(DIR) New test of the gravitational 1/r2 law at separations down to 52mm
6 points by bookofjoe (0 comments)
(DIR) Child of Light: The troubled life of novelist Robert Stone
10 points by apollinaire (2 comments)
(DIR) Study: Severe Covid-19 Cases Don't Respond to Hydroxychloroquine...
88 points by aazaa (72 comments)
(DIR) Viral Flows
36 points by hunglee2 (2 comments)
(DIR) What Are Spomeniks?
14 points by dr_dshiv (3 comments)
(DIR) Whale sharks: Atomic tests solve age puzzle of world's largest fish
88 points by willvarfar (15 comments)
(DIR) Go to the next page
___________________________________________________________________
(page generated 2020-04-06 23:01 UTC)