2025/10/15

2025-10-15 00:02:38 +0200fp(~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp)
2025-10-15 00:03:06 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-15 00:04:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 00:05:39 +0200Googulator46(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 00:05:41 +0200Googulator22(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 00:05:55 +0200craunts79533538(~craunts@136.158.7.194) (Read error: Connection reset by peer)
2025-10-15 00:05:57 +0200craunts79533538(~craunts@136.158.7.194)
2025-10-15 00:09:06 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-10-15 00:14:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 00:19:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-15 00:21:43 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-15 00:23:24 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 252 seconds)
2025-10-15 00:25:43 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-15 00:27:49 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds)
2025-10-15 00:29:07 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-10-15 00:29:07 +0200ChanServ+v lambdabot
2025-10-15 00:29:50 +0200Zemy(~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419)
2025-10-15 00:30:46 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-15 00:33:37 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds)
2025-10-15 00:35:28 +0200Pozyomka(~pyon@user/pyon) (Read error: Connection reset by peer)
2025-10-15 00:37:57 +0200Pozyomka(~pyon@user/pyon) pyon
2025-10-15 00:40:52 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds)
2025-10-15 00:44:35 +0200 <energizer> could there be a typeclass for scanl?
2025-10-15 00:46:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 00:49:56 +0200Zemy_(~Zemy@mobile-107-80-206-40.mycingular.net)
2025-10-15 00:50:04 +0200Zemy(~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) (Read error: Connection reset by peer)
2025-10-15 00:50:25 +0200Zemy(~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852)
2025-10-15 00:53:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 00:54:12 +0200Zemy_(~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 252 seconds)
2025-10-15 00:54:26 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) (Quit: ZNC - https://znc.in)
2025-10-15 00:54:46 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) kaskal
2025-10-15 00:56:01 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-15 00:56:24 +0200Zemy_(~Zemy@mobile-107-80-206-52.mycingular.net)
2025-10-15 00:58:41 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-15 00:59:09 +0200Zemy(~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) (Ping timeout: 252 seconds)
2025-10-15 01:01:27 +0200 <monochrom> Tautologically, generalizations always exist.
2025-10-15 01:02:03 +0200 <monochrom> But how many people actually need one? Statistically, almost zero.
2025-10-15 01:04:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 01:05:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-15 01:07:13 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-15 01:09:20 +0200 <EvanR> so you're saying there's a chance
2025-10-15 01:09:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-15 01:09:43 +0200 <EvanR> isn't the typeclass for stuff like scanl Traversable?
2025-10-15 01:09:59 +0200Zemy(~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691)
2025-10-15 01:10:28 +0200Core7767(~Zemy@syn-192-198-252-043.biz.spectrum.com)
2025-10-15 01:12:01 +0200Zemy_(~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds)
2025-10-15 01:13:44 +0200 <geekosaur> I don't think so? `Traversable` is via `Applicative` (originally it generalized `mapM`), `scanl` is a modified fold without any additional `Applicative` or `Monad`
2025-10-15 01:14:14 +0200gustrb(~gustrb@191.243.134.87)
2025-10-15 01:14:29 +0200 <EvanR> you right
2025-10-15 01:14:42 +0200Zemy(~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) (Ping timeout: 260 seconds)
2025-10-15 01:19:46 +0200Zemy(~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537)
2025-10-15 01:20:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 01:20:40 +0200Googulator46(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 01:20:41 +0200Googulator60(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 01:21:42 +0200Core7767(~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 252 seconds)
2025-10-15 01:25:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 01:26:10 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-15 01:32:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 01:37:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-15 01:48:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 01:51:57 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-15 01:52:16 +0200Zemy_(~Zemy@mobile-107-80-206-4.mycingular.net)
2025-10-15 01:53:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 01:54:05 +0200 <jackdk> The `scanl` at `base:Data.List.NonEmpty.scanl` is generalised to consume any `Foldable`
2025-10-15 01:54:15 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-15 01:55:58 +0200Core5536(~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea)
2025-10-15 01:56:14 +0200Zemy(~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) (Ping timeout: 256 seconds)
2025-10-15 01:57:23 +0200synchromesh(~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) (Read error: Connection reset by peer)
2025-10-15 01:58:12 +0200cheater(~fuck@user/cheater) (Ping timeout: 244 seconds)
2025-10-15 01:58:17 +0200cheater-(~fuck@84-115-208-145.cable.dynamic.surfer.at)
2025-10-15 01:58:44 +0200synchromesh(~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh
2025-10-15 01:58:47 +0200Zemy(~Zemy@76.184.46.188)
2025-10-15 01:58:48 +0200Square(~Square4@user/square) Square
2025-10-15 01:59:03 +0200Zemy_(~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds)
2025-10-15 02:01:54 +0200Square3(~Square@user/square) (Ping timeout: 256 seconds)
2025-10-15 02:02:25 +0200acidjnk(~acidjnk@p200300d6e71719931c47ad226c4c8e20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-10-15 02:03:07 +0200Core5536(~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) (Ping timeout: 260 seconds)
2025-10-15 02:03:34 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
2025-10-15 02:04:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 02:05:37 +0200Googulator60(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 02:05:40 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 02:05:45 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-15 02:06:50 +0200Zemy_(~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17)
2025-10-15 02:09:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 02:09:49 +0200Zemy(~Zemy@76.184.46.188) (Ping timeout: 256 seconds)
2025-10-15 02:10:59 +0200jreicher(~user@user/jreicher) jreicher
2025-10-15 02:11:05 +0200Zemy(~Zemy@mobile-107-80-206-4.mycingular.net)
2025-10-15 02:12:24 +0200Core8291(~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790)
2025-10-15 02:13:01 +0200Zemy_(~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) (Read error: Connection reset by peer)
2025-10-15 02:13:02 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-15 02:13:24 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)