Newest at the top
| 2025-02-06 09:56:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-06 09:53:26 +0100 | merijn | (~merijn@77.242.116.146) (Client Quit) |
| 2025-02-06 09:52:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 09:52:22 +0100 | <haskellbridge> | <Bowuigi> Oh I read "nlab", not 1lab. Thanks, it seems to be what I'm looking for |
| 2025-02-06 09:49:52 +0100 | <haskellbridge> | <Bowuigi> Yeah but I usually don't understand the stuff there, maybe it is because I browse it like a wiki lol |
| 2025-02-06 09:48:41 +0100 | piele | (~piele@tbonesteak.creativeserver.net) (Quit: Ciao!) |
| 2025-02-06 09:46:07 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-02-06 09:42:25 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-02-06 09:42:25 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-06 09:42:19 +0100 | alp__ | (~alp@2001:861:8ca0:4940:c619:f7a3:d4b4:8e07) |
| 2025-02-06 09:42:15 +0100 | <ncf> | Bowuigi: if you're looking for formal category theory, the 1lab has a bunch |
| 2025-02-06 09:39:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 09:38:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 09:36:26 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-06 09:30:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-06 09:30:06 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-06 09:29:02 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 09:25:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 09:25:06 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-06 09:24:48 +0100 | euleritian | (~euleritia@dynamic-176-000-001-103.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-02-06 09:21:49 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-06 09:19:04 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-06 09:18:30 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-06 09:18:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-02-06 09:05:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-06 09:03:03 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-02-06 09:01:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 09:01:01 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 09:00:13 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 09:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 08:59:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:58:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:54:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-06 08:53:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-06 08:50:58 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 08:49:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-06 08:49:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:49:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-02-06 08:47:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-06 08:46:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-02-06 08:46:25 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:41:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-06 08:37:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 08:36:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-06 08:32:12 +0100 | tnt2 | tnt1 |
| 2025-02-06 08:32:12 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-02-06 08:32:03 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2025-02-06 08:32:02 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 08:31:44 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2025-02-06 08:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |