I used to think gradual type systems (mypy, flow, typed racket) were the sweet spot. They're super-powered linters that help with refactoring, but you can run the code at any point.
In a statically typed PL, you need the whole codebase to be well typed before you can run tests.
miniblog.
Related Posts
I've seen several companies offer a backup internet, e.g. Xfinity has "storm proof wi-fi", which is a battery powered cellular data connection. Eero Pro has something similar.
I can understand the incentive, but it competes with using a phone. It shows there's a market for data all the time!
21
A charming web page design: it comes with a battery indicator of the solar powered server!
https://solar.lowtechmagazine.com/2020/12/how-and-why-i-stopped-buying-new-laptops.html
It also makes me realise just how little I think about servers when I'm browsing.
I've read about dematerialisation, but it's interesting to see in a computer context.
I've bought an NVMe disk and USB-powered speakers this week. Both had fewer components than the parts they replaced.