Boundaries Update #1

post by Chipmonk · 2024-04-11T16:07:18.746Z · LW · GW · 2 comments

This 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
comment by Chipmonk · 2024-04-11T18:28:07.324Z · LW(p) · GW(p)

Thanks for asking. This is the intention of Mathematical Boundaries Workshop which is running now. Let me know if you'd like to come on Sunday