Topics:
- Bryce Clarke (9 messages, latest: May 06 2024 at 09:21)
- David Corfield (1 message, latest: May 06 2024 at 09:11)
- Ralph Sarkis (55 messages, latest: May 01 2024 at 07:24)
- Evan Patterson (109 messages, latest: Apr 30 2024 at 12:16)
- John Baez (1827 messages, latest: Apr 30 2024 at 11:23)
- Amar Hadzihasanovic (44 messages, latest: Apr 26 2024 at 12:39)
- Mike Shulman (177 messages, latest: Apr 25 2024 at 22:41)
- Benedikt Peterseim (4 messages, latest: Apr 24 2024 at 15:36)
- Emilio Minichiello (12 messages, latest: Apr 22 2024 at 19:42)
- Chad Nester (9 messages, latest: Apr 17 2024 at 15:34)
- Bruno Gavranović (24 messages, latest: Apr 10 2024 at 15:44)
- Jean-Baptiste Vienney (183 messages, latest: Apr 09 2024 at 03:42)
- The pullback theorem for relative monads (3 messages, latest: Apr 02 2024 at 13:24)
- Joe Moeller (6 messages, latest: Mar 30 2024 at 12:32)
- Niles Johnson (4 messages, latest: Mar 26 2024 at 19:56)
- Morgan Rogers (52 messages, latest: Mar 25 2024 at 10:23)
- David Roberts (158 messages, latest: Mar 15 2024 at 06:29)
- James Deikun (222 messages, latest: Feb 26 2024 at 11:58)
- Joshua Wrigley (8 messages, latest: Feb 23 2024 at 10:09)
- Stelios Tsampas (and HO-GSOS) (10 messages, latest: Feb 17 2024 at 00:26)
- Kevin Arlin (18 messages, latest: Jan 25 2024 at 20:00)
- André Muricy & Marcus Jörgensson (5 messages, latest: Jan 11 2024 at 11:54)
- Matteo Capucci (32 messages, latest: Jan 04 2024 at 20:18)
- Daniel Geisler (11 messages, latest: Dec 22 2023 at 12:21)
- fosco (34 messages, latest: Dec 20 2023 at 16:18)
- Isomorphism of iterated functions (2 messages, latest: Dec 20 2023 at 07:14)
- Type theory vs set theory (61 messages, latest: Dec 05 2023 at 13:41)
- Eric Forgy (4 messages, latest: Nov 25 2023 at 18:18)
- David Egolf (5 messages, latest: Nov 22 2023 at 08:54)
- Chris Grossack (they/them) (28 messages, latest: Nov 14 2023 at 08:57)
- stream events (8 messages, latest: Oct 31 2023 at 11:00)
- Christian Williams (468 messages, latest: Oct 30 2023 at 16:23)
- Chris Barrett (1 message, latest: Oct 27 2023 at 11:25)
- Jade Master (63 messages, latest: Oct 10 2023 at 21:14)
- Chris Tapo (1 message, latest: Sep 12 2023 at 22:32)
- Andrius Kulikauskas (3 messages, latest: Aug 19 2023 at 22:04)
- Valeria de Paiva (4 messages, latest: Aug 18 2023 at 13:55)
- Jason Parker (4 messages, latest: Aug 10 2023 at 16:31)
- Math 4 Wisdom (1 message, latest: Jun 28 2023 at 03:10)
- talk on Poly (1 message, latest: Jun 22 2023 at 05:04)
- Steve Huntsman (7 messages, latest: May 22 2023 at 14:37)
- Simon Willerton (2 messages, latest: May 06 2023 at 16:21)
- Jacob S Zelko (35 messages, latest: Apr 16 2023 at 03:51)
- categorical computability book (7 messages, latest: Apr 15 2023 at 11:33)
- Jacques Carette (1 message, latest: Mar 23 2023 at 21:19)
- Lê Thành Dũng (Tito) Nguyễn (4 messages, latest: Mar 21 2023 at 12:36)
- Christoph Dorn (2 messages, latest: Mar 16 2023 at 11:25)
- New Invitation (2 messages, latest: Feb 15 2023 at 16:38)
- Ben Sprott (8 messages, latest: Feb 09 2023 at 07:05)
- Dusko Pavlovic (34 messages, latest: Jan 25 2023 at 16:09)
- Paolo Perrone (3 messages, latest: Nov 19 2022 at 18:02)
- Sam Staton (2 messages, latest: Nov 09 2022 at 10:11)
- Ivan Di Liberti (18 messages, latest: Nov 08 2022 at 18:21)
- Combinatorial species and dynamics (13 messages, latest: Nov 02 2022 at 07:05)
- Max S. New (4 messages, latest: Oct 24 2022 at 20:27)
- PSSL history (15 messages, latest: Oct 18 2022 at 23:54)
- MonoidMusician (Verity S.) (11 messages, latest: Aug 01 2022 at 16:17)
- Jon Sterling (27 messages, latest: May 08 2022 at 21:43)
- posina (1 message, latest: Feb 28 2022 at 21:20)
- José Siqueira (46 messages, latest: Dec 13 2021 at 12:18)
- engineering and CT (5 messages, latest: Dec 05 2021 at 17:21)
- William Waites (18 messages, latest: Nov 08 2021 at 18:54)
- Nicolas Blanco (5 messages, latest: Apr 23 2021 at 23:31)
- Conor Mc Bride (60 messages, latest: Apr 08 2021 at 15:15)
- thoughts on sharing ideas (21 messages, latest: Jan 31 2021 at 03:05)