Newest at the top
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) |
2025-06-17 14:36:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-17 14:33:45 +0200 | <ski> | [o,...,z])') |
2025-06-17 14:33:39 +0200 | <ski> | segfaultfizzbuzz : fwiw, associativity (& neutral element) can be defined as a property of a "variadic" operation on a (finite length) list/sequence (in Haskell terms, `comb [comb as,comb bs,...,comb zs] = comb (concat [as,bs,...,zs])' (or `comb . map comb = comb . concat'). together with `comb [x] = x' (or `comb . sing = id'), this gives us `comb [a,b,...,m,comb ns,o,...,z] = comb ([a,b,...,m] ++ ns ++ |
2025-06-17 14:31:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
2025-06-17 14:30:58 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-17 14:30:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-17 14:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-17 14:30:14 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-17 14:30:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-06-17 14:27:48 +0200 | caubert_ | (~caubert@user/caubert) caubert |
2025-06-17 14:27:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
2025-06-17 14:27:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-17 14:27:01 +0200 | ChanServ | +v haskellbridge |
2025-06-17 14:27:01 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) hackager |