HN Top Links - Popular Stories from Hacker News

10021.

Formal Reasoning About Programs [pdf] (adam.chlipala.net)

3 points by BerislavLopac on Dec 20, 2019 | 0 comments

10022.

Article: Creating great authentication user experiences and why it matters (trykno.com)

3 points by richardTryKno on Dec 20, 2019 | 0 comments

10023.

Data Science Helps Business (medium.com)

3 points by SimbirSoft on Dec 20, 2019 | 0 comments

10024.

Researchers crack Newton's elusive three-body problem (phys.org)

3 points by Anon84 on Dec 20, 2019 | 0 comments

10025.

The most in-demand data science skills (searchbusinessanalytics.techtarget.com)

3 points by gk1 on Dec 20, 2019 | 0 comments

10026.

CMake 3.16 precompiled headers and unity builds: what you need to know (onqtam.com)

3 points by onqtam on Dec 20, 2019 | 0 comments

10027.

Software Freedom Conservancy (sfconservancy.org)

3 points by rasengan on Dec 20, 2019 | 0 comments

10028.

Kubernetes combines IT and data science roles (information-management.com)

3 points by gk1 on Dec 20, 2019 | 0 comments

10029.

How Japan’s Rail Network Survived the Earthquake (2011) (railway-technology.com)

3 points by happy-go-lucky on Dec 20, 2019 | 0 comments

10030.

European Union Digital Evidence Situation Report 2019 [pdf] (europol.europa.eu)

3 points by infodocket on Dec 20, 2019 | 0 comments

10031.

Software outsourcing: How to start with software development outsourcing (mlsdev.com)

3 points by diana-farad on Dec 20, 2019 | 0 comments

10032.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com)

3 points by mpweiher on Dec 20, 2019 | 0 comments

10033.

Extensibleweb/Manifesto: The Extensible Web Manifesto (github.com)

3 points by evo_9 on Dec 20, 2019 | 0 comments

10034.

network-idle-callback.js – load low priority resources at ease (github.com)

3 points by pastelsky on Dec 20, 2019 | 0 comments

10035.

Cultivate the Skill of Undivided Attention, or “Deep Work” (letterstoanewdeveloper.com)

3 points by mooreds on Dec 20, 2019 | 0 comments

10036.

France Télécom suicides: Three former bosses jailed (bbc.com)

3 points by Darkstryder on Dec 20, 2019 | 0 comments

10037.

Iowa man used his life savings to send 33 strangers to college (cbsnews.com)

3 points by happy-go-lucky on Dec 20, 2019 | 0 comments

10038.

Injecting Vault Secrets into Kubernetes Pods via a Sidecar (hashicorp.com)

3 points by alphabettsy on Dec 20, 2019 | 0 comments

10039.

7 Simple yet effective ways to beat stress (reminder) (webmd.com)

3 points by ned7 on Dec 20, 2019 | 0 comments

10040.

Time is money: general relativity and modern monetary policy (kirstenhacker.wordpress.com)

3 points by nixtaken on Dec 20, 2019 | 0 comments

10041.

CSS Circles (cloudfour.com)

3 points by mooreds on Dec 20, 2019 | 0 comments

10042.

An Overview of React (spandraw.com)

3 points by howan on Dec 20, 2019 | 0 comments

10043.

Shedding light on fraudulent takedown notices (today.law.harvard.edu)

3 points by lsrose on Dec 20, 2019 | 0 comments

10044.

A book about growth – in every sense (gatesnotes.com)

3 points by Reedx on Dec 20, 2019 | 0 comments

10045.

Operation Infektion: A three-part video series on Russian disinformation (nytimes.com)

3 points by CharlesColeman on Dec 20, 2019 | 0 comments

10046.

Deploying CoreML Models Using Vapor (heartbeat.fritz.ai)

3 points by rickdeveloper on Dec 20, 2019 | 0 comments

10047.

Americans Should Worry About the New EU Copyright Rules (medium.com)

3 points by lsrose on Dec 20, 2019 | 0 comments

10048.

Diagrams of the Future (countingthefuture.net)

3 points by sarthakjshetty on Dec 20, 2019 | 0 comments

10049.

The Little Book of Python Anti-Patterns (docs.quantifiedcode.com)

3 points by JNRowe on Dec 20, 2019 | 0 comments

10050.

A Beginner’s Guide to AWS Lightsail – Pros, Cons and Use Cases (medium.com)

3 points by manishmanalath on Dec 20, 2019 | 0 comments