Home / 2020
2020 Archive
17371.
Finding Startup Ideas and Building in Heavily-Regulated Spaces (firstround.com)
88 points by yarapavan on Nov 16, 2020 | 14 comments
17372.
OCaml User Survey 2020 Results (dropbox.com)
88 points by testcross on Nov 29, 2020 | 14 comments
17373.
UT Dallas Computer Science professor claims to have proven RP = NP (arxiv.org)
88 points by 3PS on Aug 4, 2020 | 13 comments
17374.
Making a digital clock in Google Sheets (therobinlord.com)
88 points by DamnInteresting on Dec 24, 2020 | 13 comments
17375.
Compiler Auto-Vectorization with Imitation Learning [pdf] (papers.nips.cc)
88 points by chmaynard on Jan 6, 2020 | 12 comments
17376.
The Origins of Scandinavian Noir (theparisreview.org)
88 points by vo2maxer on May 6, 2020 | 12 comments
17377.
In Chicago, 90% of voters agreed the internet should be a public utility (qz.com)
88 points by throw0101a on Nov 5, 2020 | 12 comments
17378.
Redditor Wins Fight to Stay Anonymous (eff.org)
88 points by Liriel on Mar 4, 2020 | 11 comments
17379.
C program proofs with Frama-C and its weakest-precondition plugin [pdf] (allan-blanchard.fr)
88 points by andrewchambers on Apr 26, 2020 | 11 comments
17380.
PeerTube v3: Progressive Fundraising (framablog.org)
88 points by neodarz on May 26, 2020 | 11 comments
17381.
Machine Learning for a Better Developer Experience (netflixtechblog.com)
88 points by caution on Jul 21, 2020 | 11 comments
17382.
Seasonal Spirals (observablehq.com)
88 points by luu on Dec 27, 2020 | 11 comments
17383.
Verified Functional Programming in Agda (dl.acm.org)
88 points by TheAsprngHacker on Apr 5, 2020 | 10 comments
17384.
Binwalk: Firmware Analysis Tool (github.com)
88 points by Memosyne on Oct 24, 2020 | 10 comments
17385.
Tails 4.4 (tails.boum.org)
88 points by Sami_Lehtinen on Mar 12, 2020 | 7 comments
17386.
A man trying to automate Thailand’s hospitals (restofworld.org)
88 points by danso on Jul 20, 2020 | 7 comments
17387.
Stef's Free Online Smalltalk Books (stephane.ducasse.free.fr)
88 points by triyambakam on Aug 22, 2020 | 7 comments
17388.
Using Topology to Classify Labelled Graphs (bastian.rieck.me)
88 points by Topolomancer on Dec 2, 2020 | 7 comments
17389.
Multiple Vulnerabilities in IBM Data Risk Manager (github.com)
88 points by Daviey on Apr 22, 2020 | 6 comments
17390.
Where Do People Draw Lines? (2008) (gfx.cs.princeton.edu)
88 points by Daub on Jun 5, 2020 | 5 comments
17391.
Pycel: Compiling Excel spreadsheets to Python and making pretty pictures (2011) (dirkgorissen.com)
88 points by georgecmu on Feb 22, 2020 | 4 comments
17392.
Capillary-driven desalination in a synthetic mangrove (advances.sciencemag.org)
88 points by Tomte on Mar 4, 2020 | 3 comments
17393.
Compiling a Functional Language Using C++, Part 10 – Polymorphism (danilafe.com)
88 points by phonebucket on Mar 27, 2020 | 2 comments
17394.
San Francisco exodus is real, and historic, report shows (sfgate.com)
88 points by tomohawk on Aug 16, 2020 | 1 comments
17395.
Basketball Legend Kobe Bryant Dies in Helicopter Crash at 41 (npr.org)
88 points by molteanu on Jan 26, 2020 | 0 comments
17396.
Show HN: A.I. Powered Gym (youtu.be)
88 points by derekpankaew on Jan 31, 2020 | 0 comments
17397.
New fitness habits being created during Covid? (forbes.com)
87 points by markhall on Aug 10, 2020 | 173 comments
17398.
Friendly Feudalism: The Tibet Myth (2003) (swans.com)
87 points by greencore on Jun 19, 2020 | 166 comments
17399.
Cameo's CEO on how he plans to disrupt Hollywood (dot.la)
87 points by ericzass on Jun 22, 2020 | 166 comments
17400.
Fleeing New Yorkers resulted in an estimated $34B in lost income – study (reuters.com)
87 points by 0xedb on Dec 15, 2020 | 164 comments