Newest at the top
2025-06-03 16:16:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 16:15:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 16:10:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 16:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 16:09:45 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-03 16:06:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
2025-06-03 16:06:14 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
2025-06-03 16:05:12 +0200 | yin | (~z@user/zero) zero |
2025-06-03 16:04:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 16:04:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:58:32 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-03 15:57:55 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-03 15:57:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:57:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:54:18 +0200 | danza | (~danza@user/danza) danza |
2025-06-03 15:54:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
2025-06-03 15:53:30 +0200 | danza | (~danza@user/danza) (Read error: Connection reset by peer) |
2025-06-03 15:50:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:49:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:49:41 +0200 | yin | (~z@user/zero) (Ping timeout: 248 seconds) |
2025-06-03 15:46:38 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-06-03 15:45:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-03 15:45:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:44:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:43:24 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-03 15:38:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:37:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:36:36 +0200 | <ski> | d `divides` n = not (n /= 0 >- (d /= 0 >- (n `rem` d /= 0))) -- hmm, doesn't really seem to help here |
2025-06-03 15:32:58 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-03 15:32:43 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-03 15:32:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:29:48 +0200 | ski | idly ponders "but not" connective (coexponential, "subtraction", "except", `A && not B' (`A >- B') .. `(4 | n) >- ((100 | n) >- (400 | n))') |
2025-06-03 15:26:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:26:11 +0200 | <lambdabot> | [False,True,False,True] |
2025-06-03 15:26:09 +0200 | <ski> | > let divides :: Integral i => i -> i -> Bool; d `divides` n = (n /= 0) <= (d /= 0 && n `rem` d == 0); gregorialLeapYear :: Integral i => i -> Bool; gregorialLeapYear n = 4 `divides` n && (100 `divides` n) <= (400 `divides` n) in map gregorialLeapYear [1941,1980,1900,2000] |
2025-06-03 15:26:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:22:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:22:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:17:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:16:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:15:29 +0200 | Co0kie | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-06-03 15:12:42 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Client Quit) |
2025-06-03 15:12:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-03 15:11:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-03 15:11:19 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) |
2025-06-03 15:11:00 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-03 15:10:50 +0200 | <ski> | (and `if b then c else True' is (the unfortunately named) `b <= c', which is implication from `b' to `c') |
2025-06-03 15:10:30 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) o-90 |
2025-06-03 15:08:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |