Hacker News

1.		Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)
		101 points by adamnemecek 3 hours ago \| hide \| 23 comments
2.		The Last Working Olivetti Mainframe (ieee.org)
		17 points by gscott 1 hour ago \| hide \| 1 comment
3.		Divers Find Remains of Ancient Temple in Sunken Egyptian City (livescience.com)
		45 points by diodorus 2 hours ago \| hide \| 1 comment
4.		New York City Neighbors Build Cheaper Way to Connect to Web (wsj.com)
		597 points by psim1 13 hours ago \| hide \| 176 comments
5.		Who Did the Math for General Relativity First, Einstein or Hilbert? (medium.com)
		39 points by laronian 3 hours ago \| hide \| 13 comments
6.		Programming Algorithms in Lisp: Data Structures (lisp-univ-etc.blogspot.com)
		66 points by nafizh 4 hours ago \| hide \| 3 comments
7.		Facebook Hit by Apple’s Crackdown on Messaging Feature (theinformation.com)
		181 points by tareqak 10 hours ago \| hide \| 113 comments
8.		Researchers create personalised sound projector with $12 webcam (techxplore.com)
		11 points by lelf 2 hours ago \| hide \| 1 comment
9.		A Guide to Recording 660FPS Video on a $6 Raspberry Pi Camera (robertelder.org)
		355 points by robertelder 13 hours ago \| hide \| 63 comments
10.		The Case Against Octopus Farming (issues.org)
		99 points by laurex 6 hours ago \| hide \| 116 comments
11.		Fond.co (YC W12) Is Hiring Business Development Manager in Portland (lever.co)
		43 minutes ago \| hide
12.		C-mera – Lisp syntax with C semantics (github.com)
		13 points by lukego 2 hours ago \| hide \| 4 comments
13.		Side channel that leaked data from Intel CPUs patched by silent Windows update (arstechnica.com)
		95 points by headalgorithm 8 hours ago \| hide \| 27 comments
14.		HoloClean: Weakly Supervised Data Repairing (holoclean.github.io)
		15 points by polm23 2 hours ago \| hide \| 1 comment
15.		National Certificate in Kazakhstan Is Canceled
		9 points by tsarka 36 minutes ago \| hide \| discuss
16.		Oscilloscope Video Monitor (2011) (tubetime.us)
		10 points by brudgers 2 hours ago \| hide \| discuss
17.		Toshiba Introduces New Tiny NVMe SSD Form Factor (anandtech.com)
		260 points by discreditable 14 hours ago \| hide \| 84 comments
18.		Turning a MacBook into a Touchscreen with $1 of Hardware (2018) (anishathalye.com)
		1536 points by soegaard 18 hours ago \| hide \| 203 comments
19.		Lifehacker: Tarek Loubani on 3D-Printing in Gaza (logicmag.io)
		73 points by bschne 9 hours ago \| hide \| 6 comments
20.		Unison File Synchronizer (upenn.edu)
		170 points by _o-O-o_ 12 hours ago \| hide \| 81 comments
21.		Rocket Lab - Reusability Plans for Electron Rocket via Helicopter Catching (rocketlabusa.com)
		77 points by kevinsundar 8 hours ago \| hide \| 36 comments
22.		Where does it all go? (literaryreview.co.uk)
		14 points by agronaut 3 hours ago \| hide \| discuss
23.		Computer Stupidities (rinkworks.com)
		72 points by JoachimS 10 hours ago \| hide \| 33 comments
24.		Australia's high-speed rail dream leaves a bitter taste (theguardian.com)
		11 points by lelf 2 hours ago \| hide \| 5 comments
25.		FFmpeg 4.2 (ffmpeg.org)
		265 points by _Gyan_ 10 hours ago \| hide \| 62 comments
26.		10 Years SeL4: Still the Best, Still Getting Better (microkerneldude.wordpress.com)
		130 points by ingve 13 hours ago \| hide \| 32 comments
27.		Contrary to Musk's claim, Lidar has some advantages in Self Driving technology (arstechnica.com)
		48 points by gordon_freeman 7 hours ago \| hide \| 57 comments
28.		Glymphatic system clears toxins in the brain during sleep (2013) (rochester.edu)
		109 points by appwiz 7 hours ago \| hide \| 28 comments
29.		Become a nurse or physicians assistant instead of a doctor (2012) (jakeseliger.com)
		56 points by quickthrower2 9 hours ago \| hide \| 39 comments
30.		Hospital checklists are meant to save lives, so why do they often fail? (nature.com)
		133 points by areoform 14 hours ago \| hide \| 127 comments
		More