Newest at the top
| 2025-06-17 15:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 15:31:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-17 15:31:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b66100cb1efe3a58af49a.dip0.t-ipconnect.de) |
| 2025-06-17 15:30:24 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:93e6:4342:1301:f64e) (Ping timeout: 276 seconds) |
| 2025-06-17 15:29:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-06-17 15:28:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2025-06-17 15:28:07 +0200 | ChanServ | +v haskellbridge |
| 2025-06-17 15:28:07 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |
| 2025-06-17 15:26:10 +0200 | ubert1 | (~Thunderbi@2a02:8109:abb3:7000:2eb5:50e0:4eda:b80d) ubert |
| 2025-06-17 15:24:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 15:24:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 15:22:30 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-17 15:22:30 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-06-17 15:20:47 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-17 15:19:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 15:18:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-17 15:17:19 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-17 15:12:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 15:12:37 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-17 15:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 15:08:52 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2025-06-17 15:06:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 15:05:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 15:03:25 +0200 | trickard_ | trickard |
| 2025-06-17 15:03:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-17 15:00:18 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-06-17 14:59:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-17 14:59:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-17 14:58:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-06-17 14:58:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:57:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:56:42 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-17 14:52:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:52:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-17 14:52:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:49:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b661029c3bb73623ae3b5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-17 14:48:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-17 14:47:55 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-06-17 14:47:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:47:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:47:04 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-06-17 14:44:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:44:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:41:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-17 14:40:10 +0200 | caubert_ | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-17 14:39:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-17 14:38:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:38:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:37:29 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-17 14:37:18 +0200 | <ski> | (and commutativity can be defined as any reordering of the list giving the same result, `comb (p as) = comb as', for any `n'-permutation `p' on a list `as' of length `n' .. which means that `comb' could be defined on (finite) bags, instead of listts. and with idempotency, `comb [a,a,...,a] = a' (`comb . replicate n = id' for positive `n'), could be defined on (finite) sets) |