Home / 2020
2020 Archive
20641.
Socratic vs. Euclidean Forms of API Documentation (highscalability.com)
67 points by zdw on Feb 25, 2020 | 17 comments
20642.
Earthly – Makefile Meets Dockerfile (vladaionescu.com)
67 points by scg on Apr 18, 2020 | 17 comments
20643.
Random Search Wired into Animals May Help Them Hunt (quantamagazine.org)
67 points by pseudolus on Jun 16, 2020 | 17 comments
20644.
Behavioral Immune System (en.wikipedia.org)
67 points by 80mph on May 2, 2020 | 16 comments
20645.
Play NES Games in 3D (geodstudio.net)
67 points by andreaorru on Jun 6, 2020 | 16 comments
20646.
Embed AI into Projects with Nvidia’s Jetson Nano (spectrum.ieee.org)
67 points by samizdis on Jun 21, 2020 | 16 comments
20647.
Bye Bye, Ajit Pai: FCC Boss Will Soon Lose Top Spot (vice.com)
67 points by BRedSox on Nov 11, 2020 | 16 comments
20648.
Math Invariants Helped Lisa Piccirillo Solve Conway Knot Problem (quantamagazine.org)
67 points by rbanffy on Jun 7, 2020 | 15 comments
20649.
Show HN: 8-bit CPU simulator in C (github.com)
67 points by rzach on Jun 28, 2020 | 15 comments
20650.
Zuckerberg Throttled Traffic to Progressive News Sites (businessinsider.com)
67 points by the_decider on Oct 19, 2020 | 15 comments
20651.
An OpenAPI proxy that only allows data that matches your swagger.json (github.com)
67 points by ekseda on Mar 4, 2020 | 14 comments
20652.
Reverse Engineered Nintendo Switch App REST API (github.com)
67 points by SamWhited on May 20, 2020 | 14 comments
20653.
SuperCollider – A platform for audio synthesis and algorithmic composition (supercollider.github.io)
67 points by simonpure on May 23, 2020 | 14 comments
20654.
Taylor Series and Accelerometers (jeremykun.com)
67 points by signa11 on Aug 12, 2020 | 14 comments
20655.
Qt Support for State Charts (doc.qt.io)
67 points by barumi on Oct 15, 2020 | 14 comments
20656.
Security Blueprints of Many Companies Leaked in Hack of Swedish Firm Gunnebo (krebsonsecurity.com)
67 points by picture on Oct 28, 2020 | 14 comments
20657.
Of 18,000 backdoored servers, hackers followed up on only a few dozen (arstechnica.com)
67 points by rckoepke on Dec 20, 2020 | 14 comments
20658.
The compelling mathematical challenge of the three-body problem (news.ucsc.edu)
67 points by based2 on Feb 8, 2020 | 13 comments
20659.
Parsing Series of Integers with SIMD (2018) (0x80.pl)
67 points by lelf on May 29, 2020 | 13 comments
20660.
Twitter consistently centers image previews on whiter faces (twitter.com)
67 points by anonymfus on Sep 19, 2020 | 13 comments
20661.
Formal Verification Tool Competitions (alastairreid.github.io)
67 points by matt_d on Apr 19, 2020 | 12 comments
20662.
Stripe's API was down (status.stripe.com)
67 points by klinskyc on May 11, 2020 | 11 comments
20663.
Using Frida for Windows Reverse Engineering (darungrim.com)
67 points by todsacerdoti on Jun 18, 2020 | 11 comments
20664.
No Longer in Shadows, Pentagon’s UFO Unit Will Make Some Findings Public (nytimes.com)
67 points by pavelrub on Jul 23, 2020 | 11 comments
20665.
Foo to Bar: Naming Conventions in Haskell (kowainik.github.io)
67 points by kowainik on Dec 14, 2020 | 11 comments
20666.
A Review of the Lean Theorem Prover (jiggerwit.wordpress.com)
67 points by oli5679 on Dec 27, 2020 | 11 comments
20667.
Gammo – A pure-Ruby HTML5-compliant parser (github.com)
67 points by kunpei on Aug 16, 2020 | 10 comments
20668.
The M1 Macs (daringfireball.net)
67 points by rafaelbrandao on Nov 18, 2020 | 10 comments
20669.
The New Gatekeepers: Private Firms as Public Enforcers (virginialawreview.org)
67 points by erentz on May 1, 2020 | 9 comments
20670.
ImTui: Immediate Mode Text-Based User Interface (github.com)
67 points by ingve on May 14, 2020 | 9 comments