2024/05/09

2024-05-09 00:00:07 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 00:02:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 00:06:09 +0200michalz(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-09 00:07:30 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-09 00:08:35 +0200 <c_wraith> on the other hand, it's a heck of a lot to get done in 3 weeks.
2024-05-09 00:09:37 +0200 <sm> darn straight! 3 weeks is amazing
2024-05-09 00:09:58 +0200gmg(~user@user/gehmehgeh)
2024-05-09 00:10:48 +0200 <sm> I glanced at the project, not digging closely into files, and the overall impression was organisation! cleanliness! haskell is awesome! so mission accomplished :)
2024-05-09 00:12:16 +0200 <sm> reliably working code, encapsulated by haskell types - how can that be bad code
2024-05-09 00:12:34 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-09 00:13:40 +0200AlexZenon(~alzenon@178.34.162.125) (Ping timeout: 268 seconds)
2024-05-09 00:14:34 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-09 00:15:47 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-09 00:17:14 +0200xdminsy(~xdminsy@117.147.70.233) (Ping timeout: 252 seconds)
2024-05-09 00:17:44 +0200 <davean> sm: well like look at the datastore typeclass, its an adhoc collection of "do the thing I want" functions, and we have to indirection to get anything. It wasn't planned or setup nicely with like a monad, its just a bunch of awkward functions
2024-05-09 00:18:29 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-09 00:19:53 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-09 00:20:57 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-09 00:21:05 +0200smlooks at https://github.com/xkcd/incredible/blob/main/src/Incredible/DataStore.hs
2024-05-09 00:22:52 +0200 <sm> 100 lines of code, on time & under budget, INVOICE APPROVED
2024-05-09 00:23:36 +0200 <davean> But like look at all the included shim functions. We don't even use the typeclass directly :(
2024-05-09 00:24:47 +0200akegalj(~akegalj@164-156.dsl.iskon.hr) (Quit: leaving)
2024-05-09 00:25:32 +0200AlexZenon(~alzenon@178.34.162.125)
2024-05-09 00:31:06 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-05-09 00:31:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-09 00:34:06 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-05-09 00:35:51 +0200califax(~califax@user/califx)
2024-05-09 00:40:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-05-09 00:40:52 +0200 <sm> davean do you operate the server also ?
2024-05-09 00:43:13 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-09 00:43:25 +0200yin(~yin@user/zero)
2024-05-09 00:46:14 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-05-09 00:59:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-09 01:01:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-09 01:02:04 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 01:02:05 +0200andrea_r(~user@93-49-96-212.ip366.fastwebnet.it)
2024-05-09 01:04:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-09 01:04:29 +0200califax(~califax@user/califx)
2024-05-09 01:07:48 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 255 seconds)
2024-05-09 01:11:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-09 01:12:04 +0200 <davean> yes
2024-05-09 01:12:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-09 01:15:10 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-09 01:19:06 +0200sroso(~sroso@user/SrOso)
2024-05-09 01:27:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-09 01:28:20 +0200acidjnk_new(~acidjnk@p200300d6e714dc4620c1ab79f2b90d95.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-09 01:39:54 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com)
2024-05-09 02:20:42 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2024-05-09 02:23:55 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-05-09 02:28:19 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
2024-05-09 02:41:03 +0200sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-05-09 02:43:04 +0200sroso(~sroso@user/SrOso)
2024-05-09 02:46:31 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-05-09 03:07:46 +0200sprout_(~quassel@84-80-106-227.fixed.kpn.net)
2024-05-09 03:09:36 +0200sprout(~quassel@2a02-a448-3a80-0-5c1b-ee26-e387-5025.fixed6.kpn.net) (Ping timeout: 260 seconds)
2024-05-09 03:15:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-09 03:18:05 +0200otto_s(~user@p5de2f424.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-05-09 03:19:53 +0200otto_s(~user@p5b0442c9.dip0.t-ipconnect.de)
2024-05-09 03:29:15 +0200pavonia(~user@user/siracusa)
2024-05-09 03:35:49 +0200xff0x(~xff0x@2405:6580:b080:900:75f6:4d45:97cc:c7e6) (Ping timeout: 246 seconds)
2024-05-09 03:37:10 +0200puke(~puke@user/puke) (Quit: puke)
2024-05-09 03:45:18 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 255 seconds)
2024-05-09 03:57:35 +0200puke(~puke@user/puke)
2024-05-09 03:57:56 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-09 03:58:25 +0200puke(~puke@user/puke)
2024-05-09 03:59:26 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2024-05-09 03:59:38 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-09 04:00:16 +0200puke(~puke@user/puke)
2024-05-09 04:03:16 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-09 04:04:05 +0200petrichor(~znc-user@user/petrichor)
2024-05-09 04:06:12 +0200gastus_(~gastus@185.6.123.240)
2024-05-09 04:09:20 +0200gastus(~gastus@185.6.123.154) (Ping timeout: 252 seconds)
2024-05-09 04:19:04 +0200td_(~td@i5387090F.versanet.de) (Ping timeout: 255 seconds)
2024-05-09 04:20:51 +0200td_(~td@i5387093C.versanet.de)
2024-05-09 04:24:42 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-09 04:26:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-09 04:42:50 +0200d34df00d(~d34df00d@2600:1702:4f1b:7c10::43) (Remote host closed the connection)
2024-05-09 04:42:53 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-05-09 04:43:19 +0200d34df00d(~d34df00d@2600:1702:4f1b:7c10::43)
2024-05-09 04:44:19 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-05-09 04:45:00 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-09 04:48:32 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-09 04:52:16 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-09 04:52:49 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
2024-05-09 05:17:52 +0200Square2(~Square4@user/square)
2024-05-09 05:20:53 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-09 05:21:23 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-05-09 05:29:35 +0200jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-09 05:32:22 +0200 <Axman6> Amazing work davean <3
2024-05-09 05:40:11 +0200causal(~eric@50.35.88.207)
2024-05-09 05:47:04 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 05:58:26 +0200philopsos1(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-09 06:00:12 +0200aforemny_(~aforemny@2001:9e8:6ccf:3a00:7430:dc9b:b924:f855)
2024-05-09 06:00:35 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-09 06:01:35 +0200aforemny(~aforemny@2001:9e8:6cea:4d00:60ab:beb:c07d:3de7) (Ping timeout: 260 seconds)
2024-05-09 06:21:30 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 06:25:39 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-09 06:38:18 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-09 06:44:35 +0200doyougnu(~doyougnu@45.46.170.68) (Ping timeout: 256 seconds)
2024-05-09 06:45:53 +0200cyphase(~cyphase@user/cyphase) (Quit: cyphase.com)
2024-05-09 06:46:57 +0200phma(~phma@host-67-44-208-31.hnremote.net) (Read error: Connection reset by peer)
2024-05-09 06:47:25 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
2024-05-09 06:48:21 +0200qqq(~qqq@92.43.167.61)
2024-05-09 06:49:38 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-05-09 06:52:40 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-05-09 06:55:40 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: leaving)
2024-05-09 06:56:06 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-09 06:59:30 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2024-05-09 06:59:31 +0200cyphase(~cyphase@user/cyphase)
2024-05-09 07:00:40 +0200phma(phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f)
2024-05-09 07:08:15 +0200michalz(~michalz@185.246.207.222)
2024-05-09 07:10:53 +0200michalz(~michalz@185.246.207.222) (Client Quit)
2024-05-09 07:12:08 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-09 07:13:47 +0200michalz(~michalz@185.246.207.203)
2024-05-09 07:40:32 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-09 07:45:24 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-09 07:49:23 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-05-09 07:50:47 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-05-09 07:51:11 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-09 07:51:18 +0200erty(~user@user/aeroplane) (Read error: Connection reset by peer)
2024-05-09 08:02:46 +0200koolazer(~koo@user/koolazer) (Remote host closed the connection)
2024-05-09 08:02:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-09 08:11:12 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-09 08:15:52 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-09 08:16:24 +0200rvalue(~rvalue@user/rvalue)
2024-05-09 08:18:04 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-05-09 08:19:21 +0200ec(~ec@gateway/tor-sasl/ec)
2024-05-09 08:26:19 +0200philopsos1(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-09 08:32:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 08:37:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-09 08:42:35 +0200akegalj(~akegalj@141-136-219-195.dsl.iskon.hr)
2024-05-09 08:50:38 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 09:00:18 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-05-09 09:12:49 +0200euleritian(~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de)
2024-05-09 09:17:23 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-09 09:20:02 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
2024-05-09 09:20:43 +0200ec(~ec@gateway/tor-sasl/ec)
2024-05-09 09:24:23 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
2024-05-09 09:24:30 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Client Quit)
2024-05-09 09:24:45 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
2024-05-09 09:28:07 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-05-09 09:31:43 +0200Mach(~Mach@92.87.113.25)
2024-05-09 09:36:25 +0200danza(~francesco@151.47.201.204)
2024-05-09 09:38:32 +0200gmg(~user@user/gehmehgeh)
2024-05-09 09:40:53 +0200rosco(~rosco@yp-146-6.tm.net.my)
2024-05-09 09:47:34 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-09 09:51:34 +0200housemate(~housemate@125.253.110.15)
2024-05-09 09:52:13 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Read error: Connection reset by peer)
2024-05-09 09:53:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 09:53:34 +0200danza_(~francesco@151.47.201.204)
2024-05-09 09:55:08 +0200danza(~francesco@151.47.201.204) (Read error: Connection reset by peer)
2024-05-09 09:57:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 09:57:35 +0200acidjnk_new(~acidjnk@p200300d6e714dc82b86ca1b28a3c0e53.dip0.t-ipconnect.de)
2024-05-09 10:02:25 +0200danza_(~francesco@151.47.201.204) (Ping timeout: 255 seconds)
2024-05-09 10:06:33 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-09 10:11:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 10:20:19 +0200euphores(~SASL_euph@user/euphores)
2024-05-09 10:24:03 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-05-09 10:25:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-09 10:26:45 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-05-09 10:26:57 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-09 10:27:00 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2024-05-09 10:27:36 +0200ec(~ec@gateway/tor-sasl/ec)
2024-05-09 10:29:49 +0200housemate(~housemate@125.253.110.15) (Remote host closed the connection)
2024-05-09 10:30:18 +0200housemate(~housemate@125.253.110.15)
2024-05-09 10:31:59 +0200housemate(~housemate@125.253.110.15) (Remote host closed the connection)
2024-05-09 10:32:53 +0200gastus_(~gastus@185.6.123.240) (Remote host closed the connection)
2024-05-09 10:36:46 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: Ping timeout (120 seconds))
2024-05-09 10:37:09 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-05-09 10:39:26 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-05-09 10:40:45 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-09 10:42:51 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-05-09 10:44:39 +0200housemate(~housemate@125.253.110.15)
2024-05-09 10:45:25 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-09 10:45:52 +0200danse-nr3(~danse-nr3@151.47.198.221)
2024-05-09 10:52:05 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-05-09 10:52:58 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-09 10:56:05 +0200yeitrafferin(~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66)
2024-05-09 10:56:57 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Client Quit)
2024-05-09 11:01:47 +0200housemate(~housemate@125.253.110.15) (Ping timeout: 268 seconds)
2024-05-09 11:06:43 +0200housemate(~housemate@125.253.110.15)
2024-05-09 11:11:27 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-09 11:13:04 +0200housemate(~housemate@125.253.110.15) (Remote host closed the connection)
2024-05-09 11:14:16 +0200housemate(~housemate@125.253.110.15)
2024-05-09 11:19:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 11:23:10 +0200__monty__(~toonn@user/toonn)
2024-05-09 11:23:50 +0200housemate(~housemate@125.253.110.15) (Ping timeout: 252 seconds)
2024-05-09 11:24:29 +0200kaptch(~kaptch@84.238.85.45)
2024-05-09 11:24:36 +0200kaptch(~kaptch@84.238.85.45) (Client Quit)
2024-05-09 11:37:20 +0200Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2024-05-09 11:41:37 +0200rosco(~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal)
2024-05-09 11:43:59 +0200euleritian(~euleritia@dynamic-176-006-191-093.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-09 11:44:18 +0200euleritian(~euleritia@ip-185-104-138-48.ptr.icomera.net)
2024-05-09 11:45:26 +0200lg188(~lg188@82.18.98.230)
2024-05-09 11:45:47 +0200lg188(~lg188@82.18.98.230) (Client Quit)
2024-05-09 12:12:57 +0200 <carbolymer> is there an easy way to list all exports of a haskell module?
2024-05-09 12:14:15 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-05-09 12:16:00 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2024-05-09 12:17:25 +0200forell(~forell@user/forell)
2024-05-09 12:18:35 +0200 <int-e> there's :browse in `ghci` (doesn't list class instances)
2024-05-09 12:20:41 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-09 12:21:56 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-09 12:22:55 +0200rdcdr(~rdcdr@user/rdcdr)
2024-05-09 12:24:25 +0200rdcdr_(~rdcdr@75-172-82-76.tukw.qwest.net) (Ping timeout: 268 seconds)
2024-05-09 12:40:20 +0200danse-nr3(~danse-nr3@151.47.198.221) (Ping timeout: 260 seconds)
2024-05-09 12:51:56 +0200kaptch(~kaptch@84.238.85.45)
2024-05-09 12:57:41 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2024-05-09 12:57:46 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-05-09 12:59:19 +0200ft(~ft@p3e9bc1bf.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-09 13:00:39 +0200Lord_of_Life_Lord_of_Life
2024-05-09 13:00:56 +0200ft(~ft@p508dba4c.dip0.t-ipconnect.de)
2024-05-09 13:13:41 +0200danza(~francesco@151.47.200.87)
2024-05-09 13:15:47 +0200forell(~forell@user/forell) (Quit: ZNC - https://znc.in)
2024-05-09 13:15:56 +0200xff0x(~xff0x@2405:6580:b080:900:2714:5816:85fc:7cc)
2024-05-09 13:21:19 +0200danza(~francesco@151.47.200.87) (Ping timeout: 255 seconds)
2024-05-09 13:21:29 +0200danse-nr3(~danse-nr3@151.47.200.87)
2024-05-09 13:24:09 +0200danse-nr3(~danse-nr3@151.47.200.87) (Remote host closed the connection)
2024-05-09 13:24:23 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-05-09 13:24:34 +0200danse-nr3(~danse-nr3@151.47.200.87)
2024-05-09 13:29:45 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-09 13:37:57 +0200danse-nr3(~danse-nr3@151.47.200.87) (Ping timeout: 255 seconds)
2024-05-09 13:38:31 +0200danse-nr3(~danse-nr3@151.47.221.246)
2024-05-09 13:43:52 +0200euphores(~SASL_euph@user/euphores) (Read error: Connection reset by peer)
2024-05-09 13:46:00 +0200mima(~mmh@aftr-62-216-211-24.dynamic.mnet-online.de)
2024-05-09 13:54:16 +0200euphores(~SASL_euph@user/euphores)
2024-05-09 13:55:58 +0200Miroboru(~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
2024-05-09 13:57:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 13:57:32 +0200euleritian(~euleritia@ip-185-104-138-48.ptr.icomera.net) (Ping timeout: 268 seconds)
2024-05-09 13:58:36 +0200euleritian(~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de)
2024-05-09 14:00:51 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-05-09 14:03:53 +0200poscat(~poscat@user/poscat) (Quit: Bye)
2024-05-09 14:06:08 +0200poscat(~poscat@user/poscat)
2024-05-09 14:06:51 +0200forell(~forell@user/forell)
2024-05-09 14:06:56 +0200visilii_(~visilii@188.254.126.249)
2024-05-09 14:10:24 +0200visilii(~visilii@213.24.125.148) (Ping timeout: 260 seconds)
2024-05-09 14:14:44 +0200sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-05-09 14:21:16 +0200euleritian(~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-09 14:21:32 +0200euleritian(~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de)
2024-05-09 14:22:29 +0200euleritian(~euleritia@dynamic-176-006-182-073.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-09 14:23:37 +0200euleritian(~euleritia@ip-185-104-138-29.ptr.icomera.net)
2024-05-09 14:35:32 +0200johnw(~johnw@69.62.242.138) (Read error: Connection reset by peer)
2024-05-09 14:39:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-05-09 14:41:26 +0200johnw(~johnw@69.62.242.138)
2024-05-09 14:48:34 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-09 15:13:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 15:18:48 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-05-09 15:18:52 +0200eugenrh(~eugenrh@user/eugenrh) (Quit: WeeChat 3.7.1)
2024-05-09 15:19:43 +0200eugenrh(~eugenrh@user/eugenrh)
2024-05-09 15:22:27 +0200titibandit(~titibandi@user/titibandit)
2024-05-09 15:22:53 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds)
2024-05-09 15:26:22 +0200titibandit(~titibandi@user/titibandit) (Client Quit)
2024-05-09 15:27:33 +0200titibandit(~titibandi@user/titibandit)
2024-05-09 15:50:05 +0200danse-nr3(~danse-nr3@151.47.221.246) (Ping timeout: 268 seconds)
2024-05-09 15:53:00 +0200vulpine(xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
2024-05-09 15:57:02 +0200vulpine(xfnw@user/meow/xfnw)
2024-05-09 15:57:10 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 268 seconds)
2024-05-09 16:03:58 +0200yin(~yin@user/zero)
2024-05-09 16:07:31 +0200danse-nr3(~danse-nr3@151.47.221.246)
2024-05-09 16:08:15 +0200danse-nr3(~danse-nr3@151.47.221.246) (Remote host closed the connection)
2024-05-09 16:08:40 +0200danse-nr3(~danse-nr3@151.47.221.246)
2024-05-09 16:09:11 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
2024-05-09 16:18:34 +0200kaptch(~kaptch@84.238.85.45) (Quit: Lost terminal)
2024-05-09 16:26:18 +0200dos__^^(~user@user/dos/x-1723657)
2024-05-09 16:30:46 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-09 16:31:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-09 16:33:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 16:38:07 +0200euleritian(~euleritia@ip-185-104-138-29.ptr.icomera.net) (Ping timeout: 260 seconds)
2024-05-09 16:38:27 +0200cfricke(~cfricke@user/cfricke)
2024-05-09 16:38:47 +0200euleritian(~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de)
2024-05-09 16:39:15 +0200cfricke(~cfricke@user/cfricke) (Client Quit)
2024-05-09 16:43:08 +0200dos__^^(~user@user/dos/x-1723657) (Remote host closed the connection)
2024-05-09 16:47:11 +0200puke(~puke@user/puke) (Quit: puke)
2024-05-09 16:49:35 +0200Moyst(~moyst@user/moyst) (Ping timeout: 268 seconds)
2024-05-09 16:50:28 +0200puke(~puke@user/puke)
2024-05-09 16:53:20 +0200Moyst(~moyst@user/moyst)
2024-05-09 16:54:59 +0200puke(~puke@user/puke) (Client Quit)
2024-05-09 16:55:38 +0200puke(~puke@user/puke)
2024-05-09 16:56:44 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-05-09 16:57:27 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 17:03:32 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-09 17:06:40 +0200 <raehik> How do I shut GHC up about a "redundant" Control.Applicative.liftA2 import, which I need for old GHCs but is exported in base in newer ones?
2024-05-09 17:09:03 +0200 <mauke> import Prelude hiding (liftA2), lol
2024-05-09 17:09:57 +0200 <int-e> older GHCs won't like that either though
2024-05-09 17:10:34 +0200 <mauke> warning: Module ‘Prelude’ does not export ‘liftA2’.
2024-05-09 17:10:35 +0200 <mauke> boo
2024-05-09 17:11:46 +0200 <int-e> Join the dark side: {-# LANGUAGE CPP #-}
2024-05-09 17:11:50 +0200 <mauke> import Control.Applicative as A; ... A.liftA2
2024-05-09 17:12:25 +0200dos__^^(~user@user/dos/x-1723657)
2024-05-09 17:12:25 +0200 <mauke> or live with the warnings in older ghcs
2024-05-09 17:13:09 +0200akegalj(~akegalj@141-136-219-195.dsl.iskon.hr) (Quit: leaving)
2024-05-09 17:16:17 +0200 <int-e> Oh, how about... import Prelude (<list of used items here>)
2024-05-09 17:16:33 +0200 <int-e> (not including liftA2)
2024-05-09 17:16:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 17:17:34 +0200ocra8(~ocra8@user/ocra8)
2024-05-09 17:22:33 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-09 17:23:21 +0200titiband`(~titibandi@user/titibandit)
2024-05-09 17:24:16 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 246 seconds)
2024-05-09 17:24:32 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection)
2024-05-09 17:27:56 +0200ocra8(~ocra8@user/ocra8) (Ping timeout: 252 seconds)
2024-05-09 17:31:41 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)
2024-05-09 17:32:51 +0200 <Lears> raehik: `import Prelude hiding (liftA2)`, then in *.cabal `if impl(ghc < ...) ghc-options: -Wno-dodgy-imports'
2024-05-09 17:33:46 +0200 <Lears> I don't know why we don't just have -Wno-redundant-imports though.
2024-05-09 17:37:09 +0200 <raehik> thanks all. bah I'll just live with it then xd
2024-05-09 17:37:32 +0200 <raehik> in modules where I'm already using CPP I'm smashing that guard button but not in an unsullied module
2024-05-09 17:37:43 +0200ocra8(ocra8@user/ocra8)
2024-05-09 17:38:05 +0200danse-nr3(~danse-nr3@151.47.221.246) (Ping timeout: 240 seconds)
2024-05-09 17:38:15 +0200 <raehik> oh wait `import as A` will work just fine. thanks mauke !
2024-05-09 17:39:02 +0200danse-nr3(~danse-nr3@151.43.251.174)
2024-05-09 17:41:21 +0200Mach(~Mach@92.87.113.25) (Ping timeout: 256 seconds)
2024-05-09 17:56:46 +0200hugo-hugo
2024-05-09 17:58:06 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-05-09 17:59:17 +0200titiband`(~titibandi@user/titibandit) (Ping timeout: 252 seconds)
2024-05-09 18:03:30 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-09 18:03:51 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-09 18:04:00 +0200rvalue(~rvalue@user/rvalue)