Are there examples of IDE services deliberately leveraging elaborate type systems?
I'm struggling to think of what a richer type system enables in the IDE space. The existence of void* in C, interface{} in Go, or a lack of generics, doesn't seem to have limited possibilities.
miniblog.
Related Posts
One month after configuring my VPS to reboot weekly, and I'm *still* finding services that aren't properly configured to start on boot.
I'm developing a newfound appreciation for tools like Chaos Monkey.
Looking at how my servers update themselves and the recent Copy Fail vulnerability, I'm considering an automated weekly restart to make sure services and kernels are up to date. It'd also ensure that services are correctly configured to start on boot.
Any thoughts? Feels crude.
I've started naming my servers digiocean1.example.com, digiocean2.example.com and so on. I wish I'd done this much earlier.
I already have domain names for the actual deployed services, but it quickly gets confusing when you start moving things around.