Hacker News

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