Newest at the top
| 2025-03-20 20:12:23 +0100 | euleritian | (~euleritia@dynamic-176-000-194-134.176.0.pool.telefonica.de) |
| 2025-03-20 20:11:45 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-20 20:11:28 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 2025-03-20 20:10:12 +0100 | danz53131 | (~danza@user/danza) (Client Quit) |
| 2025-03-20 20:08:49 +0100 | eron | (~eron@177.45.236.226) (Quit: Client closed) |
| 2025-03-20 20:06:42 +0100 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
| 2025-03-20 20:06:40 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-20 20:05:32 +0100 | danz53131 | (~danza@user/danza) danza |
| 2025-03-20 20:04:17 +0100 | jespada | (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) jespada |
| 2025-03-20 20:01:00 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-20 20:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-20 20:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-20 19:59:24 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-20 19:59:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-20 19:57:00 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-20 19:54:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-20 19:52:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-20 19:49:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 19:48:51 +0100 | rvalue- | rvalue |
| 2025-03-20 19:48:43 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 245 seconds) |
| 2025-03-20 19:45:48 +0100 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-03-20 19:44:19 +0100 | kh0d | (~kh0d@109.111.226.14) |
| 2025-03-20 19:42:31 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-03-20 19:42:28 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-03-20 19:39:53 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
| 2025-03-20 19:38:13 +0100 | malte | (~malte@mal.tc) malte |
| 2025-03-20 19:37:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-20 19:37:04 +0100 | <Athas> | tomsmeding: got any insights regarding higher-order AD with 'ad'? |
| 2025-03-20 19:35:01 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-03-20 19:33:40 +0100 | euleritian | (~euleritia@dynamic-176-006-141-111.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-03-20 19:33:37 +0100 | eron | (~eron@177.45.236.226) lidenbrock |
| 2025-03-20 19:33:04 +0100 | jespada | (~jespada@2800:a4:2319:d400:94ef:4121:211e:25f4) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-20 19:31:52 +0100 | danza | (~danza@user/danza) danza |
| 2025-03-20 19:29:47 +0100 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2025-03-20 19:27:23 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-03-20 19:25:43 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Ping timeout: 268 seconds) |
| 2025-03-20 19:25:35 +0100 | tusko | (uid478376@user/tusko) tusko |
| 2025-03-20 19:22:42 +0100 | euleritian | (~euleritia@dynamic-176-006-141-111.176.6.pool.telefonica.de) |
| 2025-03-20 19:21:47 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 244 seconds) |
| 2025-03-20 19:17:42 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:9747:dd6c:23c:6105) (Quit: ubert) |
| 2025-03-20 19:16:58 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-20 19:15:03 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-20 19:10:41 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
| 2025-03-20 19:07:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-20 19:03:38 +0100 | kh0d | (~kh0d@109.111.226.14) (Ping timeout: 252 seconds) |
| 2025-03-20 19:03:32 +0100 | <Athas> | Let's see how well it works. |
| 2025-03-20 19:03:26 +0100 | <Athas> | Today I am using OverloadedRecordDot for the first time. |
| 2025-03-20 19:03:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 19:02:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-03-20 18:59:08 +0100 | kh0d | (~kh0d@109.111.226.14) |