| 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) |
| 2025-10-15 11:33:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 11:37:19 +0200 | acidjnk | (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk |
| 2025-10-15 11:39:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-15 11:50:24 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-15 12:02:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-15 12:02:43 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 12:03:49 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-15 12:04:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:05:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 12:09:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 12:09:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-10-15 12:09:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:12:29 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-15 12:12:38 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 12:13:30 +0200 | divlamir_ | divlamir |
| 2025-10-15 12:16:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 12:19:40 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (Read error: Connection reset by peer) |
| 2025-10-15 12:20:27 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 12:21:26 +0200 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-15 12:28:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:30:38 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) (Remote host closed the connection) |
| 2025-10-15 12:30:43 +0200 | enikar | (~enikar@user/enikar) (Read error: Connection reset by peer) |
| 2025-10-15 12:32:35 +0200 | mochie | (~mochie@93.124.228.5) (Ping timeout: 256 seconds) |
| 2025-10-15 12:34:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 12:39:45 +0200 | enikar | (~enikar@user/enikar) enikar |
| 2025-10-15 12:42:34 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-10-15 12:44:33 +0200 | titusg | (~user@31.94.22.246) titusg |
| 2025-10-15 12:45:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:46:26 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-15 12:46:44 +0200 | <titusg> | how can I make cabal repl load the modules from my project, without having to do it with :m +? |
| 2025-10-15 12:50:40 +0200 | <[exa]> | titusg: as in, you'd want it to do the :m +... for you automatically? |
| 2025-10-15 12:50:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-15 12:50:58 +0200 | <[exa]> | there was a shortcut for that somewhere |
| 2025-10-15 12:52:03 +0200 | <titusg> | [exa]: yes |
| 2025-10-15 12:53:16 +0200 | <titusg> | It has always bugged me that it isn't default behaviour. Not sure why else you'd be starting cabal repl. |
| 2025-10-15 12:54:08 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2025-10-15 12:58:05 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) (Quit: halloy7365) |
| 2025-10-15 12:58:27 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:01:42 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 13:01:59 +0200 | <[exa]> | titusg: I'm usually doing it to try some stuff with the package environment, not necessarily the modules |
| 2025-10-15 13:02:19 +0200 | <[exa]> | (also the modules may conflict in the namespace) |
| 2025-10-15 13:02:39 +0200 | <[exa]> | anyway there's a way to do that iirc, I saw it somewhere |
| 2025-10-15 13:03:41 +0200 | <[exa]> | maybe something like this? https://discourse.haskell.org/t/define-custom-command-for-a-cabal-repl-session/12088/2 |
| 2025-10-15 13:04:02 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-10-15 13:04:09 +0200 | <titusg> | fair enough. I'm usually just wanting to play around with the code I'm working on... |
| 2025-10-15 13:05:25 +0200 | <titusg> | thx for finding that, I'll have a play :) |
| 2025-10-15 13:06:37 +0200 | <[exa]> | yeah I never used it but looks like you can just stuff custom commands to a local .ghci |
| 2025-10-15 13:09:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3bfc:a749:138a:b4ac) |
| 2025-10-15 13:14:01 +0200 | <tomsmeding> | titusg: cabal repl loads the first module listed in the cabal file for that component |
| 2025-10-15 13:14:48 +0200 | <tomsmeding> | also, in case it's helpful: try `:set prompt "%s> "` to always show what modules are currently in scope |
| 2025-10-15 13:15:00 +0200 | <tomsmeding> | in GHC 9.0 the default changed away from that and I hate it |
| 2025-10-15 13:15:26 +0200 | <tomsmeding> | also on :r it re-adds that first-module-in-the-component back into the scope list |
| 2025-10-15 13:16:13 +0200 | <tomsmeding> | (I actually have `:set prompt "\ESC[1m\STX%s>\ESC[0m\STX "` to make the prompt more visible, too) |
| 2025-10-15 13:22:12 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-15 13:24:31 +0200 | <dminuoso> | tomsmeding: Regarding ApplicativeDo, Im not sure how `bar x` would be an issue - function application by itself is not forbidden inside ApplicativeDo. |
| 2025-10-15 13:24:47 +0200 | <tomsmeding> | dminuoso: well the x is bound in the outer do |
| 2025-10-15 13:24:52 +0200 | <dminuoso> | So? |
| 2025-10-15 13:25:00 +0200 | <tomsmeding> | ... fair point |
| 2025-10-15 13:25:18 +0200 | <tomsmeding> | (\x -> ...) <$> foo |
| 2025-10-15 13:25:48 +0200 | <tomsmeding> | if the 'return y' also referenced x, then we'd be in trouble |
| 2025-10-15 13:25:56 +0200 | <tomsmeding> | I think? |
| 2025-10-15 13:26:03 +0200 | <tomsmeding> | yeah |
| 2025-10-15 13:26:05 +0200 | <dminuoso> | Even then, I dont see why |
| 2025-10-15 13:26:31 +0200 | <dminuoso> | I mean it may be that there is a very naive heuristic that just looks at x and sees that its bound in do-notation. |
| 2025-10-15 13:26:47 +0200 | <dminuoso> | But because its the outer do-notation, as far as the inner do-notation is concerned is just some variable. |
| 2025-10-15 13:27:04 +0200 | <tomsmeding> | do { x <- foo; y <- f x; return (g x y) } |
| 2025-10-15 13:27:10 +0200 | <tomsmeding> | how would you write that in applicative combinators? |
| 2025-10-15 13:27:26 +0200 | <dminuoso> | tomsmeding: That's not related. |
| 2025-10-15 13:27:35 +0200 | <dminuoso> | Lets ignore the outer do notation for a second. |
| 2025-10-15 13:27:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 13:27:51 +0200 | <tomsmeding> | I was assuming that the ApplicativeDo is supposed to apply to the outer do |
| 2025-10-15 13:28:13 +0200 | <dminuoso> | tomsmeding: Given the mention of runA I think they wanted it in the inner one. |
| 2025-10-15 13:28:17 +0200 | <tomsmeding> | _right_ |
| 2025-10-15 13:28:23 +0200 | <tomsmeding> | okay that's weird |
| 2025-10-15 13:28:46 +0200 | <dminuoso> | tomsmeding: But perfectly in line with how frequently ApplicativeDo fails. Not that it should. |
| 2025-10-15 13:29:26 +0200 | <dminuoso> | Sometimes I wonder whether a `doA` with an explicit error instead of silent monad degradation would have been better. |
| 2025-10-15 13:30:03 +0200 | <tomsmeding> | works for me though |
| 2025-10-15 13:30:03 +0200 | <dminuoso> | An example like this should work more easily |
| 2025-10-15 13:30:19 +0200 | <tomsmeding> | https://play.haskell.org/saved/9myEpOls |
| 2025-10-15 13:30:21 +0200 | <dminuoso> | tomsmeding: Who knows, I've experienced so many ApplicativeDo -> Monad degradations in the past. |
| 2025-10-15 13:30:39 +0200 | <tomsmeding> | I never use ApplicativeDo |
| 2025-10-15 13:30:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 265 seconds) |
| 2025-10-15 13:31:08 +0200 | <dminuoso> | I usually use it for optparse-applicative. |
| 2025-10-15 13:32:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:32:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:34:20 +0200 | <dminuoso> | (And I still have optparse-selective on my todo stack) |
| 2025-10-15 13:35:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 13:36:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-10-15 13:36:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-15 13:37:12 +0200 | <tomsmeding> | ah right, makes sense |
| 2025-10-15 13:42:53 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 13:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 13:43:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:44:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 13:44:46 +0200 | fp1 | fp |
| 2025-10-15 13:45:27 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 13:45:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 13:46:18 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-15 13:47:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 13:49:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 13:50:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:50:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:51:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-10-15 13:55:22 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:57:56 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:58:23 +0200 | <[exa]> | dminuoso: re optparse-selective, that would be a rewrite of optparse? |
| 2025-10-15 13:58:31 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-15 13:58:37 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 13:58:51 +0200 | <[exa]> | dminuoso: (perhaps related: https://github.com/pcapriotti/optparse-applicative/pull/505 ) |
| 2025-10-15 13:58:59 +0200 | trickard___ | trickard |
| 2025-10-15 14:03:10 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 14:08:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:13:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 14:15:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:18:16 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-15 14:19:24 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-10-15 14:21:08 +0200 | <dminuoso> | [exa]: Yes, some years ago I started a huge rewrite for no practical reason other than idealism. |
| 2025-10-15 14:21:21 +0200 | <dminuoso> | But because it was just idealism there was no inherent need that kept me going. |
| 2025-10-15 14:25:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-15 14:42:24 +0200 | <kuribas`> | I use applicativeDo for records. |
| 2025-10-15 14:42:45 +0200 | <kuribas`> | Much more readable and robust than positional. |
| 2025-10-15 14:43:20 +0200 | <kuribas`> | do foo <- fooExpr; bar <- barExpr; ... ; pure (MyRecord {..}) |
| 2025-10-15 14:46:54 +0200 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 252 seconds) |
| 2025-10-15 14:48:33 +0200 | fp | (~Thunderbi@130.233.70.16) fp |
| 2025-10-15 14:53:12 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-15 14:54:03 +0200 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-10-15 14:59:21 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 14:59:35 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:04:13 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 15:05:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-10-15 15:07:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-15 15:13:48 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-15 15:14:52 +0200 | chenjf | (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
| 2025-10-15 15:16:45 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:18:38 +0200 | trickard_ | trickard |
| 2025-10-15 15:23:37 +0200 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-15 15:25:05 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-15 15:25:34 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-10-15 15:26:59 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-15 15:27:30 +0200 | fired_ | (la@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-10-15 15:27:48 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-10-15 15:28:43 +0200 | aku_ | (aku@65.108.245.241) eagleflo |
| 2025-10-15 15:29:26 +0200 | divya- | (divya@140.238.251.170) divya |
| 2025-10-15 15:29:30 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-15 15:29:46 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-10-15 15:29:51 +0200 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-10-15 15:30:27 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 2025-10-15 15:30:43 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-15 15:31:04 +0200 | cheater- | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 260 seconds) |
| 2025-10-15 15:31:25 +0200 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-15 15:31:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 15:32:00 +0200 | bggd__ | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
| 2025-10-15 15:32:03 +0200 | dtman34_ | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-15 15:32:07 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-15 15:32:13 +0200 | septimi | (9f60f4cb70@user/septimi) (Ping timeout: 260 seconds) |
| 2025-10-15 15:32:13 +0200 | bggd | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Remote host closed the connection) |
| 2025-10-15 15:32:13 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 15:32:17 +0200 | peutri_ | (~peutri@bobo.desast.re) peutri |
| 2025-10-15 15:32:22 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fp | (~Thunderbi@130.233.70.16) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arahael | (~wetfoot@user/arahael) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | divya | (divya@140.238.251.170) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | aku | (aku@65.108.245.241) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arandombit | (~arandombi@user/arandombit) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | AlexNoo | (~AlexNoo@178.34.151.169) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fgidim | (~lei@user/fgarcia) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Fijxu_ | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | xal_ | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fp1 | fp |
| 2025-10-15 15:32:23 +0200 | fired_ | fired |
| 2025-10-15 15:32:31 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 2025-10-15 15:32:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-10-15 15:32:47 +0200 | firesquidwao | (~a@put.gay) (Ping timeout: 260 seconds) |
| 2025-10-15 15:33:06 +0200 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:eba5:2ece:a3f8:85b2) |
| 2025-10-15 15:33:06 +0200 | EvanR | (~EvanR@2600:1700:ba69:10:be2c:cd26:af1e:7b4a) |
| 2025-10-15 15:33:06 +0200 | caconym7478798 | (~caconym@174-21-66-74.tukw.qwest.net) |
| 2025-10-15 15:33:06 +0200 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-10-15 15:33:06 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 15:33:06 +0200 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2025-10-15 15:33:06 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.169) |
| 2025-10-15 15:33:06 +0200 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-15 15:33:06 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 15:33:06 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) |
| 2025-10-15 15:33:06 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) aforemny |
| 2025-10-15 15:33:06 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-15 15:33:06 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-15 15:33:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-15 15:33:06 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2025-10-15 15:33:06 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-10-15 15:33:06 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-10-15 15:33:06 +0200 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2025-10-15 15:33:06 +0200 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-10-15 15:33:06 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-10-15 15:33:06 +0200 | probie | (cc0b34050a@user/probie) probie |
| 2025-10-15 15:33:06 +0200 | ycp | (~znc@user/dragestil) dragestil |
| 2025-10-15 15:33:06 +0200 | xal_ | (~xal@mx1.xal.systems) xal |
| 2025-10-15 15:33:06 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) |
| 2025-10-15 15:33:10 +0200 | Lears | Leary |
| 2025-10-15 15:33:11 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | arandombit | (~arandombi@user/arandombit) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | caconym7478798 | (~caconym@174-21-66-74.tukw.qwest.net) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:eba5:2ece:a3f8:85b2) (Max SendQ exceeded) |
| 2025-10-15 15:33:18 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-10-15 15:33:22 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-10-15 15:33:24 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:4892:4dea:36cf:7d26) |
| 2025-10-15 15:33:25 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-15 15:34:03 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-15 15:34:17 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-10-15 15:34:19 +0200 | septimi | (9f60f4cb70@user/septimi) septimi |
| 2025-10-15 15:34:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2025-10-15 15:34:37 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-15 15:34:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-15 15:34:52 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 15:35:48 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-15 15:36:38 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:38 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:38 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:39 +0200 | bramh | (~bramh@user/bramh) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:39 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:39 +0200 | a_fantom | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:39 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-10-15 15:36:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:44 +0200 | YoungFrawg | (~youngfrog@2a02:a03f:ca07:f900:6c28:6d36:bf0e:889) youngfrog |
| 2025-10-15 15:36:48 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | APic | (apic@apic.name) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:56 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-10-15 15:37:01 +0200 | APic | (apic@apic.name) APic |
| 2025-10-15 15:37:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-15 15:37:02 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-10-15 15:37:06 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-10-15 15:37:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 15:37:44 +0200 | YoungFrawg | YoungFrog |
| 2025-10-15 15:37:47 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-15 15:38:10 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-15 15:38:17 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-10-15 15:38:44 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-10-15 15:38:46 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) Natch |
| 2025-10-15 15:38:52 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-10-15 15:39:25 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:39:48 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:39:51 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-10-15 15:41:39 +0200 | FANTOM | (~fantom@90.244.183.5) |
| 2025-10-15 15:41:40 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:43:55 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 15:44:14 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:45:17 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Ping timeout: 244 seconds) |
| 2025-10-15 15:46:14 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-15 15:48:25 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 15:48:48 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:49:31 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-15 15:49:37 +0200 | inline_ | inline |
| 2025-10-15 15:49:50 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-15 15:49:56 +0200 | caconym74787983 | (~caconym@user/caconym) caconym |
| 2025-10-15 15:50:09 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 15:50:09 +0200 | caconym74787983 | caconym7478798 |
| 2025-10-15 15:50:42 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
| 2025-10-15 15:53:26 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:54:37 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 15:55:54 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 15:56:22 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:30a1:2a21:7e45:e8e4) Inline |
| 2025-10-15 15:56:33 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2025-10-15 15:56:33 +0200 | inline_ | Inline |
| 2025-10-15 15:57:09 +0200 | Tri | (~tnguyen@69.74.159.34) |
| 2025-10-15 15:58:17 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-15 16:01:09 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 16:01:51 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-15 16:03:33 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 16:04:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 16:07:51 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-15 16:08:36 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-15 16:18:38 +0200 | trickard_ | trickard |
| 2025-10-15 16:18:56 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-15 16:25:29 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-10-15 16:52:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-15 16:53:51 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 16:54:04 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 17:04:51 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-15 17:04:53 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 17:05:23 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-10-15 17:07:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-15 17:08:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 17:12:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 17:12:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |