Newest at the top
2025-10-16 19:43:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-16 19:37:40 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-10-16 19:34:12 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 19:33:57 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
2025-10-16 19:33:27 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 19:28:06 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
2025-10-16 19:28:02 +0200 | Inline | (~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) Inline |
2025-10-16 19:26:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-10-16 19:19:42 +0200 | <ski> | otoh, i think `pseq a b' has the guarantee that `a' will be reduced tp WHNF, at or before when `b' is |
2025-10-16 19:19:07 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) ft |
2025-10-16 19:17:41 +0200 | <ski> | `seq (seq a b) c = seq a (seq b c) = seq b (seq a c)' would be another example |
2025-10-16 19:17:00 +0200 | <ski> | mreh : "your seq there simply guarantees that tmp will be in WHNF after your `in` clause is evaluated" -- i don't think this is the case. pretty sure `let ... in seq a b = seq a (let ... in b)'. similarly `(\... -> seq a b) (...) = seq a ((\... -> b) (...))'. so, `seq a's probably can be floated out of `let' and function bodies, as long as `a' is eventually evaluated when the body is |
2025-10-16 19:12:15 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 19:10:48 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-10-16 19:05:56 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 19:05:18 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
2025-10-16 18:56:55 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-16 18:55:13 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
2025-10-16 18:55:12 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-16 18:52:33 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
2025-10-16 18:51:45 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
2025-10-16 18:48:26 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-10-16 18:46:23 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 18:40:41 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
2025-10-16 18:35:04 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline |
2025-10-16 18:34:10 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Max SendQ exceeded) |
2025-10-16 18:33:16 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-16 18:32:34 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline |
2025-10-16 18:32:03 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer) |
2025-10-16 18:30:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-10-16 18:29:32 +0200 | Inline | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Ping timeout: 244 seconds) |
2025-10-16 18:26:36 +0200 | Inline_ | (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline |
2025-10-16 18:22:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-10-16 18:15:23 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-10-16 18:11:44 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-16 18:06:40 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
2025-10-16 18:05:52 +0200 | Square2 | (~Square@user/square) Square |
2025-10-16 18:05:12 +0200 | Square | (~Square4@user/square) (Remote host closed the connection) |
2025-10-16 18:04:59 +0200 | satler | (~satler@user/satler) (Quit: satler) |
2025-10-16 18:00:03 +0200 | trickard_ | trickard |
2025-10-16 17:53:59 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-10-16 17:51:42 +0200 | satler | (~satler@user/satler) satler |
2025-10-16 17:47:07 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-10-16 17:46:53 +0200 | trickard___ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-16 17:41:24 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-10-16 17:34:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
2025-10-16 17:33:51 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) kuribas |
2025-10-16 17:33:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
2025-10-16 17:27:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-16 17:27:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |