Newest at the top
| 2025-06-23 23:43:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:43:00 +0200 | <monochrom> | magic_rb: (Belated) I once expanded "Cont r a -> (a -> Cont r b) -> Cont r b" to "understand" it. :) |
| 2025-06-23 23:41:34 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 23:41:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 23:37:53 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-06-23 23:33:05 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 2025-06-23 23:33:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 23:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-23 23:29:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-23 23:29:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-23 23:28:51 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-23 23:27:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:20:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-23 23:20:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 23:20:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-23 23:20:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-23 23:15:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 23:11:14 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-06-23 23:11:00 +0200 | dutchie | (~dutchie@user/dutchie) (Read error: Connection reset by peer) |
| 2025-06-23 23:08:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 23:06:13 +0200 | sim590 | (~simon@2001:18c0:a82:2400::9fb) |
| 2025-06-23 23:06:09 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 268 seconds) |
| 2025-06-23 23:04:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-23 23:03:03 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-06-23 22:59:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2025-06-23 22:59:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-23 22:57:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 22:52:18 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-23 22:50:54 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 276 seconds) |
| 2025-06-23 22:49:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 22:48:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-23 22:46:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-23 22:43:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-06-23 22:42:16 +0200 | EvanR_ | EvanR |
| 2025-06-23 22:41:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 22:41:38 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 22:40:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-06-23 22:38:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 265 seconds) |
| 2025-06-23 22:37:48 +0200 | michalz_ | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-06-23 22:37:20 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 22:37:07 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 22:34:43 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2025-06-23 22:33:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-23 22:32:53 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-23 22:31:55 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-23 22:31:17 +0200 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-06-23 22:30:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-23 22:29:45 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-23 22:23:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 22:22:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |