caladin 2 hours ago Anyone know what kinds of jobs might use lean? Or jobs that are in a related space? giltho an hour ago Beyond academic research, a non-exhaustive list of people using either Lean or related tech:- Amazon (where they even hired the creator of Lean to pursue this)- Microsoft (mostly cryptography but also other stuff) - ARM (hardware verification)- Apple (hardware verification, that I'm aware of)- Lots of companies verifying things for blockchain technologies if you're into that- More specialised companies, e.g. Galois Inc.
giltho an hour ago Beyond academic research, a non-exhaustive list of people using either Lean or related tech:- Amazon (where they even hired the creator of Lean to pursue this)- Microsoft (mostly cryptography but also other stuff) - ARM (hardware verification)- Apple (hardware verification, that I'm aware of)- Lots of companies verifying things for blockchain technologies if you're into that- More specialised companies, e.g. Galois Inc.
Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?
Beyond academic research, a non-exhaustive list of people using either Lean or related tech:
- Amazon (where they even hired the creator of Lean to pursue this)
- Microsoft (mostly cryptography but also other stuff) - ARM (hardware verification)
- Apple (hardware verification, that I'm aware of)
- Lots of companies verifying things for blockchain technologies if you're into that
- More specialised companies, e.g. Galois Inc.