2025/03/19

Newest at the top

2025-03-19 23:26:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-19 23:25:52 +0100notdabs(~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0)
2025-03-19 23:25:30 +0100notdabs(~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0) (Remote host closed the connection)
2025-03-19 23:22:57 +0100visilii_(~visilii@85.172.77.105) (Ping timeout: 252 seconds)
2025-03-19 23:21:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-19 23:19:46 +0100visilii(~visilii@85.94.26.83)
2025-03-19 23:16:22 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-03-19 23:14:24 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-19 23:12:10 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-19 23:11:16 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Quit: ash3en)
2025-03-19 23:10:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-19 23:05:57 +0100weary-traveler(~user@user/user363627) (Ping timeout: 268 seconds)
2025-03-19 23:05:37 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-03-19 23:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-19 23:01:51 +0100user363627(~user@user/user363627) user363627
2025-03-19 23:00:34 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-03-19 22:59:40 +0100tromp(~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-03-19 22:55:57 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-03-19 22:55:42 +0100notdabs(~Owner@2600:1700:69cf:9000:28cb:4a01:fb92:fda0)
2025-03-19 22:55:05 +0100michalz(~michalz@185.246.207.193) (Remote host closed the connection)
2025-03-19 22:54:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-19 22:53:02 +0100notdabs(~Owner@2600:1700:69cf:9000:c1b9:805:b7a6:91b1) (Read error: Connection reset by peer)
2025-03-19 22:52:52 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-19 22:52:28 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2025-03-19 22:50:38 +0100ljdarj1(~Thunderbi@user/ljdarj) (Client Quit)
2025-03-19 22:50:11 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-03-19 22:49:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-19 22:43:50 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-19 22:39:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-19 22:38:49 +0100 <tomsmeding> INTERCAL vibes, except "unsafe" makes your code faster
2025-03-19 22:37:44 +0100 <EvanR> xD
2025-03-19 22:37:28 +0100 <EvanR> unsafe stages in the processing are faster!
2025-03-19 22:37:12 +0100 <EvanR> it does look like a rewritable thing as is
2025-03-19 22:36:47 +0100 <tomsmeding> perhaps people have rewrite RULES on Data.List.scanr and delegating to that preserves the RULES' effect?
2025-03-19 22:36:14 +0100 <EvanR> and would be checked by the compiler
2025-03-19 22:36:05 +0100 <EvanR> the API is safe because of an invisible proof about the implementation, but if it was written slightly different the proof would not be invisible
2025-03-19 22:35:53 +0100 <[exa]> tomsmeding: the ox arrays look cool thanks
2025-03-19 22:35:28 +0100 <tomsmeding> if they aren't, then who _are_ they useful for
2025-03-19 22:35:12 +0100 <[exa]> the tail&head warnings are not super useful for newbies tbh
2025-03-19 22:35:08 +0100 <EvanR> but performance
2025-03-19 22:34:59 +0100 <EvanR> I was hoping it would just write scanr without doing that
2025-03-19 22:34:35 +0100 <tomsmeding> it's the premise of ST
2025-03-19 22:34:29 +0100 <tomsmeding> but it's encapsulated in a safe API, much of FP is like that
2025-03-19 22:34:21 +0100 <EvanR> but I guess we don't need to know that
2025-03-19 22:34:16 +0100 <EvanR> which crashes on an empty list xD
2025-03-19 22:34:10 +0100 <EvanR> the code for scanr internally does fromList
2025-03-19 22:33:20 +0100 <tomsmeding> okay that works
2025-03-19 22:33:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-19 22:33:11 +0100 <tomsmeding> yep, nice
2025-03-19 22:33:10 +0100 <EvanR> I guess