2025/04/30

2025-04-30 00:01:46 +0200tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 276 seconds)
2025-04-30 00:07:38 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-30 00:15:13 +0200sayurc(~sayurc@169.150.203.34) (Ping timeout: 248 seconds)
2025-04-30 00:15:22 +0200sayurc_(~sayurc@177.136.41.196) sayurc
2025-04-30 00:15:34 +0200Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-04-30 00:15:58 +0200alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Quit: Client closed)
2025-04-30 00:20:55 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-30 00:21:04 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2025-04-30 00:21:32 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-04-30 00:21:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-04-30 00:22:14 +0200Square2(~Square@user/square) Square
2025-04-30 00:22:29 +0200yin(~yin@user/zero) zero
2025-04-30 00:24:21 +0200yin(~yin@user/zero) (Read error: Connection reset by peer)
2025-04-30 00:27:29 +0200yin(~yin@user/zero) zero
2025-04-30 00:27:33 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2025-04-30 00:29:49 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-04-30 00:30:19 +0200zmt01(~zmt00@user/zmt00) (Max SendQ exceeded)
2025-04-30 00:31:27 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-04-30 00:32:11 +0200r-sta(~r-sta@206-122-61-5.reverse.tnp.net.uk)
2025-04-30 00:33:24 +0200swamp_(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2025-04-30 00:36:10 +0200r-sta(~r-sta@206-122-61-5.reverse.tnp.net.uk) (Client Quit)
2025-04-30 00:43:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-30 00:51:01 +0200sayurc_(~sayurc@177.136.41.196) (Ping timeout: 248 seconds)
2025-04-30 00:51:02 +0200sayurc(~sayurc@169.150.203.34) sayurc
2025-04-30 00:51:30 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2025-04-30 00:57:21 +0200down200(~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds)
2025-04-30 00:59:02 +0200down200(~down200@shell.lug.mtu.edu) down200
2025-04-30 01:19:00 +0200jespada(~jespada@r179-25-126-65.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-30 01:24:34 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-04-30 01:27:42 +0200Googulator71(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-30 01:32:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-30 01:33:14 +0200sprotte24(~sprotte24@p200300d16f272a0040556e126963731e.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-30 01:36:38 +0200pavonia(~user@user/siracusa) (Ping timeout: 265 seconds)
2025-04-30 01:36:57 +0200pavonia(~user@user/siracusa) siracusa
2025-04-30 01:37:56 +0200tolgo(~Thunderbi@199.115.144.130)
2025-04-30 01:46:37 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-30 01:54:40 +0200acidjnk_new(~acidjnk@p200300d6e71c4f547095211bab53f1d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-30 01:54:46 +0200sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-04-30 01:59:02 +0200sayurc(~sayurc@169.150.203.34) sayurc
2025-04-30 02:09:17 +0200volsand(~volsand@2804:1b1:1080:da6:4231:87aa:c8ca:1d50) (Quit: volsand)
2025-04-30 02:12:51 +0200xff0x(~xff0x@2409:251:9040:2c00:8575:8d0b:13b1:a207)
2025-04-30 02:13:50 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-30 02:14:49 +0200swistak(~swistak@185.21.216.141) (Ping timeout: 265 seconds)
2025-04-30 02:15:31 +0200swistak(~swistak@185.21.216.141)
2025-04-30 02:17:14 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-30 02:17:14 +0200ljdarj1ljdarj
2025-04-30 02:18:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-04-30 02:25:27 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-30 02:34:10 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-04-30 02:34:14 +0200rvalue-(~rvalue@user/rvalue) rvalue
2025-04-30 02:39:35 +0200otto_s(~user@p5de2faf5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-30 02:40:39 +0200rvalue-rvalue
2025-04-30 02:41:03 +0200otto_s(~user@p5b044771.dip0.t-ipconnect.de)
2025-04-30 02:48:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-04-30 02:52:07 +0200tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds)
2025-04-30 02:54:38 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-04-30 03:02:30 +0200euleritian(~euleritia@dynamic-176-006-139-247.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-30 03:02:49 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 03:11:18 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-30 03:12:57 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2025-04-30 03:20:15 +0200mange(~user@user/mange) mange
2025-04-30 03:25:53 +0200pavonia_(~user@user/siracusa) siracusa
2025-04-30 03:26:39 +0200Guest9(~Guest9@2601:18a:8184:d910:3971:1888:952d:26c8)
2025-04-30 03:26:46 +0200Guest9(~Guest9@2601:18a:8184:d910:3971:1888:952d:26c8) (Client Quit)
2025-04-30 03:28:04 +0200pavonia(~user@user/siracusa) (Ping timeout: 252 seconds)
2025-04-30 03:28:17 +0200tv(~tv@user/tv) (Ping timeout: 248 seconds)
2025-04-30 03:28:25 +0200pavonia_pavonia
2025-04-30 03:32:57 +0200aforemny(~aforemny@2001:9e8:6cf7:e300:755a:176d:6271:1f41) aforemny
2025-04-30 03:33:56 +0200aforemny_(~aforemny@i59f4c58e.versanet.de) (Ping timeout: 252 seconds)
2025-04-30 03:37:34 +0200pavonia(~user@user/siracusa) (Ping timeout: 276 seconds)
2025-04-30 03:41:14 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-04-30 03:42:27 +0200tv(~tv@user/tv) tv
2025-04-30 03:43:18 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-30 03:49:17 +0200pavonia(~user@user/siracusa) siracusa
2025-04-30 03:51:59 +0200notdabs(~Owner@2600:1700:69cf:9000:748c:9883:fc80:2b20) (Quit: Leaving)
2025-04-30 03:57:07 +0200bitdex(~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 +0200troydm(~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 +0200tolgo(~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 +0200xff0x(~xff0x@2409:251:9040:2c00:8575:8d0b:13b1:a207) (Ping timeout: 244 seconds)
2025-04-30 04:13:49 +0200troydm(~troydm@user/troydm) troydm
2025-04-30 04:15:03 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-04-30 04:15:14 +0200weary-traveler(~user@user/user363627) user363627
2025-04-30 04:18:40 +0200td_(~td@i53870912.versanet.de) (Ping timeout: 252 seconds)
2025-04-30 04:20:42 +0200td_(~td@i5387091A.versanet.de) td_
2025-04-30 04:27:29 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-30 04:27:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 04:29:34 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-04-30 04:31:45 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection)
2025-04-30 04:47:26 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-04-30 04:47:28 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-30 05:03:06 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-04-30 05:08:21 +0200tolgo(~Thunderbi@199.115.144.130) (Remote host closed the connection)
2025-04-30 05:16:25 +0200dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-04-30 05:19:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-30 05:22:52 +0200shapr(~user@2600:4040:5c49:5600:dfc0:98d5:78c7:1853) (Ping timeout: 276 seconds)
2025-04-30 05:40:24 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-04-30 05:41:41 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-04-30 05:50:21 +0200halloy3041(~halloy304@2001:569:76fd:b00:ada3:3d53:48e5:4f37) (Ping timeout: 268 seconds)
2025-04-30 05:52:54 +0200aforemny_(~aforemny@2001:9e8:6cc4:be00:20c6:b182:aba6:5a10) aforemny
2025-04-30 05:53:53 +0200aforemny(~aforemny@2001:9e8:6cf7:e300:755a:176d:6271:1f41) (Ping timeout: 248 seconds)
2025-04-30 06:03:48 +0200haritz(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-04-30 06:15:06 +0200michalz(~michalz@185.246.207.201)
2025-04-30 06:15:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-04-30 06:21:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-04-30 06:22:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-30 06:32:29 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 06:32:55 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-30 06:56:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-30 06:56:31 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-30 07:04:21 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-30 07:06:50 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-04-30 07:08:57 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-04-30 07:08:57 +0200ChanServ+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 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden
2025-04-30 07:18:49 +0200Digitstarts 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 +0200manwithluck(~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 +0200manwithluck(~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck
2025-04-30 07:33:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-30 07:42:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-30 07:58:04 +0200akegalj(~akegalj@78-1-137-15.adsl.net.t-com.hr)
2025-04-30 07:58:40 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-04-30 07:59:42 +0200euleritian(~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de)
2025-04-30 08:01:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-30 08:02:00 +0200euleritian(~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-30 08:02:17 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 08:03:18 +0200akegalj(~akegalj@78-1-137-15.adsl.net.t-com.hr) (Ping timeout: 265 seconds)
2025-04-30 08:07:34 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4)
2025-04-30 08:10:43 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds)
2025-04-30 08:13:30 +0200euleritian(~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de)
2025-04-30 08:14:31 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern
2025-04-30 08:15:35 +0200jle`(~jle`@2603:8001:3b00:11:26f1:42f4:7093:ac0a) (Ping timeout: 244 seconds)
2025-04-30 08:16:49 +0200jle`(~jle`@2603:8001:3b00:11:43a3:4aa5:da69:7d43) jle`
2025-04-30 08:17:26 +0200typedfern_(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2025-04-30 08:19:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-30 08:25:32 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 08:29:35 +0200j1n37(~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 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) acidjnk
2025-04-30 08:35:30 +0200skylord58168(~skylord58@user/skylord5816) skylord5816
2025-04-30 08:36:07 +0200nschoe-(~nschoe@82-65-202-30.subs.proxad.net)
2025-04-30 08:36:22 +0200Fijxu(~Fijxu@user/fijxu) (Ping timeout: 252 seconds)
2025-04-30 08:37:15 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-04-30 08:37:31 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-04-30 08:37:42 +0200Fijxu_(~Fijxu@user/fijxu) fijxu
2025-04-30 08:38:56 +0200Buliarou1(~gypsydang@46.232.210.139)
2025-04-30 08:39:10 +0200cross_(~cross@spitfire.i.gajendra.net) cross
2025-04-30 08:39:34 +0200connrs_(~connrs@conners.plus.com)
2025-04-30 08:40:30 +0200akegalj(~akegalj@78-1-137-15.adsl.net.t-com.hr) akegalj
2025-04-30 08:40:34 +0200nschoe(~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200mange(~user@user/mange) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200skylord5816(~skylord58@user/skylord5816) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200cross(~cross@spitfire.i.gajendra.net) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200Buliarous(~gypsydang@46.232.210.139) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200vgtw_(~vgtw@user/vgtw) (Ping timeout: 260 seconds)
2025-04-30 08:40:34 +0200ThePenguin0(~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 260 seconds)
2025-04-30 08:40:35 +0200connrs(~connrs@user/connrs) (Ping timeout: 260 seconds)
2025-04-30 08:40:35 +0200skylord58168skylord5816
2025-04-30 08:40:35 +0200connrs_connrs
2025-04-30 08:43:47 +0200fantom(~fantom@2.219.56.221) (Ping timeout: 244 seconds)
2025-04-30 08:45:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-30 08:49:39 +0200dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-04-30 08:49:53 +0200fantom(~fantom@2.219.56.221)
2025-04-30 08:51:07 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net)
2025-04-30 08:56:28 +0200j1n37(~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 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-04-30 09:01:02 +0200caconym7(~caconym@user/caconym) caconym
2025-04-30 09:01:11 +0200j1n37(~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 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-04-30 09:03:38 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 09:04:47 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-30 09:06:55 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 09:11:15 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-30 09:16:30 +0200euleritian(~euleritia@dynamic-176-006-134-120.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-30 09:16:42 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-30 09:17:11 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 09:17:39 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 09:18:40 +0200chele(~chele@user/chele) chele
2025-04-30 09:20:34 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 09:22:28 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-30 09:22:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-04-30 09:23:17 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-30 09:23:54 +0200Lord_of_Life_Lord_of_Life
2025-04-30 09:24:16 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 09:24:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 09:25:28 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-30 09:27:15 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-30 09:32:02 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4)
2025-04-30 09:34:01 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-30 09:34:34 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 245 seconds)
2025-04-30 09:37:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-30 09:42:32 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-30 09:43:02 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-30 09:43:21 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-30 09:43:24 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-30 09:46:31 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4)
2025-04-30 09:47:04 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-30 09:54:44 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-30 09:59:14 +0200foul_owl(~kerry@94.156.149.97) (Ping timeout: 260 seconds)
2025-04-30 10:10:47 +0200vpan(~vpan@mail.elitnet.lt)
2025-04-30 10:13:32 +0200foul_owl(~kerry@94.156.149.92) foul_owl
2025-04-30 10:14:06 +0200jco(~jco@78-70-217-44-no600.tbcn.telia.com) jco
2025-04-30 10:19:56 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-04-30 10:21:18 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-04-30 10:21:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-30 10:37:41 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-30 10:41:10 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-30 10:42:34 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-30 10:44:05 +0200califax(~califax@user/califx) califx
2025-04-30 11:03:45 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-30 11:05:13 +0200califax(~califax@user/califx) califx
2025-04-30 11:07:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-30 11:08:16 +0200califax(~califax@user/califx) califx
2025-04-30 11:10:24 +0200Chai-T-Rex(~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds)
2025-04-30 11:10:54 +0200jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds)
2025-04-30 11:11:17 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-30 11:13:29 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-30 11:13:52 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-30 11:19:07 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4)
2025-04-30 11:23:10 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-30 11:35:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-30 11:47:19 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-30 11:52:56 +0200la1n(~la1n@176.59.57.19)
2025-04-30 12:03:34 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-30 12:13:23 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 12:15:48 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 12:19:56 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-30 12:23:13 +0200dhil(~dhil@5.151.29.137) dhil
2025-04-30 12:28:49 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 12:29:16 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds)
2025-04-30 12:31:59 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 12:32:48 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-04-30 12:33:06 +0200Googulator65(~Googulato@94-21-139-144.pool.digikabel.hu)
2025-04-30 12:33:31 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 12:36:37 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 12:37:48 +0200tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.2)
2025-04-30 12:37:49 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 12:41:17 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-30 12:41:53 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 12:44:28 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-30 12:45:11 +0200haritz(~hrtz@152.37.68.178)
2025-04-30 12:45:11 +0200haritz(~hrtz@152.37.68.178) (Changing host)
2025-04-30 12:45:11 +0200haritz(~hrtz@user/haritz) haritz
2025-04-30 12:56:17 +0200vpan(~vpan@mail.elitnet.lt) (Ping timeout: 248 seconds)
2025-04-30 12:56:43 +0200vpan(~vpan@mail.elitnet.lt)
2025-04-30 12:57:07 +0200vpanGuest9574
2025-04-30 13:01:36 +0200Guest9574vpan
2025-04-30 13:02:50 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-30 13:02:59 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 260 seconds)
2025-04-30 13:05:06 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-30 13:05:17 +0200alecs(~alecs@nat16.software.imdea.org) alecs
2025-04-30 13:08:45 +0200xff0x(~xff0x@2409:251:9040:2c00:bbeb:8989:78aa:8ec8)
2025-04-30 13:10:15 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-30 13:12:19 +0200alecs(~alecs@nat16.software.imdea.org) (Quit: Client closed)
2025-04-30 13:29:35 +0200tolgo(~Thunderbi@199.115.144.130)
2025-04-30 13:32:59 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-30 13:39:00 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de)
2025-04-30 13:49:33 +0200fp(~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 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-30 13:57:56 +0200Googulator65(~Googulato@94-21-139-144.pool.digikabel.hu) (Quit: Client closed)
2025-04-30 13:58:14 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-04-30 14:05:16 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-30 14:05:34 +0200euleritian(~euleritia@77.23.248.47)
2025-04-30 14:05:59 +0200tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 260 seconds)
2025-04-30 14:18:14 +0200euleritian(~euleritia@77.23.248.47) (Remote host closed the connection)
2025-04-30 14:18:31 +0200euleritian(~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 +0200JuanDaughertyColinRobinson
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 +0200jespada(~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 +0200tolgo(~Thunderbi@199.115.144.130)
2025-04-30 14:40:41 +0200bitdex(~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 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds)
2025-04-30 15:05:52 +0200Maxdamantus(~Maxdamant@user/maxdamantus) Maxdamantus
2025-04-30 15:08:17 +0200Square2(~Square4@user/square) Square
2025-04-30 15:14:29 +0200AlexZenon(~alzenon@178.34.151.238) (Ping timeout: 248 seconds)
2025-04-30 15:15:00 +0200AlexNoo(~AlexNoo@178.34.151.238) (Ping timeout: 252 seconds)
2025-04-30 15:15:43 +0200tolgo(~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds)
2025-04-30 15:19:31 +0200akegalj(~akegalj@78-1-137-15.adsl.net.t-com.hr) (Ping timeout: 252 seconds)
2025-04-30 15:22:22 +0200AlexZenon(~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 +0200euleritian(~euleritia@77.23.248.47) (Ping timeout: 244 seconds)
2025-04-30 15:38:24 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-04-30 15:38:59 +0200euleritian(~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 +0200j1n37(~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 +0200j1n37(~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 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-04-30 15:53:39 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-30 15:55:26 +0200ystael(~ystael@user/ystael) ystael
2025-04-30 15:55:33 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 16:04:27 +0200euphores1(~SASL_euph@37.214.58.222)
2025-04-30 16:07:04 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-04-30 16:20:22 +0200euleritian(~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Remote host closed the connection)
2025-04-30 16:20:39 +0200euleritian(~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de)
2025-04-30 16:23:11 +0200akegalj(~akegalj@144-188.dsl.iskon.hr)
2025-04-30 16:27:18 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-30 16:27:51 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-30 16:28:28 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-30 16:34:16 +0200euleritian(~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-30 16:34:37 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 16:34:59 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 245 seconds)
2025-04-30 16:36:20 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-30 16:36:43 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 16:41:13 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-30 16:42:03 +0200typedfern_(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern
2025-04-30 16:42:30 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2025-04-30 16:42:52 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 16:45:01 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2025-04-30 16:45:07 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-04-30 16:45:53 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-04-30 16:46:08 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-04-30 16:46:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-30 16:47:23 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-30 16:59:25 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-30 17:10:38 +0200AlexNoo_(~AlexNoo@94.233.241.180)
2025-04-30 17:10:50 +0200AlexNoo_AlexNoo
2025-04-30 17:16:32 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-30 17:25:14 +0200akegalj(~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 +0200xff0x(~xff0x@2409:251:9040:2c00:bbeb:8989:78aa:8ec8) (Ping timeout: 268 seconds)
2025-04-30 17:34:42 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 252 seconds)
2025-04-30 17:42:42 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-04-30 17:45:57 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-04-30 17:49:59 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-04-30 17:51:49 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds)
2025-04-30 17:53:51 +0200pointlessslippe1(~pointless@62.106.85.17) (Quit: ZNC - http://znc.in)
2025-04-30 17:54:45 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-04-30 17:54:59 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-30 18:01:15 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-30 18:06:57 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-04-30 18:07:31 +0200euleritian(~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 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2025-04-30 18:19:41 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: "Building $LUNCH")
2025-04-30 18:24:50 +0200vpan(~vpan@mail.elitnet.lt) (Quit: Leaving.)
2025-04-30 18:30:43 +0200euleritian(~euleritia@dynamic-176-000-198-224.176.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-04-30 18:31:54 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-30 18:33:09 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-04-30 18:40:20 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-04-30 18:46:35 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-30 18:48:55 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-30 18:49:24 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 18:49:31 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-04-30 18:50:39 +0200dhil(~dhil@5.151.29.137) (Ping timeout: 260 seconds)
2025-04-30 18:54:45 +0200peterbecich(~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 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-30 19:01:55 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 260 seconds)
2025-04-30 19:02:37 +0200Square3(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-04-30 19:06:00 +0200Square2(~Square4@user/square) (Ping timeout: 252 seconds)
2025-04-30 19:06:25 +0200ft(~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 +0200zzz(~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 +0200peterbecich(~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 +0200ft(~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 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-30 19:22:53 +0200jespada(~jespada@r167-61-126-65.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-30 19:23:39 +0200jespada(~jespada@r167-61-126-65.dialup.adsl.anteldata.net.uy) jespada
2025-04-30 19:29:58 +0200fraznel(~fuag1@c-76-28-152-212.hsd1.wa.comcast.net)
2025-04-30 19:30:56 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-04-30 19:32:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-30 19:32:45 +0200zzz(~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 +0200zzz(~z@user/zero) zero
2025-04-30 19:44:28 +0200zzz(~z@user/zero) (Client Quit)
2025-04-30 19:44:59 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-04-30 19:48:29 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-04-30 19:50:28 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de)
2025-04-30 19:50:43 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-30 19:55:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-30 19:58:50 +0200sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-04-30 19:59:32 +0200zzz(~z@user/zero) zero
2025-04-30 20:00:21 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-30 20:00:38 +0200califax(~califax@user/califx) califx
2025-04-30 20:05:46 +0200sayurc(~sayurc@169.150.203.34) sayurc
2025-04-30 20:35:11 +0200tromp(~textual@2001:1c00:3487:1b00:81f6:6a75:5fad:c9b4)
2025-04-30 20:36:11 +0200notdabs(~Owner@2600:1700:69cf:9000:fd4f:6f82:8c99:9340)
2025-04-30 20:38:05 +0200sajith_sajith
2025-04-30 20:50:12 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-30 20:54:06 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-30 20:59:09 +0200mourningdove(~mourningd@pool-99-250-12-185.cpe.net.cable.rogers.com)
2025-04-30 21:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-04-30 21:00:44 +0200caconym7(~caconym@user/caconym) caconym
2025-04-30 21:02:52 +0200mourningdove(~mourningd@pool-99-250-12-185.cpe.net.cable.rogers.com) (Changing host)
2025-04-30 21:02:52 +0200mourningdove(~mourningd@user/mourningdove) mourningdove
2025-04-30 21:05:48 +0200mourningdove(~mourningd@user/mourningdove) (Quit: Leaving)
2025-04-30 21:06:25 +0200acidjnk_new(~acidjnk@p200300d6e71c4f99080af51b38705a6b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-30 21:06:58 +0200acidjnk_new(~acidjnk@p200300d6e71c4f997dd5397a7b7bf79d.dip0.t-ipconnect.de)
2025-04-30 21:07:48 +0200mourningdove(~mourningd@user/mourningdove) mourningdove