Hacker News

1.		TLA+ model checking made symbolic (acolyer.org)
		71 points by feross 3 hours ago \| hide \| 7 comments
2.		Rooms can be as bright as the outdoors (benkuhn.net)
		476 points by luu 11 hours ago \| hide \| 208 comments
3.		A Non-Bullshit Book on Culture (zwischenzugs.com)
		18 points by zwischenzug 1 hour ago \| hide \| 4 comments
4.		Matrix Calculus for Deep Learning (explained.ai)
		166 points by yarapavan 7 hours ago \| hide \| 26 comments
5.		Ask HN: What are you thankful for?
		276 points by japhyr 10 hours ago \| hide \| 189 comments
6.		Hologram Within a Hologram Hints at Fate of Black Holes (nautil.us)
		63 points by furcyd 6 hours ago \| hide \| 7 comments
7.		Burned-Out Flash Trips Up Older Teslas (eetimes.com)
		80 points by JoachimS 8 hours ago \| hide \| 73 comments
8.		Some scientists are serious about resurrecting zeppelins for cargo (onezero.medium.com)
		86 points by simonebrunozzi 9 hours ago \| hide \| 100 comments
9.		Siberia: 18,000-year-old frozen 'dog' stumps scientists (bbc.com)
		248 points by neom 13 hours ago \| hide \| 64 comments
10.		Interactive Programming for Artificial Intelligence [video] (youtube.com)
		18 points by dragandj 2 hours ago \| hide \| discuss
11.		Making Git and Jupyter Notebooks play nice (timstaley.co.uk)
		109 points by mana99 9 hours ago \| hide \| 20 comments
12.		Illusory Truth Effect (wikipedia.org)
		24 points by vezycash 4 hours ago \| hide \| 8 comments
13.		Ask HN: Burning Out
		132 points by burning_out_101 9 hours ago \| hide \| 66 comments
14.		Mental Mountains (slatestarcodex.com)
		98 points by 5107h 10 hours ago \| hide \| 14 comments
15.		Singapore tells Facebook to correct post under new fake news law (reuters.com)
		139 points by djsumdog 5 hours ago \| hide \| 132 comments
16.		DeepPCB: Pure AI-Powered, Cloud-Native Printed Circuit Board Routing (deeppcb.ai)
		81 points by chakerb 10 hours ago \| hide \| 26 comments
17.		Show HN: Assembly: A Pythonic Object-Oriented Web Framework Built on Flask (mardix.github.io)
		8 points by mardix 2 hours ago \| hide \| 3 comments
18.		Advent of Code 2019 (adventofcode.com)
		102 points by nneonneo 12 hours ago \| hide \| 41 comments
19.		Firefox Replay (firefox-replay.com)
		1462 points by nachtigall 1 day ago \| hide \| 266 comments
20.		New research: Dark Energy might not exist after all (phys.org)
		93 points by BurningFrog 11 hours ago \| hide \| 25 comments
21.		OpenCoarrays: A Coarray Fortran API and ABI (2015) [pdf] (opencoarrays.org)
		13 points by smartmic 4 hours ago \| hide \| 2 comments
22.		DDR4 SDRAM – Initialization, Training and Calibration (systemverilog.io)
		93 points by ivank 10 hours ago \| hide \| 10 comments
23.		Flow Browser – A parallel, multithreaded HTML browser (ekioh.com)
		89 points by robin_reala 10 hours ago \| hide \| 23 comments
24.		Ask HN: What should be taught in high school?
		107 points by NiloCK 10 hours ago \| hide \| 144 comments
25.		Digital Tools I Wish Existed (jborichevskiy.com)
		109 points by jborichevskiy 13 hours ago \| hide \| 25 comments
26.		Ralph Merkle on Space Cryonics and Nanotechnology (medium.com)
		17 points by georgeshi 5 hours ago \| hide \| 1 comment
27.		Apache Guacamole – Clientless remote desktop gateway (apache.org)
		55 points by gsempe 10 hours ago \| hide \| 16 comments
28.		Inventing an Operation to Solve x^x = y (2000) (mathforum.org)
		117 points by ColinWright 15 hours ago \| hide \| 53 comments
29.		Drive drunk twice in Quebec, get ignition breathalyzer for life (cbc.ca)
		91 points by hckr_nj 8 hours ago \| hide \| 104 comments
30.		Smart TVs like Samsung, LG and Roku are tracking everything (washingtonpost.com)
		336 points by lsh 18 hours ago \| hide \| 231 comments
		More