HN:Live JSON revision - 2019-08-07
We got 160 links!

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains https://arend-lang.github.io/

Divers Find Remains of Ancient Temple in Sunken Egyptian City https://www.livescience.com/66045-underwater-ancient-egypt-city-temple.html

Who Did the Math for General Relativity First, Einstein or Hilbert? https://medium.com/cantors-paradise/einstein-and-hilberts-race-to-generalize-relativity-6885f44e3cbe

Researchers create personalised sound projector with $12 webcam https://techxplore.com/news/2019-08-first-ever-personalised-projector-webcam.html

A Guide to Recording 660FPS Video on a $6 Raspberry Pi Camera http://blog.robertelder.org/recording-660-fps-on-raspberry-pi-camera/

The Case Against Octopus Farming https://issues.org/the-case-against-octopus-farming/

Fond.co (YC W12) Is Hiring Business Development Manager in Portland https://jobs.lever.co/fond/4c29fdac-12eb-4054-9151-ee8a0459f3a5

C-mera – Lisp syntax with C semantics https://github.com/kiselgra/c-mera

HoloClean: Weakly Supervised Data Repairing https://holoclean.github.io/gh-pages/blog/holoclean.html

Turning a MacBook into a Touchscreen with $1 of Hardware (2018) https://www.anishathalye.com/2018/04/03/macbook-touchscreen/

Lifehacker: Tarek Loubani on 3D-Printing in Gaza https://logicmag.io/bodies/tarek-loubani-on-3d-printing-in-gaza/

Rocket Lab - Reusability Plans for Electron Rocket via Helicopter Catching https://www.rocketlabusa.com/news/updates/rocket-lab-announces-reusability-plans-for-electron-rocket/

Computer Stupidities http://rinkworks.com/stupid/

Contrary to Musk’s claim, Lidar has some advantages in Self Driving technology https://arstechnica.com/cars/2019/08/elon-musk-says-driverless-cars-dont-need-lidar-experts-arent-so-sure/

Glymphatic system clears toxins in the brain during sleep (2013) https://www.urmc.rochester.edu/news/story/3956/to-sleep-perchance-to-clean.aspx

Hospital checklists are meant to save lives, so why do they often fail? https://www.nature.com/news/hospital-checklists-are-meant-to-save-lives-so-why-do-they-often-fail-1.18057

Amazon Is Coaching Cops on How to Obtain Surveillance Footage Without a Warrant https://www.vice.com/en_us/article/43kga3/amazon-is-coaching-cops-on-how-to-obtain-surveillance-footage-without-a-warrant

Arabic Mathematics: Forgotten Brilliance? (1999) http://www-history.mcs.st-andrews.ac.uk/HistTopics/Arabic_mathematics.html

Using the computer as a tool for thinking in discrete mathematics (2017) https://rtalbert.org/computational-thinking-discrete-mathematics/

The Min Programming Language https://min-lang.org/

Volex TTX2000 S: Teletext Adapter for the ZX Spectrum https://zxnet.co.uk/spectrum/ttx2000s/

Why does putting a dot after the URL remove login information? https://superuser.com/q/1467958/432540

Disentangling Propagation and Generation for Video Prediction https://arxiv.org/abs/1812.00452

No Evidence That Fracking Can Operate Without Threatening Public Health https://www.desmogblog.com/2019/08/05/report-fracking-threatening-public-health

Show HN: I trained a deep learning model to build sites for me https://zecoda.com/

We may not be running out of helium after all https://newatlas.com/helium-source-natural-gas-fields/39038/

Everything Wrong with Peter Thiel’s Doomsday Survival Plan (2017) https://www.outsideonline.com/2152476/everything-thats-wrong-billionaires-doomsday-survival-plan

8chan: Owner of extremist site lashes out as scrutiny intensifies https://www.theguardian.com/technology/2019/aug/06/8chan-owner-statement-jim-watkins

Seashells – Pipe output from command-line programs to the web in real time https://seashells.io/

It’s worth spending weeks on research before wasting years on a hopeless project https://ottofeller.com/blog/how-to-conduct-research-and-successfully-launch-a-product

Supercentenarians are concentrated into regions with no birth certificates https://www.biorxiv.org/content/10.1101/704080v1

Effects of a glyphosate-based herbicide on soil ecosystem https://www.nature.com/articles/s41598-019-44988-5

The real price of buying cheap clothes https://www.bbc.com/news/business-49248921

Being basic as a virtue https://nadiaeghbal.com/basic

How we built a P2P file sharing network from scratch https://xorro-p2p.github.io/

Show HN: A time tracker that asks you every 10 min what you’re doing https://maesure.com/

Recursive language and modern imagination acquired 70k years ago: hypothesis https://phys.org/news/2019-08-recursive-language-modern-simultaneously-years.html

Disney to Bundle Disney+, Hulu, & ESPN+ for 12.99, Same Price as Netflix https://thestreamable.com/news/disney-announces-12-99-bundle-for-disney-hulu-espn

Police arrest student leader over laser pointers in Hong Kong https://news.rthk.hk/rthk/en/component/k2/1473126-20190806.htm?spTabChangeable=0

8chan owner says El Paso shooter didn’t post manifesto https://www.cnet.com/news/8chan-owner-says-el-paso-shooter-didnt-post-manifesto/

Intel 10nm Chip Gets Mixed Reviews https://www.eetimes.com/document.asp?doc_id=1334991

I’ve given up trying to talk to friends about how their privacy is being abused https://old.reddit.com/r/privacy/comments/cmrtzn/i_have_given_up_trying_to_talk_to_my/

GPUDirect Storage: A Direct Path Between Storage and GPU Memory https://devblogs.nvidia.com/gpudirect-storage/

Alaska’s sea ice has completely melted away https://mashable.com/article/alaska-sea-ice-melt-2019/

Airplay Server (supporting video) on Raspberry Pi https://www.raspberrypi.org/forums/viewtopic.php?t=239964

Tardigrades are now on the moon thanks to a crashed Israeli spacecraft? https://www.cnet.com/news/tardigrades-are-now-on-moon-thanks-to-crashed-israeli-spacecraft-water-bears/

Sarcasm is easy-as-pie, modern, blazingly fast JavaScript library https://github.com/komlev/sarcasm

Tesla battery researcher Jeff Dahn talks $100 kWh cells, removing cobalt https://electrek.co/2019/08/05/tesla-battery-researcher-jeff-dahn-talks-100-kwh-cells-removing-cobalt/

Opening the Door for Censorship: Trademark Enforcement Mechanisms Added for TLDs https://www.eff.org/deeplinks/2019/08/opening-door-censorship-new-trademark-enforcement-mechanisms-added-top-level

Facebook is ordered to delete any Facial Recognition Templates within 90 days https://www.ghacks.net/2019/07/24/facebook-told-by-ftc-that-it-cant-to-these-privacy-invasive-things-anymore/

Lunar crash may have seeded indestructible ‘water bears’ on the moon https://globalnews.ca/news/5730770/tardigrades-on-moon/

For non-trivial coordination, meetings might be better than email https://www.newyorker.com/tech/annals-of-technology/was-e-mail-a-mistake

First, Do No Harm: A Hippocratic Oath for Software Developers (2004) https://queue.acm.org/detail.cfm?id=1016991

Being Empathetic Is Not Always Helpful – Why the Greatest Strength Is Weakness https://medium.com/better-marketing/being-helpful-is-not-always-helpful-4517da88255f

Do any of you tech folk ever think about just quitting tech altogether? https://twitter.com/sonniesedge/status/1158373106257453056

Show HN: Convert Data into Documents https://DocGenSoftware.com

Baking bread from a 4,500-year-old yeast from Ancient Egyptian pottery https://twitter.com/SeamusBlackley/status/1158264819503419392

Show HN: EasyALPR Parking Enforcer – iOS-based automatic violation detection https://easyalpr.com/products/parking-enforcer

Warning signs: Global semiconductor sales drop 14.5% in 1H19 https://www.digitimes.com/news/a20190806PR204.html

Show HN: Create an unbundled database with Crux and Confluent Kafka in 5 minutes https://juxt.pro/blog/posts/crux-confluent-cloud.html

California’s largest recycling business closes all 284 centers, lays off 750 https://www.sfgate.com/news/article/replanet-closures-bay-area-locations-sf-14283863.php

Seattle-area provider becomes haven for online extremism after El Paso shooting https://www.geekwire.com/2019/seattle-area-web-services-provider-becomes-haven-online-extremism-following-el-paso-shooting/

Show HN: A theme for publishing beautiful stories with Gatsby https://github.com/narative/gatsby-theme-novela-example

Mathematician’s ’Mysterious’ New Method Just Solved a 30-Year-Old Problem https://www.livescience.com/66065-sensitivity-conjecture-mysterious-math-proof.html

Throwable camera ball now wants owners to pay an extra fee for every use https://gizmodo.com/doomed-throwable-camera-ball-now-wants-owners-to-pay-an-1837007807

Stranger than fiction: John McAfee’s self-imposed exile https://decrypt.co/8257/stranger-fiction-john-mcafee-exile

How the NSA’s Firmware Hacking Works and Why It’s So Unsettling https://www.wired.com/2015/02/nsa-firmware-hacking/

The Four Horsemen of the Startup Equity Apocalypse https://slicingpie.com/the-four-horseman-of-the-equity-apocalypse/

Microsoft to Disable IE 11 VBScript Closing Major Security Loophole https://hothardware.com/news/microsoft-disables-vbscript

Google announces Python class for beginners https://developers.google.com/edu/python/

Supercentenarians are concentrated into regions with no birth certificates https://www.biorxiv.org/content/10.1101/704080v1

Show HN: Realtime Replication Between GraphQL and the Client-Side Database https://rxdb.info/replication-graphql.html

Show HN: Masked.link – A Stateless Link Shortener https://masked.link

Show HN: The email pitch that got me invited onto 5 podcasts in 3 hours https://www.starterstory.com/blog/get-on-top-podcasts

Show HN: Vulkan API for JavaScript/TypeScript https://github.com/maierfelix/nvk

Show HN: TrueCaptcha -Using Deep learning to solve text captchas https://apitruecaptcha.org

Show HN: GitRecruit – Start Sourcing Candidates from GitHub https://gitrecruit.co

Elon Musk: “Anyone relying on Lidar is doomed.” Experts: Maybe not https://arstechnica.com/?p=1523325

What you may have heard about the dispute between UC and Elsevier https://osc.universityofcalifornia.edu/2019/08/fact-check-uc-and-elsevier/