Lean Together 2024: Emina Torlak, Cedar

  Рет қаралды 1,194

leanprover community

leanprover community

Күн бұрын

Пікірлер: 1
@NaveenSiddareddy
@NaveenSiddareddy 4 ай бұрын
work you guys put in Cedar is amazing🤟.. its hard problem to solve as this is tied to data modeling and you cant offload to vendors! from what i hear in 14:38 and 58:20 , application or applications have to provide a map of groups even though there is multiple levels of hierarchy to make the policy check quick. this is a data integration problem where loads of vendors are already competing!!
Why Python is the Perfect First Language to Learn
0:40
Tech With Tim
Рет қаралды 350 М.
Smart Sigma Kid #funny #sigma
00:14
CRAZY GREAPA
Рет қаралды 64 МЛН
Osman Kalyoncu Sonu Üzücü Saddest Videos Dream Engine 275 #shorts
00:29
Osman Kalyoncu
Рет қаралды 3,7 МЛН
Sigma baby, you've conquered soap! 😲😮‍💨 LeoNata family #shorts
00:37
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
28:39
Lean Together 2024: Mac Malone, How Reservoir boosts your Lean packages
28:47
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
28:29
leanprover community
Рет қаралды 540
Flutter Engage
3:58:21
Flutter
Рет қаралды 1,9 МЛН
Practical Parallel Computing | UArizona HPC Workshops Fall 2024 #6
59:37
University of Arizona UITS Research Technologies
Рет қаралды 19
Empowering Leadership with GenAI: Navigating Possibilities and Pitfalls
1:34:49
Smart Sigma Kid #funny #sigma
00:14
CRAZY GREAPA
Рет қаралды 64 МЛН