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)
2024-05-09 18:07:22 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-09 18:08:25 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-05-09 18:19:46 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-09 18:20:23 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-05-09 18:22:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 18:25:28 +0200wheatengineer(~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de)
2024-05-09 18:26:08 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-09 18:27:20 +0200euphores(~SASL_euph@user/euphores)
2024-05-09 18:32:45 +0200danse-nr3(~danse-nr3@151.43.251.174) (Remote host closed the connection)
2024-05-09 18:33:08 +0200danse-nr3(~danse-nr3@151.43.251.174)
2024-05-09 18:34:58 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-09 18:36:53 +0200iteratee(~kyle@162.218.222.207)
2024-05-09 18:42:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 18:44:26 +0200 <iteratee> I have an odd request. I'm looking for someone that would be willing to do a code review swap.
2024-05-09 18:45:05 +0200 <iteratee> I have a side project and I would benefit from a code reviewer. I would be willing to do the same for someone else's side project in exchange.
2024-05-09 18:46:43 +0200 <iteratee> Also, if I could find the right library to target with a PR, there are things it may be valuable for me to open source.
2024-05-09 18:47:48 +0200 <iteratee> I have a reference counting library for ResourceT, to allow for shared resources to be released before the end of the `runResourceT`.
2024-05-09 18:53:32 +0200wheatengineer(~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-09 18:54:05 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 19:05:34 +0200ocra8(ocra8@user/ocra8)
2024-05-09 19:06:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2024-05-09 19:06:16 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-09 19:07:40 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-05-09 19:07:54 +0200billchenchina(~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614)
2024-05-09 19:11:05 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 272 seconds)
2024-05-09 19:11:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-09 19:13:39 +0200billchenchina(~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Read error: Connection reset by peer)
2024-05-09 19:13:54 +0200billchenchina(~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614)
2024-05-09 19:17:22 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-09 19:24:27 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-09 19:27:27 +0200billchenchina(~billchenc@2408:824e:d27:b541:7431:a838:4fce:b614) (Ping timeout: 268 seconds)
2024-05-09 19:34:26 +0200danse-nr3(~danse-nr3@151.43.251.174) (Ping timeout: 252 seconds)
2024-05-09 19:35:11 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 19:36:18 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-09 19:39:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-09 19:48:27 +0200wheatengineer(~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de)
2024-05-09 19:55:07 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-09 20:06:53 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-09 20:09:22 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-05-09 20:21:32 +0200wheatengineer(~frederik@p200300f63f29ac00ba4bc61c516d3d89.dip0.t-ipconnect.de) (Quit: Leaving)
2024-05-09 20:26:48 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 20:28:37 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-09 20:28:58 +0200 <justsomeguy> Why does my Functor instance not work here? https://termbin.com/bj6x
2024-05-09 20:30:32 +0200 <justsomeguy> I feel like I'm missing something important about defining typeclasses.
2024-05-09 20:30:36 +0200 <ncf> you're mapping the wrong component
2024-05-09 20:31:33 +0200 <int-e> the type you'd need here is fmap :: (a -> c) -> BahEither b a -> BahEither b c
2024-05-09 20:32:18 +0200 <int-e> But you've implemented fmap :: (b -> c) -> BahEither b a -> BahEither c a
2024-05-09 20:34:41 +0200 <ski> {-# LANGUAGE InstanceSigs #-}
2024-05-09 20:36:35 +0200 <justsomeguy> Is it possible to write fmap for both data constructors (PLeft a and PRight b)?
2024-05-09 20:36:52 +0200 <ncf> are you looking for Bifunctor
2024-05-09 20:37:02 +0200 <justsomeguy> I notice that fmap works on Left and Right on the Either type.
2024-05-09 20:37:30 +0200 <ski> because `Either a b', where `Left' takes an `a' and `Right' takes a `b'
2024-05-09 20:37:46 +0200 <int-e> > fmap succ (Left 1)
2024-05-09 20:37:47 +0200 <lambdabot> Left 1
2024-05-09 20:37:56 +0200 <int-e> > fmap succ (Right 1)
2024-05-09 20:37:57 +0200 <lambdabot> Right 2
2024-05-09 20:38:02 +0200 <dolio> Do you mean it has cases for both Left and Right?
2024-05-09 20:38:06 +0200 <ski> you have `BahEither b a', where `PLeft' takes an `a', and `PRight' takes a `b' .. so the opposite way around
2024-05-09 20:38:11 +0200 <dolio> It has to do that because the type of the Left changes.
2024-05-09 20:39:58 +0200 <ski> in general, `fmap :: (a -> c) -> (f a -> f c)'. you have `Functor (BahEither b)' meaning that `f = `BahEither b', so you get `fmap :: (a -> c) -> (BahEither b a -> BahEither b c)'
2024-05-09 20:40:34 +0200 <justsomeguy> I'm not gonna lie, this is going over my head
2024-05-09 20:40:42 +0200 <ski> (but then your actual code for `fmap' doesn't currently implement that correctly, hence the type error)
2024-05-09 20:41:01 +0200 <ski> long story short, you're not correctly implementing the expected type signature
2024-05-09 20:41:55 +0200 <ski> (if you enable `InstanceSigs' as suggested above, you can write that type signature for `fmap' directly into that `instance' declaration for `Functor')
2024-05-09 20:44:16 +0200 <EvanR> justsomeguy, what you call "not working" I call working great. I.e. the type system stopped you from doing the objectively wrong thing
2024-05-09 20:44:35 +0200 <EvanR> imagine if you had a type system for every goal
2024-05-09 20:44:49 +0200euleritian(~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-05-09 20:46:06 +0200titiband`(~titiband`@user/titibandit)
2024-05-09 20:47:02 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-09 20:47:39 +0200 <justsomeguy> Oh... the instance in base for Functor (Either a) only works on one constructor, too.
2024-05-09 20:48:34 +0200 <ncf> there's only one possible instance
2024-05-09 20:48:55 +0200 <ncf> you obviously cannot apply a function a -> b to a field that doesn't have type a
2024-05-09 20:49:29 +0200euleritian(~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de)
2024-05-09 20:49:57 +0200titiband`(~titiband`@user/titibandit) (Remote host closed the connection)
2024-05-09 20:50:14 +0200 <justsomeguy> OK. Why does (fmap (+10) (Left 1), fmap (+10) (Right 3)) work? Because it has an instance of Bifunctor?
2024-05-09 20:50:21 +0200 <ski> justsomeguy : <https://termbin.com/nxth>
2024-05-09 20:50:36 +0200titiband`(~titiband`@user/titibandit)
2024-05-09 20:50:58 +0200 <ski> (i didn't fix your code, i just added the correct type signature, for clarity)
2024-05-09 20:50:59 +0200 <ncf> you're not using the Bifunctor instance there, just Functor (Either a)
2024-05-09 20:51:18 +0200 <ski> justsomeguy : `fmap' means `Functor', not `Bifunctor'
2024-05-09 20:51:39 +0200 <ski> @type fmap
2024-05-09 20:51:40 +0200 <lambdabot> Functor f => (a -> b) -> f a -> f b
2024-05-09 20:51:47 +0200 <ski> no `Bifunctor' there ^
2024-05-09 20:51:56 +0200 <kaol> Putting them inside a 2-tuple won't have anything to do with Bifunctor either.
2024-05-09 20:52:24 +0200ocra8(ocra8@user/ocra8)
2024-05-09 20:52:24 +0200 <justsomeguy> Alright, I was misreading the result of (fmap (+10) (Left 1)), and that was confusing because I thought I could fmap both constructors. But it wasn't.
2024-05-09 20:53:09 +0200 <EvanR> > fmap even (99, "foo")
2024-05-09 20:53:11 +0200 <lambdabot> error:
2024-05-09 20:53:11 +0200 <lambdabot> • Could not deduce (Integral [Char]) arising from a use of ‘even’
2024-05-09 20:53:11 +0200 <lambdabot> from the context: Num a
2024-05-09 20:53:17 +0200 <EvanR> dammit
2024-05-09 20:53:24 +0200 <EvanR> > fmap even ("foo", 99)
2024-05-09 20:53:25 +0200 <lambdabot> ("foo",False)
2024-05-09 20:53:35 +0200 <EvanR> fmapping both wouldn't make sense
2024-05-09 20:54:34 +0200 <EvanR> with dynamic types anything can be anythinged, but we have static types which must be respected!
2024-05-09 20:54:54 +0200 <EvanR> I mean let the static types guide you
2024-05-09 20:54:58 +0200 <justsomeguy> :D
2024-05-09 20:55:32 +0200 <justsomeguy> Thanks everyone for your help, I was pretty slow on the uptake there.
2024-05-09 20:57:46 +0200titiband`titibandit
2024-05-09 20:59:12 +0200 <justsomeguy> Also I just found out I can do deriving Functor!
2024-05-09 21:04:15 +0200Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2024-05-09 21:04:26 +0200Axman6(~Axman6@user/axman6)
2024-05-09 21:07:15 +0200 <kaol> It's one of my favorite GHC features.
2024-05-09 21:08:07 +0200 <justsomeguy> I wish I could meet you all in person. It's a great group of people in this channel.
2024-05-09 21:08:27 +0200justsomeguylooks up Haskell meetups in Tampa
2024-05-09 21:12:36 +0200skirecalls meeting some denizens of this channel, years ago
2024-05-09 21:13:21 +0200 <ski> (there was a unicycle involved, as well)
2024-05-09 21:14:52 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-09 21:15:11 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-05-09 21:17:05 +0200sam113101(~sam@24.157.253.231) (Remote host closed the connection)
2024-05-09 21:17:30 +0200sam113101(~sam@24.157.253.231)
2024-05-09 21:19:52 +0200tri_(~tri@ool-18bbef1a.static.optonline.net)
2024-05-09 21:20:45 +0200yeitrafferin(~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66) (Quit: Leaving)
2024-05-09 21:21:16 +0200philopsos1(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-09 21:24:16 +0200tram(~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4)
2024-05-09 21:24:36 +0200tri_(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-05-09 21:25:12 +0200 <probie> What kind of unicycle?
2024-05-09 21:25:22 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-09 21:25:25 +0200Sgeo_(~Sgeo@user/sgeo)
2024-05-09 21:25:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-09 21:26:16 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2024-05-09 21:26:20 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 21:29:32 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds)
2024-05-09 21:30:47 +0200euleritian(~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-05-09 21:31:05 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 21:32:37 +0200euleritian(~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de)
2024-05-09 21:44:31 +0200Square(~Square@user/square)
2024-05-09 21:45:43 +0200 <ski> i don't recall brand
2024-05-09 21:46:15 +0200 <ski> i just recall trying it, briefly, along with John Hughes, and some others
2024-05-09 21:48:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-09 21:53:13 +0200micro(~micro@user/micro) (Ping timeout: 272 seconds)
2024-05-09 21:55:55 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-05-09 21:59:29 +0200ocra8(ocra8@user/ocra8)
2024-05-09 22:01:11 +0200 <kaol> Not bad, my recommendations library runs 3 times faster than when I started already. Maybe I'll yet make it do the 25m dataset in 32GB RAM.
2024-05-09 22:02:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-05-09 22:04:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-05-09 22:05:25 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-05-09 22:09:13 +0200philopsos1(~caecilius@user/philopsos)
2024-05-09 22:09:39 +0200micro(~micro@user/micro)
2024-05-09 22:17:34 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-09 22:19:59 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-05-09 22:21:05 +0200tram(~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) (Quit: Leaving.)
2024-05-09 22:23:40 +0200euleritian(~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-05-09 22:24:05 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds)
2024-05-09 22:25:04 +0200euleritian(~euleritia@dynamic-176-007-193-218.176.7.pool.telefonica.de)
2024-05-09 22:35:45 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-09 22:35:46 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-09 22:37:19 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-09 22:46:09 +0200zetef(~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4)
2024-05-09 22:53:25 +0200yin(~yin@user/zero) (Ping timeout: 268 seconds)
2024-05-09 22:54:28 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-09 22:57:42 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-09 23:00:13 +0200tri(~tri@ool-18bbef1a.static.optonline.net)
2024-05-09 23:01:43 +0200greenflower(~greenflow@43.254.176.139)
2024-05-09 23:03:17 +0200titibandit(~titiband`@user/titibandit) (Ping timeout: 268 seconds)
2024-05-09 23:04:30 +0200tri(~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds)
2024-05-09 23:06:09 +0200tram(~tram@athedsl-225869.home.otenet.gr)
2024-05-09 23:07:01 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-09 23:11:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-09 23:12:30 +0200zetef(~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Remote host closed the connection)
2024-05-09 23:13:40 +0200connrs(~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-09 23:18:03 +0200michalz(~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-09 23:19:24 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 23:19:49 +0200greenflower(~greenflow@43.254.176.139) (Quit: Client closed)
2024-05-09 23:25:38 +0200ocra8(ocra8@user/ocra8)
2024-05-09 23:26:32 +0200connrs(~connrs@user/connrs)
2024-05-09 23:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-09 23:30:05 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-09 23:34:15 +0200yin(~yin@user/zero)
2024-05-09 23:35:30 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-09 23:41:22 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-09 23:41:22 +0200tram(~tram@athedsl-225869.home.otenet.gr) (Read error: Connection reset by peer)
2024-05-09 23:50:06 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-09 23:55:19 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-09 23:59:24 +0200ocra8(ocra8@user/ocra8)