HN Top Links - Popular Stories from Hacker News

751.

Kurt Gödel and the Mechanization of Mathematics (the-tls.co.uk)

155 points by vo2maxer on Dec 17, 2019 | 132 comments

752.

Show HN: Bash-My-AWS – CLI Commands for AWS (bash-my-aws.org)

155 points by mike-bailey on Dec 31, 2019 | 63 comments

753.

Coping with Flexbox (kgrz.io)

155 points by technicolor on Dec 14, 2019 | 55 comments

754.

Show HN: Coerce – Actor runtime for Rust using async/await and tokio channels (github.com)

155 points by ljph on Dec 15, 2019 | 53 comments

755.

Lenia – Mathematical Life Forms (github.com)

154 points by leephillips on Dec 31, 2019 | 22 comments

756.

Neural Network (nxxcxx.github.io)

154 points by miket on Dec 21, 2019 | 14 comments

757.

Spain planning on going ahead with ‘Google tax’ despite US tariff threats (elpais.com)

153 points by melenaboija on Dec 5, 2019 | 263 comments

758.

Lots of bugs in 32-bit x86 Linux entry code (lwn.net)

153 points by swills on Dec 12, 2019 | 107 comments

759.

The Value of Grey Thinking (2016) (fs.blog)

153 points by UrbanPiper on Dec 27, 2019 | 89 comments

760.

AWS Introducing Provisioned Concurrency for Lambda Functions (aws.amazon.com)

153 points by marvinpinto on Dec 4, 2019 | 68 comments

761.

Efficient cache for gigabytes of data written in Go (github.com)

153 points by alexellisuk on Dec 20, 2019 | 67 comments

762.

Caroll Spinney has died (nytimes.com)

153 points by kevinconaway on Dec 8, 2019 | 29 comments

763.

Homemade GPS Receiver (2011) (aholme.co.uk)

153 points by brian-armstrong on Dec 27, 2019 | 11 comments

764.

Electric Cars Threaten the Heart of Germany’s Economy (nytimes.com)

152 points by matt2000 on Dec 31, 2019 | 316 comments

765.

If the universe is 13.8B years old, how can we see 46B light years away? (2018) (medium.com)

152 points by allthebest on Dec 6, 2019 | 128 comments

766.

The battle to save America’s undercover spies in the digital age (news.yahoo.com)

152 points by carrozo on Dec 31, 2019 | 92 comments

767.

About Bokeh (bokehtests.com)

152 points by luu on Dec 18, 2019 | 86 comments

768.

Proxmox VE 6.1 – Open-Source virtualization platform (proxmox.com)

152 points by tlamponi on Dec 5, 2019 | 74 comments

769.

Paean to Sid Meier's Alpha Centauri (2016) (paeantosmac.wordpress.com)

152 points by Apocryphon on Dec 28, 2019 | 71 comments

770.

Selling Juicer (goddamnyouryan.com)

152 points by timschu on Dec 4, 2019 | 60 comments

771.

Stuff I Learnt in 2019 (bollu.github.io)

152 points by yarapavan on Dec 26, 2019 | 28 comments

772.

The Inquirer reaches end-of-life (theinquirer.net)

152 points by FpUser on Dec 20, 2019 | 27 comments

773.

Carbonite To Be Acquired by OpenText for $1.4B (carbonite.com)

151 points by srhngpr on Dec 4, 2019 | 136 comments

774.

Amazon Dodges Responsibility for Unsafe Products (wsj.com)

151 points by JumpCrisscross on Dec 5, 2019 | 115 comments

775.

“Don’t Try”: The Philosophy of the Hardworking Charles Bukowski (openculture.com)

151 points by vo2maxer on Dec 17, 2019 | 111 comments

776.

Thoughts on Forth Programming (call-with-current-continuation.org)

151 points by andyjpb on Dec 17, 2019 | 90 comments

777.

Outdoor Computing with a Deck Desk (mgsloan.com)

151 points by lelf on Dec 20, 2019 | 61 comments

778.

Principles of the American Cargo Cult (2003) (web.archive.org)

151 points by kick on Dec 29, 2019 | 56 comments

779.

Odyssey: Scalable PostgreSQL Connection Pooler (github.com)

151 points by bsg75 on Dec 11, 2019 | 53 comments

780.

What I've learned sending proposals to conferences (drobinin.com)

151 points by valzevul on Dec 24, 2019 | 40 comments