x

Community — LessWrong

LESSWRONG
LW

Welcome to the Community Section

On the map above you can find nearby events (blue arrows), local groups (green house icons), and other users who have added themselves to the map (purple person icons)

Add me to the map Sign up for event/group notifications

Global Events

Nearby Events

Online Groups

Local Groups

Resources

[Event]First Forecasting Dojo Group Meetup

Mar 1st

0

[Event]Theodore Ehrenborg: Benchmarks for AI-assisted Formal Verification

Mar 12th

0

[Event]Samuel Teuber: Provably Safe Neural Network Controllers via Differential Dynamic Logic

Apr 9th

0

[Event]Lars Lindemann: Verifiable AI-Enabled Autonomous Systems with Conformal Prediction

Jun 11th

0

LW

EA Gather Town (EAGT)

EA

EA Virtual Programs

EA

Guaranteed Safe AI Seminars

LWEA

LW

62What LessWrong/Rationality/EA chat-servers exist that newcomers can join?

habryka, Taymon Beal

7y

19

284Alignment Research Field Guide

7y

11

78What Are Meetups Actually Trying to Accomplish?

8y

17

83How to Run a Successful Less Wrong Meetup

14y

40

45The Craft and the Community

Eliezer Yudkowsky

17y

11