2025-10-15 00:02:38 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
2025-10-15 00:03:06 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-10-15 00:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 00:05:39 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 00:05:41 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 00:05:55 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
2025-10-15 00:05:57 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
2025-10-15 00:09:06 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
2025-10-15 00:14:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 00:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 00:21:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-10-15 00:23:24 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 252 seconds) |
2025-10-15 00:25:43 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-10-15 00:27:49 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds) |
2025-10-15 00:29:07 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
2025-10-15 00:29:07 +0200 | ChanServ | +v lambdabot |
2025-10-15 00:29:50 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) |
2025-10-15 00:30:46 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-15 00:33:37 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
2025-10-15 00:35:28 +0200 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
2025-10-15 00:37:57 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-10-15 00:40:52 +0200 | CiaoSen | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 00:49:56 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) |
2025-10-15 00:50:04 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) (Read error: Connection reset by peer) |
2025-10-15 00:50:25 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) |
2025-10-15 00:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 00:54:12 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 252 seconds) |
2025-10-15 00:54:26 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) (Quit: ZNC - https://znc.in) |
2025-10-15 00:54:46 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) kaskal |
2025-10-15 00:56:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-10-15 00:56:24 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-52.mycingular.net) |
2025-10-15 00:58:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-10-15 00:59:09 +0200 | Zemy | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 01:05:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-15 01:07:13 +0200 | ttybitnik | (~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 +0200 | merijn | (~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 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) |
2025-10-15 01:10:28 +0200 | Core7767 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
2025-10-15 01:12:01 +0200 | Zemy_ | (~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 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-15 01:14:29 +0200 | <EvanR> | you right |
2025-10-15 01:14:42 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) (Ping timeout: 260 seconds) |
2025-10-15 01:19:46 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) |
2025-10-15 01:20:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 01:20:40 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 01:20:41 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 01:21:42 +0200 | Core7767 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 252 seconds) |
2025-10-15 01:25:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 01:26:10 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-15 01:32:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 01:37:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 01:48:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 01:51:57 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-10-15 01:52:16 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) |
2025-10-15 01:53:23 +0200 | merijn | (~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 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-15 01:55:58 +0200 | Core5536 | (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) |
2025-10-15 01:56:14 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) (Ping timeout: 256 seconds) |
2025-10-15 01:57:23 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) (Read error: Connection reset by peer) |
2025-10-15 01:58:12 +0200 | cheater | (~fuck@user/cheater) (Ping timeout: 244 seconds) |
2025-10-15 01:58:17 +0200 | cheater- | (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
2025-10-15 01:58:44 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
2025-10-15 01:58:47 +0200 | Zemy | (~Zemy@76.184.46.188) |
2025-10-15 01:58:48 +0200 | Square | (~Square4@user/square) Square |
2025-10-15 01:59:03 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds) |
2025-10-15 02:01:54 +0200 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-10-15 02:02:25 +0200 | acidjnk | (~acidjnk@p200300d6e71719931c47ad226c4c8e20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-10-15 02:03:07 +0200 | Core5536 | (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) (Ping timeout: 260 seconds) |
2025-10-15 02:03:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
2025-10-15 02:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 02:05:37 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 02:05:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 02:05:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-15 02:06:50 +0200 | Zemy_ | (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) |
2025-10-15 02:09:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 02:09:49 +0200 | Zemy | (~Zemy@76.184.46.188) (Ping timeout: 256 seconds) |
2025-10-15 02:10:59 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-15 02:11:05 +0200 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
2025-10-15 02:12:24 +0200 | Core8291 | (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) |
2025-10-15 02:13:01 +0200 | Zemy_ | (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) (Read error: Connection reset by peer) |
2025-10-15 02:13:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-15 02:13:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-10-15 02:15:09 +0200 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 244 seconds) |
2025-10-15 02:15:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 02:15:51 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 02:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 02:21:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
2025-10-15 02:24:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-15 02:24:47 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 02:25:00 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-15 02:30:45 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-15 02:32:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-10-15 02:32:53 +0200 | Zemy | (~Zemy@76.184.41.21) |
2025-10-15 02:35:24 +0200 | califax | (~califax@user/califx) califx |
2025-10-15 02:35:26 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 02:35:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 02:35:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 02:35:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-10-15 02:37:02 +0200 | Core8291 | (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) (Ping timeout: 256 seconds) |
2025-10-15 02:38:42 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-15 02:42:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 02:47:13 +0200 | otto_s | (~user@p4ff27382.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-10-15 02:48:58 +0200 | otto_s | (~user@p5de2f68d.dip0.t-ipconnect.de) |
2025-10-15 02:50:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-10-15 02:52:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c19d:50a:4f2f:38d7) (Ping timeout: 260 seconds) |
2025-10-15 02:53:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 02:58:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 02:58:48 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
2025-10-15 02:59:10 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-15 03:09:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 03:10:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-15 03:14:17 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
2025-10-15 03:15:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-10-15 03:16:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 03:18:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
2025-10-15 03:18:48 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-15 03:19:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-15 03:19:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Client Quit) |
2025-10-15 03:20:41 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 03:20:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-15 03:24:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-15 03:25:32 +0200 | bgg | (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) (Remote host closed the connection) |
2025-10-15 03:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 03:28:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-10-15 03:29:36 +0200 | img | (~img@user/img) img |
2025-10-15 03:30:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-10-15 03:32:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 03:39:07 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-15 03:39:23 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-15 03:40:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-10-15 03:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 03:48:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 03:55:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-10-15 03:56:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
2025-10-15 03:58:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
2025-10-15 03:59:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 04:03:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-15 04:09:49 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
2025-10-15 04:10:58 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
2025-10-15 04:14:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 04:15:20 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-10-15 04:15:50 +0200 | inline | (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer) |
2025-10-15 04:19:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 04:20:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 04:23:09 +0200 | bgg | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
2025-10-15 04:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 04:26:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2025-10-15 04:28:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-10-15 04:34:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-10-15 04:34:53 +0200 | td_ | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 04:36:37 +0200 | td_ | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-15 04:42:27 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-10-15 04:44:31 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
2025-10-15 04:46:06 +0200 | lol__ | jcarpenter2 |
2025-10-15 04:50:49 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 04:51:02 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-15 04:52:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 04:59:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 05:05:41 +0200 | bgg | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Remote host closed the connection) |
2025-10-15 05:08:05 +0200 | mochie | (~mochie@93.124.228.5) |
2025-10-15 05:11:32 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
2025-10-15 05:17:36 +0200 | Guest89 | (~Guest89@2600:8801:7188:3000:4cf7:b5d5:8319:15eb) |
2025-10-15 05:19:21 +0200 | Guest89 | (~Guest89@2600:8801:7188:3000:4cf7:b5d5:8319:15eb) (Client Quit) |
2025-10-15 05:19:51 +0200 | Zemy_ | (~Zemy@2600:100c:b057:2ff1:3c2f:aeff:fe86:8858) |
2025-10-15 05:20:16 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 246 seconds) |
2025-10-15 05:22:37 +0200 | Zemy | (~Zemy@76.184.41.21) |
2025-10-15 05:26:28 +0200 | Zemy_ | (~Zemy@2600:100c:b057:2ff1:3c2f:aeff:fe86:8858) (Ping timeout: 256 seconds) |
2025-10-15 05:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 05:33:55 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) Inline |
2025-10-15 05:36:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 05:44:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-15 05:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 05:48:46 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-10-15 05:50:04 +0200 | jrm | (~jrm@user/jrm) jrm |
2025-10-15 05:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 05:55:45 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-10-15 05:57:19 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
2025-10-15 05:58:46 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:6800:96c8:2246:a5e7:93e3) (Ping timeout: 246 seconds) |
2025-10-15 05:59:03 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) aforemny |
2025-10-15 05:59:37 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2025-10-15 06:00:49 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) (Read error: Connection reset by peer) |
2025-10-15 06:00:51 +0200 | jrm | (~jrm@user/jrm) jrm |
2025-10-15 06:01:26 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) |
2025-10-15 06:02:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 06:07:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 06:12:48 +0200 | trickard___ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-15 06:14:10 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
2025-10-15 06:18:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-15 06:18:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 06:18:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-10-15 06:20:40 +0200 | Googulator24 | (~Googulato@212-40-94-78.pool.digikabel.hu) |
2025-10-15 06:20:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 06:25:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 06:37:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 06:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 06:43:53 +0200 | michalz | (~michalz@185.246.207.215) |
2025-10-15 06:44:24 +0200 | Googulator24 | (~Googulato@212-40-94-78.pool.digikabel.hu) (Quit: Client closed) |
2025-10-15 06:53:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 06:57:47 +0200 | trickard___ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 06:58:00 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-15 06:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 07:08:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-10-15 07:08:29 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-10-15 07:08:56 +0200 | divlamir | (~divlamir@user/divlamir) (Remote host closed the connection) |
2025-10-15 07:09:11 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-10-15 07:10:16 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
2025-10-15 07:11:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 07:15:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-15 07:17:08 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-10-15 07:18:46 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-15 07:22:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 07:26:27 +0200 | trickard_ | trickard |
2025-10-15 07:27:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-15 07:30:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-10-15 07:35:52 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
2025-10-15 07:36:06 +0200 | bramh | (~bramh@user/bramh) bramh |
2025-10-15 07:37:14 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: No Ping reply in 180 seconds.) |
2025-10-15 07:38:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 07:38:33 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
2025-10-15 07:43:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-10-15 07:54:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 07:54:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
2025-10-15 07:57:42 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
2025-10-15 07:59:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-10-15 08:00:54 +0200 | bggd | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
2025-10-15 08:02:27 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
2025-10-15 08:04:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 08:05:21 +0200 | Enrico9 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
2025-10-15 08:07:36 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 252 seconds) |
2025-10-15 08:10:58 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
2025-10-15 08:18:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-10-15 08:19:08 +0200 | hc_ | (~hc@mail.hce.li) (Remote host closed the connection) |
2025-10-15 08:20:08 +0200 | hc | (~hc@mail.hce.li) hc |
2025-10-15 08:25:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
2025-10-15 08:28:05 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
2025-10-15 08:28:58 +0200 | <dminuoso> | @tell Square what kind of changes did you make to that flake? |
2025-10-15 08:28:58 +0200 | <lambdabot> | Consider it noted. |
2025-10-15 08:30:30 +0200 | Tri | (~tnguyen@69.74.159.34) (Read error: Connection reset by peer) |
2025-10-15 08:34:55 +0200 | Enrico9 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
2025-10-15 08:45:57 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
2025-10-15 08:47:25 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 08:47:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-15 08:48:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
2025-10-15 08:52:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 08:54:25 +0200 | <_________> | @pl \w -> length . filter (==w) . words |
2025-10-15 08:54:26 +0200 | <lambdabot> | (length .) . (. words) . filter . (==) |
2025-10-15 08:58:34 +0200 | annamalai | (~annamalai@157.32.210.114) (Ping timeout: 248 seconds) |
2025-10-15 08:59:51 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-10-15 09:00:00 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
2025-10-15 09:00:50 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
2025-10-15 09:01:40 +0200 | <fgidim> | huh, i guess lambdabot really does turn functions tacit. cool |
2025-10-15 09:04:03 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-10-15 09:04:03 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
2025-10-15 09:04:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-10-15 09:04:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-10-15 09:10:16 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
2025-10-15 09:10:36 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-10-15 09:11:10 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-10-15 09:11:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
2025-10-15 09:12:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:16:48 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-10-15 09:17:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-10-15 09:23:26 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
2025-10-15 09:29:42 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:34:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-10-15 09:37:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-10-15 09:45:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 09:47:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-10-15 09:48:41 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
2025-10-15 09:49:19 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-10-15 09:50:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-10-15 09:51:50 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-10-15 09:57:14 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 248 seconds) |
2025-10-15 09:59:56 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
2025-10-15 10:02:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 10:06:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
2025-10-15 10:08:14 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) kuribas |
2025-10-15 10:10:57 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-10-15 10:15:13 +0200 | irfan | (~irfan@user/irfan) irfan |
2025-10-15 10:15:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 10:20:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
2025-10-15 10:20:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 10:21:23 +0200 | annamalai | (~annamalai@157.32.214.152) annamalai |
2025-10-15 10:28:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-10-15 10:32:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-10-15 10:33:04 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) |
2025-10-15 10:35:59 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-10-15 10:37:46 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) (Ping timeout: 248 seconds) |
2025-10-15 10:44:10 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 255 seconds) |
2025-10-15 10:50:03 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2025-10-15 10:57:27 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
2025-10-15 10:59:17 +0200 | <mreh> | is it not possible to mix ApplicativeDo syntax in with normal do syntax or something? |
2025-10-15 11:00:48 +0200 | <mreh> | do { x <- foo; y <- (runA $ do { z <- bar; w <- baz; return (f z w) }); return y } -- I've got this kind of situation going on. |
2025-10-15 11:02:17 +0200 | <mreh> | actually, I've got something like `bar x` going on... so many that precludes ApplicativeDo |
2025-10-15 11:05:25 +0200 | <tomsmeding> | mreh: if it's `bar x`, how would you want that to be converted to applicative syntax? |
2025-10-15 11:05:50 +0200 | <mreh> | tomsmeding: I guess it can't, right? |
2025-10-15 11:06:06 +0200 | <mreh> | silly me |
2025-10-15 11:10:37 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) (Ping timeout: 246 seconds) |
2025-10-15 11:14:19 +0200 | <tomsmeding> | not saying that ApplicativeDo is perfect, but I think in this case it's correct |
2025-10-15 11:14:52 +0200 | chele | (~chele@user/chele) chele |
2025-10-15 11:20:25 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
2025-10-15 11:20:32 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
2025-10-15 11:22:42 +0200 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
2025-10-15 11:28:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |