Home liberachat/#haskell: Logs Calendar

Logs on 2023-03-25 (liberachat/#haskell)

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

All times are in UTC on 2023-03-25.