miniblog.

`init` feels like an unhelpful name in OO. It doesn't give you an initial value, it initialises the instance that has already been created. Developers are often surprised that init doesn't return the instance, because they have a strong association with `new Foo()`. Perhaps `finish` would have been a less confusing name?

Too many new languages describe themselves as "clear syntax" or "strong types". These features aren't very interesting, and are often subjective. It's better to say what's unique, e.g. "a PL for IoT on boomerangs" would certainly be interesting!

@cwebber@octodon.social Yep, ever since I read 'Intel x86 considered harmful' I've been amazed by how many CPUs exist inside a modern computer. Any could have bugs. There have been some verification efforts for RISC-V, and the ISA seems to have a bright future, so I'm hopeful there. I hope it's economically viable though. I loved the OpenMoko project but it wasn't commercially successful. I understand that companies wanting strong guarantees do custom, verified, single-purpose hardware (e.g. with Galois).