blorgle
Joined 12 years ago
Joined 12 years ago
They have a great podcast: https://podcasts.apple.com/au/podcast/eurodollar-university/... and routinely appear on finance podcasts to explain this.
Having seen what that model of development can do from an operational/security/agility/scalability/efficiency perspective, I think the comments on HN about serverless saying "it's just CGI" or that they could do something similar without vendor lockin are honestly laughably ignorant. If you haven't messed with Zappa (https://github.com/Miserlou/Zappa) or Serverless Framework (https://www.serverless.com/) at least a little you are missing out.
Also, optimising for queue length only makes any sense in the described scenario if all stalls are owned by a single entity.
I'm not even going to touch the "only add something to your todo list if you are going to do it immediately" stupidity.
The revisions show the real picture, and it is not pretty.
See https://alhambrapartners.com/2021/07/30/inflation-estimates-...
https://github.com/sinner-/ansible-freebsdvps/blob/master/ro...
Late 2015 I decided I wanted a "Chromebook" style user experience where I could have a repeatable build of the base OS that could be thrown away plus a backup system based around duplicity to restore my homedir. I had used preseed to deploy large fleets of Ubuntu boxes at work so it was a natural option. But I decided a few things: Firstly, I was sick of LTS 3.x kernel. Secondly, if 16.04 and all other distros were adopting systemd I may as well go to the source and use a RH based distro. Finally, that preseed wasn't as good as Kickstart used in RH based distros.
So I came up with https://github.com/sinner-/kickstart-fedora-workstation to provide repeatable builds of Fedora the way that I like it. I've been happily using it since then (across 2 versions of Fedora and a hard drive failure)! The .ks file will be updated for F26 this weekend as it just went GA today.
As someone who has been thinking a lot recently about SPARK/Ada and "free" formal verification, can anyone tell me how this language compares on that front? If I write a P program, do I get the ability to "prove" its correctness?
https://lists.freebsd.org/pipermail/freebsd-bugs/2013-Octobe...
https://lists.freebsd.org/pipermail/freebsd-hackers/2014-May...
:(