Specifying a simple serverless system with TLA+
(blog.gchinis.com)
November 2020 Archive
6991.
6992.
Show HN: Rust Bindings to Libpostal
(github.com)
6993.
More Secure in the Public Cloud
(defencedigital.blog.gov.uk)
6994.
FB and Twitter team up with UK government to censor vaccine-skeptic content
(reclaimthenet.org)
6995.
Cursed Elixir
(liftm.io)
6996.
Quake III Arena, K3s and a Raspberry Pi
(johansiebens.dev)
6997.
Why San Francisco voted for 'overpaid executive tax'
(theguardian.com)
6998.
New courses on distributed systems and elliptic curve cryptography
(martin.kleppmann.com)
6999.
7000.
Requirements for government networks moving to IPv6-only [pdf]
(whitehouse.gov)
7001.
API Developers Never REST
(iximiuz.com)
7002.
Technical Writing Resources
(github.com)
7003.
How to build a tool like Zapier using serverless
(learnaws.org)
7004.
Even Faster Bash Startup
(work.lisk.in)
7005.
Waiting for PostGIS 3.1: Grid Generators
(info.crunchydata.com)
7006.
Thousands march in Taiwan against US pork imports
(apnews.com)
7007.
7008.
A Regular Simplification of Offenbacher Schrift
(blog.zdsmith.com)
7009.
“We are giddy”–interviewing Apple about its Mac silicon revolution
(arstechnica.com)
7010.
PC Life After Apple Silicon
(mondaynote.com)
7012.
Accessibility Insights
(accessibilityinsights.io)
7013.
Platforms to create a landing page for your business
(startupcheckr.com)
7014.
Nerdcore – Darknet Diaries
(darknetdiaries.com)
7016.
A Brief Compendium of When Buttons Ruled the Earth (2016)
(messynessychic.com)
7017.
Gitlab 13.6 Released
(about.gitlab.com)
7018.
7019.
7020.