Ala Shiban Profile
Ala Shiban

@AlaShiban

Followers
1K
Following
367
Statuses
617

Co-Founder @GetKlotho - Crafting the Adaptive Architectures paradigm. ex-Microsoft, ex-Riot Games

Los Angeles
Joined July 2009
Don't wanna be here? Send us removal request.
@AlaShiban
Ala Shiban
7 months
@LawrenceDCodes So much of what is said is also purely wrong.
0
0
1
@AlaShiban
Ala Shiban
7 months
@editingemily 'Your plane is now 99% landed , 5 minutes left, please wait'
0
0
6
@AlaShiban
Ala Shiban
7 months
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
0
0
0
@AlaShiban
Ala Shiban
7 months
Noodle disagreeing on the role Kubernetes plays in the infra space, he wouldn't let it go
Tweet media one
0
0
0
@AlaShiban
Ala Shiban
7 months
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
0
0
0
@AlaShiban
Ala Shiban
7 months
@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.
0
0
0
@AlaShiban
Ala Shiban
7 months
If there's one thing I've learned from that relationship, it's that those two ends are hard to bridge 😅 3/3
0
0
0
@AlaShiban
Ala Shiban
7 months
I remember how critical it was for me to learn to finish things. Starting was easy, finishing is hard, especially with ADHDish-ness.
0
0
0
@AlaShiban
Ala Shiban
7 months
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.
0
0
0
@AlaShiban
Ala Shiban
7 months
@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?
0
0
0
@AlaShiban
Ala Shiban
8 months
0
0
1
@AlaShiban
Ala Shiban
8 months
Tweet media one
1
0
2
@AlaShiban
Ala Shiban
8 months
@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)
0
0
1
@AlaShiban
Ala Shiban
8 months
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
0
0
1
@AlaShiban
Ala Shiban
8 months
friend asked me about pitch decks recently so I re-shared this side project I built with 15k searchable decks:
1
0
0
@AlaShiban
Ala Shiban
8 months
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
0
0
0