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)
2025-10-15 02:15:09 +0200Zemy(~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 244 seconds)
2025-10-15 02:15:40 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 02:15:51 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 02:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 02:21:12 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 260 seconds)
2025-10-15 02:24:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-15 02:24:47 +0200trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-15 02:25:00 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-15 02:30:45 +0200gustrb(~gustrb@191.243.134.87)
2025-10-15 02:32:44 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-15 02:32:53 +0200Zemy(~Zemy@76.184.41.21)
2025-10-15 02:35:24 +0200califax(~califax@user/califx) califx
2025-10-15 02:35:26 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 02:35:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 02:35:40 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 02:35:41 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-15 02:37:02 +0200Core8291(~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) (Ping timeout: 256 seconds)
2025-10-15 02:38:42 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-15 02:42:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 02:47:13 +0200otto_s(~user@p4ff27382.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-15 02:48:58 +0200otto_s(~user@p5de2f68d.dip0.t-ipconnect.de)
2025-10-15 02:50:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-10-15 02:52:42 +0200xff0x(~xff0x@2405:6580:b080:900:c19d:50a:4f2f:38d7) (Ping timeout: 260 seconds)
2025-10-15 02:53:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 02:58:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 02:58:48 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection)
2025-10-15 02:59:10 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-15 03:09:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 03:10:35 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-15 03:14:17 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds)
2025-10-15 03:15:34 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-15 03:16:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-15 03:18:19 +0200jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
2025-10-15 03:18:48 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-15 03:19:25 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-15 03:19:49 +0200jmcantrell(~weechat@user/jmcantrell) (Client Quit)
2025-10-15 03:20:41 +0200Googulator61(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-15 03:20:43 +0200Googulator21(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-15 03:24:50 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-15 03:25:32 +0200bgg(~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) (Remote host closed the connection)
2025-10-15 03:27:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 03:28:18 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-15 03:29:36 +0200img(~img@user/img) img
2025-10-15 03:30:57 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-10-15 03:32:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 03:39:07 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-15 03:39:23 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-15 03:40:44 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-15 03:43:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 03:48:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 03:55:23 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-10-15 03:56:33 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds)
2025-10-15 03:58:04 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-10-15 03:59:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 04:03:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-15 04:09:49 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-15 04:10:58 +0200gustrb(~gustrb@191.243.134.87) (Ping timeout: 246 seconds)
2025-10-15 04:14:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 04:15:20 +0200weary-traveler(~user@user/user363627) user363627
2025-10-15 04:15:50 +0200inline(~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer)
2025-10-15 04:19:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-15 04:20:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 04:23:09 +0200bgg(~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299)
2025-10-15 04:25:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-15 04:26:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2025-10-15 04:28:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-10-15 04:34:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-15 04:34:53 +0200td_(~td@i53870911.versanet.de) (Ping timeout: 256 seconds)
2025-10-15 04:36:22 +0200 <Square> I had a unpleasant behavior of nix flakes + cabal that might not be fixable or trivial. 1) I made some changes in flake A. 2) started a nix dev shell in B that depnds on A. 3) Run B using `cabal run` wo seeing the changes made to A.
2025-10-15 04:36:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 04:36:37 +0200td_(~td@i53870918.versanet.de) td_
2025-10-15 04:37:25 +0200 <Square> Turns out cabal wasn't detecting changes in A and utilized old build results.
2025-10-15 04:41:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-15 04:42:27 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-10-15 04:44:31 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-10-15 04:46:06 +0200lol__jcarpenter2
2025-10-15 04:50:49 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-15 04:51:02 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-10-15 04:52:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn