rich1.0semisol (npub122…cgrkj)https://yabu.me/npub12262qa4uhw7u8gdwlgmntqtv7aye8vdcmvszkqwgs0zchel6mz7s6cgrkjnjumphttps://yabu.mewhat instead baffles me is that we do not have enough nail-hammering machines these are more reliable than the LLM, have to be proven correct once, and can help *any* workflow I feel like in software development, code generation, and abstractions are nowhere close to being decently exploited. and that is very disappointing! though, software is much different than buildings at the same time. the blueprint *is* the building, and you’d mostly be outsourcing the design of individual components