We need to make VPS's on AWS cool. Lightsail was the right idea, but it's so disconnected from the rest of the AWS ecosystem that it feels wrong to use it
amethyst is the app I can't run my Mac without anymore. Auto-tiling is so convenient. I just wish there were easier ways to describe layouts and how windows fit in
@seldo The call is on GenAI, not AI. AI/ML have been super useful for tens of years, since OCRing mail addresses. LLMs/GenAI in their current form do not justify their cost - I think they're spot on, and the data is behind them. The web wasn't a narrow piece of tech, stretch to compare.
I had a partner with perfect memory recall (inherited genetic 'bug'). I don't have a strong memory. I found that my interests naturally gravitated towards abstraction and generalization, whereas hers gravitated words specialization and building more of the 'branching tree'.
1/3
To me the truth was in the reduction into rule-sets, the patterns -- the way to discern how the underlying systems works. For her it was unnecaccery, it was all if-then statistics, she could see it all in her head.
2/3
prediction: a big AI breakthrough will come from the interplay and integration of formal verification/logic provers tools like Lean 4.
LLMs will 'conceptualize' and formalize, provers will deduce and infer, then LLMs will read the results and update it's understanding of what's true.
@ylecun@ylecun What role do you see for Math provers and logic solvers in the context of a more capable AI system? Analogy wise feels like they play more of a left-brain computation that we're missing?
@davidfowl the difference is iteration I think. I think with code-gen you can't reasonably take in the code you genned, edit it, and reasonably allow the original system to continue iterating on the same code, whereas with LLMs you can. (to the degree that they do what they do)
TLDR of Infra & Cloud Tooling Approaches in 2024:
1. Terraform*
2. Terraform as programming language code
3. Terraform apply in a loop running as a Kubernetes operator
4. High level application architecture compiled down to Terraform
5. Combining application architecture and application code into 1
6. Auto-generated terraform based on application code
blog coming soon
* Terraform the idea, not the actual implementation
#InfrastructureAsCode #DevOps #CloudComputing #terraform #Kubernetes
We need one of the always-on container services on @awscloud that spins up/down in seconds and doesn't have a cluster fee. 23 minutes to get one up and running is way too long