2025/06/03

Newest at the top

2025-06-03 16:16:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 16:15:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 16:10:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 16:10:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 16:09:45 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 16:06:43 +0200justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-06-03 16:06:14 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-06-03 16:05:12 +0200yin(~z@user/zero) zero
2025-06-03 16:04:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 16:04:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:58:32 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 15:57:55 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-06-03 15:57:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:57:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:54:18 +0200danza(~danza@user/danza) danza
2025-06-03 15:54:14 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds)
2025-06-03 15:53:30 +0200danza(~danza@user/danza) (Read error: Connection reset by peer)
2025-06-03 15:50:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:49:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:49:41 +0200yin(~z@user/zero) (Ping timeout: 248 seconds)
2025-06-03 15:46:38 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-06-03 15:45:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-06-03 15:45:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:44:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:43:24 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-06-03 15:38:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:37:48 +0200sabathan2(~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 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 15:32:43 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-03 15:32:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:32:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:29:48 +0200skiidly ponders "but not" connective (coexponential, "subtraction", "except", `A && not B' (`A >- B') .. `(4 | n) >- ((100 | n) >- (400 | n))')
2025-06-03 15:26:26 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:22:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:22:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:17:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:16:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:15:29 +0200Co0kie(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-06-03 15:12:42 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Client Quit)
2025-06-03 15:12:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 15:11:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 15:11:19 +0200trickard(~trickard@cpe-51-98-47-163.wireline.com.au)
2025-06-03 15:11:00 +0200trickard(~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 +0200o-90(~o-90@gateway/tor-sasl/o-90) o-90
2025-06-03 15:08:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)