4 ms·
> Formal methods can be understood by interns You're just repeating the same claim - yes I agree interns can also understand pytorch. Does that mean they can b
by almostgotcaught 1y ago
> Formal methods can be understood by interns
You're just repeating the same claim - yes I agree interns can also understand pytorch. Does that mean they can build prod LLM pipelines?
- bravesoul2 1y agoAh I think I see what you mean. For AI pipelines you need top guns anyway regardless of whether they use reversable or traditional computing.
- almostgotcaught 1y ago> reversable or traditional computing o.O ... No man I'm saying a very simple and non-controversial thing: just because someone does a tut, has an elementary understanding, knows the basics, doesn't mean I'm going to let them build/maintain/own mission critical systems. It's not that deep.
- bravesoul2 1y agoI see. But your point is then orthogonal. So it's $400/h not $100/h per SWE as you need experienced good people anyway. But the question really is: what solution minimises tbe number of those hours? Formal or informal?
- simiones 1y agoIf I can build something in 100 hours paying 100$/hour, or 33 hours paying 400$/hour, I may well choose the 100 hours version. Which is why we hire interns in the first place, rather than only hiring senior architects for our companies.
- AnimalMuppet 1y agoWhere do you work that you're paying interns 100$/hr and seniors 400$/hr, and are you hiring?