✳flâneur — a map of the web's best reading

Notes for Davidad's Second ARIA Workshop

forest.localcharts.org · 844 words · saved by 1 readers

I will be taking notes on repl.it during the Davidad's second ARIA Workshop. If you would like to join my collaborative session in a google-docs-like fashion, reach out to me either via DM on localcharts or via the category theory zulip, or via any other means you have at your disposal. You can see the live-updating notes here, but note that the lifespan of that URL is unclear. ARIA has a motto of "people then projects". They believe in individuals over committees, but they also recognize the importance of long-term projects. Davidad is running a program based on his thesis about an opportunity space. Formal verification and AI are both large areas, but they are not yet combined within a single field. We are starting with TA1.1, which is theory. So likely this program will be somewhat "staggered": we will go from theory to implementation. The goal is safe-by-design AI, and the key to safe-by-design AI is formal world models. If we can get the AI to understand the world formally and exp

2863 ocl-001K ocl-001K.xml Notes for Davidad's Second ARIA Workshop 2024 3 4 Owen Lynch true I will be taking notes on repl.it during the Davidad's second ARIA Workshop. If you would like to join my collaborative session in a google-docs-like fashion, reach out to me either via DM on localcharts or via the category theory zulip, or via any other means you have at your disposal. You can see the live-updating notes here , but note that the lifespan of that URL is unclear. 2734 #455 unstable-455.xml Intro talk 2024 3 4 Owen Lynch ocl-001K ARIA has a motto of "people then projects". They believe i

Explore this link on the map →

related reading