2025/01/22

2025-01-22 00:05:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 00:05:58 +0100alfiee(alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-01-22 00:08:49 +0100sprotte24(~sprotte24@p200300d16f040300a9d95df64a090144.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-22 00:09:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-22 00:09:33 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 00:13:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-01-22 00:20:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 00:20:31 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-22 00:21:04 +0100LainExperiments(~LainExper@user/LainExperiments) LainExperiments
2025-01-22 00:25:06 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer)
2025-01-22 00:25:17 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2025-01-22 00:25:24 +0100LainExperiments6(~LainExper@user/LainExperiments) LainExperiments
2025-01-22 00:25:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-22 00:27:00 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-22 00:27:38 +0100gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-01-22 00:28:40 +0100LainExperiments(~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
2025-01-22 00:31:16 +0100dibblego(~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
2025-01-22 00:31:30 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-01-22 00:31:30 +0100dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-01-22 00:31:30 +0100dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-01-22 00:34:49 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-22 00:36:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 00:38:40 +0100Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2025-01-22 00:41:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-22 00:46:51 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-22 00:47:11 +0100Xe(~Xe@perl/impostor/xe) (Read error: Connection reset by peer)
2025-01-22 00:49:53 +0100Xe(~Xe@perl/impostor/xe) Xe
2025-01-22 00:51:04 +0100JuanDaughertyColinRobinson
2025-01-22 00:51:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 00:57:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-22 00:59:58 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-01-22 01:00:17 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 01:02:33 +0100alx741(~alx741@186.33.188.229) (Ping timeout: 246 seconds)
2025-01-22 01:02:56 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-01-22 01:02:56 +0100ljdarj1ljdarj
2025-01-22 01:04:21 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-01-22 01:05:32 +0100 <zero> hellwolf: the ability to do `(0,1) { fst = 2 } ==> (2,1)`
2025-01-22 01:06:40 +0100LainExperiments6(~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
2025-01-22 01:07:57 +0100WzC(~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 252 seconds)
2025-01-22 01:08:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 01:11:13 +0100Noinia(~Frank@77-162-168-71.fixed.kpn.net)
2025-01-22 01:12:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-22 01:14:25 +0100 <haskellbridge> <magic_rb> Without lenses it do be a bit awkward to update tuples. But then again if your tuple is 4 or more wide, maybe you should consider a record
2025-01-22 01:14:47 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-22 01:18:00 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-01-22 01:18:36 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-01-22 01:20:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-22 01:20:59 +0100KicksonButt(~AdminUser@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-22 01:23:04 +0100 <jackdk> Agreed - it's rare indeed that I want even a 3-tuple
2025-01-22 01:23:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 01:28:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-22 01:29:41 +0100acidjnk(~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-01-22 01:36:16 +0100 <zero> first and second from Data.Bifunctor are useful
2025-01-22 01:36:22 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-22 01:36:23 +0100 <zero> :t first
2025-01-22 01:36:24 +0100 <lambdabot> Arrow a => a b c -> a (b, d) (c, d)
2025-01-22 01:36:51 +0100 <zero> first (const 2) (0,1)
2025-01-22 01:36:54 +0100 <zero> > first (const 2) (0,1)
2025-01-22 01:36:55 +0100 <lambdabot> (2,1)
2025-01-22 01:37:33 +0100 <geekosaur> you're reinventing lens, I see
2025-01-22 01:39:22 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 01:39:39 +0100 <geekosaur> in some sense, at least
2025-01-22 01:39:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-22 01:40:00 +0100 <zero> reiventing lisp
2025-01-22 01:40:51 +0100 <zero> > (fst . snd . snd) (0,(1,(2,3)))
2025-01-22 01:40:53 +0100 <lambdabot> 2
2025-01-22 01:41:28 +0100 <zero> > (fst (snd (snd (0,(1,(2,3))))))
2025-01-22 01:41:30 +0100 <lambdabot> 2
2025-01-22 01:42:12 +0100 <zero> > let (car,cdr) = (fst,snd) in (fst (snd (snd (0,(1,(2,3))))))
2025-01-22 01:42:14 +0100 <lambdabot> 2
2025-01-22 01:42:23 +0100 <zero> > let (car,cdr) = (fst,snd) in (car (cdr (cdr (0,(1,(2,3))))))
2025-01-22 01:42:25 +0100 <lambdabot> 2
2025-01-22 01:42:29 +0100 <zero> there we go
2025-01-22 01:44:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-22 01:44:15 +0100 <zero> i wonder about the efficiency of tuple trees vs idiomatic trees in haskell
2025-01-22 01:51:03 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 01:52:40 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-22 01:54:43 +0100xff0x(~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5) (Ping timeout: 264 seconds)
2025-01-22 01:54:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 01:55:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-01-22 01:55:26 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-22 01:59:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-22 02:01:11 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-01-22 02:10:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 02:15:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-22 02:20:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-22 02:24:23 +0100mange(~user@user/mange) mange
2025-01-22 02:24:34 +0100ec(~ec@gateway/tor-sasl/ec) ec
2025-01-22 02:25:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 02:28:48 +0100otto_s(~user@p5de2f474.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-01-22 02:29:12 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-22 02:29:48 +0100otto_s(~user@p5de2f486.dip0.t-ipconnect.de)
2025-01-22 02:32:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-22 02:40:47 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 02:41:54 +0100bcksl(~bcksl@user/bcksl) (Quit: \)
2025-01-22 02:41:54 +0100end(~end@user/end/x-0094621) (Quit: end)
2025-01-22 02:43:13 +0100bcksl(~bcksl@user/bcksl) bcksl
2025-01-22 02:43:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 02:45:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 265 seconds)
2025-01-22 02:45:41 +0100end(~end@user/end/x-0094621) end^
2025-01-22 02:48:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-22 02:50:15 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-22 02:59:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 03:00:53 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-01-22 03:04:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-22 03:14:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-22 03:16:56 +0100ft(~ft@p3e9bca18.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-01-22 03:18:00 +0100ft(~ft@p4fc2a1c1.dip0.t-ipconnect.de) ft
2025-01-22 03:19:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-22 03:21:52 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-01-22 03:26:00 +0100poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-01-22 03:26:16 +0100poscat(~poscat@user/poscat) poscat
2025-01-22 03:28:52 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)