Hacker News

1.		Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)
		53 points by adamnemecek 2 hours ago \| hide \| 11 comments
2.		Divers Find Remains of Ancient Temple in Sunken Egyptian City (livescience.com)
		26 points by diodorus 1 hour ago \| hide \| discuss
3.		New York City Neighbors Build Cheaper Way to Connect to Web (wsj.com)
		576 points by psim1 12 hours ago \| hide \| 173 comments
4.		Programming Algorithms in Lisp: Data Structures (lisp-univ-etc.blogspot.com)
		50 points by nafizh 3 hours ago \| hide \| 2 comments
5.		Who Did the Math for General Relativity First, Einstein or Hilbert? (medium.com)
		26 points by laronian 2 hours ago \| hide \| 8 comments
6.		Facebook Hit by Apple’s Crackdown on Messaging Feature (theinformation.com)
		160 points by tareqak 8 hours ago \| hide \| 101 comments
7.		A Guide to Recording 660FPS Video on a $6 Raspberry Pi Camera (robertelder.org)
		338 points by robertelder 12 hours ago \| hide \| 62 comments
8.		Side channel that leaked data from Intel CPUs patched by silent Windows update (arstechnica.com)
		87 points by headalgorithm 7 hours ago \| hide \| 24 comments
9.		Toshiba Introduces New Tiny NVMe SSD Form Factor (anandtech.com)
		253 points by discreditable 13 hours ago \| hide \| 83 comments
10.		Lifehacker: Tarek Loubani on 3D-Printing in Gaza (logicmag.io)
		67 points by bschne 8 hours ago \| hide \| 3 comments
11.		Turning a MacBook into a Touchscreen with $1 of Hardware (2018) (anishathalye.com)
		1509 points by soegaard 17 hours ago \| hide \| 201 comments
12.		Where does it all go? (literaryreview.co.uk)
		12 points by agronaut 2 hours ago \| hide \| discuss
13.		Unison File Synchronizer (upenn.edu)
		164 points by _o-O-o_ 11 hours ago \| hide \| 80 comments
14.		Oscilloscope Video Monitor (2011) (tubetime.us)
		4 points by brudgers 1 hour ago \| hide \| discuss
15.		Rocket Lab - Reusability Plans for Electron Rocket via Helicopter Catching (rocketlabusa.com)
		71 points by kevinsundar 7 hours ago \| hide \| 33 comments
16.		FFmpeg 4.2 (ffmpeg.org)
		249 points by _Gyan_ 9 hours ago \| hide \| 62 comments
17.		Computer Stupidities (rinkworks.com)
		63 points by JoachimS 9 hours ago \| hide \| 23 comments
18.		10 Years SeL4: Still the Best, Still Getting Better (microkerneldude.wordpress.com)
		127 points by ingve 12 hours ago \| hide \| 32 comments
19.		Glymphatic system clears toxins in the brain during sleep (2013) (rochester.edu)
		97 points by appwiz 6 hours ago \| hide \| 26 comments
20.		HoloClean: Weakly Supervised Data Repairing (holoclean.github.io)
		3 points by polm23 1 hour ago \| hide \| discuss
21.		Become a nurse or physicians assistant instead of a doctor (2012) (jakeseliger.com)
		48 points by quickthrower2 8 hours ago \| hide \| 32 comments
22.		A Commercial Path to Fusion (physicsworld.com)
		133 points by theothermkn 13 hours ago \| hide \| 67 comments
23.		C-mera – Lisp syntax with C semantics (github.com)
		3 points by lukego 1 hour ago \| hide \| 1 comment
24.		Launch HN: Lang (YC S19) – Internationalization Built for Devs
		107 points by cyrieu 11 hours ago \| hide \| 37 comments
25.		Hospital checklists are meant to save lives, so why do they often fail? (nature.com)
		128 points by areoform 13 hours ago \| hide \| 119 comments
26.		Arabic Mathematics: Forgotten Brilliance? (1999) (st-andrews.ac.uk)
		84 points by lioeters 8 hours ago \| hide \| 56 comments
27.		Australia's high-speed rail dream leaves a bitter taste (theguardian.com)
		4 points by lelf 1 hour ago \| hide \| discuss
28.		AT&T employees were bribed to install phone unlocking malware on company network (geekwire.com)
		309 points by starpilot 11 hours ago \| hide \| 139 comments
29.		Toni Morrison Has Died (wsj.com)
		402 points by mises 14 hours ago \| hide \| 88 comments
30.		Scale AI is hiring engineers to accelerate the development of AI (scale.ai)
		3 hours ago \| hide
		More