2025/06/17

Newest at the top

2025-06-17 15:24:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 15:24:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 15:22:30 +0200haskellbridge(~hackager@syn-096-028-224-227.res.spectrum.com) (Read error: Connection reset by peer)
2025-06-17 15:22:30 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-06-17 15:20:47 +0200arahael(~arahael@user/arahael) arahael
2025-06-17 15:19:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 15:18:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-17 15:17:19 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-17 15:12:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 15:12:37 +0200caubert(~caubert@user/caubert) caubert
2025-06-17 15:12:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 15:08:52 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 276 seconds)
2025-06-17 15:06:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 15:05:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 15:03:25 +0200trickard_trickard
2025-06-17 15:03:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-17 15:00:18 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-06-17 14:59:48 +0200caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-17 14:59:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-17 14:58:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net)
2025-06-17 14:58:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:57:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:56:42 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-17 14:52:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:52:23 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-17 14:52:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:49:25 +0200acidjnk_new(~acidjnk@p200300d6e70b661029c3bb73623ae3b5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-06-17 14:48:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-17 14:47:55 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-06-17 14:47:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:47:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:47:04 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-17 14:44:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:44:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:41:05 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-17 14:40:10 +0200caubert_(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-06-17 14:39:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-06-17 14:38:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:38:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:37:29 +0200caubert(~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 +0200Unicorn_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 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2025-06-17 14:30:58 +0200soverysour(~soverysou@user/soverysour) (Ping timeout: 252 seconds)
2025-06-17 14:30:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-17 14:30:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-17 14:30:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-06-17 14:30:10 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)