Home / 2020 / May
May 2020 Archive
1771.
PwdHash (2009) (crypto.stanford.edu)
71 points by boredgamer2 on May 11, 2020 | 49 comments
1772.
Poi: Pragmatic point-free theorem prover assistant in Rust (github.com)
71 points by adamnemecek on May 15, 2020 | 35 comments
1773.
Quines: self-replicating programs (2005) (madore.org)
71 points by lelf on May 25, 2020 | 28 comments
1774.
Waiting in Asyncio (hynek.me)
71 points by BerislavLopac on May 21, 2020 | 27 comments
1775.
Seattle to permanently close 20 miles of streets to traffic (durkan.seattle.gov)
71 points by daegloe on May 8, 2020 | 26 comments
1776.
Mini-Mainframe at Home: A 6-CPU Server from 1997 (cpushack.com)
71 points by stargrave on May 14, 2020 | 26 comments
1777.
Show HN: Plopdown – HTML5 Video Annotator (plopdown.video)
71 points by spaceribs on May 22, 2020 | 26 comments
1778.
Rose-8 on Mac OS 9 (belkadan.com)
71 points by ingve on May 25, 2020 | 26 comments
1779.
Show HN: Push-to-Talk for Pulseaudio (gitlab.com)
71 points by JetSpiegel on May 12, 2020 | 25 comments
1780.
My Messy Analytics Breakup (digitalinklingsblog.com)
71 points by johannes1813 on May 29, 2020 | 24 comments
1781.
Show HN: Python on iOS Native Apps (github.com)
71 points by jventura on May 28, 2020 | 22 comments
1782.
Patent case against GNOME resolved (gnome.org)
71 points by thejosh on May 21, 2020 | 19 comments
1783.
The Paradox of Source Code Secrecy (2019) (papers.ssrn.com)
71 points by BerislavLopac on May 22, 2020 | 18 comments
1784.
Forensic Investigation – The Shocking State of Privacy in Safety Apps (parachute.live)
71 points by marinosbern on May 18, 2020 | 13 comments
1785.
How a “Rope Lighter” Works (youtube.com)
71 points by bitcharmer on May 24, 2020 | 5 comments
1786.
Founder's Syndrome (en.wikipedia.org)
70 points by benjaminjosephw on May 25, 2020 | 66 comments
1787.
Show HN: Hacker Spring – Instant blog by email, no signup required (hackerspring.com)
70 points by hacker256 on May 17, 2020 | 61 comments
1788.
“Maxwell's equations of software” examined (2008) (righto.com)
70 points by lelf on May 27, 2020 | 47 comments
1789.
‘It’s gone haywire’: When Covid-19 arrived in rural America (detroitnews.com)
70 points by rmason on May 6, 2020 | 42 comments
1790.
Ask HN: How do I create that mental reset effect Monday has on me?
70 points by noobrunner on May 11, 2020 | 37 comments
1791.
How We Built SELinux Support for Kubernetes (gravitational.com)
70 points by twakefield on May 27, 2020 | 32 comments
1792.
Sort of handy (leancrew.com)
70 points by ingve on May 20, 2020 | 27 comments
1793.
A more efficient matching engine for HTTPS Everywhere (remusao.github.io)
70 points by pythux on May 31, 2020 | 23 comments
1794.
Astronomers find 'missing matter', solving decades-long mystery of outer space (abc.net.au)
70 points by astdb on May 28, 2020 | 19 comments
1795.
Single Writer Principle (2011) (mechanical-sympathy.blogspot.com)
70 points by jorangreef on May 11, 2020 | 17 comments
1796.
Static Hoisting (rauchg.com)
70 points by gk1 on May 8, 2020 | 16 comments
1797.
Self-Driving Cars with ROS and Autoware (apex.ai)
70 points by vladoh on May 12, 2020 | 8 comments
1798.
Bionic eye boosted by hemispherical retina (nature.com)
70 points by stiray on May 26, 2020 | 7 comments
1799.
Qt 5.15 LTS (qt.io)
69 points by reddotX on May 27, 2020 | 98 comments
1800.
US Navy Patent Antigravity Device (blopeur.com)
69 points by blopeur on May 4, 2020 | 96 comments