[HN Gopher] Archive (2020-04-20) - Page 2 ___________________________________________________________________ (DIR) Formal Verification Tool Competitions 23 points by matt_d (3 comments) (DIR) OsFree project: OS/2 Replacement 100 points by zdw (65 comments) (DIR) Gresham's Law: Why Bad Drives Out Good as Time Passes (2009) 23 points by dredmorbius (9 comments) (DIR) Show HN: News Extract API - Pull structured data from online new... 76 points by artembugara (13 comments) (DIR) In Pursuit of PPE 245 points by tectonic (136 comments) (DIR) Facebook says it has removed promotion of anti-quarantine events 59 points by nickysielicki (58 comments) (DIR) Ask HN: I'm a software engineer going blind, how should I prepare? 2901 points by zachrip (411 comments) (DIR) Patterns for Managing Source Code Branches 42 points by caution (1 comments) (DIR) Show HN: Silk, a simple systems programming language 30 points by ajay-tatachar (11 comments) (DIR) Valve's Proton Has Brought 6000 Windows Games to Linux So Far 663 points by ekianjo (253 comments) (DIR) Remote Work Report 197 points by kaeruct (124 comments) (DIR) The Intensional Spreadsheet 43 points by herodotus (7 comments) (DIR) Scaleway C2 and ARM64 instances will reach end-of-life in Decemb... 61 points by alexellisuk (60 comments) (DIR) AMA - Creator of NumPy, SciPy and Founder of Anaconda - Tomorrow... 9 points by hbadgery (0 comments) (DIR) You can't prove I meant X 51 points by Petiver (98 comments) (DIR) XCode May Come to iPhone and iPad in iOS 14 13 points by thyselius (2 comments) (DIR) Buildings have their own microbiomes 92 points by hhs (1 comments) (DIR) SecureDNS will shutdown on 30th of April 2020 73 points by post-factum (19 comments) (DIR) Event-reduce: An algorithm to optimize database queries that run... 21 points by kiyanwang (3 comments) (DIR) My Favorite Shortcuts for JetBrains' IDEs 89 points by Sukram21 (43 comments) (DIR) Go to the next page ___________________________________________________________________ (page generated 2020-04-20 23:01 UTC)