Hacker News

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