2023/03/25

2023-03-25 00:00:29 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-03-25 00:04:17 +0000mauke_(~mauke@user/mauke)
2023-03-25 00:05:31 +0000mauke(~mauke@user/mauke) (Ping timeout: 240 seconds)
2023-03-25 00:05:31 +0000mauke_mauke
2023-03-25 00:13:26 +0000Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-7893-ded3-4e0c-2135.res6.spectrum.com) (Quit: ZZZzzz…)
2023-03-25 00:14:06 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 00:14:35 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 00:22:24 +0000chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds)
2023-03-25 00:23:59 +0000mjs2600_(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2023-03-25 00:24:01 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 240 seconds)
2023-03-25 00:27:02 +0000Ashkan(~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed)
2023-03-25 00:32:01 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2023-03-25 00:32:31 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2023-03-25 00:34:13 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-03-25 00:44:50 +0000zeenk(~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!)
2023-03-25 00:45:55 +0000gurkenglas(~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-03-25 00:58:33 +0000barzo(~hd@31.223.42.120)
2023-03-25 01:10:45 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-25 01:16:52 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-25 01:23:10 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-03-25 01:27:07 +0000Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com)
2023-03-25 01:29:25 +0000Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) (Client Quit)
2023-03-25 01:30:53 +0000Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com)
2023-03-25 01:44:23 +0000dipper_(~dipper@117.61.126.31)
2023-03-25 01:46:27 +0000ioldoortdddddotm(~ioldoortd@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-25 01:49:03 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-25 01:49:54 +0000jakalx(~jakalx@base.jakalx.net) ()
2023-03-25 01:51:11 +0000npmania1(~Thunderbi@138.199.21.237)
2023-03-25 01:53:00 +0000npmania(~Thunderbi@45.8.223.223) (Ping timeout: 255 seconds)
2023-03-25 01:53:01 +0000npmania1npmania
2023-03-25 01:53:26 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-03-25 02:11:05 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-03-25 02:18:19 +0000gehmehgeh(~user@user/gehmehgeh)
2023-03-25 02:21:47 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-25 02:22:35 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-03-25 02:23:39 +0000accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-03-25 02:24:16 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 02:24:27 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 02:24:57 +0000razetime(~Thunderbi@117.193.3.109)
2023-03-25 02:27:59 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-03-25 02:45:25 +0000nate4(~nate@98.45.169.16)
2023-03-25 02:53:23 +0000barzo(~hd@31.223.42.120) (Remote host closed the connection)
2023-03-25 02:53:32 +0000jumper149(~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8)
2023-03-25 02:53:43 +0000barzo(~hd@31.223.42.120)
2023-03-25 03:06:10 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-03-25 03:06:34 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-03-25 03:10:04 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 03:10:19 +0000lagash-(lagash@lagash.shelltalk.net)
2023-03-25 03:11:55 +0000td_(~td@i5387091E.versanet.de) (Ping timeout: 268 seconds)
2023-03-25 03:13:07 +0000td_(~td@i5387090E.versanet.de)
2023-03-25 03:16:37 +0000jero98772(~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection)
2023-03-25 03:22:21 +0000barzo(~hd@31.223.42.120) (Remote host closed the connection)
2023-03-25 03:22:43 +0000barzo(~hd@31.223.42.120)
2023-03-25 03:25:26 +0000barzo(~hd@31.223.42.120) (Client Quit)
2023-03-25 03:25:46 +0000Albina_Pavlovna(~Albina_Pa@2603-7000-76f0-76e0-347b-7510-75e8-036f.res6.spectrum.com) (Quit: bb)
2023-03-25 03:26:11 +0000shapr(~user@68.54.166.125) (Ping timeout: 250 seconds)
2023-03-25 03:28:01 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-03-25 03:31:38 +0000sp00kins(~sp00kins@97.73.80.190)
2023-03-25 03:34:01 +0000lagash-(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 03:36:31 +0000razetime(~Thunderbi@117.193.3.109) (Ping timeout: 240 seconds)
2023-03-25 03:38:08 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 246 seconds)
2023-03-25 03:40:13 +0000xff0x(~xff0x@178.255.149.135)
2023-03-25 03:44:28 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-03-25 03:44:28 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-03-25 03:44:28 +0000finn_elijaFinnElija
2023-03-25 03:44:50 +0000jargon(~jargon@174-22-223-2.phnx.qwest.net) (Remote host closed the connection)
2023-03-25 03:48:39 +0000nate4(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-03-25 03:49:18 +0000Blightmain(~Blightmai@27-33-97-127.tpgi.com.au)
2023-03-25 03:52:58 +0000razetime(~Thunderbi@117.193.3.109)
2023-03-25 03:54:57 +0000razetime(~Thunderbi@117.193.3.109) (Client Quit)
2023-03-25 03:56:46 +0000xff0x(~xff0x@178.255.149.135) (Ping timeout: 276 seconds)
2023-03-25 03:58:26 +0000xff0x(~xff0x@2405:6580:b080:900:80fa:94f9:970f:6a14)
2023-03-25 03:59:14 +0000sp00kins(~sp00kins@97.73.80.190) (Quit: sp00kins)
2023-03-25 04:05:03 +0000xff0x(~xff0x@2405:6580:b080:900:80fa:94f9:970f:6a14) (Ping timeout: 265 seconds)
2023-03-25 04:05:28 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-03-25 04:05:33 +0000ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2023-03-25 04:05:38 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-03-25 04:06:00 +0000ec(~ec@gateway/tor-sasl/ec)
2023-03-25 04:06:09 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2023-03-25 04:31:57 +0000monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2023-03-25 04:36:47 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-03-25 04:38:59 +0000sp00kins(~sp00kins@97.73.80.190)
2023-03-25 04:39:07 +0000sp00kins(~sp00kins@97.73.80.190) (Read error: Connection reset by peer)
2023-03-25 04:39:29 +0000sp00kins(~sp00kins@97.sub-174-216-176.myvzw.com)
2023-03-25 04:42:06 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 04:43:02 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 04:43:30 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 04:43:50 +0000monochrom(trebla@216.138.220.146)
2023-03-25 04:45:31 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 276 seconds)
2023-03-25 04:49:58 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 04:50:01 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-03-25 04:51:35 +0000Guest|41(~Guest|41@33ba71ee.skybroadband.com)
2023-03-25 04:54:31 +0000sp00kins(~sp00kins@97.sub-174-216-176.myvzw.com) (Quit: sp00kins)
2023-03-25 04:56:31 +0000mei(~mei@user/mei) (Ping timeout: 240 seconds)
2023-03-25 04:58:36 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2023-03-25 05:06:29 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 05:06:44 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection)
2023-03-25 05:19:13 +0000Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2023-03-25 05:23:45 +0000harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-25 05:25:47 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 250 seconds)
2023-03-25 05:27:42 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-25 05:34:04 +0000mei(~mei@user/mei)
2023-03-25 05:35:36 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds)
2023-03-25 05:37:13 +0000raym(~ray@user/raym) (Remote host closed the connection)
2023-03-25 05:44:08 +0000antlers314(~stinkydee@072-129-177-139.res.spectrum.com)
2023-03-25 05:46:39 +0000npmania1(~Thunderbi@91.193.7.45)
2023-03-25 05:47:27 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2023-03-25 05:47:31 +0000npmania(~Thunderbi@138.199.21.237) (Ping timeout: 265 seconds)
2023-03-25 05:47:32 +0000npmania1npmania
2023-03-25 05:48:09 +0000trev(~trev@user/trev)
2023-03-25 05:50:55 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 05:53:45 +0000thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 255 seconds)
2023-03-25 05:56:44 +0000npmania1(~Thunderbi@91.193.7.10)
2023-03-25 05:57:47 +0000bliminse(~bliminse@user/bliminse) (Quit: leaving)
2023-03-25 05:58:01 +0000npmania(~Thunderbi@91.193.7.45) (Ping timeout: 240 seconds)
2023-03-25 05:58:01 +0000npmania1npmania
2023-03-25 05:58:48 +0000Guest|41(~Guest|41@33ba71ee.skybroadband.com) (Quit: Connection closed)
2023-03-25 06:00:50 +0000pavonia(~user@user/siracusa)
2023-03-25 06:02:54 +0000bliminse(~bliminse@user/bliminse)
2023-03-25 06:03:28 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2023-03-25 06:14:34 +0000Blightmain(~Blightmai@27-33-97-127.tpgi.com.au) (Remote host closed the connection)
2023-03-25 06:18:14 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 06:38:28 +0000shelby(~thomas_sh@115.96.217.126)
2023-03-25 06:39:22 +0000 <shelby> hi.. i have installed spacemacs and configured it for haskell.. Can someone share or point how to compile files from spacemacs itself?
2023-03-25 06:41:16 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 06:46:46 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-03-25 06:49:59 +0000gurkenglas(~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de)
2023-03-25 06:52:53 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-03-25 07:00:12 +0000razetime(~Thunderbi@117.193.3.109)
2023-03-25 07:05:16 +0000razetime(~Thunderbi@117.193.3.109) (Ping timeout: 276 seconds)
2023-03-25 07:07:29 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 07:08:02 +0000antlers314(~stinkydee@072-129-177-139.res.spectrum.com) (Quit: Leaving)
2023-03-25 07:09:58 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:acf4:2d59:900d:be3a) (Remote host closed the connection)
2023-03-25 07:15:47 +0000jakalx(~jakalx@base.jakalx.net)
2023-03-25 07:30:06 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 07:34:21 +0000cheater(~Username@user/cheater)
2023-03-25 07:51:15 +0000jakalx(~jakalx@base.jakalx.net) ()
2023-03-25 07:53:13 +0000zeenk(~zeenk@2a02:2f04:a307:2300::fba)
2023-03-25 07:55:39 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-25 08:10:19 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-25 08:10:29 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1972:e460:868d:c9ce)
2023-03-25 08:13:36 +0000cheater_(~Username@user/cheater)
2023-03-25 08:14:31 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:1972:e460:868d:c9ce) (Ping timeout: 240 seconds)
2023-03-25 08:15:12 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2023-03-25 08:15:12 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2023-03-25 08:15:15 +0000allbery_bgeekosaur
2023-03-25 08:15:56 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 08:16:04 +0000cheater_cheater
2023-03-25 08:17:50 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-03-25 08:18:17 +0000zeenk(~zeenk@2a02:2f04:a307:2300::fba) (Remote host closed the connection)
2023-03-25 08:18:39 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-03-25 08:19:54 +0000razetime(~Thunderbi@117.193.3.109)
2023-03-25 08:20:40 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 08:20:51 +0000acidjnk(~acidjnk@p200300d6e715c489499042d1e62d184f.dip0.t-ipconnect.de)
2023-03-25 08:22:56 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-25 08:32:09 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-25 08:32:35 +0000gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-25 08:34:32 +0000cheater(~Username@user/cheater)
2023-03-25 08:34:34 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 08:36:38 +0000cheater_(~Username@user/cheater)
2023-03-25 08:38:55 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 08:39:05 +0000cheater_cheater
2023-03-25 08:43:03 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 08:43:59 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-03-25 08:44:11 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 08:45:00 +0000razetime(~Thunderbi@117.193.3.109) (Remote host closed the connection)
2023-03-25 08:50:58 +0000Ashkan(~Ashkan@a119011.upc-a.chello.nl)
2023-03-25 08:54:29 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-03-25 08:57:52 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 08:57:57 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds)
2023-03-25 08:59:36 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-25 09:00:08 +0000M0rphee[m](~M0rpheema@2001:470:69fc:105::2:b1ce) (Quit: You have been kicked for being idle)
2023-03-25 09:03:09 +0000gmg(~user@user/gehmehgeh)
2023-03-25 09:04:02 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 09:04:29 +0000cheater(~Username@user/cheater)
2023-03-25 09:04:40 +0000shelby(~thomas_sh@115.96.217.126) (Quit: Leaving)
2023-03-25 09:11:14 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 09:12:11 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-03-25 09:12:29 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 09:13:33 +0000jakalx(~jakalx@base.jakalx.net)
2023-03-25 09:13:35 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2023-03-25 09:15:39 +0000Vajb(~Vajb@2001:999:489:7277:ab48:5ab4:36c5:acd3) (Ping timeout: 260 seconds)
2023-03-25 09:19:36 +0000cheater_(~Username@user/cheater)
2023-03-25 09:22:17 +0000Vajb(~Vajb@85-76-43-161-nat.elisa-mobile.fi)
2023-03-25 09:22:27 +0000cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-25 09:22:58 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-03-25 09:24:47 +0000cheater(~Username@user/cheater)
2023-03-25 09:26:05 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-03-25 09:26:35 +0000cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 09:29:26 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-03-25 09:37:02 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-03-25 09:37:22 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-03-25 09:37:54 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net) (Client Quit)
2023-03-25 09:38:13 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-03-25 09:38:38 +0000son0p(~ff@181.136.122.143) (Ping timeout: 246 seconds)
2023-03-25 09:39:10 +0000 <ncf> EvanR: isn't the entire point of *quantum* physics that you can't subdivide arbitrarily small? :D (i have no idea)
2023-03-25 09:39:54 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-25 09:45:58 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2023-03-25 09:48:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-25 09:48:33 +0000n0den1te(~n0den1te@223.178.84.15)
2023-03-25 09:48:43 +0000 <[exa]> ncf: iirc, they usually dodge that question
2023-03-25 09:51:47 +0000kenran(~user@user/kenran)
2023-03-25 09:52:22 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-03-25 09:53:17 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 09:56:15 +0000gurkenglas(~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 248 seconds)
2023-03-25 09:57:01 +0000harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-03-25 09:57:54 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-03-25 10:00:53 +0000img(~img@user/img)
2023-03-25 10:01:34 +0000hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2023-03-25 10:03:16 +0000Ashkan(~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed)
2023-03-25 10:03:41 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds)
2023-03-25 10:07:36 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 10:12:57 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec)
2023-03-25 10:17:43 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec) (Ping timeout: 260 seconds)
2023-03-25 10:18:58 +0000dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Ping timeout: 276 seconds)
2023-03-25 10:19:34 +0000cheater_(~Username@user/cheater)
2023-03-25 10:19:51 +0000dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net)
2023-03-25 10:21:25 +0000cheater__(~Username@user/cheater)
2023-03-25 10:21:34 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 10:21:40 +0000cheater__cheater
2023-03-25 10:23:38 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 10:24:01 +0000cheater_(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 10:24:30 +0000n0den1te(~n0den1te@223.178.84.15) (Read error: Connection reset by peer)
2023-03-25 10:25:06 +0000phma(phma@2001:5b0:210d:9a38:acff:41d6:73ae:16da) (Read error: Connection reset by peer)
2023-03-25 10:26:25 +0000phma(~phma@2001:5b0:211c:1f8:75f8:8512:951:ec52)
2023-03-25 10:30:28 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-25 10:31:58 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 276 seconds)
2023-03-25 10:32:37 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 276 seconds)
2023-03-25 10:34:14 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-25 10:35:24 +0000gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-03-25 10:40:53 +0000gentauro(~gentauro@user/gentauro)
2023-03-25 10:49:35 +0000dcoutts(~duncan@host165-120-97-41.range165-120.btcentralplus.com)
2023-03-25 10:52:07 +0000dcoutts_(~duncan@host165-120-97-41.range165-120.btcentralplus.com) (Ping timeout: 276 seconds)
2023-03-25 10:52:48 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 10:54:59 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-25 10:56:55 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 10:59:57 +0000cheater(~Username@user/cheater)
2023-03-25 11:04:52 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 11:08:35 +0000motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 264 seconds)
2023-03-25 11:09:20 +0000euandreh(~Thunderbi@189.6.18.7)
2023-03-25 11:10:49 +0000chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1)
2023-03-25 11:11:53 +0000__monty__(~toonn@user/toonn)
2023-03-25 11:14:39 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 11:19:42 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 268 seconds)
2023-03-25 11:20:03 +0000cheater(~Username@user/cheater)
2023-03-25 11:25:49 +0000damax(~damax@gateway/tor-sasl/damax)
2023-03-25 11:26:59 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 11:31:06 +0000 <damax> Hello there, may I ask for some help with a ghcup installation? I am on archlinux with 6.2.8 kernel, ghcup 0.1.19.2 from AUR, GHC 9.2.5, cabal 3.6.2.0, HSL 1.9.0.0 and 1.9.1.0 (for vscode extension), Stack 2.9.3 (with its own GHC 9.2.7). Yesterday I tried installing pandoc with 'stack install pandoc', and then tried installing pandoc-cli, as per instruction by pandoc documentation, but that didn't work
2023-03-25 11:31:12 +0000 <damax> because of versions requirements mismatch. Turned out I installed pandoc 2.19.2, since hackage says that's the latest version, but in truth on hackage there's also the latest 3.1.1
2023-03-25 11:31:28 +0000 <damax> My question is: why is hackage showing older versions? Did I get something wrong with my own tools versions?
2023-03-25 11:34:12 +0000 <jackdk> I don't know stack especially well, but ISTR it has a notion of an implicit global project, and if that installed ghc 9.2.7 it probably pulled down the pandoc from the stackage snapshot that provided GHC: https://www.stackage.org/lts-20.15 says pandoc 2.19.2
2023-03-25 11:40:57 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 11:42:04 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 11:42:12 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-03-25 11:42:27 +0000 <damax> So I should probably get Stack to use another GHC? How can I do that?
2023-03-25 11:42:50 +0000 <damax> Or, actually, get it to use a different resolver?
2023-03-25 11:44:32 +0000 <jackdk> I don't remember, you'll have to check the docs. Or use cabal.
2023-03-25 11:44:34 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-25 11:44:37 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 11:46:15 +0000cheater_(~Username@user/cheater)
2023-03-25 11:46:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 11:46:40 +0000cheater_cheater
2023-03-25 11:50:55 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-03-25 11:58:40 +0000 <damax> Great, thanks for pointing me in the right direction!
2023-03-25 12:01:44 +0000a_coll(~acoll@45.92.120.189)
2023-03-25 12:02:50 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 12:05:07 +0000 <jackdk> Best of luck!
2023-03-25 12:07:38 +0000cheater_(~Username@user/cheater)
2023-03-25 12:08:05 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 12:08:23 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 12:08:24 +0000cheater_cheater
2023-03-25 12:09:12 +0000cheater_(~Username@user/cheater)
2023-03-25 12:10:08 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:51a8:e4ff:15ed:6357) (Remote host closed the connection)
2023-03-25 12:10:27 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-25 12:11:15 +0000damax(~damax@gateway/tor-sasl/damax) (Quit: leaving)
2023-03-25 12:13:01 +0000cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-25 12:13:09 +0000cheater_cheater
2023-03-25 12:22:41 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 12:23:22 +0000Vajb(~Vajb@85-76-43-161-nat.elisa-mobile.fi) (Ping timeout: 265 seconds)
2023-03-25 12:26:47 +0000Vajb(~Vajb@2001:999:40c:13d9:8e03:c3a5:f9c8:cadc)
2023-03-25 12:30:37 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 12:31:51 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds)
2023-03-25 12:33:30 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-25 12:35:25 +0000cheater(~Username@user/cheater)
2023-03-25 12:36:18 +0000mastarija(~mastarija@188.252.197.99)
2023-03-25 12:38:33 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-25 12:39:22 +0000cheater_(~Username@user/cheater)
2023-03-25 12:41:06 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 12:43:16 +0000cheater__(~Username@user/cheater)
2023-03-25 12:43:16 +0000cheater__cheater
2023-03-25 12:44:15 +0000cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 12:46:08 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 12:59:07 +0000Ashkan(~Ashkan@a119011.upc-a.chello.nl)
2023-03-25 12:59:17 +0000oak-(~oak-@2001:470:69fc:105::fcd)
2023-03-25 13:09:01 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 13:10:55 +0000cheater(~Username@user/cheater)
2023-03-25 13:11:54 +0000cheater_(~Username@user/cheater)
2023-03-25 13:12:37 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 13:13:29 +0000cheater__(~Username@user/cheater)
2023-03-25 13:14:01 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 13:14:25 +0000 <cdsmith> With GHC Generics, you get a type family Rep to convert a type to its generic representation. I'm looking for something like UnRep to construct a type from a representation. For example, UnRep V1 = Void, UnRep U1 = (), UnRep (f :+: g) = Either (UnRep f) (UnRep g), etc. I was surprised something like this doesn't seem to already exist! Unless I just missed it?
2023-03-25 13:14:36 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-03-25 13:15:05 +0000cheater___(~Username@user/cheater)
2023-03-25 13:15:47 +0000cheater(~Username@user/cheater) (Ping timeout: 264 seconds)
2023-03-25 13:15:50 +0000cheater___cheater
2023-03-25 13:17:29 +0000cheater_(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 13:18:26 +0000cheater__(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-25 13:26:58 +0000 <[exa]> cdsmith: that's a bit problematic but check out how e.g. surgeries do that
2023-03-25 13:27:25 +0000 <[exa]> e.g. here https://hackage.haskell.org/package/generic-data-surgery-0.3.0.0/docs/Generic-Data-Surgery.html
2023-03-25 13:29:13 +0000 <[exa]> in short, they make their own reverse Rep. :]
2023-03-25 13:30:18 +0000cheater_(~Username@user/cheater)
2023-03-25 13:32:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 13:32:34 +0000cheater_cheater
2023-03-25 13:38:05 +0000Everything(~Everythin@46.185.124.65)
2023-03-25 13:38:26 +0000irrgit_(~irrgit@146.70.27.250)
2023-03-25 13:39:10 +0000 <cdsmith> Okay, thanks [exa] At least I know I didn't miss anything obvious. :)
2023-03-25 13:40:41 +0000raym(~ray@user/raym)
2023-03-25 13:41:24 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-03-25 13:41:31 +0000irrgit__(~irrgit@176.113.74.74) (Ping timeout: 240 seconds)
2023-03-25 13:46:00 +0000cheater_(~Username@user/cheater)
2023-03-25 13:47:40 +0000 <byorgey> cdsmith: I'm curious, what would (UnRep g) buy you that the generic representation g doesn't give you already? Just getting rid of unneeded detail?
2023-03-25 13:47:44 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 13:47:46 +0000cheater_cheater
2023-03-25 13:48:31 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 240 seconds)
2023-03-25 13:49:32 +0000 <cdsmith> Ultimately, I will be doing additional generic stuff, recursively, to the result, and it seemed not great to end up with a Rep (Rep (Rep (Rep (Rep f)))). Maybe I just shouldn't worry about it though?
2023-03-25 13:51:03 +0000 <cdsmith> At one point I definitely needed something to break a cycle and avoid non-termination of the type checker, too... but I don't fully understand what happened there.
2023-03-25 13:52:55 +0000 <byorgey> ah, interesting
2023-03-25 13:55:07 +0000AlexNoo(~AlexNoo@94.233.240.192)
2023-03-25 13:55:23 +0000AlexZenon(~alzenon@94.233.240.192)
2023-03-25 13:56:27 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-25 13:59:01 +0000 <cdsmith> I'm really just playing around. My weekend goal is to use the notion of derivatives as one-hole contexts to get a constructive implementation of Taylor series expansions for data types, which ultimately ends up looking something like: type Sized f :: Type -> Nat -> Type; sized :: f a -> Some (Sized f a); unsized :: Sized f a n -> f a
2023-03-25 13:59:24 +0000emmanuelux(~emmanuelu@user/emmanuelux)
2023-03-25 13:59:31 +0000 <cdsmith> But this requires taking nth derivatives for arbitrary n. (Actually a little more complicated than just derivatives, but that's the simplified version)
2023-03-25 14:02:15 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-03-25 14:02:29 +0000cheater_(~Username@user/cheater)
2023-03-25 14:03:31 +0000cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-25 14:03:35 +0000cheater_cheater
2023-03-25 14:10:07 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 14:13:10 +0000hugo(znc@verdigris.lysator.liu.se)
2023-03-25 14:17:51 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 14:21:06 +0000a_coll(~acoll@45.92.120.189) (Remote host closed the connection)
2023-03-25 14:21:43 +0000cheater_(~Username@user/cheater)
2023-03-25 14:24:12 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 14:24:19 +0000cheater_cheater
2023-03-25 14:35:30 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-03-25 14:36:22 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2023-03-25 14:36:49 +0000Lord_of_Life_Lord_of_Life
2023-03-25 14:40:24 +0000cheater_(~Username@user/cheater)
2023-03-25 14:40:58 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 14:42:13 +0000kenran(~user@user/kenran)
2023-03-25 14:42:54 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-25 14:43:11 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 14:43:13 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-25 14:43:20 +0000cheater_cheater
2023-03-25 14:49:35 +0000mechap(~mechap@user/mechap)
2023-03-25 14:49:51 +0000 <[exa]> cdsmith: well the generic advice is "don't use types for data"
2023-03-25 14:53:32 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-25 14:55:14 +0000 <byorgey> cdsmith: cool!
2023-03-25 14:57:57 +0000cheater_(~Username@user/cheater)
2023-03-25 14:58:36 +0000dcoutts_(~duncan@host165-120-97-41.range165-120.btcentralplus.com)
2023-03-25 14:59:48 +0000cheater__(~Username@user/cheater)
2023-03-25 15:00:01 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 15:00:04 +0000cheater__cheater
2023-03-25 15:00:31 +0000dcoutts(~duncan@host165-120-97-41.range165-120.btcentralplus.com) (Ping timeout: 240 seconds)
2023-03-25 15:03:20 +0000cheater_(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 15:06:04 +0000cheater_(~Username@user/cheater)
2023-03-25 15:08:27 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 15:08:31 +0000cheater_cheater
2023-03-25 15:10:41 +0000vglfr(~vglfr@88.155.57.120) (Remote host closed the connection)
2023-03-25 15:11:39 +0000cheater_(~Username@user/cheater)
2023-03-25 15:11:44 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 15:12:07 +0000Ashkan(~Ashkan@a119011.upc-a.chello.nl) (Quit: Client closed)
2023-03-25 15:14:35 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-25 15:14:57 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 15:15:06 +0000cheater_cheater
2023-03-25 15:18:26 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 15:19:29 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-25 15:27:35 +0000russruss(~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2023-03-25 15:29:15 +0000russruss(~russruss@my.russellmcc.com)
2023-03-25 15:41:05 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 15:43:01 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 15:44:58 +0000cheater(~Username@user/cheater)
2023-03-25 15:54:29 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-25 15:56:01 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 240 seconds)
2023-03-25 15:56:55 +0000gmg(~user@user/gehmehgeh)
2023-03-25 15:57:02 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-03-25 15:57:11 +0000vglfr(~vglfr@88.155.57.120)
2023-03-25 15:58:23 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 15:59:53 +0000Midjak(~Midjak@82.66.147.146)
2023-03-25 15:59:56 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 16:00:51 +0000cheater_(~Username@user/cheater)
2023-03-25 16:02:20 +0000cheater__(~Username@user/cheater)
2023-03-25 16:03:59 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 16:04:06 +0000cheater__cheater
2023-03-25 16:05:31 +0000cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 16:13:57 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-03-25 16:14:15 +0000use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-03-25 16:14:18 +0000ss4(~wootehfoo@user/wootehfoot)
2023-03-25 16:16:41 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds)
2023-03-25 16:17:00 +0000ss4(~wootehfoo@user/wootehfoot) (Remote host closed the connection)
2023-03-25 16:17:17 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2023-03-25 16:17:28 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:5998:513:a413:adec)
2023-03-25 16:18:51 +0000thegeekinside(~thegeekin@189.141.115.134)
2023-03-25 16:22:19 +0000dipper_(~dipper@117.61.126.31) (Ping timeout: 276 seconds)
2023-03-25 16:23:14 +0000thegeekinside(~thegeekin@189.141.115.134) (Ping timeout: 246 seconds)
2023-03-25 16:23:32 +0000vcks(~vcks@58.84.143.91)
2023-03-25 16:24:30 +0000cheater_(~Username@user/cheater)
2023-03-25 16:26:29 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 16:26:36 +0000cheater_cheater
2023-03-25 16:34:18 +0000econo(uid147250@user/econo)
2023-03-25 16:35:55 +0000mechap(~mechap@user/mechap) (Ping timeout: 248 seconds)
2023-03-25 16:36:08 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 16:37:54 +0000mechap(~mechap@user/mechap)
2023-03-25 16:38:04 +0000slack1256(~slack1256@186.11.84.52)
2023-03-25 16:41:20 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-25 16:41:36 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-25 16:45:03 +0000cheater_(~Username@user/cheater)
2023-03-25 16:45:13 +0000captnemo(~captnemo@193.32.127.232)
2023-03-25 16:47:17 +0000cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-25 16:47:28 +0000cheater_cheater
2023-03-25 16:51:14 +0000gurkenglas(~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de)
2023-03-25 16:55:04 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-03-25 16:57:53 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2023-03-25 16:58:04 +0000sp00kins(~sp00kins@97.sub-174-216-176.myvzw.com)
2023-03-25 16:58:15 +0000emmanuelux(~emmanuelu@user/emmanuelux)
2023-03-25 16:59:27 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 17:01:16 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-25 17:04:06 +0000 <EvanR> ncf, some stuff is quantized and other stuff isn't in QM
2023-03-25 17:06:01 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 17:11:53 +0000pwntips(~user@24-113-98-114.wavecable.com) (Ping timeout: 246 seconds)
2023-03-25 17:17:38 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-03-25 17:19:01 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2023-03-25 17:19:31 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
2023-03-25 17:23:43 +0000cheater(~Username@user/cheater)
2023-03-25 17:29:24 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 17:33:52 +0000jero98772(~jero98772@2800:484:1d80:d8ce:aa43:aaf3:a9d2:17c4)
2023-03-25 17:45:28 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-25 17:46:49 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 276 seconds)
2023-03-25 17:46:49 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-25 17:53:28 +0000mechap_(~mechap@user/mechap)
2023-03-25 17:53:45 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-25 17:55:34 +0000emmanuelux(~emmanuelu@user/emmanuelux)
2023-03-25 17:56:30 +0000cheater(~Username@user/cheater)
2023-03-25 17:56:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-25 17:56:52 +0000mechap(~mechap@user/mechap) (Ping timeout: 265 seconds)
2023-03-25 17:56:58 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-03-25 17:59:17 +0000gurkenglas(~gurkengla@dynamic-089-015-238-223.89.15.238.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-03-25 18:00:20 +0000cheater_(~Username@user/cheater)
2023-03-25 18:00:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 18:00:35 +0000cheater_cheater
2023-03-25 18:01:45 +0000harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-03-25 18:08:53 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-03-25 18:12:54 +0000gensyst(~gensyst@user/gensyst)
2023-03-25 18:13:08 +0000cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-03-25 18:13:27 +0000 <gensyst> What's the "recommended" way of doing Haskell with Nix these days? developPackage? Is Gonzales tutorial now obsolete (it doesn't use developPackage)
2023-03-25 18:13:37 +0000cheater(~Username@user/cheater)
2023-03-25 18:15:27 +0000 <davean> gensyst: mostly it seems haskell.nix works the best?
2023-03-25 18:17:07 +0000vcks(~vcks@58.84.143.91) (Quit: Connection closed)
2023-03-25 18:17:57 +0000kenran(~user@user/kenran)
2023-03-25 18:20:10 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 18:24:29 +0000russruss(~russruss@my.russellmcc.com) (Ping timeout: 250 seconds)
2023-03-25 18:27:00 +0000cheater_(~Username@user/cheater)
2023-03-25 18:29:18 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-25 18:30:06 +0000russruss(~russruss@my.russellmcc.com)
2023-03-25 18:32:58 +0000brettgilio(~brettgili@x-irc.gq) (Ping timeout: 276 seconds)
2023-03-25 18:33:01 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-03-25 18:33:47 +0000cheater_(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 18:37:19 +0000ub1(~Thunderbi@p548c9c54.dip0.t-ipconnect.de)
2023-03-25 18:39:27 +0000ubert(~Thunderbi@p548c9c54.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-25 18:39:28 +0000ub1ubert
2023-03-25 18:41:15 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-03-25 18:41:31 +0000Everything(~Everythin@46.185.124.65) (Quit: leaving)
2023-03-25 18:44:55 +0000vcks(~vcks@58.84.143.91)
2023-03-25 18:49:52 +0000AlexZenon_2(~alzenon@94.233.240.192)
2023-03-25 18:50:07 +0000vcks(~vcks@58.84.143.91) (Quit: Connection closed)
2023-03-25 18:51:08 +0000 <gensyst> davean, i have no idea..
2023-03-25 18:51:18 +0000 <gensyst> that's another debate
2023-03-25 18:51:28 +0000 <gensyst> haskell.nix vs haskellPackages (nixpkgs)
2023-03-25 18:51:56 +0000 <gensyst> and i have no idea either way
2023-03-25 18:54:54 +0000vcks(~vcks@58.84.143.91)
2023-03-25 18:57:59 +0000cheater_(~Username@user/cheater)
2023-03-25 18:57:59 +0000cheater_cheater
2023-03-25 19:00:21 +0000michalz(~michalz@185.246.207.221)
2023-03-25 19:05:07 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 19:07:56 +0000jakalx(~jakalx@base.jakalx.net)
2023-03-25 19:11:24 +0000vcks(~vcks@58.84.143.91) (Quit: Connection closed)
2023-03-25 19:11:43 +0000AlexZenon_2(~alzenon@94.233.240.192) (Quit: ;-)
2023-03-25 19:12:02 +0000Alex_test(~al_test@94.233.240.192)
2023-03-25 19:12:13 +0000vcks(~vcks@58.84.143.91)
2023-03-25 19:15:01 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 19:16:33 +0000Techcable(~Techcable@user/Techcable) (Ping timeout: 255 seconds)
2023-03-25 19:19:03 +0000 <davean> gensyst: well haskellPackages has issues about like handling multiple versions of dependencies. Also lacking compilers
2023-03-25 19:19:08 +0000 <davean> I'd discount haskellPackages entirely myself
2023-03-25 19:19:38 +0000cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-03-25 19:21:29 +0000harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-03-25 19:23:17 +0000AlexZenon(~alzenon@94.233.240.192) (Quit: ;-)
2023-03-25 19:24:22 +0000cheater(~Username@user/cheater)
2023-03-25 19:24:43 +0000Alex_test(~al_test@94.233.240.192) (Quit: ;-)
2023-03-25 19:28:15 +0000sp00kins(~sp00kins@97.sub-174-216-176.myvzw.com) (Read error: Connection reset by peer)
2023-03-25 19:31:20 +0000AlexNoo(~AlexNoo@94.233.240.192) (Quit: Leaving)
2023-03-25 19:34:32 +0000dsrt^(~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-03-25 19:35:35 +0000Techcable(~Techcable@user/Techcable)
2023-03-25 19:37:53 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 265 seconds)
2023-03-25 19:39:19 +0000Vq(~vq@90-227-192-206-no77.tbcn.telia.com)
2023-03-25 19:39:44 +0000Sgeo(~Sgeo@user/sgeo)
2023-03-25 19:44:43 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds)
2023-03-25 19:49:55 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 19:58:51 +0000cheater_(~Username@user/cheater)
2023-03-25 19:58:53 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 20:00:20 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 20:00:36 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 20:00:37 +0000cheater_cheater
2023-03-25 20:05:33 +0000euandreh(~Thunderbi@189.6.18.7) (Quit: euandreh)
2023-03-25 20:15:19 +0000nschoe(~q@2a01:e0a:8e:a190:a82f:326:25c3:ad95)
2023-03-25 20:16:33 +0000gensyst(~gensyst@user/gensyst) (Quit: Leaving)
2023-03-25 20:16:34 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-03-25 20:16:56 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-03-25 20:17:03 +0000cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 20:22:05 +0000cheater(~Username@user/cheater)
2023-03-25 20:26:24 +0000vcks(~vcks@58.84.143.91) (Quit: Connection closed)
2023-03-25 20:30:05 +0000nschoe(~q@2a01:e0a:8e:a190:a82f:326:25c3:ad95) (Ping timeout: 265 seconds)
2023-03-25 20:36:41 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2023-03-25 20:39:40 +0000cheater_(~Username@user/cheater)
2023-03-25 20:42:06 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 20:45:11 +0000cheater_(~Username@user/cheater) (Ping timeout: 264 seconds)
2023-03-25 20:45:38 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 20:46:05 +0000cheater_(~Username@user/cheater)
2023-03-25 20:46:05 +0000cheater_cheater
2023-03-25 20:46:25 +0000mastarija(~mastarija@188.252.197.99) (Ping timeout: 268 seconds)
2023-03-25 20:46:39 +0000vcks(~vcks@58.84.143.91)
2023-03-25 20:56:45 +0000 <__monty__> Main reason to use haskellPackages is if you want to package something for Nixpkgs IMO. Haskell.nix is a lot lower friction.
2023-03-25 21:00:53 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-25 21:00:54 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-25 21:00:54 +0000wroathe(~wroathe@user/wroathe)
2023-03-25 21:01:23 +0000mixfix41(~sdenynine@user/mixfix41)
2023-03-25 21:10:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 21:13:43 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 21:15:08 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 21:15:19 +0000cheater(~Username@user/cheater)
2023-03-25 21:17:42 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2023-03-25 21:17:42 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2023-03-25 21:17:45 +0000allbery_bgeekosaur
2023-03-25 21:20:50 +0000vglfr(~vglfr@88.155.57.120) (Ping timeout: 265 seconds)
2023-03-25 21:20:52 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 21:21:56 +0000slac10924(~slack1256@191.125.227.86)
2023-03-25 21:23:15 +0000slack1256(~slack1256@186.11.84.52) (Ping timeout: 265 seconds)
2023-03-25 21:27:46 +0000cheater_(~Username@user/cheater)
2023-03-25 21:28:38 +0000cheater__(~Username@user/cheater)
2023-03-25 21:30:01 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 21:30:04 +0000cheater__cheater
2023-03-25 21:30:56 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe)
2023-03-25 21:32:01 +0000cheater_(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 21:34:52 +0000kenran(~user@user/kenran) (Remote host closed the connection)
2023-03-25 21:36:32 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-03-25 21:43:55 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 21:47:13 +0000captnemo(~captnemo@193.32.127.232) (Quit: WeeChat 3.8)
2023-03-25 21:47:18 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 21:49:04 +0000cheater_(~Username@user/cheater)
2023-03-25 21:50:31 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 21:51:35 +0000cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2023-03-25 21:51:46 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2023-03-25 21:51:58 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 21:51:59 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-03-25 21:52:10 +0000michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-03-25 21:53:01 +0000cheater_(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 21:59:15 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-03-25 21:59:41 +0000cheater_(~Username@user/cheater)
2023-03-25 21:59:41 +0000cheater_cheater
2023-03-25 22:00:25 +0000cheater_(~Username@user/cheater)
2023-03-25 22:02:27 +0000cheater__(~Username@user/cheater)
2023-03-25 22:03:57 +0000cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-03-25 22:04:03 +0000cheater__cheater
2023-03-25 22:05:19 +0000cheater_(~Username@user/cheater) (Ping timeout: 248 seconds)
2023-03-25 22:08:15 +0000vglfr(~vglfr@88.155.38.140)
2023-03-25 22:09:20 +0000zer0bitz(~zer0bitz@2001:2003:f443:d600:10e:27fe:cd37:4cd1) (Read error: Connection reset by peer)
2023-03-25 22:11:14 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-03-25 22:11:14 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-03-25 22:11:14 +0000wroathe(~wroathe@user/wroathe)
2023-03-25 22:12:29 +0000trev(~trev@user/trev) (Remote host closed the connection)
2023-03-25 22:13:22 +0000ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-03-25 22:13:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 22:19:21 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-03-25 22:19:32 +0000cheater(~Username@user/cheater)
2023-03-25 22:20:13 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2023-03-25 22:21:33 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-03-25 22:21:36 +0000slack1256(~slack1256@186.11.84.131)
2023-03-25 22:23:46 +0000cheater_(~Username@user/cheater)
2023-03-25 22:23:53 +0000slac10924(~slack1256@191.125.227.86) (Ping timeout: 256 seconds)
2023-03-25 22:24:38 +0000cheater(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 22:24:42 +0000cheater_cheater
2023-03-25 22:25:52 +0000cheater_(~Username@user/cheater)
2023-03-25 22:27:32 +0000justsomeguy(~justsomeg@user/justsomeguy)
2023-03-25 22:29:34 +0000cheater(~Username@user/cheater) (Ping timeout: 276 seconds)
2023-03-25 22:29:38 +0000cheater_cheater
2023-03-25 22:31:33 +0000zeenk(~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!)
2023-03-25 22:31:45 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 22:34:10 +0000cheater_(~Username@user/cheater)
2023-03-25 22:35:31 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 22:35:36 +0000cheater_cheater
2023-03-25 22:39:09 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 22:42:53 +0000pwntips(~user@24-113-98-114.wavecable.com)
2023-03-25 22:46:49 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-03-25 22:47:54 +0000jade1024[m]jade[m]
2023-03-25 22:48:33 +0000mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2023-03-25 22:49:25 +0000mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2023-03-25 22:51:33 +0000cheater_(~Username@user/cheater)
2023-03-25 22:53:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 22:54:45 +0000cheater__(~Username@user/cheater)
2023-03-25 22:54:45 +0000cheater__cheater
2023-03-25 22:55:59 +0000cheater__(~Username@user/cheater)
2023-03-25 22:56:10 +0000a_coll(~acoll@45.92.120.189)
2023-03-25 22:56:27 +0000mechap_mechap
2023-03-25 22:56:59 +0000cheater_(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 22:58:29 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-03-25 22:59:19 +0000cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2023-03-25 22:59:27 +0000cheater__cheater
2023-03-25 23:02:17 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 23:02:27 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 23:04:57 +0000biberu(~biberu@user/biberu)
2023-03-25 23:07:32 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-03-25 23:07:47 +0000chexum(~quassel@gateway/tor-sasl/chexum)
2023-03-25 23:15:31 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 23:15:43 +0000cheater(~Username@user/cheater)
2023-03-25 23:25:37 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 23:32:59 +0000chomwitt(~chomwitt@2a02:587:7a19:3600:1ac0:4dff:fedb:a3f1) (Ping timeout: 248 seconds)
2023-03-25 23:33:01 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 23:37:51 +0000cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2023-03-25 23:38:03 +0000vcks(~vcks@58.84.143.91) (Ping timeout: 260 seconds)
2023-03-25 23:38:27 +0000cheater(~Username@user/cheater)
2023-03-25 23:38:57 +0000Volt_(~Volt_@c-73-167-118-200.hsd1.ma.comcast.net)
2023-03-25 23:39:23 +0000acidjnk(~acidjnk@p200300d6e715c489499042d1e62d184f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-03-25 23:40:38 +0000mcglk(~mcglk@131.191.19.145) (Read error: Connection reset by peer)
2023-03-25 23:41:07 +0000mcglk(~mcglk@131.191.19.145)
2023-03-25 23:41:08 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-03-25 23:42:34 +0000vcks(~vcks@58.84.143.91)
2023-03-25 23:44:43 +0000hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2023-03-25 23:45:31 +0000mechap(~mechap@user/mechap) (Ping timeout: 240 seconds)
2023-03-25 23:47:54 +0000mechap(~mechap@user/mechap)
2023-03-25 23:49:26 +0000gmg(~user@user/gehmehgeh)
2023-03-25 23:50:41 +0000cheater_(~Username@user/cheater)
2023-03-25 23:52:46 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-03-25 23:53:01 +0000cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-03-25 23:53:11 +0000cheater(~Username@user/cheater)
2023-03-25 23:53:53 +0000mechap(~mechap@user/mechap) (Ping timeout: 268 seconds)
2023-03-25 23:54:15 +0000mechap(~mechap@user/mechap)
2023-03-25 23:55:30 +0000cheater_(~Username@user/cheater) (Ping timeout: 265 seconds)
2023-03-25 23:55:52 +0000lagash(lagash@lagash.shelltalk.net) (Quit: ZNC - https://znc.in)
2023-03-25 23:56:11 +0000lagash(lagash@lagash.shelltalk.net)
2023-03-25 23:56:27 +0000vcks(~vcks@58.84.143.91) (Quit: Connection closed)
2023-03-25 23:59:52 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)