| 2023-04-06 00:01:54 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-06 00:12:57 +0200 | talismanick | (~talismani@campus-074-053.ucdavis.edu) (Ping timeout: 255 seconds) |
| 2023-04-06 00:14:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-04-06 00:17:48 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 00:21:53 +0200 | AlexNoo | (~AlexNoo@94.233.240.143) (Read error: Connection reset by peer) |
| 2023-04-06 00:22:15 +0200 | AlexNoo | (~AlexNoo@94.233.240.143) |
| 2023-04-06 00:23:25 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-06 00:26:38 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-04-06 00:27:23 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 248 seconds) |
| 2023-04-06 00:30:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-06 00:31:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
| 2023-04-06 00:32:43 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-06 00:33:15 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Ping timeout: 260 seconds) |
| 2023-04-06 00:35:35 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 260 seconds) |
| 2023-04-06 00:38:44 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-04-06 00:39:43 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 00:41:45 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 255 seconds) |
| 2023-04-06 00:42:14 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-06 00:45:12 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 252 seconds) |
| 2023-04-06 00:48:39 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 00:51:15 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-06 00:55:00 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 268 seconds) |
| 2023-04-06 00:55:05 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 01:00:20 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-04-06 01:00:55 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-06 01:06:43 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 01:07:57 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-06 01:09:31 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-159-236.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-06 01:09:50 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 2023-04-06 01:09:50 +0200 | mauke_ | mauke |
| 2023-04-06 01:10:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 01:11:54 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 255 seconds) |
| 2023-04-06 01:11:57 +0200 | jpds1 | jpds |
| 2023-04-06 01:12:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 2023-04-06 01:13:31 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-04-06 01:16:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-06 01:18:49 +0200 | acidjnk | (~acidjnk@p54ad56b7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-04-06 01:23:33 +0200 | h2t | (~h2t@user/h2t) (Ping timeout: 250 seconds) |
| 2023-04-06 01:24:25 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2023-04-06 01:24:46 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2023-04-06 01:24:47 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-04-06 01:25:02 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-04-06 01:25:15 +0200 | h2t | (~h2t@user/h2t) |
| 2023-04-06 01:25:57 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 01:31:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 01:37:01 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-06 01:37:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2023-04-06 01:38:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 01:38:46 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 01:45:33 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 2023-04-06 01:46:06 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-04-06 01:49:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-06 01:49:32 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-06 01:51:45 +0200 | hnOsmium001 | hnOsmium0001 |
| 2023-04-06 01:56:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-04-06 01:58:54 +0200 | hnOsmium0001 | (~arch@user/hnOsmium0001) (Quit: WeeChat 3.8) |
| 2023-04-06 01:59:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-06 02:00:22 +0200 | hnOsmium0001 | (~weechat@user/hnOsmium0001) |
| 2023-04-06 02:01:23 +0200 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) (Quit: brb) |
| 2023-04-06 02:02:21 +0200 | hnOsmium0001 | (~weechat@user/hnOsmium0001) (Client Quit) |
| 2023-04-06 02:02:58 +0200 | hnOsmium0001 | (~hnOsmium0@user/hnOsmium0001) |
| 2023-04-06 02:05:52 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-04-06 02:06:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-06 02:06:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-06 02:06:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-06 02:11:47 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2023-04-06 02:12:41 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 02:22:11 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 02:23:48 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 268 seconds) |
| 2023-04-06 02:24:45 +0200 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |
| 2023-04-06 02:26:17 +0200 | vlad | (~vlad@2a00:23c6:9822:4c01:54cf:36b9:9edc:d58) (Quit: Leaving) |
| 2023-04-06 02:32:57 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-06 02:35:36 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-04-06 02:35:48 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-06 02:38:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-04-06 02:39:49 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-06 02:45:27 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 02:46:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-06 02:48:54 +0200 | pyook | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-04-06 02:51:07 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-06 02:53:21 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 02:58:20 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-04-06 03:06:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-06 03:06:36 +0200 | jerryzihye[m] | (~jerryzihy@2001:470:69fc:105::3:37fb) () |
| 2023-04-06 03:08:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-06 03:10:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-06 03:16:20 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-06 03:19:31 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-04-06 03:22:23 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-04-06 03:23:02 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 03:24:19 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) |
| 2023-04-06 03:24:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-04-06 03:26:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-06 03:27:30 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 03:27:55 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-04-06 03:31:59 +0200 | dipper | (~dipper@117.61.104.152) |
| 2023-04-06 03:32:43 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 276 seconds) |
| 2023-04-06 03:34:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-04-06 03:38:19 +0200 | npmania | (~Thunderbi@138.199.21.242) |
| 2023-04-06 03:41:24 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 03:43:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 03:44:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 03:46:03 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 03:46:47 +0200 | rburkholder | (~blurb@96.45.2.121) (Read error: Connection reset by peer) |
| 2023-04-06 03:47:01 +0200 | rburkholder | (~blurb@96.45.2.121) |
| 2023-04-06 03:50:26 +0200 | pyook | (~puke@user/puke) |
| 2023-04-06 03:53:00 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-04-06 04:05:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-06 04:05:23 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-06 04:05:23 +0200 | finn_elija | FinnElija |
| 2023-04-06 04:08:07 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 04:08:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
| 2023-04-06 04:09:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 04:09:33 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-06 04:16:09 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-04-06 04:16:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-06 04:16:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-04-06 04:17:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 04:22:12 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 268 seconds) |
| 2023-04-06 04:22:42 +0200 | td_ | (~td@i5387092B.versanet.de) |
| 2023-04-06 04:25:40 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 04:27:56 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 04:29:53 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-04-06 04:31:18 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit) |
| 2023-04-06 04:32:58 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-04-06 04:33:35 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 04:37:53 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 04:39:40 +0200 | slack1256 | (~slack1256@186.11.89.67) (Remote host closed the connection) |
| 2023-04-06 04:47:38 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-04-06 04:51:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 2023-04-06 04:53:49 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2023-04-06 05:00:34 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 05:04:09 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-04-06 05:05:36 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-06 05:12:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2023-04-06 05:13:42 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 05:18:21 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-06 05:18:51 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 250 seconds) |
| 2023-04-06 05:19:33 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-06 05:21:16 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2023-04-06 05:21:46 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-06 05:24:21 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-04-06 05:25:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2023-04-06 05:26:03 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-06 05:37:01 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 05:38:28 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Ping timeout: 260 seconds) |
| 2023-04-06 05:41:20 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-06 05:43:42 +0200 | bilegeek | (~bilegeek@2600:1008:b00f:d1cc:217f:c090:92db:4854) |
| 2023-04-06 05:47:41 +0200 | bilegeek | (~bilegeek@2600:1008:b00f:d1cc:217f:c090:92db:4854) (Client Quit) |
| 2023-04-06 05:47:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-06 05:51:08 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 05:52:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 05:58:06 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 255 seconds) |
| 2023-04-06 06:00:23 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 06:02:31 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 06:05:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-06 06:06:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 06:07:06 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-06 06:07:40 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 06:09:55 +0200 | tusko | (~yeurt@user/tusko) |
| 2023-04-06 06:09:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-04-06 06:10:10 +0200 | <tusko> | how to use lambdabot |
| 2023-04-06 06:10:26 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-06 06:15:57 +0200 | <ski> | > fix ((0 :) . (1 :) . (zipWith (+) `ap` tail)) |
| 2023-04-06 06:15:59 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2023-04-06 06:24:14 +0200 | xstill_ | (xstill@fimu/xstill) (Ping timeout: 246 seconds) |
| 2023-04-06 06:24:19 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Ping timeout: 256 seconds) |
| 2023-04-06 06:24:24 +0200 | xsarnik2 | (xsarnik@lounge.fi.muni.cz) |
| 2023-04-06 06:24:28 +0200 | xstill_5 | (xstill@fimu/xstill) |
| 2023-04-06 06:43:29 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 06:48:21 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-06 07:02:53 +0200 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-04-06 07:02:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 07:03:10 +0200 | pyook | (~puke@user/puke) |
| 2023-04-06 07:20:29 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-04-06 07:29:43 +0200 | tr_ev | (~trev@user/trev) |
| 2023-04-06 07:32:05 +0200 | tr_ev | trev |
| 2023-04-06 07:33:02 +0200 | trev | (~trev@user/trev) (Client Quit) |
| 2023-04-06 07:33:18 +0200 | trev | (~trev@user/trev) |
| 2023-04-06 07:34:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-06 07:40:04 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-06 07:43:56 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-06 07:51:57 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-06 08:15:07 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-04-06 08:15:11 +0200 | freeside | (~mengwong@202.161.55.11) |
| 2023-04-06 08:15:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-06 08:26:20 +0200 | michalz | (~michalz@185.246.207.193) |
| 2023-04-06 08:28:52 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
| 2023-04-06 08:30:13 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2023-04-06 08:31:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 08:34:30 +0200 | phma | (phma@2001:5b0:215a:df08:e980:5ea0:e1e6:f83b) (Ping timeout: 265 seconds) |
| 2023-04-06 08:35:51 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-06 08:36:48 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-06 08:46:03 +0200 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-06 08:46:25 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 260 seconds) |
| 2023-04-06 08:46:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
| 2023-04-06 08:47:41 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 246 seconds) |
| 2023-04-06 08:48:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-06 08:49:16 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 276 seconds) |
| 2023-04-06 08:49:16 +0200 | Sciencentistguy7 | Sciencentistguy |
| 2023-04-06 08:51:04 +0200 | MasseR46 | (thelounge@2001:bc8:47a0:1521::1) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-06 08:53:00 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-06 08:53:43 +0200 | MasseR46 | (thelounge@2001:bc8:47a0:1521::1) |
| 2023-04-06 08:54:48 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-04-06 08:59:40 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-06 09:01:38 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-04-06 09:03:49 +0200 | kenran | (~user@user/kenran) |
| 2023-04-06 09:05:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-04-06 09:07:51 +0200 | mmhat | (~mmh@p200300f1c7106e80ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-04-06 09:08:00 +0200 | mmhat | (~mmh@p200300f1c7106e80ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-04-06 09:12:23 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-06 09:16:12 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 09:17:04 +0200 | acidjnk | (~acidjnk@p200300d6e715c4569591f0067a59bcd8.dip0.t-ipconnect.de) |
| 2023-04-06 09:21:05 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 250 seconds) |
| 2023-04-06 09:21:25 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-06 09:22:02 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-04-06 09:23:06 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 2023-04-06 09:24:39 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-06 09:28:17 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) |
| 2023-04-06 09:36:31 +0200 | werneta | (~werneta@2600:1700:4819:103f:f84b:908d:f5f0:4525) (Ping timeout: 240 seconds) |
| 2023-04-06 09:37:44 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-06 09:37:55 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-04-06 09:38:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 09:38:18 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) |
| 2023-04-06 09:38:18 +0200 | edwtjo | (~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host) |
| 2023-04-06 09:38:18 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2023-04-06 09:39:07 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-06 09:39:07 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-04-06 09:45:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-06 09:45:09 +0200 | <tomsmeding> | tusko: can also use lambdabot in a pricate chat |
| 2023-04-06 09:45:56 +0200 | <witcher> | i want to write an application that passes a config type around via the `Reader` monad. since there might be some functions that use `IO` i'd use `ReaderT`, but then all of my other functions using the config become impure because they *could* do IO, which I want to avoid. what's the common solution for this problem? |
| 2023-04-06 09:47:14 +0200 | <tomsmeding> | witcher: do you have many functions that don't need IO and also don't call any functions that use IO? |
| 2023-04-06 09:47:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 2023-04-06 09:47:36 +0200 | <tomsmeding> | @unmtl Reader r a |
| 2023-04-06 09:47:37 +0200 | <lambdabot> | r -> a |
| 2023-04-06 09:47:37 +0200 | <witcher> | tomsmeding: ideally i will, yes |
| 2023-04-06 09:47:47 +0200 | <tomsmeding> | you could just add another parameter to those functions :p |
| 2023-04-06 09:48:00 +0200 | <tomsmeding> | that's really all Reader is |
| 2023-04-06 09:48:25 +0200 | <witcher> | i could, but i assumed it's more idiomatic to use a reader monad instead |
| 2023-04-06 09:48:31 +0200 | swistak | (~swistak@185.21.216.141) |
| 2023-04-06 09:48:38 +0200 | <witcher> | my professor in uni kept praising the reader monad for that exact use case |
| 2023-04-06 09:48:45 +0200 | <tomsmeding> | but I guess it isn't hard to write a 'Reader r a -> ReaderT r IO a' lifting function |
| 2023-04-06 09:49:09 +0200 | <Hecate> | witcher: so, you're encountering the issue that led to the development of more granular ways to track your effects |
| 2023-04-06 09:50:00 +0200 | <Hecate> | witcher: let me introduce you to a better way than rigid stacks of transformers: https://hackage.haskell.org/package/effectful-core-2.2.2.2/docs/Effectful.html |
| 2023-04-06 09:50:03 +0200 | <Hecate> | :> |
| 2023-04-06 09:50:21 +0200 | <witcher> | Hecate: aha, I'll have a look. thanks! |
| 2023-04-06 09:50:32 +0200 | <witcher> | tomsmeding: will keep this in mind, thank you! |
| 2023-04-06 09:50:37 +0200 | <tomsmeding> | % import Control.Monad.Reader |
| 2023-04-06 09:50:37 +0200 | <yahb2> | <no output> |
| 2023-04-06 09:50:40 +0200 | <tomsmeding> | % :t \m -> ReaderT (return . runReader m) |
| 2023-04-06 09:50:40 +0200 | <yahb2> | \m -> ReaderT (return . runReader m) ; :: forall {m :: * -> *} {r} {a}. ; Monad m => ; Reader r a -> ReaderT r m a |
| 2023-04-06 09:50:50 +0200 | <tomsmeding> | yeah or go all algebraic effects, that's also cool :p |
| 2023-04-06 09:51:37 +0200 | <tomsmeding> | I'm not sure I like the reader monad for config; it makes all your code monadic for no good reason IMO |
| 2023-04-06 09:51:52 +0200 | <tomsmeding> | but if you have other effects around as well and so can't really drop the monadic style anyway, then it's very nice |
| 2023-04-06 09:52:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 246 seconds) |
| 2023-04-06 09:52:47 +0200 | <witcher> | I assume you would just pass it around as a parameter? |
| 2023-04-06 09:52:53 +0200 | <witcher> | the config that is |
| 2023-04-06 09:52:57 +0200 | <tomsmeding> | if there's no other reason to make the code monadic, yes |
| 2023-04-06 09:53:00 +0200 | freeside | (~mengwong@202.161.55.11) (Ping timeout: 255 seconds) |
| 2023-04-06 09:53:39 +0200 | <tomsmeding> | % :t ReaderT . (return .) . runReader |
| 2023-04-06 09:53:39 +0200 | <yahb2> | ReaderT . (return .) . runReader ; :: forall {m :: * -> *} {r} {a}. ; Monad m => ; Reader r a -> ReaderT r m a |
| 2023-04-06 09:54:15 +0200 | <Hecate> | heavens |
| 2023-04-06 09:54:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-06 09:56:49 +0200 | <witcher> | also, i fear i might get lost in thinking about side effects while trying to write my first actual real world application |
| 2023-04-06 09:57:05 +0200 | <witcher> | you know, besides programming a huffmann tree |
| 2023-04-06 09:59:49 +0200 | <tomsmeding> | honestly I'd apply the same tradeoff reasoning to algebraic effects -- if you're going to have many functions that require just a reader effect, just pass in the things as parameters and forgo monadic style altogether |
| 2023-04-06 09:59:57 +0200 | <tomsmeding> | but this is a very subjective point |
| 2023-04-06 10:01:11 +0200 | <tomsmeding> | alg. effects shine when you have a bunch of different side-effects, all of which you need at different places: database access, config file access, general file system access, a certain network API, randomness, etc. |
| 2023-04-06 10:03:16 +0200 | freeside | (~mengwong@202.161.55.11) |
| 2023-04-06 10:04:42 +0200 | <Hecate> | witcher: https://play.haskell.org/saved/iFw8FRcs |
| 2023-04-06 10:06:41 +0200 | <Hecate> | witcher: if you want to see those in practice, check out https://fosdem.org/2023/schedule/event/haskell_web_app_architecture_flora/ |
| 2023-04-06 10:08:59 +0200 | <witcher> | tomsmeding: i'll think about it. it'll probably make my life easier in the beginning |
| 2023-04-06 10:09:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3faf:4fc:3166:7b21) |
| 2023-04-06 10:09:50 +0200 | <witcher> | Hecate: looks confusing :p |
| 2023-04-06 10:09:55 +0200 | <Hecate> | witcher: damnit :D |
| 2023-04-06 10:09:56 +0200 | <witcher> | i'll have a look at the fosdem talk |
| 2023-04-06 10:10:24 +0200 | <witcher> | don't get me wrong, this seems to be exactly what i'm looking for! |
| 2023-04-06 10:10:43 +0200 | <tomsmeding> | it is certainly the (to us) obvious generalisation of what you're looking for |
| 2023-04-06 10:10:49 +0200 | <witcher> | i've already stopped learning haskell once because i added too much complexity in the beginning |
| 2023-04-06 10:10:58 +0200 | <witcher> | i'm trying to avoid making the same mistake again :p |
| 2023-04-06 10:10:58 +0200 | <tomsmeding> | though I suspect it may be overkill for your current usecase |
| 2023-04-06 10:10:59 +0200 | nschoe | (~q@2a01:e0a:8e:a190:b9d2:b12b:eea:d602) |
| 2023-04-06 10:11:13 +0200 | <tomsmeding> | not that you can't use it anyway as a learning opportunity, but that's a choice |
| 2023-04-06 10:11:32 +0200 | <witcher> | of course! but one step at a time :) |
| 2023-04-06 10:11:39 +0200 | <Hecate> | yes :) |
| 2023-04-06 10:11:41 +0200 | <Hecate> | baby steps |
| 2023-04-06 10:11:56 +0200 | <Hecate> | personally I had an application that was full transformers with no granularity at all |
| 2023-04-06 10:12:12 +0200 | <Hecate> | (then I found salvation and effectful, but that's part 2 of my story) |
| 2023-04-06 10:12:14 +0200 | <witcher> | Hecate: oh you were the speaker. i'll definitely give it a watch then :) |
| 2023-04-06 10:12:49 +0200 | <witcher> | it's definitely going to be usecul since i have been thinking about programming a web application the past few days that i ideally want to realise with haskell |
| 2023-04-06 10:12:52 +0200 | <Hecate> | witcher: eh, judge the quality of the talk, not the flesh-covered skeleton that moves on stage :P |
| 2023-04-06 10:13:21 +0200 | <witcher> | Hecate: will do, don't worry :) |
| 2023-04-06 10:14:50 +0200 | <witcher> | the web application actually the reason i'm trying to push myself to learn more haskell to be productive |
| 2023-04-06 10:17:33 +0200 | <Hecate> | witcher: it is really a delightful language for backend development |
| 2023-04-06 10:21:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-04-06 10:23:26 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 2023-04-06 10:25:42 +0200 | nschoe | (~q@2a01:e0a:8e:a190:b9d2:b12b:eea:d602) (Ping timeout: 265 seconds) |
| 2023-04-06 10:27:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 10:28:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 10:31:42 +0200 | tusko | (~yeurt@user/tusko) (Remote host closed the connection) |
| 2023-04-06 10:32:12 +0200 | tusko | (~yeurt@user/tusko) |
| 2023-04-06 10:34:15 +0200 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2023-04-06 10:35:29 +0200 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-04-06 10:36:54 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 10:38:00 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 10:38:57 +0200 | <kuribas> | How do higher kinded types correspond to the lambda cube? |
| 2023-04-06 10:39:02 +0200 | <kenran> | I was just hoping to ask a vague "question" about algebraic effects and there's already an ongoing discussion, nice! |
| 2023-04-06 10:39:12 +0200 | acidjnk | (~acidjnk@p200300d6e715c4569591f0067a59bcd8.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2023-04-06 10:39:36 +0200 | <kuribas> | You can have Types depending on Types, however (Type -> Type) is not a type... |
| 2023-04-06 10:40:33 +0200 | <kuribas> | I suppose haskell doesn't fit into the lambda cube? |
| 2023-04-06 10:41:25 +0200 | <Hecate> | kenran: do! do ask! |
| 2023-04-06 10:41:54 +0200 | <Hecate> | (https://www.youtube.com/watch?v=W3q8Od5qJio ) |
| 2023-04-06 10:42:37 +0200 | <kenran> | I was wondering how/if (or if you can point me to resources on how) you reduce "friction" when working with effects but also having a somewhat concurrent application. That is, there's a web server in my case (or multiple) that use effects (polysemy) in their transformation when hoisting, for instance interacting with some "store". 1/n |
| 2023-04-06 10:44:09 +0200 | akegalj | (~akegalj@210-223.dsl.iskon.hr) |
| 2023-04-06 10:44:52 +0200 | <kuribas> | kenran: I don't have much experience with polysemy, but the idea of effect systems is to abstract over effects, so you have mostly pure functions. They make concurrency much easier since you don't have to worry about mutable structures. |
| 2023-04-06 10:45:03 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:9c68:6672:1252:446) () |
| 2023-04-06 10:45:15 +0200 | <kuribas> | kenran: For example, you can update an MVar containing an immutable structure, which means you don't have conflicts. |
| 2023-04-06 10:45:18 +0200 | <kenran> | Now there are some concurrent processes that supervise other stuff, like running system processes producing result, but that also need to react with the store (and use other effects the server also uses). So I need lots of combinations of interpreter functions, and I feel like trying to have certain common combinations of interpreters as functions always produces lots of "visually heavy" code, and also doesn't react well when I _do_ |
| 2023-04-06 10:45:19 +0200 | <kenran> | have to change these |
| 2023-04-06 10:45:49 +0200 | <[Leary]> | kuribas: `Type -> Type` kinded things are types, they just aren't `Type`s. |
| 2023-04-06 10:46:48 +0200 | <kuribas> | [Leary]: aren't Types supposed to be inhabitable? |
| 2023-04-06 10:47:29 +0200 | <kenran> | In essence, I have lots of "little entry points", that is, "just IO", where I very often have to chain interpreter functions, and I guess I'm looking for examples of how this is best structured/factored |
| 2023-04-06 10:48:00 +0200 | <kuribas> | kenran: what do you mean with interpreter functions? |
| 2023-04-06 10:48:04 +0200 | <kenran> | I often find myself annoyed at working with it -- but on the other hand I can only imagine that doing this mtl-style would be even worse |
| 2023-04-06 10:49:05 +0200 | <kenran> | kuribas: with polysemy (and I guess effectful and others as well) you have to get from your effect "set" to IO somehow in the end. The interpreter functions peel away (usually) one effect at a time, or re-interpret it into other ones |
| 2023-04-06 10:49:06 +0200 | <Hecate> | kenran: have you ever read Servant code? |
| 2023-04-06 10:49:12 +0200 | <Hecate> | (code that makes use of Servant) |
| 2023-04-06 10:49:30 +0200 | <kenran> | Hecate: the server I mention is using servant :) |
| 2023-04-06 10:49:34 +0200 | <Hecate> | kenran: https://github.com/flora-pm/flora-server/ |
| 2023-04-06 10:49:36 +0200 | <Hecate> | have fun |
| 2023-04-06 10:50:23 +0200 | <[Leary]> | kuribas: Not really. Sometimes "type" /is/ used to mean a `Type` (even in GHC error messages, unfortunately), but more broadly a type is any type-level entity, i.e. anything with a kind. |
| 2023-04-06 10:50:28 +0200 | <kenran> | Hecate: ah nice, it's a flake. I always love that, being able to get started quickly :) |
| 2023-04-06 10:50:42 +0200 | <Hecate> | kenran: I can't guarantee it works, I have no nix expertise |
| 2023-04-06 10:51:03 +0200 | <Hecate> | kenran: You want to start at Server.hs |
| 2023-04-06 10:52:11 +0200 | <TheMatten[m]> | kenran: I don't think you can reasonably avoid separate "entry points" if they simply happen in different places and are independent |
| 2023-04-06 10:52:11 +0200 | <TheMatten[m]> | But you may be able to recognize some common set of effects they use - then you could create type synonym for list of those and write interpreter that processes these at once |
| 2023-04-06 10:52:19 +0200 | <kenran> | Hecate: oh right, I remember you tweeting angrily avoid it iirc :D |
| 2023-04-06 10:52:24 +0200 | <kenran> | about* |
| 2023-04-06 10:52:26 +0200 | <kuribas> | [Leary]: right, but that doesn't correspond to the lambda cube or type theory, does it? |
| 2023-04-06 10:52:39 +0200 | <kuribas> | [Leary]: it is specific haskell terminology. |
| 2023-04-06 10:53:03 +0200 | <TheMatten[m]> | BTW, if you have questions about polysemy in general, there's official channel over at funprog.zulipchat.com |
| 2023-04-06 10:53:12 +0200 | <Hecate> | kenran: and I stopped tweeting about it because I let the experts/poor souls to deal with it :) |
| 2023-04-06 10:54:10 +0200 | <kenran> | TheMatten[m]: yeah exactly, this is what I'm doing right now, but now that I'm refactoring stuff the synonyms are quite "annoying" to deal with. But I feared that I couldn't really avoid it. It just _looks_ so convenient when using servant, as it enables you to write this natural transformation once (but also maybe losing some granularity there I guess) |
| 2023-04-06 10:54:51 +0200 | <kenran> | TheMatten[m]: cool, I didn't know that! (polysemy itself is not much of an issue anymore though. If I'd start anew I'd probably take effectful for a spin now) |
| 2023-04-06 10:55:14 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-04-06 10:55:38 +0200 | <kenran> | Hecate: thanks for the link, that looks like it not only will probably answer my question, but rather show me how you structure an application with effects (on the module level), which I was also always wondering about :) |
| 2023-04-06 10:56:22 +0200 | <TheMatten[m]> | kenran: Yeah, you'll have to pick one from granularity and convenience, I don't think there's way around it (in any effect system) |
| 2023-04-06 10:56:28 +0200 | <Hecate> | kenran: happy to be helpful, Flora's purpose is not only to be a nice website but to also help for teaching :) |
| 2023-04-06 10:57:12 +0200 | <kenran> | if only there were more time... that code base looks so nice, I'd love to get into that |
| 2023-04-06 10:57:47 +0200 | <kenran> | is that the "new" record dot syntax that I'm seeing there? (I'm still forced to live with GHC 8.10) |
| 2023-04-06 10:58:13 +0200 | <TheMatten[m]> | kenran: (There're some developments under way in Polysemy that will simplify higher-order interface and make it more powerful, maybe you can give it one more try later on 😉) |
| 2023-04-06 10:58:46 +0200 | <[Leary]> | kuribas: The confusion extends beyond Haskell, neither use of "type" is specific to us. I'm pretty sure lambda cube calculi (such as System F_omega, which Haskell roughly corresponds to) can bind "higher kinded" types. |
| 2023-04-06 10:58:58 +0200 | <kenran> | TheMatten[m]: oh, I didn't want to sound "annoyed" at it. What I meant was that I'd like to try something else to get a good overview. We're using it in production for nearly 2 years now and that won't change |
| 2023-04-06 10:59:11 +0200 | <kenran> | and we're generally happy with it :) |
| 2023-04-06 11:00:06 +0200 | Quinten[m] | (~quintenkd@2001:470:69fc:105::3:1b1c) (Quit: You have been kicked for being idle) |
| 2023-04-06 11:02:00 +0200 | <TheMatten[m]> | kenran: Haha, no problem, sounds good |
| 2023-04-06 11:02:23 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Remote host closed the connection) |
| 2023-04-06 11:02:24 +0200 | <kuribas> | [Leary]: I see, thanks |
| 2023-04-06 11:02:46 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-06 11:02:57 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-06 11:03:11 +0200 | <TheMatten[m]> | kenran: That's great to hear |
| 2023-04-06 11:10:05 +0200 | acidjnk | (~acidjnk@p200300d6e715c456158a400644be7cd5.dip0.t-ipconnect.de) |
| 2023-04-06 11:10:32 +0200 | <Hecate> | kenran: if you want I can onboard you to the codebase, I'm free for a call |
| 2023-04-06 11:12:32 +0200 | <kenran> | Hecate: I'd love to, but I'm at work right now and that would be straining my leeway a bit too much ^^" |
| 2023-04-06 11:13:49 +0200 | <Hecate> | kenran: hehe, no worries :) |
| 2023-04-06 11:14:02 +0200 | <Hecate> | kenran: don't hesitate to ask questions about the codebase though, always happy to answer! |
| 2023-04-06 11:18:47 +0200 | <kenran> | Hecate: cool! I've just forked it to try some stuff out when I have time, but I immediately ran into a (nix) error. Could you tell me what horizon-platform is? Their gitlab at https://gitlab.homotopic.tech/ seems to be down |
| 2023-04-06 11:20:45 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-04-06 11:20:46 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 255 seconds) |
| 2023-04-06 11:23:12 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-06 11:24:02 +0200 | <Hecate> | kenran: Horizon is https://horizon-haskell.net/ |
| 2023-04-06 11:24:45 +0200 | <Hecate> | kenran: Dan Firth is reachable at the links present at the bottom of the page, don't hesitate to reach him out |
| 2023-04-06 11:27:33 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-06 11:28:41 +0200 | <kenran> | Hecate: thanks, it's doing something now! |
| 2023-04-06 11:31:17 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-04-06 11:36:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-06 11:38:55 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 2023-04-06 11:39:11 +0200 | chanceyan | (~chanceyan@user/chanceyan) |
| 2023-04-06 11:39:23 +0200 | <carbolymer> | I have -Werror in ghc-options in cabal.project and -Wwarn in cabal.project.local - so -Wwarn should take precedence, right? |
| 2023-04-06 11:40:07 +0200 | <geekosaur> | I would expect it to, but I'd probably use -v3 to verify |
| 2023-04-06 11:42:22 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-06 11:42:57 +0200 | <carbolymer> | -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -Wunused-packages -hide-all-packages -fob |
| 2023-04-06 11:42:57 +0200 | <carbolymer> | ject-code -freverse-errors -Wwarn -Werror |
| 2023-04-06 11:43:10 +0200 | <geekosaur> | uh |
| 2023-04-06 11:43:12 +0200 | <carbolymer> | they're both there and -Werror is last |
| 2023-04-06 11:43:35 +0200 | <carbolymer> | so I guess it wins |
| 2023-04-06 11:44:19 +0200 | <carbolymer> | how can I disable it? ghc docs say that -Wwarn should work, but I guess not in this case... |
| 2023-04-06 11:44:30 +0200 | <geekosaur> | I'd toss that one at #hackage tbh |
| 2023-04-06 11:45:18 +0200 | <carbolymer> | I'll try there, thanks |
| 2023-04-06 11:47:52 +0200 | chanceyan | (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 2023-04-06 11:49:49 +0200 | <ncf> | kuribas: assuming * : □, you can derive (* → *) : □ and thus (* → *) → * : □ |
| 2023-04-06 11:49:59 +0200 | <ncf> | see https://en.wikipedia.org/wiki/Lambda_cube#Formal_definition |
| 2023-04-06 12:00:13 +0200 | motherfsck | (~motherfsc@user/motherfsck) (K-Lined) |
| 2023-04-06 12:00:24 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 12:01:41 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 12:04:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-159-236.46.114.pool.telefonica.de) |
| 2023-04-06 12:05:37 +0200 | <kuribas> | ncf: thanks |
| 2023-04-06 12:08:12 +0200 | Square | (~Square4@user/square) |
| 2023-04-06 12:10:04 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 2023-04-06 12:17:16 +0200 | xsarnik2 | xsarnik |
| 2023-04-06 12:17:27 +0200 | Clint | (~Clint@user/clint) (Ping timeout: 250 seconds) |
| 2023-04-06 12:17:28 +0200 | nisstyre | (wes@user/nisstyre) (Ping timeout: 252 seconds) |
| 2023-04-06 12:17:37 +0200 | Clint | (~Clint@user/clint) |
| 2023-04-06 12:17:53 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 250 seconds) |
| 2023-04-06 12:17:54 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 250 seconds) |
| 2023-04-06 12:18:06 +0200 | dfg | (~dfg@dfg.rocks) |
| 2023-04-06 12:18:06 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-04-06 12:18:06 +0200 | dfg | (~dfg@user/dfg) |
| 2023-04-06 12:18:51 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-04-06 12:19:02 +0200 | nisstyre | (wes@user/nisstyre) |
| 2023-04-06 12:20:55 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-04-06 12:21:43 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-06 12:24:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-04-06 12:24:48 +0200 | freeside | (~mengwong@202.161.55.11) (Ping timeout: 252 seconds) |
| 2023-04-06 12:28:28 +0200 | vglfr | (~vglfr@88.155.38.111) (Ping timeout: 265 seconds) |
| 2023-04-06 12:35:23 +0200 | <ncf> | just spent way too long rifling through my bookmarks to find this amazing website https://crypto.stanford.edu/~blynn/lambda/pts.html |
| 2023-04-06 12:46:12 +0200 | Guest|59 | (~Guest|59@114-37-197-26.dynamic-ip.hinet.net) |
| 2023-04-06 12:54:50 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 12:58:58 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-04-06 13:00:13 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-06 13:01:10 +0200 | <jackdk> | Strange question, but maybe one of you reads similar posts to me. I'm trying to find a blog post about forgotten tools from software engineering research. I remember it talking about rather clever tools (most written in java) that have bitrotted and how much of a shame that it was. One was a tool that did a sort of search starting from the data types you had, looking for the data types you wanted, and they had research showing that it worked well. |
| 2023-04-06 13:01:44 +0200 | <jackdk> | Does this ring a bell for anyone? I feel like it would have been written by someone like Sandy Maguire or Hillel Wayne, but I can't find it on their websites, and my search-fu is failing me. |
| 2023-04-06 13:03:30 +0200 | <Hecate> | I do recall Vanessa asking about forgotten Haskell tools |
| 2023-04-06 13:04:13 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-06 13:04:27 +0200 | <Hecate> | jackdk: was it published before covid? |
| 2023-04-06 13:04:50 +0200 | <jackdk> | 2019 feels right, but it's a low-confidence feeling |
| 2023-04-06 13:17:43 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 13:19:15 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-06 13:21:04 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:f43c:a9e1:5195:3fd4) |
| 2023-04-06 13:21:53 +0200 | mesaoptimizer | (34cef275bb@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2023-04-06 13:22:02 +0200 | mesaoptimizer | (34cef275bb@198.108.77.94) |
| 2023-04-06 13:22:20 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-04-06 13:22:22 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2023-04-06 13:22:46 +0200 | mesaoptimizer | mesaoptimizer|no |
| 2023-04-06 13:23:08 +0200 | mesaoptimizer|no | mesaoptimizer|dn |
| 2023-04-06 13:23:24 +0200 | mesaoptimizer0 | mesaoptimizer |
| 2023-04-06 13:24:19 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-06 13:29:01 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-04-06 13:29:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-06 13:32:38 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 252 seconds) |
| 2023-04-06 13:34:56 +0200 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 248 seconds) |
| 2023-04-06 13:35:02 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:fb5f:6c8:ee87:5310) (Ping timeout: 246 seconds) |
| 2023-04-06 13:37:34 +0200 | Guest|59 | (~Guest|59@114-37-197-26.dynamic-ip.hinet.net) (Quit: Connection closed) |
| 2023-04-06 13:40:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-06 13:41:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-06 13:43:59 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
| 2023-04-06 13:50:56 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Quit: zzz) |
| 2023-04-06 13:51:17 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2023-04-06 14:02:17 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) () |
| 2023-04-06 14:07:28 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-04-06 14:08:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-04-06 14:10:04 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-06 14:22:15 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-06 14:23:17 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-06 14:23:27 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 14:27:50 +0200 | dextaa | (~DV@user/dextaa) |
| 2023-04-06 14:28:22 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-06 14:28:44 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d4f1:5756:cd71:d4c) |
| 2023-04-06 14:34:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-04-06 14:34:37 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds) |
| 2023-04-06 14:50:49 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-06 14:52:25 +0200 | crazazy | (~user@130.89.171.62) |
| 2023-04-06 14:52:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 2023-04-06 14:56:45 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-06 14:56:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 252 seconds) |
| 2023-04-06 15:00:16 +0200 | acidjnk | (~acidjnk@p200300d6e715c456158a400644be7cd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-06 15:01:42 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) |
| 2023-04-06 15:03:26 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
| 2023-04-06 15:07:48 +0200 | dipper_ | (~dipper@117.61.104.152) |
| 2023-04-06 15:08:30 +0200 | dipper | (~dipper@117.61.104.152) (Ping timeout: 260 seconds) |
| 2023-04-06 15:11:23 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-04-06 15:12:01 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Client Quit) |
| 2023-04-06 15:15:07 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 250 seconds) |
| 2023-04-06 15:23:18 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-04-06 15:34:23 +0200 | noctux | (~noctux@user/noctux) (Ping timeout: 246 seconds) |
| 2023-04-06 15:34:31 +0200 | noctux | (~noctux@user/noctux) |
| 2023-04-06 15:36:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-06 15:36:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-06 15:36:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-06 15:39:09 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 15:40:16 +0200 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) |
| 2023-04-06 15:43:03 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-04-06 15:45:29 +0200 | mei | (~mei@user/mei) |
| 2023-04-06 15:48:59 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-159-236.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-06 15:55:20 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-04-06 15:56:03 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-06 16:00:38 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-04-06 16:01:31 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 2023-04-06 16:01:41 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-06 16:02:25 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-04-06 16:03:04 +0200 | mei | (~mei@user/mei) |
| 2023-04-06 16:03:48 +0200 | vglfr | (~vglfr@88.155.38.111) (Ping timeout: 255 seconds) |
| 2023-04-06 16:05:02 +0200 | acidjnk | (~acidjnk@p200300d6e715c456dce25f8032f84f0b.dip0.t-ipconnect.de) |
| 2023-04-06 16:15:20 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 16:17:54 +0200 | Volt_ | (~Volt_@c-73-167-118-200.hsd1.ma.comcast.net) (Quit: ) |
| 2023-04-06 16:19:57 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-04-06 16:20:55 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 265 seconds) |
| 2023-04-06 16:23:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:875d:6d45:375d:580d) |
| 2023-04-06 16:23:51 +0200 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-04-06 16:24:10 +0200 | vglfr | (~vglfr@88.155.38.111) (Read error: Connection reset by peer) |
| 2023-04-06 16:24:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3faf:4fc:3166:7b21) (Quit: WeeChat 2.8) |
| 2023-04-06 16:25:16 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 16:26:45 +0200 | dipper_ | (~dipper@117.61.104.152) (Remote host closed the connection) |
| 2023-04-06 16:27:12 +0200 | dipper_ | (~dipper@117.61.104.152) |
| 2023-04-06 16:28:50 +0200 | vglfr | (~vglfr@88.155.38.111) (Read error: Connection reset by peer) |
| 2023-04-06 16:29:03 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 16:29:36 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-06 16:31:15 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-04-06 16:31:36 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 16:33:02 +0200 | aliosablack | (~chomwitt@ppp-94-67-189-62.home.otenet.gr) |
| 2023-04-06 16:34:19 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-06 16:34:51 +0200 | chomwitt | (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2023-04-06 16:34:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-06 16:35:27 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 16:38:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-06 16:40:11 +0200 | vglfr | (~vglfr@88.155.38.111) (Ping timeout: 248 seconds) |
| 2023-04-06 16:40:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 2023-04-06 16:40:43 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-06 16:40:58 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 16:41:10 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 16:42:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-06 16:44:14 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-04-06 16:44:59 +0200 | crazazy | (~user@130.89.171.62) (Ping timeout: 248 seconds) |
| 2023-04-06 16:46:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 252 seconds) |
| 2023-04-06 16:50:15 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 16:52:38 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-06 16:54:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 16:59:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 252 seconds) |
| 2023-04-06 17:00:44 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 17:02:22 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 17:03:31 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 2023-04-06 17:05:46 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-06 17:07:46 +0200 | vglfr | (~vglfr@88.155.38.111) (Read error: Connection reset by peer) |
| 2023-04-06 17:08:03 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 17:09:47 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 17:12:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 17:15:57 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 246 seconds) |
| 2023-04-06 17:16:14 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 17:16:53 +0200 | JScript | (~JScript@103.137.12.220) (Ping timeout: 250 seconds) |
| 2023-04-06 17:17:00 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-06 17:17:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 17:18:10 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 17:19:15 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 17:19:27 +0200 | JScript | (~JScript@103.137.12.220) |
| 2023-04-06 17:19:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-06 17:23:34 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 17:24:03 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2023-04-06 17:24:58 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 17:28:28 +0200 | califax | (~califax@user/califx) |
| 2023-04-06 17:29:51 +0200 | phma | (phma@2001:5b0:2172:ce28:ab20:59d:e6d5:b2fb) |
| 2023-04-06 17:30:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 17:30:42 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-04-06 17:32:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-04-06 17:32:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-06 17:33:27 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-04-06 17:33:32 +0200 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2023-04-06 17:36:50 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 17:37:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-06 17:38:36 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 17:40:06 +0200 | dipper_ | (~dipper@117.61.104.152) (Ping timeout: 255 seconds) |
| 2023-04-06 17:43:07 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 17:45:30 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 2023-04-06 17:47:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-06 17:53:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 17:55:33 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-06 17:59:49 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 18:02:31 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-04-06 18:04:19 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-06 18:12:33 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) |
| 2023-04-06 18:12:57 +0200 | <vglfr> | Hey guys, how do I make trifecta's Unlined work? `parseString integer mempty "1 \n"` wants `Parser a` while `Unlined integer` produces `Unlined Parser a` so I'm assuming it needs to be flipped somehow to `Parser Unlined a`? https://hackage.haskell.org/package/parsers-0.12.10/docs/Text-Parser-Token.html#t:Unlined |
| 2023-04-06 18:13:03 +0200 | myco | (~myco@24-116-167-217.cpe.sparklight.net) |
| 2023-04-06 18:13:26 +0200 | Guest42 | (~Guest42@49.156.73.140) |
| 2023-04-06 18:15:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 18:15:56 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 2023-04-06 18:16:55 +0200 | Guest42 | (~Guest42@49.156.73.140) (Client Quit) |
| 2023-04-06 18:18:24 +0200 | bgamari | (~bgamari@64.223.175.233) (Ping timeout: 265 seconds) |
| 2023-04-06 18:18:25 +0200 | vglfr | (~vglfr@88.155.38.111) (Read error: Connection reset by peer) |
| 2023-04-06 18:18:43 +0200 | bgamari | (~bgamari@64.223.175.103) |
| 2023-04-06 18:19:10 +0200 | vglfr | (~vglfr@88.155.38.111) |
| 2023-04-06 18:19:19 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 276 seconds) |
| 2023-04-06 18:20:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-04-06 18:21:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:875d:6d45:375d:580d) (Ping timeout: 246 seconds) |
| 2023-04-06 18:22:22 +0200 | <ncf> | vglfr: parseString (runUnlined integer) mempty "1 \n" ? |
| 2023-04-06 18:23:40 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-06 18:23:56 +0200 | <ncf> | Success 1 |
| 2023-04-06 18:26:31 +0200 | <vglfr> | ncf: works, many thanks! |
| 2023-04-06 18:31:48 +0200 | econo | (uid147250@user/econo) |
| 2023-04-06 18:34:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-06 18:35:09 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 18:39:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-06 18:39:45 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-06 18:44:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 18:48:22 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 265 seconds) |
| 2023-04-06 18:55:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 18:55:10 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-06 18:57:47 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-06 18:59:27 +0200 | bgamari | (~bgamari@64.223.175.103) (Ping timeout: 265 seconds) |
| 2023-04-06 19:00:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Max SendQ exceeded) |
| 2023-04-06 19:00:24 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 19:00:44 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-04-06 19:01:03 +0200 | bgamari | (~bgamari@64.223.233.113) |
| 2023-04-06 19:01:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-06 19:04:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-06 19:05:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 19:15:23 +0200 | myco | (~myco@24-116-167-217.cpe.sparklight.net) (Ping timeout: 248 seconds) |
| 2023-04-06 19:15:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-04-06 19:18:05 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 19:22:39 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 265 seconds) |
| 2023-04-06 19:22:48 +0200 | <integral> | jackdk: https://www.pathsensitive.com/2021/03/developer-tools-can-be-magic-instead.html ? |
| 2023-04-06 19:23:16 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 19:25:01 +0200 | nschoe | (~q@2a01:e0a:8e:a190:a9e1:9e08:69e3:fe6d) |
| 2023-04-06 19:27:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-06 19:27:54 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 19:29:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 19:30:59 +0200 | nschoe | (~q@2a01:e0a:8e:a190:a9e1:9e08:69e3:fe6d) (Ping timeout: 246 seconds) |
| 2023-04-06 19:36:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-06 19:37:02 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-04-06 19:41:31 +0200 | briandaed | (~briandaed@185.234.210.211) (Ping timeout: 248 seconds) |
| 2023-04-06 19:43:21 +0200 | shapr | hops cheerfully |
| 2023-04-06 19:45:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 19:50:21 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 19:54:52 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 276 seconds) |
| 2023-04-06 19:59:51 +0200 | ph88 | (~ph88@91.66.101.83) |
| 2023-04-06 20:02:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-06 20:04:44 +0200 | ph88 | (~ph88@91.66.101.83) (Client Quit) |
| 2023-04-06 20:07:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 20:09:11 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 20:10:30 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2023-04-06 20:11:01 +0200 | y04nn | (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 240 seconds) |
| 2023-04-06 20:12:13 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-04-06 20:12:36 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 20:17:09 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-06 20:18:12 +0200 | <sm> | g'day all |
| 2023-04-06 20:18:55 +0200 | <Hecate> | hey hey |
| 2023-04-06 20:19:29 +0200 | <mon_aaraj> | hello fungis and fungirls |
| 2023-04-06 20:19:39 +0200 | <mon_aaraj> | and funnbs |
| 2023-04-06 20:19:43 +0200 | <Hecate> | mon_aaraj: ouh, nice intro :) |
| 2023-04-06 20:19:58 +0200 | <sm> | In addition to the pleasantries, I have a boring question about setEnv.. I think it sets the variable in your program's process environment, so it will be visible to all subsequently evaluated IO code until program ends ? |
| 2023-04-06 20:19:58 +0200 | <sm> | https://hackage.haskell.org/package/base-4.18.0.0/docs/System-Environment.html#v:setEnv |
| 2023-04-06 20:20:32 +0200 | sm | was looking for a transient locally-scoped withEnvironment |
| 2023-04-06 20:20:36 +0200 | <Hecate> | sm: can you reproduce this on the playground? |
| 2023-04-06 20:20:49 +0200 | <Hecate> | hmm, are you looking for a Reader monad? :P |
| 2023-04-06 20:21:33 +0200 | <sm> | no I need to set an environment variable before running an external program (LESS=R, for less) |
| 2023-04-06 20:21:53 +0200 | <ncf> | you can invoke less with an extended environment |
| 2023-04-06 20:22:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 20:23:09 +0200 | <sm> | oh I could use less's command line flags, true. Except I'm not (shouldn't be) running less directly, but rather user's $PAGER |
| 2023-04-06 20:23:50 +0200 | <ncf> | then you probably also want to respect the user's LESS? |
| 2023-04-06 20:24:17 +0200 | <sm> | via https://hackage.haskell.org/package/pager-0.1.1.0/docs/System-Pager.html#v:printOrPage |
| 2023-04-06 20:24:32 +0200 | <sm> | yes, except that I want to override R for displaying some built-in help (either forcing it off or on, I'm not sure yet) |
| 2023-04-06 20:24:44 +0200 | <sm> | context: https://github.com/simonmichael/hledger/issues/2015 |
| 2023-04-06 20:25:58 +0200 | <sm> | or perhaps I need to give up on the idea of using ANSI at all in paged output, as I'll never get it robust ? |
| 2023-04-06 20:26:24 +0200 | <geekosaur> | most programs just check if the output is a terminal and disable ANSI sequences if not |
| 2023-04-06 20:26:41 +0200 | <geekosaur> | because indeed there's no way to do it robustly |
| 2023-04-06 20:26:46 +0200 | <sm> | yes I'm doing that |
| 2023-04-06 20:26:57 +0200 | <sm> | this is definitely a terminal, but with unknown pager setup |
| 2023-04-06 20:27:31 +0200 | <geekosaur> | outputting to a pager is definitely not outputting to a terminal |
| 2023-04-06 20:27:39 +0200 | <sm> | it's a pity, because paged long output with bold headings is really better when it works |
| 2023-04-06 20:27:40 +0200 | <geekosaur> | and I've found -R to be buggy |
| 2023-04-06 20:27:54 +0200 | <geekosaur> | breaks with line wrapping for example |
| 2023-04-06 20:28:55 +0200 | <sm> | perhaps it must be configurable via program-specific env var then. Without tripping over the already complicated NO_COLOR/--color semantics.. |
| 2023-04-06 20:29:03 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Quit: Leaving) |
| 2023-04-06 20:30:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-06 20:31:55 +0200 | kenran | (~user@user/kenran) |
| 2023-04-06 20:31:58 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 2023-04-06 20:34:11 +0200 | <ph88> | is it possile to see the generated code by deriving somewhere ? |
| 2023-04-06 20:34:44 +0200 | <geekosaur> | -ddump-deriv |
| 2023-04-06 20:34:50 +0200 | <ph88> | thanks :) |
| 2023-04-06 20:35:47 +0200 | <geekosaur> | with cabal or stack you then have to search for a file foo.dump-deriv |
| 2023-04-06 20:38:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-04-06 20:38:45 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-06 20:43:10 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-159-236.46.114.pool.telefonica.de) |
| 2023-04-06 20:46:50 +0200 | talismanick | (~talismani@2601:200:c000:f7a0::fb70) (Ping timeout: 260 seconds) |
| 2023-04-06 20:47:37 +0200 | <tomsmeding> | sm: locally scoped environment variables is not a thing, but how are you starting the pager process? System.Process has a field for the child environment in CreateProcess |
| 2023-04-06 20:50:29 +0200 | <sm> | thanks tomsmeding. Currently that's out of my control, done by the pager library. |
| 2023-04-06 20:50:42 +0200 | <sm> | I think I need to meditate more on "when to attempt ANSI" |
| 2023-04-06 20:50:44 +0200 | <tomsmeding> | that's unfortunate :p |
| 2023-04-06 20:53:29 +0200 | <sm> | detecting on a per-call basis whether output is larger than window and a pager is about to be used seems.. not the way to go |
| 2023-04-06 20:55:27 +0200 | Inst | (~Inst@2601:6c4:4081:54f0:2db7:7969:50f2:df0c) |
| 2023-04-06 20:55:29 +0200 | <Inst> | hmmm |
| 2023-04-06 20:55:37 +0200 | <Inst> | for rose stream, I'm still trying to think of the uses |
| 2023-04-06 20:55:51 +0200 | <Inst> | data RoseStream a = RS a [RoseStream a] |
| 2023-04-06 20:56:08 +0200 | <Inst> | what about a multi-cored CPU? |
| 2023-04-06 20:56:21 +0200 | <Inst> | could traverse into it |
| 2023-04-06 20:56:49 +0200 | <tomsmeding> | isn't that just a rose tree |
| 2023-04-06 20:58:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 20:59:11 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-06 20:59:11 +0200 | <Inst> | yeah, it is ;_; |
| 2023-04-06 20:59:32 +0200 | <Inst> | since termination is implied by RS a [] |
| 2023-04-06 20:59:37 +0200 | <Inst> | a `RS` [] |
| 2023-04-06 21:00:55 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 250 seconds) |
| 2023-04-06 21:03:06 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-06 21:03:07 +0200 | ph88 | (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2023-04-06 21:03:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-06 21:03:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-04-06 21:04:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-04-06 21:05:00 +0200 | isekaijin | (~isekaijin@user/isekaijin) |
| 2023-04-06 21:08:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-04-06 21:13:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-06 21:13:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-06 21:17:31 +0200 | <monochrom> | sm: Sometimes, you write your program to take a command line option or UI option for users to specify "force colouring" and "force no colouring", like ls's --colour and --no-colour. |
| 2023-04-06 21:19:23 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-06 21:20:45 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-06 21:21:45 +0200 | Guest42 | (~Guest42@49.156.73.140) |
| 2023-04-06 21:22:53 +0200 | <sm> | I have that, hledger --help --colour=no works in fact. |
| 2023-04-06 21:23:30 +0200 | <monochrom> | I have written a graph DFS algorithm that outputs a rose tree (it's Data.Tree's Tree) but it's lazy (at least I think so, haven't tested how lazy it is), so that until you demand a child node, the DFS is suspended right after the parent vertex. |
| 2023-04-06 21:23:47 +0200 | <sm> | but I'm leaning towards no ANSI ever by default, and an opt-in HLEDGER_COLOR var to turn it on. Alas |
| 2023-04-06 21:24:33 +0200 | <monochrom> | Does --colour=NONONOPLEASEGODNO also work? >:) |
| 2023-04-06 21:24:50 +0200 | <tomsmeding> | if you pass that you deserve colour |
| 2023-04-06 21:24:55 +0200 | <monochrom> | hahaha |
| 2023-04-06 21:25:02 +0200 | <sm> | you get colour :) |
| 2023-04-06 21:25:07 +0200 | <tomsmeding> | in any case it's a colourful argument |
| 2023-04-06 21:25:19 +0200 | <monochrom> | BTW where is Haskell Weekly News? |
| 2023-04-06 21:25:26 +0200 | <sm> | I'll tighten that up |
| 2023-04-06 21:25:31 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-06 21:26:36 +0200 | <monochrom> | I reckon that my input contains 4 NO's so quadruple negation means "true" anyway. :D |
| 2023-04-06 21:27:49 +0200 | <Guest42> | Hi everyone, I am interested in participating summer of haskell 2023. I want to contact the project mentor Aaron Allen for discussion. Can you tell me his username here or maybe email. I am actually new to libera chat platform also. so its bit confusing. |
| 2023-04-06 21:31:01 +0200 | aazam | (~aazam@103.182.66.28) |
| 2023-04-06 21:32:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-06 21:34:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-06 21:35:00 +0200 | akegalj | (~akegalj@210-223.dsl.iskon.hr) (Quit: leaving) |
| 2023-04-06 21:36:40 +0200 | aazam | (~aazam@103.182.66.28) (Quit: Client closed) |
| 2023-04-06 21:37:52 +0200 | Guest42 | (~Guest42@49.156.73.140) (Quit: Client closed) |
| 2023-04-06 21:42:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-159-236.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2023-04-06 21:43:05 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-06 21:43:26 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-181-142.46.114.pool.telefonica.de) |
| 2023-04-06 21:47:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-06 21:50:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-06 21:50:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-06 21:53:09 +0200 | Guest42 | (~Guest42@49.156.73.140) |
| 2023-04-06 21:55:12 +0200 | Guest42 | (~Guest42@49.156.73.140) (Client Quit) |
| 2023-04-06 21:58:41 +0200 | <sm> | when will when be in Prelude |
| 2023-04-06 21:59:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-04-06 21:59:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 22:00:40 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-04-06 22:08:23 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-06 22:08:42 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-06 22:09:19 +0200 | jumpnbrownweasel | (~jumpnbrow@2603-800c-240f-1c55-8db8-2c23-1ffe-bf07.res6.spectrum.com) |
| 2023-04-06 22:13:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-06 22:14:16 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-06 22:18:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 256 seconds) |
| 2023-04-06 22:19:36 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-06 22:28:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-06 22:30:22 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a37e) |
| 2023-04-06 22:30:49 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-06 22:34:19 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-06 22:37:33 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2023-04-06 22:39:07 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-06 22:39:30 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-06 22:55:23 +0200 | <sm> | I decided to add R to $LESS and $MORE at program startup, this ensures at least less and less in more mode will show ANSI |
| 2023-04-06 22:56:09 +0200 | <monochrom> | Ah, that helps too. |
| 2023-04-06 23:00:29 +0200 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-04-06 23:01:33 +0200 | califax | (~califax@user/califx) |
| 2023-04-06 23:02:34 +0200 | APic | (apic@apic.name) (Ping timeout: 265 seconds) |
| 2023-04-06 23:03:17 +0200 | ph88 | (~ph88@91.66.101.83) |
| 2023-04-06 23:05:01 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-06 23:12:08 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 23:14:45 +0200 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-04-06 23:15:15 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-06 23:15:41 +0200 | <hpc> | but not at most more in less mode? |
| 2023-04-06 23:16:53 +0200 | ski | glances around warily |
| 2023-04-06 23:20:53 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) (Ping timeout: 250 seconds) |
| 2023-04-06 23:21:48 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-06 23:30:21 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-06 23:30:23 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-06 23:33:35 +0200 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) |
| 2023-04-06 23:33:48 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 264 seconds) |
| 2023-04-06 23:34:06 +0200 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-04-06 23:40:45 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-181-142.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-04-06 23:41:15 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 2023-04-06 23:41:32 +0200 | NiceBird | (~NiceBird@185.133.111.196) (Ping timeout: 268 seconds) |
| 2023-04-06 23:42:07 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-06 23:44:40 +0200 | Guest7818 | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) |
| 2023-04-06 23:46:51 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 2023-04-06 23:47:37 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-06 23:47:38 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-06 23:48:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-06 23:48:59 +0200 | Guest7818 | (~talismani@c-98-238-242-189.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-04-06 23:50:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-06 23:51:11 +0200 | <sm> | heh. You remind me of most, I wonder if most mimics more or less. |
| 2023-04-06 23:51:22 +0200 | juri_ | glances at ski hungrilly. |
| 2023-04-06 23:51:34 +0200 | shapr | (~user@c-68-35-51-250.hsd1.al.comcast.net) (Ping timeout: 252 seconds) |
| 2023-04-06 23:52:15 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 2023-04-06 23:53:08 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-06 23:53:28 +0200 | heraldo | (~heraldo@user/heraldo) (Client Quit) |
| 2023-04-06 23:54:01 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-04-06 23:54:16 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2023-04-06 23:55:31 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-04-06 23:57:37 +0200 | segfaultfizzbuzz | (~segfaultf@108.211.201.53) |
| 2023-04-06 23:59:39 +0200 | aliosablack | (~chomwitt@ppp-94-67-189-62.home.otenet.gr) (Ping timeout: 248 seconds) |