Is there lock-in for Wiz customers, besides the quality of the product? I understand the crazy revenue growth, fastest to 100m ARR, but surely this needs to saturate. Maybe half the fortune 500 use Wiz,but can you imagine 100% or even 80%? Who are their competitors?
The :- is supposed to sort of look like a left facing arrow for an implication.
I think this notation started with prolog, so that is my guess why they chose to make it like this.
This is called a bootstrap circuit. It is basically positive feedback that changes the input impedance. You can see this sort of jfet circuit not only in trans-impedance amps, but also in a lot of audio circuits.
The modeling of unit systems with types is fraught with all sorts of inconsistencies and design tradeoffs. There are quantities that have the same dimensions, but shouldn't be compared or allow arithmetic between them. Many issues with Temperature scales and how to interpret differences in these spaces.
I think a pretty well thought out approach to this is the mp-units library in c++ that uses the ISQ(International System of Quantities) [1].
There are some great blog posts on their site about modeling units systems and dimensions.
Fingers crossed it may even be added to the standard library in C++29.