2025/10/16

Newest at the top

2025-10-16 19:57:44 +0200 <monochrom> (even though in theory it could)
2025-10-16 19:57:37 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2025-10-16 19:57:35 +0200Everything(~Everythin@46.96.48.125) (Quit: leaving)
2025-10-16 19:57:24 +0200 <monochrom> Yeah pseq is the only that guarantees order. OTOH I haven't seen an empirical case of seq failing to solve laziness-caused unwanted space growth.
2025-10-16 19:47:08 +0200kuribas(~user@2a02-1810-2825-6000-5d7f-1d97-1f8d-30e0.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2025-10-16 19:43:58 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-16 19:37:40 +0200karenw_(~karenw@user/karenw) karenw
2025-10-16 19:34:12 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 19:33:57 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Client Quit)
2025-10-16 19:33:27 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 19:28:06 +0200qqe(~qqq@185.54.23.200) (Remote host closed the connection)
2025-10-16 19:28:02 +0200Inline(~inline@2a02:8071:57a1:1260:d5a4:2b6e:3aa7:d03a) Inline
2025-10-16 19:26:45 +0200GdeVolpiano(~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 +0200ft(~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 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 19:10:48 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds)
2025-10-16 19:05:56 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 19:05:18 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds)
2025-10-16 18:56:55 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-16 18:55:13 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-10-16 18:55:12 +0200gustrb(~gustrb@191.243.134.87)
2025-10-16 18:52:33 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer)
2025-10-16 18:51:45 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 244 seconds)
2025-10-16 18:48:26 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-10-16 18:46:23 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 18:40:41 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-10-16 18:35:04 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline
2025-10-16 18:34:10 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Max SendQ exceeded)
2025-10-16 18:33:16 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-16 18:32:34 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline
2025-10-16 18:32:03 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Read error: Connection reset by peer)
2025-10-16 18:30:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-16 18:29:32 +0200Inline(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) (Ping timeout: 244 seconds)
2025-10-16 18:26:36 +0200Inline_(~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) Inline
2025-10-16 18:22:49 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-16 18:15:23 +0200MelodyOwO(~MelodyOwO@user/MelodyOwO) MelodyOwO
2025-10-16 18:11:44 +0200gustrb(~gustrb@191.243.134.87)
2025-10-16 18:06:40 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 246 seconds)
2025-10-16 18:05:52 +0200Square2(~Square@user/square) Square
2025-10-16 18:05:12 +0200Square(~Square4@user/square) (Remote host closed the connection)
2025-10-16 18:04:59 +0200satler(~satler@user/satler) (Quit: satler)
2025-10-16 18:00:03 +0200trickard_trickard
2025-10-16 17:53:59 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-16 17:51:42 +0200satler(~satler@user/satler) satler
2025-10-16 17:47:07 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-16 17:46:53 +0200trickard___(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-16 17:41:24 +0200pavonia(~user@user/siracusa) (Quit: Bye!)