- My mental model of the 'new normal' is end users using AI to get their work done.
So if I re-worded the OP's description and replaced 'internal tools' with 'internal AIs' then this would at least seem like a more reasonable process to me...
> At our startup, engineers don't build features anymore. > They build APIs that internal AIs can connect to. > Most "features" like running an SQL query, sending a push notification when product X is ordered gets built by ops or product folks using those tools.
To me this describes a team of engineers that use AI-capable tools and that are building 'features' for themselves. In the way that us dinosaurs used to write build scripts.
I'm not saying that my mental model is right or wrong, just that working this way seems reasonable if you buy into my model.
- Whats Going On With Shipping...
- This decision only makes sense it saves more lives than the number of lives that will be lost because of it.
It seems to me like it should totally be possible to do the math here and figure it out. Compute the lives saved and compute as many of the lives that will be lost. For instance, statins are a risk to pre-diabetics, and to children, and to etc...
There better be a very large difference. That's the bottom-line argument that I would have attempted to make.
- >>Another way to see it is that the set of valid theorems in FOL is uncomputable.<<
I've never seen it put that way exactly. And I've never learned the gory details of the incompleteness proofs and I've never made the explicit connection between incompleteness and computation before. That blew my tiny pea brain :-).
Now that I've read the Wikipedia page, I guess I only understood incompleteness as the 2nd theorem.
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
Thanks!
Its a shelter from storms, both physically and metaphorically.