An introduction to the world's largest CRM, the importance of allowing users to build custom logic, and a discussion of providing a programmable AWS Lambda style platform: https://tryretool.com/blog/salesforce-for-engineers/
Playing with perf today! It's really interesting to see low-level details of where compute time is going. Branch prediction works well most of the time! (At least for this workload.)
The dominance of statistical models in AI, our bias towards embedding human knowledge, and the effectiveness of large, generic compute:
Scarcity versus abundance mindsets in software design, and shipping rough prototypes early: https://breakingsmart.com/en/season-1/rough-consensus-and-maximal-interestingness/
This paper is from http://sunnyday.mit.edu/papers.html#ft, which includes some interesting follow-up work too.
An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming, by John Knight and Nancy Leveson http://sunnyday.mit.edu/papers/nver-tse.pdf
If you take bunch of programs written independently, are you more likely to reduce bugs by taking the most common output?
Excellent discussion of a Unison meetup, discussing their design (globally consistent content-addressed codebases!), type system, and tooling: http://unisonweb.org/2019-04-04/first-meetup.html#post-start
It's really impressive how much they've achieved.
Friday's xkcd is blunt but fair: it's very hard to secure any part of a modern computer stack, and we depend on all of it: https://m.xkcd.com/2166/
Apparently you can buy smart power sockets now, e.g. https://www.amazon.co.uk/Lightwave-L42-Smart-Socket-Stainess/dp/B075XT62RC
Whilst a consumer might enjoy the remote control, these devices also monitor power consumption. I imagine this would be particularly useful in a commercial property context.
The US Navy is exploring ships that are more highly automated. The crew is smaller, and their roles are generalist problem solvers.
Emacs trunk is now using HarfBuzz for text rendering! https://lists.gnu.org/archive/html/emacs-devel/2019-06/msg00123.html
Programming geek, natural languages nerd, and occasional writer.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!