2024/11/13

Newest at the top

2024-11-13 02:27:49 +0100 <lambdabot> mueval-core: Time limit exceeded
2024-11-13 02:27:44 +0100 <haskellbridge> > [0..] !! maxBound
2024-11-13 02:27:43 +0100 <haskellbridge> <zwro> come on
2024-11-13 02:26:33 +0100 <haskellbridge> <zwro> > [0..] !! maxBound
2024-11-13 02:09:59 +0100comonad(~comonad@p200300d0270bcb00d2bd35ff80c069c9.dip0.t-ipconnect.de)
2024-11-13 02:07:56 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-11-13 02:07:47 +0100comonad(~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-11-13 02:06:53 +0100 <Axman6> Even if things aren't being copied, you're incurring a bounds check for every index. mapM (pure . f) v would be much more efficient, and more idomatic (it took me ages to figure out what that code was actually doing)
2024-11-13 02:04:47 +0100 <Axman6> uh, actually, isn't that just map?
2024-11-13 02:04:37 +0100remexre(~remexre@user/remexre) remexre
2024-11-13 02:04:15 +0100remexre(~remexre@user/remexre) (Remote host closed the connection)
2024-11-13 02:03:45 +0100Square(~Square@user/square) Square
2024-11-13 02:03:08 +0100 <Axman6> bailsman: that feels like you're reinventing https://hackage.haskell.org/package/vector-0.13.2.0/docs/Data-Vector.html#v:imap? or something else? I think what you've written will have to repeatedly freeze and copy the vector so it's going to be very slow.
2024-11-13 01:44:49 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-11-13 01:43:56 +0100EvanR(~EvanR@user/evanr) EvanR
2024-11-13 01:43:37 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-11-13 01:35:56 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-11-13 01:31:04 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-13 01:27:54 +0100xff0x(~xff0x@2405:6580:b080:900:50c5:d80f:bb7d:df5c) (Ping timeout: 260 seconds)
2024-11-13 01:27:07 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-11-13 01:18:12 +0100KicksonButt(~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-11-13 01:17:21 +0100Everything(~Everythin@178-133-145-205.mobile.vf-ua.net) (Quit: leaving)
2024-11-13 01:16:50 +0100ljdarj1ljdarj
2024-11-13 01:16:50 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-11-13 01:14:23 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-13 01:13:07 +0100yuzu(~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) (Quit: Client closed)
2024-11-13 01:13:02 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-13 01:12:50 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-13 01:07:31 +0100sprotte24(~sprotte24@p200300d16f2cc30041d9df5443f92151.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-13 01:04:52 +0100yuzu(~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00)
2024-11-13 01:04:20 +0100yuzu(~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00) (Client Quit)
2024-11-13 01:04:06 +0100yuzu(~yuzu@2800:484:2482:7000:8185:93f7:e30f:cb00)
2024-11-13 00:59:59 +0100Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-11-13 00:57:22 +0100Inst_(~Inst@user/Inst) Inst
2024-11-13 00:57:00 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2024-11-13 00:54:40 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-11-13 00:51:15 +0100KicksonButt(~quassel@187.21.174.221)
2024-11-13 00:47:36 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2024-11-13 00:42:13 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-13 00:35:37 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Quit: ZNC 1.8.2 - https://znc.in)
2024-11-13 00:31:31 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-11-13 00:31:29 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-11-13 00:29:14 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-13 00:20:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-11-13 00:19:33 +0100acidjnk_new3(~acidjnk@p200300d6e7283f33a143196b11e5c3bb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-11-13 00:10:53 +0100Everything(~Everythin@178-133-145-205.mobile.vf-ua.net) Everything
2024-11-13 00:08:29 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2024-11-13 00:06:21 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.4.2)
2024-11-13 00:06:12 +0100falafel(~falafel@2600:1700:99f4:2050:7dd6:87c8:aed5:b9e5) (Ping timeout: 252 seconds)
2024-11-13 00:03:13 +0100Hafydd(~Hafydd@user/hafydd) Hafydd