I save way more time not babying it than the occasional fuck up I have to salvage.

If we go falsifiability, again, I can equally say how do I know your concious, or even that how do I know youre alive and breathing beyond the moments that I myself am observing you?

Neither does pure materialism rest on falsifiable beliefs, in that I could claim nothing exists outside my conscious experience.

I've one shotted a light saber hilt with threaded parts and it worked flawlessly.

Im sure for the most part, engineers in physical space deal with the same kind of tradeoffs software engineers make, where you try your best based on industry standards, personal past experiences without some way to prove what youve done is right

Lambda calculus is from the 1930s and predates computers, its point is that it is bare bones model of computation. It doesn't make much sense to compare it to modern languages in efficacy, as that seems to imagine someone came up with lambda calculus in 2010 along Java, C, Python, etc.

The super cool thing about it is that it is capable of expressing ALL the computation you know today, from the few primitives. An "If" statement for example is λb.λx.λy. b x y

If you need high scale globally distributed persistent data, uniform distribution of hash reads/writes, dont care for schema, and know your query will remain simple yeah its a fine choice.

I just wouldn't consider it outside of enterprise level