HN Top Links - Popular Stories from Hacker News

19081.

Get Started with Dafny: Language and Program Verifier for Functional Correctness (rise4fun.com)

2 points by federicoponzi on Jul 29, 2020 | 0 comments

19082.

Day Traders Will Have Fun Until They Get Wiped Out (bloomberg.com)

2 points by paulpauper on Jul 29, 2020 | 0 comments

19083.

Interface implementations with injectable definitions in Go (purecore.ro)

2 points by padurean on Jul 29, 2020 | 0 comments

19084.

The startup data-stack starter pack (2020) (dataform.co)

2 points by bootywizard on Jul 29, 2020 | 0 comments

19085.

House Judiciary: Examining the Dominance of Amazon, Apple, Facebook, and Google (youtube.com)

2 points by poorman on Jul 29, 2020 | 0 comments

19086.

Retail investors outperform institutions during Covid crisis (bloomberg.com)

2 points by pseudolus on Jul 29, 2020 | 0 comments

19087.

“Dark energy” explained within general relativity (www2.phys.canterbury.ac.nz)

2 points by tigerlily on Jul 29, 2020 | 0 comments

19088.

Alex Salmond Trial: Sky News Miss the Story (craigmurray.org.uk)

2 points by jules-jules on Jul 29, 2020 | 0 comments

19089.

Survey of Supply Chain Attacks (schneier.com)

2 points by CapitalistCartr on Jul 29, 2020 | 0 comments

19090.

Convert JSON to XLSX or XLSX to JSON with One HTTP Request (github.com)

2 points by jerome7759 on Jul 29, 2020 | 0 comments

19091.

Randomized Response (en.wikipedia.org)

2 points by bschne on Jul 29, 2020 | 0 comments

19092.

Amazon's Monopoly Tollbooth (ilsr.org)

2 points by DyslexicAtheist on Jul 29, 2020 | 0 comments

19093.

Octane X preview 1 is out for macOS Catalina (home.otoy.com)

2 points by pjmlp on Jul 29, 2020 | 0 comments

19094.

How Booking.com Powers a Global Application Delivery Network with HAProxy (haproxy.com)

2 points by publish on Jul 29, 2020 | 0 comments

19095.

People think 9% of population has died from Covid (survey) [pdf] (kekstcnc.com)

2 points by mrfusion on Jul 29, 2020 | 0 comments

19096.

Alcohol delivery service Drizly confirms data breach (techcrunch.com)

2 points by vxxzy on Jul 29, 2020 | 0 comments

19097.

Examining the dominance of Amazon, Apple, Facebook, and Google (judiciary.house.gov)

2 points by lawrenceyan on Jul 29, 2020 | 0 comments

19098.

MacKenzie Scott donates $1.7bn since Amazon boss divorce (bbc.com)

2 points by MindGods on Jul 29, 2020 | 0 comments

19099.

US Smartphone Sell-Through Volumes Fall 25% in 2Q20 (counterpointresearch.com)

2 points by elorant on Jul 29, 2020 | 0 comments

19100.

How the Simulmatics Corporation Invented the Future (newyorker.com)

2 points by fifloufo on Jul 29, 2020 | 0 comments

19101.

College Football Recruitment’s Biggest Problem Is Our Definition of It (medium.com)

2 points by brendancahill on Jul 29, 2020 | 0 comments

19102.

PyCharm 2020.2 Released (jetbrains.com)

2 points by gamesbrainiac on Jul 29, 2020 | 0 comments

19103.

Build REST API with Go and PostgreSQL and TDD (itnext.io)

2 points by jmfcurti on Jul 29, 2020 | 0 comments

19104.

The End of Open-Plan Everything (theatlantic.com)

2 points by ecliptik on Jul 29, 2020 | 0 comments

19105.

GDP Is the Wrong Tool for Measuring What Matters (scientificamerican.com)

2 points by MindGods on Jul 29, 2020 | 0 comments

19106.

U.S. prosecutors seek 27 months imprisonment for Anthony Levandowski (bloomberg.com)

2 points by tech-historian on Jul 29, 2020 | 0 comments

19107.

Building an API MVP from the Ground Up: Part 3 – Landing Page (sphuff.com)

2 points by sphuff on Jul 29, 2020 | 0 comments

19108.

Windows version of PyTorch will be developed and maintained by Microsoft (analyticsdrift.com)

2 points by yadavrohit on Jul 29, 2020 | 0 comments

19109.

Ex-Fed Economist Says Her Profession Is Racist, Sexist, Elitist (bloomberg.com)

2 points by jpkoning on Jul 29, 2020 | 0 comments

19110.

U.S. prosecutors seek 27 months imprisonment for Anthony Levandowski (reuters.com)

2 points by tech-historian on Jul 29, 2020 | 0 comments