Hacker News

1.		TLA+ model checking made symbolic (acolyer.org)
		59 points by feross 2 hours ago \| hide \| discuss
2.		Rooms can be as bright as the outdoors (benkuhn.net)
		445 points by luu 10 hours ago \| hide \| 185 comments
3.		Matrix Calculus for Deep Learning (explained.ai)
		149 points by yarapavan 6 hours ago \| hide \| 20 comments
4.		Ask HN: What are you thankful for?
		253 points by japhyr 9 hours ago \| hide \| 177 comments
5.		Singapore tells Facebook to correct post under new fake news law (reuters.com)
		131 points by djsumdog 4 hours ago \| hide \| 106 comments
6.		Hologram Within a Hologram Hints at Fate of Black Holes (nautil.us)
		58 points by furcyd 5 hours ago \| hide \| 2 comments
7.		Burned-Out Flash Trips Up Older Teslas (eetimes.com)
		68 points by JoachimS 7 hours ago \| hide \| 60 comments
8.		Some scientists are serious about resurrecting zeppelins for cargo (onezero.medium.com)
		79 points by simonebrunozzi 8 hours ago \| hide \| 88 comments
9.		Siberia: 18,000-year-old frozen 'dog' stumps scientists (bbc.com)
		241 points by neom 12 hours ago \| hide \| 59 comments
10.		Making Git and Jupyter Notebooks play nice (timstaley.co.uk)
		98 points by mana99 8 hours ago \| hide \| 18 comments
11.		Mental Mountains (slatestarcodex.com)
		93 points by 5107h 9 hours ago \| hide \| 14 comments
12.		Ask HN: Burning Out
		111 points by burning_out_101 8 hours ago \| hide \| 53 comments
13.		OpenCoarrays: A Coarray Fortran API and ABI (2015) [pdf] (opencoarrays.org)
		10 points by smartmic 3 hours ago \| hide \| 1 comment
14.		DeepPCB: Pure AI-Powered, Cloud-Native Printed Circuit Board Routing (deeppcb.ai)
		73 points by chakerb 9 hours ago \| hide \| 25 comments
15.		New research: Dark Energy might not exist after all (phys.org)
		88 points by BurningFrog 10 hours ago \| hide \| 23 comments
16.		Interactive Programming for Artificial Intelligence [video] (youtube.com)
		9 points by dragandj 1 hour ago \| hide \| discuss
17.		Illusory Truth Effect (wikipedia.org)
		14 points by vezycash 3 hours ago \| hide \| 5 comments
18.		Advent of Code 2019 (adventofcode.com)
		94 points by nneonneo 11 hours ago \| hide \| 28 comments
19.		DDR4 SDRAM – Initialization, Training and Calibration (systemverilog.io)
		88 points by ivank 9 hours ago \| hide \| 10 comments
20.		Firefox Replay (firefox-replay.com)
		1456 points by nachtigall 22 hours ago \| hide \| 266 comments
21.		Ask HN: What should be taught in high school?
		102 points by NiloCK 9 hours ago \| hide \| 129 comments
22.		Flow Browser – A parallel, multithreaded HTML browser (ekioh.com)
		82 points by robin_reala 9 hours ago \| hide \| 21 comments
23.		Ralph Merkle on Space Cryonics and Nanotechnology (medium.com)
		13 points by georgeshi 4 hours ago \| hide \| 1 comment
24.		Apache Guacamole – Clientless remote desktop gateway (apache.org)
		48 points by gsempe 9 hours ago \| hide \| 14 comments
25.		Digital Tools I Wish Existed (jborichevskiy.com)
		91 points by jborichevskiy 12 hours ago \| hide \| 21 comments
26.		Boeing 777X’s fuselage split dramatically during September stress test (seattletimes.com)
		150 points by exar0815 14 hours ago \| hide \| 72 comments
27.		64 bits ought to be enough for anybody (trailofbits.com)
		142 points by beagle3 14 hours ago \| hide \| 53 comments
28.		Inventing an Operation to Solve x^x = y (2000) (mathforum.org)
		108 points by ColinWright 14 hours ago \| hide \| 53 comments
29.		Drive drunk twice in Quebec, get ignition breathalyzer for life (cbc.ca)
		81 points by hckr_nj 7 hours ago \| hide \| 91 comments
30.		Smart TVs like Samsung, LG and Roku are tracking everything (washingtonpost.com)
		320 points by lsh 17 hours ago \| hide \| 218 comments
		More