Home / 2019 / December
December 2019 Archive
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