Newest at the top
| 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 |
| 2025-06-17 14:26:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:20:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:20:07 +0200 | haskellbridge | (~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-17 14:20:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:19:41 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
| 2025-06-17 14:19:38 +0200 | trickard_ | trickard |
| 2025-06-17 14:17:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-17 14:15:43 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-06-17 14:13:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-17 14:12:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:12:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:12:01 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:93e6:4342:1301:f64e) ubert |
| 2025-06-17 14:11:45 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-17 14:06:40 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-17 14:06:40 +0200 | soverysour | (~soverysou@84.232.150.11) (Changing host) |
| 2025-06-17 14:06:40 +0200 | soverysour | (~soverysou@84.232.150.11) |
| 2025-06-17 14:05:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:05:55 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-17 14:05:38 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-06-17 14:05:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 14:05:25 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-17 14:02:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-06-17 14:01:21 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-17 14:00:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 14:00:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-17 13:57:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 13:56:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-17 13:52:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-17 13:51:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |