Hacker News

1.		TLA+ model checking made symbolic (acolyer.org)
		84 points by feross 4 hours ago \| hide \| 9 comments
2.		A Non-Bullshit Book on Culture (zwischenzugs.com)
		41 points by zwischenzug 2 hours ago \| hide \| 17 comments
3.		Rooms can be as bright as the outdoors (benkuhn.net)
		500 points by luu 12 hours ago \| hide \| 220 comments
4.		Matrix Calculus for Deep Learning (explained.ai)
		179 points by yarapavan 8 hours ago \| hide \| 26 comments
5.		The Information Apocalypse (diracdeltas.github.io)
		16 points by kochihabaya 1 hour ago \| hide \| 7 comments
6.		Ask HN: What are you thankful for?
		292 points by japhyr 11 hours ago \| hide \| 200 comments
7.		Hologram Within a Hologram Hints at Fate of Black Holes (nautil.us)
		68 points by furcyd 7 hours ago \| hide \| 12 comments
8.		Some scientists are serious about resurrecting zeppelins for cargo (onezero.medium.com)
		97 points by simonebrunozzi 10 hours ago \| hide \| 108 comments
9.		Burned-Out Flash Trips Up Older Teslas (eetimes.com)
		90 points by JoachimS 9 hours ago \| hide \| 84 comments
10.		Interactive Programming for Artificial Intelligence [video] (youtube.com)
		25 points by dragandj 3 hours ago \| hide \| discuss
11.		Siberia: 18,000-year-old frozen 'dog' stumps scientists (bbc.com)
		257 points by neom 14 hours ago \| hide \| 66 comments
12.		Making Git and Jupyter Notebooks play nice (timstaley.co.uk)
		123 points by mana99 10 hours ago \| hide \| 24 comments
13.		Illusory Truth Effect (wikipedia.org)
		32 points by vezycash 5 hours ago \| hide \| 8 comments
14.		Ask HN: Burning Out
		144 points by burning_out_101 10 hours ago \| hide \| 70 comments
15.		Mental Mountains (slatestarcodex.com)
		105 points by 5107h 11 hours ago \| hide \| 14 comments
16.		How Stalagmites Get Their Shape (nytimes.com)
		5 points by pseudolus 1 hour ago \| hide \| 1 comment
17.		DeepPCB: Pure AI-Powered, Cloud-Native Printed Circuit Board Routing (deeppcb.ai)
		88 points by chakerb 11 hours ago \| hide \| 27 comments
18.		Advent of Code 2019 (adventofcode.com)
		114 points by nneonneo 13 hours ago \| hide \| 43 comments
19.		Firefox Replay (firefox-replay.com)
		1471 points by nachtigall 1 day ago \| hide \| 267 comments
20.		Show HN: Assembly: A Pythonic Object-Oriented Web Framework Built on Flask (mardix.github.io)
		11 points by mardix 3 hours ago \| hide \| 7 comments
21.		DDR4 SDRAM – Initialization, Training and Calibration (systemverilog.io)
		102 points by ivank 11 hours ago \| hide \| 11 comments
22.		Singapore tells Facebook to correct post under new fake news law (reuters.com)
		148 points by djsumdog 6 hours ago \| hide \| 152 comments
23.		Digital Tools I Wish Existed (jborichevskiy.com)
		125 points by jborichevskiy 14 hours ago \| hide \| 28 comments
24.		Flow Browser – A parallel, multithreaded HTML browser (ekioh.com)
		93 points by robin_reala 11 hours ago \| hide \| 26 comments
25.		New research: Dark Energy might not exist after all (phys.org)
		94 points by BurningFrog 12 hours ago \| hide \| 26 comments
26.		Almond: The Open, Privacy-Preserving Virtual Assistant (stanford.edu)
		10 points by tlrobinson 4 hours ago \| hide \| 1 comment
27.		Apache Guacamole – Clientless remote desktop gateway (apache.org)
		64 points by gsempe 11 hours ago \| hide \| 18 comments
28.		Ask HN: What should be taught in high school?
		116 points by NiloCK 11 hours ago \| hide \| 156 comments
29.		OpenCoarrays: A Coarray Fortran API and ABI (2015) [pdf] (opencoarrays.org)
		13 points by smartmic 5 hours ago \| hide \| 2 comments
30.		Ralph Merkle on Space Cryonics and Nanotechnology (medium.com)
		21 points by georgeshi 6 hours ago \| hide \| 1 comment
		More