onefuncman

you pay for open source through adopting the risk of running it, the cost of hosting it, and the time to understand how to maintain and use it.

The Chinese solution of nationalizing social media...? Really? https://en.wikipedia.org/wiki/Social_Credit_System

Google put $85M into them in 2014 https://www.crunchbase.com/organization/credit-karma#section...

The IRS outsources the development of the free software.

All the IRS does is publish the tax code in a specific XML format. MEF (mechanized e-file) is the interchange specification. It's rather a shame there's not more open source effort around tax filings...

the DNS at $JOB here doesn't resolve newer TLDs like .dev at all :(

that said:

DungeonDelveXL is a fully-featured Role Playing Game (RPG), written entirely inside Microsoft Excel. It features a large, procedurally generated world and dungeons, with enormous potential to explore endlessly varying missions with your party of brave adventurers. And all inside a spreadsheet.

The benefit is versioning the OS configuration alongside the application for more reliability.

I think the main problem is trying to apply the same patterns to stateful and stateless services.

This seems written from an outdated perspective of Dockerfiles -- multi-stage builds landed in Docker 17.05 which are almost a year old and address most of the concerns in the article...

if you'd used the s3 management console, you'd know that it uses the same API as everything else, and so has to do the same list objects by page / delete a page dance just like everybody else... the only bulk optimization i can recall is the server side transfers for sync...

it was a little mystifying that he answered the question about how they bootstrap the process with "we've never had to supplement feed" alongside "no grass in sight for 100 miles"... does anyone have a longer answer?

Have any cloud providers or open source projects started publishing their proofs of correctness yet?

Is it cheaper to hire someone who knows TLA+ or to find a consultant?

your problem sounds like https://developers.google.com/places/place-id