| 2025-04-30 00:01:46 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 276 seconds) |
| 2025-04-30 00:07:38 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-30 00:15:13 +0200 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 248 seconds) |
| 2025-04-30 00:15:22 +0200 | sayurc_ | (~sayurc@177.136.41.196) sayurc |
| 2025-04-30 00:15:34 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-04-30 00:15:58 +0200 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Quit: Client closed) |
| 2025-04-30 00:20:55 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-04-30 00:21:04 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2025-04-30 00:21:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-30 00:21:48 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-04-30 00:22:14 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-30 00:22:29 +0200 | yin | (~yin@user/zero) zero |
| 2025-04-30 00:24:21 +0200 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2025-04-30 00:27:29 +0200 | yin | (~yin@user/zero) zero |
| 2025-04-30 00:27:33 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-30 00:29:49 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-04-30 00:30:19 +0200 | zmt01 | (~zmt00@user/zmt00) (Max SendQ exceeded) |
| 2025-04-30 00:31:27 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-04-30 00:32:11 +0200 | r-sta | (~r-sta@206-122-61-5.reverse.tnp.net.uk) |
| 2025-04-30 00:33:24 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2025-04-30 00:36:10 +0200 | r-sta | (~r-sta@206-122-61-5.reverse.tnp.net.uk) (Client Quit) |
| 2025-04-30 00:43:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-30 00:51:01 +0200 | sayurc_ | (~sayurc@177.136.41.196) (Ping timeout: 248 seconds) |
| 2025-04-30 00:51:02 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-30 00:51:30 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2025-04-30 00:57:21 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
| 2025-04-30 00:59:02 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-04-30 01:19:00 +0200 | jespada | (~jespada@r179-25-126-65.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-30 01:24:34 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-30 01:27:42 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-04-30 01:32:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 01:33:14 +0200 | sprotte24 | (~sprotte24@p200300d16f272a0040556e126963731e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-30 01:36:38 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 265 seconds) |
| 2025-04-30 01:36:57 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-30 01:37:56 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-04-30 01:46:37 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-30 01:54:40 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f547095211bab53f1d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-30 01:54:46 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-30 01:59:02 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-30 02:09:17 +0200 | volsand | (~volsand@2804:1b1:1080:da6:4231:87aa:c8ca:1d50) (Quit: volsand) |
| 2025-04-30 02:12:51 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:8575:8d0b:13b1:a207) |
| 2025-04-30 02:13:50 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-30 02:14:49 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 265 seconds) |
| 2025-04-30 02:15:31 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-04-30 02:17:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-30 02:17:14 +0200 | ljdarj1 | ljdarj |
| 2025-04-30 02:18:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-30 02:25:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-30 02:34:10 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-04-30 02:34:14 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-30 02:39:35 +0200 | otto_s | (~user@p5de2faf5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-30 02:40:39 +0200 | rvalue- | rvalue |
| 2025-04-30 02:41:03 +0200 | otto_s | (~user@p5b044771.dip0.t-ipconnect.de) |
| 2025-04-30 02:48:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-04-30 02:52:07 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
| 2025-04-30 02:54:38 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-04-30 03:02:30 +0200 | euleritian | (~euleritia@dynamic-176-006-139-247.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-30 03:02:49 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 03:11:18 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-30 03:12:57 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2025-04-30 03:20:15 +0200 | mange | (~user@user/mange) mange |
| 2025-04-30 03:25:53 +0200 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-04-30 03:26:39 +0200 | Guest9 | (~Guest9@2601:18a:8184:d910:3971:1888:952d:26c8) |
| 2025-04-30 03:26:46 +0200 | Guest9 | (~Guest9@2601:18a:8184:d910:3971:1888:952d:26c8) (Client Quit) |
| 2025-04-30 03:28:04 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2025-04-30 03:28:17 +0200 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
| 2025-04-30 03:28:25 +0200 | pavonia_ | pavonia |
| 2025-04-30 03:32:57 +0200 | aforemny | (~aforemny@2001:9e8:6cf7:e300:755a:176d:6271:1f41) aforemny |
| 2025-04-30 03:33:56 +0200 | aforemny_ | (~aforemny@i59f4c58e.versanet.de) (Ping timeout: 252 seconds) |
| 2025-04-30 03:37:34 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 276 seconds) |
| 2025-04-30 03:41:14 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-04-30 03:42:27 +0200 | tv | (~tv@user/tv) tv |
| 2025-04-30 03:43:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-30 03:49:17 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-30 03:51:59 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:748c:9883:fc80:2b20) (Quit: Leaving) |
| 2025-04-30 03:57:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-30 03:57:24 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-04-30 03:59:24 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-30 04:07:49 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-04-30 04:11:20 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-04-30 04:13:19 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-30 04:13:47 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:8575:8d0b:13b1:a207) (Ping timeout: 244 seconds) |
| 2025-04-30 04:13:49 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-04-30 04:15:03 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-30 04:15:14 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-30 04:18:40 +0200 | td_ | (~td@i53870912.versanet.de) (Ping timeout: 252 seconds) |
| 2025-04-30 04:20:42 +0200 | td_ | (~td@i5387091A.versanet.de) td_ |
| 2025-04-30 04:27:29 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-30 04:27:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 04:29:34 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-04-30 04:31:45 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-04-30 04:47:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-04-30 04:47:28 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 05:03:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-04-30 05:08:21 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Remote host closed the connection) |
| 2025-04-30 05:16:25 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-04-30 05:19:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 05:22:52 +0200 | shapr | (~user@2600:4040:5c49:5600:dfc0:98d5:78c7:1853) (Ping timeout: 276 seconds) |
| 2025-04-30 05:40:24 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-30 05:41:41 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-30 05:50:21 +0200 | halloy3041 | (~halloy304@2001:569:76fd:b00:ada3:3d53:48e5:4f37) (Ping timeout: 268 seconds) |
| 2025-04-30 05:52:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc4:be00:20c6:b182:aba6:5a10) aforemny |
| 2025-04-30 05:53:53 +0200 | aforemny | (~aforemny@2001:9e8:6cf7:e300:755a:176d:6271:1f41) (Ping timeout: 248 seconds) |
| 2025-04-30 06:03:48 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-04-30 06:06:11 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-04-30 06:12:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-04-30 06:15:06 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-04-30 06:15:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-04-30 06:21:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-30 06:22:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 06:32:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 06:32:55 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-30 06:56:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-04-30 06:56:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-30 07:04:21 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-30 07:06:50 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-04-30 07:08:57 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-04-30 07:08:57 +0200 | ChanServ | +v lambdabot |
| 2025-04-30 07:09:07 +0200 | <Axman6> | @botsnack |
| 2025-04-30 07:09:13 +0200 | <lambdabot> | :) |
| 2025-04-30 07:16:37 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-04-30 07:18:49 +0200 | Digit | starts drinking the haskell kool-aid again, refreshing the mind on the basics, refreshing the heart on the loveable wow features |
| 2025-04-30 07:22:40 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection) |
| 2025-04-30 07:23:02 +0200 | <Axman6> | Gotta stay hydrated |
| 2025-04-30 07:23:19 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-04-30 07:33:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-30 07:42:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 07:58:04 +0200 | akegalj | (~akegalj@78-1-137-15.adsl.net.t-com.hr) |
| 2025-04-30 07:58:40 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-04-30 07:59:42 +0200 | euleritian | (~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) |
| 2025-04-30 08:01:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-30 08:02:00 +0200 | euleritian | (~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-30 08:02:17 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 08:03:18 +0200 | akegalj | (~akegalj@78-1-137-15.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2025-04-30 08:07:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-04-30 08:10:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-04-30 08:13:30 +0200 | euleritian | (~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) |
| 2025-04-30 08:14:31 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-04-30 08:15:35 +0200 | jle` | (~jle`@2603:8001:3b00:11:26f1:42f4:7093:ac0a) (Ping timeout: 244 seconds) |
| 2025-04-30 08:16:49 +0200 | jle` | (~jle`@2603:8001:3b00:11:43a3:4aa5:da69:7d43) jle` |
| 2025-04-30 08:17:26 +0200 | typedfern_ | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2025-04-30 08:19:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-30 08:25:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 08:29:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 08:30:17 +0200 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Read error: Connection reset by peer) |
| 2025-04-30 08:30:57 +0200 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-04-30 08:33:23 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) acidjnk |
| 2025-04-30 08:35:30 +0200 | skylord58168 | (~skylord58@user/skylord5816) skylord5816 |
| 2025-04-30 08:36:07 +0200 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) |
| 2025-04-30 08:36:22 +0200 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2025-04-30 08:37:15 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-04-30 08:37:31 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-04-30 08:37:42 +0200 | Fijxu_ | (~Fijxu@user/fijxu) fijxu |
| 2025-04-30 08:38:56 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) |
| 2025-04-30 08:39:10 +0200 | cross_ | (~cross@spitfire.i.gajendra.net) cross |
| 2025-04-30 08:39:34 +0200 | connrs_ | (~connrs@conners.plus.com) |
| 2025-04-30 08:40:30 +0200 | akegalj | (~akegalj@78-1-137-15.adsl.net.t-com.hr) akegalj |
| 2025-04-30 08:40:34 +0200 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | mange | (~user@user/mange) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | skylord5816 | (~skylord58@user/skylord5816) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | vgtw_ | (~vgtw@user/vgtw) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:34 +0200 | ThePenguin0 | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:35 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 260 seconds) |
| 2025-04-30 08:40:35 +0200 | skylord58168 | skylord5816 |
| 2025-04-30 08:40:35 +0200 | connrs_ | connrs |
| 2025-04-30 08:43:47 +0200 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-04-30 08:45:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-30 08:49:39 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-04-30 08:49:53 +0200 | fantom | (~fantom@2.219.56.221) |
| 2025-04-30 08:51:07 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-30 08:56:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 08:56:31 +0200 | <c_wraith> | Are there still active hackage trustees after hvr's retirement? |
| 2025-04-30 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-30 09:01:02 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-04-30 09:01:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 09:02:26 +0200 | <haskellbridge> | <Liamzee> ??? |
| 2025-04-30 09:02:27 +0200 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/packages/trustees/ |
| 2025-04-30 09:03:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-04-30 09:03:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 09:04:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-30 09:06:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 09:11:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-04-30 09:16:30 +0200 | euleritian | (~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-30 09:16:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-30 09:17:11 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 09:17:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 09:18:40 +0200 | chele | (~chele@user/chele) chele |
| 2025-04-30 09:20:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 09:22:28 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-30 09:22:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-04-30 09:23:17 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-30 09:23:54 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-30 09:24:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 09:24:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 09:25:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-30 09:27:15 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-30 09:32:02 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-04-30 09:34:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 09:34:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-04-30 09:37:24 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-30 09:42:32 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-30 09:43:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-04-30 09:43:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-30 09:43:24 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-30 09:46:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-04-30 09:47:04 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-30 09:54:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-30 09:59:14 +0200 | foul_owl | (~kerry@94.156.149.97) (Ping timeout: 260 seconds) |
| 2025-04-30 10:10:47 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2025-04-30 10:13:32 +0200 | foul_owl | (~kerry@94.156.149.92) foul_owl |
| 2025-04-30 10:14:06 +0200 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) jco |
| 2025-04-30 10:19:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-04-30 10:21:18 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-30 10:21:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-30 10:37:41 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-30 10:41:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-30 10:42:34 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-30 10:44:05 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-30 11:03:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-30 11:05:13 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-30 11:07:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-30 11:08:16 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-30 11:10:24 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-04-30 11:10:54 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2025-04-30 11:11:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-30 11:13:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-30 11:13:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-30 11:19:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) |
| 2025-04-30 11:23:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-30 11:35:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-04-30 11:47:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-30 11:52:56 +0200 | la1n | (~la1n@176.59.57.19) |
| 2025-04-30 12:03:34 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-30 12:13:23 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 12:15:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 12:19:56 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-30 12:23:13 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-04-30 12:28:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 12:29:16 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-04-30 12:31:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 12:32:48 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-30 12:33:06 +0200 | Googulator65 | (~Googulato@94-21-139-144.pool.digikabel.hu) |
| 2025-04-30 12:33:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 12:36:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 12:37:48 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.2) |
| 2025-04-30 12:37:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 12:41:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-30 12:41:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 12:44:28 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-30 12:45:11 +0200 | haritz | (~hrtz@152.37.68.178) |
| 2025-04-30 12:45:11 +0200 | haritz | (~hrtz@152.37.68.178) (Changing host) |
| 2025-04-30 12:45:11 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-04-30 12:56:17 +0200 | vpan | (~vpan@mail.elitnet.lt) (Ping timeout: 248 seconds) |
| 2025-04-30 12:56:43 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2025-04-30 12:57:07 +0200 | vpan | Guest9574 |
| 2025-04-30 13:01:36 +0200 | Guest9574 | vpan |
| 2025-04-30 13:02:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-30 13:02:59 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-04-30 13:05:06 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-30 13:05:17 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-04-30 13:08:45 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:bbeb:8989:78aa:8ec8) |
| 2025-04-30 13:10:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-30 13:12:19 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Quit: Client closed) |
| 2025-04-30 13:29:35 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-04-30 13:32:59 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-30 13:39:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) |
| 2025-04-30 13:49:33 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-04-30 13:50:17 +0200 | <tomsmeding> | this is cute: https://github.com/effectfully-ou/haskell-challenges/tree/master/h9-traversable-search |
| 2025-04-30 13:51:44 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-30 13:57:56 +0200 | Googulator65 | (~Googulato@94-21-139-144.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-30 13:58:14 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-30 14:05:16 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-30 14:05:34 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-30 14:05:59 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 260 seconds) |
| 2025-04-30 14:18:14 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-30 14:18:31 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-30 14:20:22 +0200 | <int-e> | tomsmeding: but isn't it bad to ask people to break the law ;-) |
| 2025-04-30 14:20:36 +0200 | <int-e> | (works with just Foldable too btw) |
| 2025-04-30 14:21:08 +0200 | <haskellbridge> | <Liamzee> also cute, type signature stops the cheap search _ _ = Just 15 |
| 2025-04-30 14:22:59 +0200 | <tomsmeding> | int-e: which law? |
| 2025-04-30 14:23:02 +0200 | JuanDaugherty | ColinRobinson |
| 2025-04-30 14:23:13 +0200 | <tomsmeding> | and yes, I wasn't sure why Traversable was given |
| 2025-04-30 14:23:58 +0200 | <int-e> | the associativity Monoid or Monad law |
| 2025-04-30 14:24:14 +0200 | <tomsmeding> | oh right |
| 2025-04-30 14:26:07 +0200 | jespada | (~jespada@r167-61-126-65.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-30 14:26:23 +0200 | <haskellbridge> | <Liamzee> does this imply that any traversable is either finite or countably infinite? |
| 2025-04-30 14:27:24 +0200 | <tomsmeding> | I think you can s/traversable/haskell data structure/? |
| 2025-04-30 14:27:33 +0200 | <int-e> | tomsmeding: FWIW: (spoiler) https://paste.tomsmeding.com/B09YkvUF |
| 2025-04-30 14:29:04 +0200 | <tomsmeding> | nice, that's quite a bit faster than mine |
| 2025-04-30 14:30:32 +0200 | <Leary> | NB: Comment thread with discussion and links to my and Andras Kovacs' solutions: https://www.reddit.com/r/haskell/comments/1k5n4r5/broad_search_for_any_traversable/ |
| 2025-04-30 14:31:19 +0200 | <int-e> | tomsmeding: Argh, I messed up while cleaning up the code. there should be an `extract [] = Nothing` case |
| 2025-04-30 14:35:55 +0200 | <tomsmeding> | int-e: I tried this simple thing, even added some strict data types to make it a little bit faster https://paste.tomsmeding.com/Tema5Itk |
| 2025-04-30 14:37:46 +0200 | <tomsmeding> | but yes, your (and Leary's, and Andras') solutions are clearly better |
| 2025-04-30 14:38:18 +0200 | <int-e> | tomsmeding: heh you didn't use the argument swapping trick: https://paste.tomsmeding.com/OMMZF63K |
| 2025-04-30 14:38:34 +0200 | <tomsmeding> | oh heh |
| 2025-04-30 14:38:56 +0200 | <tomsmeding> | good for golfing, but not for much else, though :) |
| 2025-04-30 14:40:12 +0200 | <int-e> | Yeah it doesn't gain anything (heck, the code might even be a tad slower). I just looked at your code and it didn't match my "buitlin" pattern for that function :-) |
| 2025-04-30 14:40:24 +0200 | <int-e> | Well, technically it gains a tiny bit of laziness. |
| 2025-04-30 14:40:40 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-04-30 14:40:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-30 14:41:02 +0200 | <int-e> | So for the same reason, yeah it'll almost certainly be a tad slower. |
| 2025-04-30 14:42:08 +0200 | <int-e> | tomsmeding: (re-)using `find` is cute at least. |
| 2025-04-30 14:59:01 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2025-04-30 15:05:52 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-04-30 15:08:17 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-04-30 15:14:29 +0200 | AlexZenon | (~alzenon@178.34.151.238) (Ping timeout: 248 seconds) |
| 2025-04-30 15:15:00 +0200 | AlexNoo | (~AlexNoo@178.34.151.238) (Ping timeout: 252 seconds) |
| 2025-04-30 15:15:43 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
| 2025-04-30 15:19:31 +0200 | akegalj | (~akegalj@78-1-137-15.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2025-04-30 15:22:22 +0200 | AlexZenon | (~alzenon@94.233.241.180) |
| 2025-04-30 15:31:41 +0200 | <[exa]> | Foldable is the new LogicT? |
| 2025-04-30 15:33:34 +0200 | <int-e> | I feel that this is more of "every list function can be defined in terms of foldr" territory. |
| 2025-04-30 15:34:19 +0200 | <int-e> | But maybe LogicT is why this is asked for Traversable. |
| 2025-04-30 15:35:08 +0200 | <haskellbridge> | <hellwolf> some say everything is "for_", who is right |
| 2025-04-30 15:36:05 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 244 seconds) |
| 2025-04-30 15:38:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-04-30 15:38:59 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) |
| 2025-04-30 15:41:13 +0200 | <int-e> | :t Right |
| 2025-04-30 15:41:14 +0200 | <lambdabot> | b -> Either a b |
| 2025-04-30 15:41:37 +0200 | <int-e> | everything is wrong in almost all contexts ;-) |
| 2025-04-30 15:44:58 +0200 | <haskellbridge> | <Liamzee> everything is foldr with an accumulator and a builder pattern :3 |
| 2025-04-30 15:45:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-30 15:45:47 +0200 | <haskellbridge> | <Liamzee> (and yes, that includes non-primitive recursion) |
| 2025-04-30 15:46:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 15:46:31 +0200 | <haskellbridge> | <Liamzee> (make the z default in foldr, ummm, do non-primitive recursion) |
| 2025-04-30 15:46:45 +0200 | <haskellbridge> | <Liamzee> (or hook it into the f) |
| 2025-04-30 15:49:50 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-04-30 15:53:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-30 15:55:26 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-04-30 15:55:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 16:04:27 +0200 | euphores1 | (~SASL_euph@37.214.58.222) |
| 2025-04-30 16:07:04 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2025-04-30 16:20:22 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Remote host closed the connection) |
| 2025-04-30 16:20:39 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) |
| 2025-04-30 16:23:11 +0200 | akegalj | (~akegalj@144-188.dsl.iskon.hr) |
| 2025-04-30 16:27:18 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 16:27:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-30 16:28:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-30 16:34:16 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-30 16:34:37 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 16:34:59 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-04-30 16:36:20 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-30 16:36:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 16:41:13 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-30 16:42:03 +0200 | typedfern_ | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-04-30 16:42:30 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-30 16:42:52 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 16:45:01 +0200 | Typedfern | (~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2025-04-30 16:45:07 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-04-30 16:45:53 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-30 16:46:08 +0200 | Googulator65 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) |
| 2025-04-30 16:46:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 16:47:23 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-30 16:59:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-30 17:10:38 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.180) |
| 2025-04-30 17:10:50 +0200 | AlexNoo_ | AlexNoo |
| 2025-04-30 17:16:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-04-30 17:25:14 +0200 | akegalj | (~akegalj@144-188.dsl.iskon.hr) (Quit: leaving) |
| 2025-04-30 17:28:12 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-30 17:30:15 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:bbeb:8989:78aa:8ec8) (Ping timeout: 268 seconds) |
| 2025-04-30 17:34:42 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-04-30 17:42:42 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-04-30 17:45:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-04-30 17:49:59 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-04-30 17:51:49 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-30 17:53:51 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-04-30 17:54:45 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-04-30 17:54:59 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-04-30 18:01:15 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-30 18:06:57 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-30 18:07:31 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) |
| 2025-04-30 18:13:46 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-30 18:13:50 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-04-30 18:19:41 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "Building $LUNCH") |
| 2025-04-30 18:24:50 +0200 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2025-04-30 18:30:43 +0200 | euleritian | (~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-30 18:31:54 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-30 18:33:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-30 18:40:20 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-30 18:46:35 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-30 18:48:55 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-04-30 18:49:24 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 18:49:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-30 18:50:39 +0200 | dhil | (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
| 2025-04-30 18:54:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 18:57:36 +0200 | <jco> | Is pipes (or similar) a good fit for protocol implementations in general? And specifically, for BitTorrent... I'm making a small BT (subset) client (hobby project), and I'm contemplating whether to start translating things to use pipes or not. There'll be a lot of back-and-forth messages being sent over TCP... Sorry for unspecific thinking-out-loud question... |
| 2025-04-30 18:57:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-30 19:01:55 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-04-30 19:02:37 +0200 | Square3 | (~Square@user/square) Square |
| 2025-04-30 19:03:59 +0200 | <jco> | Another thing is that the BitTorrent protocol has a lot of state-machine style messages, where certain requests are matched with certain responses. This makes me think that pipes maybe is not a great fit, since pipes maybe is more geared towards uniform processing where everything is treated the same...? |
| 2025-04-30 19:05:05 +0200 | <EvanR> | pipes are parameterized by a monad for effects |
| 2025-04-30 19:05:19 +0200 | <haskellbridge> | <Jack> You should think of pipes as a streaming/streaming IO library. I’d say it’s a good fit for that’s use case, at least for the “we’re sending you a bunch of data over time” part. |
| 2025-04-30 19:05:21 +0200 | <EvanR> | but I'm not sure if that's relevant |
| 2025-04-30 19:05:32 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-30 19:05:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-30 19:06:00 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-04-30 19:06:25 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-30 19:06:43 +0200 | <haskellbridge> | <Jack> You’ll be able to tell it to separate the other stuff into discrete events and then pass those events on to other stuff for the messages. |
| 2025-04-30 19:07:26 +0200 | zzz | (~z@user/zero) zero |
| 2025-04-30 19:07:31 +0200 | <EvanR> | if you just want to incrementally parse some stream attoparsec exists |
| 2025-04-30 19:07:40 +0200 | <haskellbridge> | <Jack> Pipes and conduit kinda exist to fill in the hole that lazy IO makes |
| 2025-04-30 19:07:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-30 19:08:02 +0200 | <haskellbridge> | <Jack> Yeah EvanR’s definitely right |
| 2025-04-30 19:08:15 +0200 | <EvanR> | the attoparsec parser can partially complete, waiting for you to provide more input |
| 2025-04-30 19:08:31 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-04-30 19:11:12 +0200 | <haskellbridge> | <Jack> Also that’s a cool project |
| 2025-04-30 19:13:58 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-30 19:22:53 +0200 | jespada | (~jespada@r167-61-126-65.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-30 19:23:39 +0200 | jespada | (~jespada@r167-61-126-65.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-30 19:29:58 +0200 | fraznel | (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) |
| 2025-04-30 19:30:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-04-30 19:32:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-30 19:32:45 +0200 | zzz | (~z@user/zero) (Quit: quit) |
| 2025-04-30 19:39:16 +0200 | <jco> | Yes... I've used pipes-attoparsec a bit as well. Really nice, and it handles a lot of the ugly boilerplate that I had to write myself without it... Maybe I'll try and go down the pipe rabbit hole a bit for this then... |
| 2025-04-30 19:43:08 +0200 | zzz | (~z@user/zero) zero |
| 2025-04-30 19:44:28 +0200 | zzz | (~z@user/zero) (Client Quit) |
| 2025-04-30 19:44:59 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-04-30 19:48:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-04-30 19:50:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) |
| 2025-04-30 19:50:43 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-30 19:55:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-30 19:58:50 +0200 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-30 19:59:32 +0200 | zzz | (~z@user/zero) zero |
| 2025-04-30 20:00:21 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-30 20:00:38 +0200 | califax | (~califax@user/califx) califx |