Hacker News

1.		What you may have heard about the dispute between UC and Elsevier (universityofcalifornia.edu)
		58 points by montalbano 2 hours ago \| hide \| 14 comments
2.		Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)
		157 points by adamnemecek 5 hours ago \| hide \| 40 comments
3.		The Last Working Olivetti Mainframe (ieee.org)
		46 points by gscott 3 hours ago \| hide \| 7 comments
4.		Divers Find Remains of Ancient Temple in Sunken Egyptian City (livescience.com)
		63 points by diodorus 4 hours ago \| hide \| 8 comments
5.		Who Did the Math for General Relativity First, Einstein or Hilbert? (medium.com)
		68 points by laronian 5 hours ago \| hide \| 22 comments
6.		Researchers create personalised sound projector with $12 webcam (techxplore.com)
		33 points by lelf 4 hours ago \| hide \| 15 comments
7.		Silk (weavesilk.com)
		32 points by luu 3 hours ago \| hide \| 4 comments
8.		Facebook Hit by Apple’s Crackdown on Messaging Feature (theinformation.com)
		204 points by tareqak 12 hours ago \| hide \| 134 comments
9.		A Guide to Recording 660FPS Video on a $6 Raspberry Pi Camera (robertelder.org)
		389 points by robertelder 15 hours ago \| hide \| 65 comments
10.		C-mera – Lisp syntax with C semantics (github.com)
		28 points by lukego 4 hours ago \| hide \| 7 comments
11.		The Case Against Octopus Farming (issues.org)
		127 points by laurex 8 hours ago \| hide \| 130 comments
12.		Programming Algorithms in Lisp: Data Structures (lisp-univ-etc.blogspot.com)
		80 points by nafizh 6 hours ago \| hide \| 11 comments
13.		Side channel that leaked data from Intel CPUs patched by silent Windows update (arstechnica.com)
		108 points by headalgorithm 10 hours ago \| hide \| 39 comments
14.		Oscilloscope Video Monitor (2011) (tubetime.us)
		18 points by brudgers 4 hours ago \| hide \| 1 comment
15.		New York City Neighbors Build Cheaper Way to Connect to Web (wsj.com)
		620 points by psim1 15 hours ago \| hide \| 187 comments
16.		Turning a MacBook into a Touchscreen with $1 of Hardware (2018) (anishathalye.com)
		1570 points by soegaard 20 hours ago \| hide \| 204 comments
17.		Australia's high-speed rail dream leaves a bitter taste (theguardian.com)
		23 points by lelf 4 hours ago \| hide \| 17 comments
18.		Lifehacker: Tarek Loubani on 3D-Printing in Gaza (logicmag.io)
		86 points by bschne 11 hours ago \| hide \| 13 comments
19.		Unison File Synchronizer (upenn.edu)
		183 points by _o-O-o_ 14 hours ago \| hide \| 87 comments
20.		Rocket Lab - Reusability Plans for Electron Rocket via Helicopter Catching (rocketlabusa.com)
		81 points by kevinsundar 10 hours ago \| hide \| 40 comments
21.		Computer Stupidities (rinkworks.com)
		79 points by JoachimS 12 hours ago \| hide \| 51 comments
22.		10 Years SeL4: Still the Best, Still Getting Better (microkerneldude.wordpress.com)
		136 points by ingve 15 hours ago \| hide \| 33 comments
23.		Where does it all go? (literaryreview.co.uk)
		20 points by agronaut 6 hours ago \| hide \| discuss
24.		FFmpeg 4.2 (ffmpeg.org)
		285 points by _Gyan_ 12 hours ago \| hide \| 68 comments
25.		Fond.co (YC W12) Is Hiring Business Development Manager in Portland (lever.co)
		2 hours ago \| hide
26.		Contrary to Musk's claim, Lidar has some advantages in Self Driving technology (arstechnica.com)
		60 points by gordon_freeman 9 hours ago \| hide \| 76 comments
27.		HoloClean: Weakly Supervised Data Repairing (holoclean.github.io)
		28 points by polm23 4 hours ago \| hide \| 2 comments
28.		Arabic Mathematics: Forgotten Brilliance? (1999) (st-andrews.ac.uk)
		93 points by lioeters 11 hours ago \| hide \| 66 comments
29.		Glymphatic system clears toxins in the brain during sleep (2013) (rochester.edu)
		122 points by appwiz 9 hours ago \| hide \| 31 comments
30.		Launch HN: Lang (YC S19) – Internationalization Built for Devs
		117 points by cyrieu 14 hours ago \| hide \| 42 comments
		More