Newest at the top
| 2025-02-06 10:45:55 +0100 | JimL | (~quassel@89.162.16.26) |
| 2025-02-06 10:45:37 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-06 10:44:33 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 245 seconds) |
| 2025-02-06 10:38:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-06 10:36:53 +0100 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp |
| 2025-02-06 10:33:19 +0100 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) (Quit: Client closed) |
| 2025-02-06 10:28:21 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-02-06 10:26:32 +0100 | trignome | (~Guest35@2601:602:680:a8d0:adbb:3f47:be53:2e1e) |
| 2025-02-06 10:25:37 +0100 | Square | (~Square@user/square) Square |
| 2025-02-06 10:21:40 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-06 10:20:27 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2025-02-06 10:19:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-06 10:18:37 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-06 10:17:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 10:17:01 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) (Client Quit) |
| 2025-02-06 10:16:39 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 10:16:14 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2025-02-06 10:16:04 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Quit: leaving) |
| 2025-02-06 10:14:26 +0100 | JimL | (~quassel@89.162.16.26) JimL |
| 2025-02-06 10:13:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 10:12:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 10:12:34 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-06 10:06:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-06 10:05:52 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f31acdc8f6e0eef26b6.dip0.t-ipconnect.de) acidjnk |
| 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) |