Remember when the web used http everywhere and none of the connections were secure?
And then letsencrypt.org came along and the web was safer and more secure.
Looks like we are back in the http days if we can't rely on the encryption.
- I think we all feel this when we blow through our plan…or notthis is brutal
- You have to build from the right primitives and high quality agent back pressure. The concepts stack on each other and eventually form a strange loop.As it stands now, here is my hottest take: A software factory is actually an applied automation practice in the actual product. It's not some external thing. It's a product pattern where the product builds the product inception style. Any external system or dependency should be
- Two insights here for the coding & formal verification folks, besides due congrats to @typesafeai for Jev: 1. Frontier models can and will be outperformed by specialized models when it gets to generating provably correct code. 2. Increasing evidence that humans will soon notQuote
Sep 23Jessy Huang@goodhartproof





