TLA+ in Practice and Theory
(pron.github.io)
August 2021 Archive
7021.
7022.
Starlink satellites cause 1,600 close passes a week
(livescience.com)
7023.
How to audit and secure an AWS account
(acloudguru.com)
7024.
A Supercomputer Calculated Pi to a Record-Breaking 62.8T Digits
(popularmechanics.com)
7025.
Why do we fart? Ten facts about why we fart
(medicalnewstoday.com)
7026.
Amtrak Joe vs. the Modern Robber Barons
(washingtonmonthly.com)
7028.
Strongest Evidence yet of Matter Generated by Collisions of Light
(sciencealert.com)
7029.
Improving Flowchart Editing Tools
(zindlerb.com)
7030.
Ryan Model 147 Drone
(en.wikipedia.org)
7031.
7032.
Show HN: Use libsqlite3 directly from Python with ctypes
(gist.github.com)
7033.
Greece plans to name heatwaves in the same way as storms
(theguardian.com)
7034.
7035.
7036.
GitHub Kisses Passwords Goodbye
(thenewstack.io)
7037.
Tiimo: The seed-stage startup modernizing executive function accessibility
(accessible.substack.com)
7038.
Easy and Robust Rate Limiting in Elixir
(akoutmos.com)
7039.
Delta (OT) for Elixir
(slab.com)
7040.
US Could Save Billions of Dollars by Electrifying Light-Duty Vehicles
(interestingengineering.com)
7041.
7043.
Take a data first approach to AI
(humanloop.com)
7044.
Arch Linux pacman – binary transparency
(github.com)
7045.
7046.
Apache NetBeans 12.4 Features
(netbeans.apache.org)
7047.
Russia’s space program just threw a NASA astronaut under the bus
(arstechnica.com)
7048.
7049.
Netflix had a deal to share only half of Apple’s standard revenue share on iOS [pdf]
(s3.documentcloud.org)
7050.
ForgeRock S-1 IPO Prospectus
(sec.gov)