Boundaries Update #1
post by Chipmonk · 2024-04-11T16:07:18.746Z · LW · GW · 2 commentsThis is a link post for https://formalizingboundaries.substack.com/p/update-1
Contents
“What does davidad want from «boundaries»?” Conceptual Boundaries Workshop ACX Grant Mathematical Boundaries Workshop davidad’s ARIA programme now live future updates None 2 comments
Boundaries agenda updates in the last few months.
“What does davidad want from «boundaries»?”
davidad and I had a lesswrong dialogue [LW · GW] I recommend reading.
If you need a refresher on boundaries, read both the above dialogue and the formalizingboundaries.ai website.
Conceptual Boundaries Workshop
We ran Conceptual Boundaries Workshop [LW · GW] on Feb 10–12.
In attendance: David ‘davidad’ Dalrymple, Scott Garrabrant, TJ (Tushant Jha), Andrew Critch, Allison Duettmann, Alex Zhu [LW · GW], Jeff Beck, Adam Goldstein, Manuel Baltieri, Lisa Thiergart, Abram Demski [LW · GW], Evan Miyazono, and me [LW · GW].
For more about what we discussed, see Evan’s personal retrospective.
Supported by The Foresight Institute, Blake Borgeson, and the Long Term Future Fund.
ACX Grant
Scott Alexander granted us $40,000 for boundaries projects and workshops.
Mathematical Boundaries Workshop
Mathematical Boundaries Workshop is running this week for 5 days. Goal: develop boundaries math further, ultimately for application in real-world scenarios. Many category theorists are in attendance.
We are inviting a few guests to hang out at the end of the workshop — this Sunday morning, Berkeley CA. Email me chris@chrislakin.com if you’d like to come.
davidad’s ARIA programme now live
davidad’s ARIA programme for safeguarded AI is now live and soliciting applications for the first phase (>$74M over 4 years). See the ARIA page.
future updates
Subscribe: https://formalizingboundaries.substack.com/
2 comments
Comments sorted by top scores.
comment by Thomas Kwa (thomas-kwa) · 2024-04-11T16:49:55.824Z · LW(p) · GW(p)
Any technical results yet?
Replies from: Chipmonk