| 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? |