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

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

Divers Find Remains of Ancient Temple in Sunken Egyptian City

Who Did the Math for General Relativity First, Einstein or Hilbert?

Researchers create personalised sound projector with $12 webcam

A Guide to Recording 660FPS Video on a $6 Raspberry Pi Camera

The Case Against Octopus Farming (YC W12) Is Hiring Business Development Manager in Portland

C-mera – Lisp syntax with C semantics

HoloClean: Weakly Supervised Data Repairing

Turning a MacBook into a Touchscreen with $1 of Hardware (2018)

Lifehacker: Tarek Loubani on 3D-Printing in Gaza

Rocket Lab - Reusability Plans for Electron Rocket via Helicopter Catching

Computer Stupidities

Contrary to Musk’s claim, Lidar has some advantages in Self Driving technology

Glymphatic system clears toxins in the brain during sleep (2013)

Hospital checklists are meant to save lives, so why do they often fail?

Amazon Is Coaching Cops on How to Obtain Surveillance Footage Without a Warrant

Arabic Mathematics: Forgotten Brilliance? (1999)

Using the computer as a tool for thinking in discrete mathematics (2017)

The Min Programming Language

Volex TTX2000 S: Teletext Adapter for the ZX Spectrum

Why does putting a dot after the URL remove login information?

Disentangling Propagation and Generation for Video Prediction

No Evidence That Fracking Can Operate Without Threatening Public Health

Show HN: I trained a deep learning model to build sites for me

We may not be running out of helium after all

Everything Wrong with Peter Thiel’s Doomsday Survival Plan (2017)

8chan: Owner of extremist site lashes out as scrutiny intensifies

Seashells – Pipe output from command-line programs to the web in real time

It’s worth spending weeks on research before wasting years on a hopeless project

Supercentenarians are concentrated into regions with no birth certificates

Effects of a glyphosate-based herbicide on soil ecosystem

The real price of buying cheap clothes

Being basic as a virtue

How we built a P2P file sharing network from scratch

Show HN: A time tracker that asks you every 10 min what you’re doing

Recursive language and modern imagination acquired 70k years ago: hypothesis

Disney to Bundle Disney+, Hulu, & ESPN+ for 12.99, Same Price as Netflix

Police arrest student leader over laser pointers in Hong Kong

8chan owner says El Paso shooter didn’t post manifesto

Intel 10nm Chip Gets Mixed Reviews

I’ve given up trying to talk to friends about how their privacy is being abused

GPUDirect Storage: A Direct Path Between Storage and GPU Memory

Alaska’s sea ice has completely melted away

Airplay Server (supporting video) on Raspberry Pi

Tardigrades are now on the moon thanks to a crashed Israeli spacecraft?

Sarcasm is easy-as-pie, modern, blazingly fast JavaScript library

Tesla battery researcher Jeff Dahn talks $100 kWh cells, removing cobalt

Opening the Door for Censorship: Trademark Enforcement Mechanisms Added for TLDs

Facebook is ordered to delete any Facial Recognition Templates within 90 days

Lunar crash may have seeded indestructible ‘water bears’ on the moon

For non-trivial coordination, meetings might be better than email

First, Do No Harm: A Hippocratic Oath for Software Developers (2004)

Being Empathetic Is Not Always Helpful – Why the Greatest Strength Is Weakness

Do any of you tech folk ever think about just quitting tech altogether?

Show HN: Convert Data into Documents

Baking bread from a 4,500-year-old yeast from Ancient Egyptian pottery

Show HN: EasyALPR Parking Enforcer – iOS-based automatic violation detection

Warning signs: Global semiconductor sales drop 14.5% in 1H19

Show HN: Create an unbundled database with Crux and Confluent Kafka in 5 minutes

California’s largest recycling business closes all 284 centers, lays off 750

Seattle-area provider becomes haven for online extremism after El Paso shooting

Show HN: A theme for publishing beautiful stories with Gatsby

Mathematician’s ’Mysterious’ New Method Just Solved a 30-Year-Old Problem

Throwable camera ball now wants owners to pay an extra fee for every use

Stranger than fiction: John McAfee’s self-imposed exile

How the NSA’s Firmware Hacking Works and Why It’s So Unsettling

The Four Horsemen of the Startup Equity Apocalypse

Microsoft to Disable IE 11 VBScript Closing Major Security Loophole

Google announces Python class for beginners

Supercentenarians are concentrated into regions with no birth certificates

Show HN: Realtime Replication Between GraphQL and the Client-Side Database

Show HN: – A Stateless Link Shortener

Show HN: The email pitch that got me invited onto 5 podcasts in 3 hours

Show HN: Vulkan API for JavaScript/TypeScript

Show HN: TrueCaptcha -Using Deep learning to solve text captchas

Show HN: GitRecruit – Start Sourcing Candidates from GitHub

Elon Musk: “Anyone relying on Lidar is doomed.” Experts: Maybe not

What you may have heard about the dispute between UC and Elsevier