69
export all events for this room
Bookmarked conversations in this room
The logs
May 15, 2024 at 23:18, 15 minutes total – 65 messages, 4 users, 7 stars
Bookmarked May 28, 2024 at 13:41 by Ginger
Rydwolf discovers dependent types
Oct 19, 2023 at 15:57, 29 minutes total – 10 messages, 2 users, 0 stars
Bookmarked Oct 19, 2023 at 16:27 by rydwolf
On the subjectivity of our questions
Jul 19, 2023 at 13:41, 1 hour 50 minutes total – 142 messages, 5 users, 12 stars
Bookmarked Jul 19, 2023 at 16:14 by Seggan