2022/03/12

2022-03-12 00:02:32 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2022-03-12 00:02:51 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-12 00:06:03 +0100habib(~textual@217.146.83.233) (Quit: Textual IRC Client: www.textualapp.com)
2022-03-12 00:06:20 +0100zebrag(~chris@user/zebrag)
2022-03-12 00:06:22 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-12 00:06:29 +0100habib(~textual@217.146.83.233)
2022-03-12 00:07:01 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection)
2022-03-12 00:07:12 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce)
2022-03-12 00:08:30 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-12 00:10:07 +0100habib(~textual@217.146.83.233) (Client Quit)
2022-03-12 00:10:58 +0100andreas303(andreas303@ip227.orange.bnc4free.com)
2022-03-12 00:11:21 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-12 00:15:09 +0100qhong_qhong
2022-03-12 00:15:26 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 00:18:18 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-12 00:21:14 +0100cyphase(~cyphase@user/cyphase)
2022-03-12 00:25:35 +0100euprogramista(~euprogram@103.1.212.124)
2022-03-12 00:26:05 +0100acidjnk_new3(~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-03-12 00:30:52 +0100lavaman(~lavaman@98.38.249.169)
2022-03-12 00:31:32 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Quit: I love you.)
2022-03-12 00:31:47 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-12 00:31:54 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-12 00:32:29 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-12 00:36:06 +0100euprogramista(~euprogram@103.1.212.124) (Ping timeout: 252 seconds)
2022-03-12 00:37:53 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 00:44:48 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-12 00:44:55 +0100ph88(~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 272 seconds)
2022-03-12 00:51:01 +0100DNH(~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-12 00:51:54 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-12 00:51:54 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-12 00:51:54 +0100wroathe(~wroathe@user/wroathe)
2022-03-12 00:54:15 +0100immae(~immae@2a01:4f8:141:53e7::)
2022-03-12 00:58:05 +0100juhp(~juhp@128.106.188.82)
2022-03-12 01:02:25 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-12 01:04:42 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2022-03-12 01:06:33 +0100dwt_(~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 256 seconds)
2022-03-12 01:06:44 +0100 <jackdk> Dillo (old, lightweight web browser) used to do that on its tab labels - was a cool trick
2022-03-12 01:09:59 +0100ph88(~ph88@2001:1c05:2402:c600:68d4:50d5:7d4d:737b)
2022-03-12 01:13:12 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2022-03-12 01:14:12 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-12 01:15:21 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-12 01:15:37 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-12 01:15:47 +0100 <hololeap> agda... never heard of it. you mean gd?
2022-03-12 01:20:15 +0100 <int-e> c[e]r[ea]l, meet c[u]rl
2022-03-12 01:21:05 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-12 01:21:31 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-12 01:21:42 +0100liz(~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Quit: Leaving)
2022-03-12 01:24:21 +0100vorpuni(~pvorp@2001:861:3881:c690:c718:8a02:6a5d:599e) (Quit: bye)
2022-03-12 01:25:55 +0100mmalter(~mmalter@88.126.10.237) (Quit: Lost terminal)
2022-03-12 01:27:49 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 01:28:25 +0100juhp(~juhp@128.106.188.82)
2022-03-12 01:28:54 +0100juhp(~juhp@128.106.188.82) (Remote host closed the connection)
2022-03-12 01:29:28 +0100juhp(~juhp@128.106.188.82)
2022-03-12 01:34:12 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 01:34:49 +0100juhp(~juhp@128.106.188.82)
2022-03-12 01:38:23 +0100boosternath(~user@2600:8801:1386:ca00:fd3c:7c45:4ab5:4e67)
2022-03-12 01:39:32 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 01:40:11 +0100juhp(~juhp@128.106.188.82)
2022-03-12 01:41:52 +0100lavaman(~lavaman@98.38.249.169)
2022-03-12 01:44:31 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds)
2022-03-12 01:44:39 +0100Topsi1(~Tobias@dyndsl-091-249-082-060.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-03-12 01:53:57 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2022-03-12 01:54:59 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-12 01:55:57 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-12 01:58:14 +0100ph88(~ph88@2001:1c05:2402:c600:68d4:50d5:7d4d:737b) (Quit: Leaving)
2022-03-12 01:59:37 +0100alt-romes(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-12 01:59:52 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 02:00:33 +0100juhp(~juhp@128.106.188.82)
2022-03-12 02:03:24 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-03-12 02:05:31 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout))
2022-03-12 02:08:08 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-12 02:10:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-12 02:16:11 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds)
2022-03-12 02:17:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-12 02:18:34 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2022-03-12 02:19:12 +0100hgolden_hgolden
2022-03-12 02:26:38 +0100vysn(~vysn@user/vysn)
2022-03-12 02:40:58 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-03-12 02:41:27 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 02:48:00 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2022-03-12 02:55:34 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-12 03:00:15 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 03:00:15 +0100geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection)
2022-03-12 03:00:53 +0100juhp(~juhp@128.106.188.82)
2022-03-12 03:02:21 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds)
2022-03-12 03:03:22 +0100slowtype-(~slowtyper@2a02:214c:840d:cd00:225:64ff:feb7:4668) (Ping timeout: 260 seconds)
2022-03-12 03:03:37 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-12 03:04:22 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-12 03:09:48 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-12 03:11:00 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-12 03:11:49 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
2022-03-12 03:13:18 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2022-03-12 03:13:20 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-12 03:15:32 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-12 03:16:12 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2022-03-12 03:17:15 +0100boosternath(~user@2600:8801:1386:ca00:fd3c:7c45:4ab5:4e67) (Remote host closed the connection)
2022-03-12 03:24:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-12 03:24:35 +0100AlexNoo_(~AlexNoo@94.233.240.159)
2022-03-12 03:25:24 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-12 03:25:24 +0100wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-12 03:25:24 +0100wroathe(~wroathe@user/wroathe)
2022-03-12 03:26:43 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2022-03-12 03:27:41 +0100Alex_test(~al_test@178.34.161.220) (Ping timeout: 272 seconds)
2022-03-12 03:27:41 +0100AlexZenon(~alzenon@178.34.161.220) (Ping timeout: 272 seconds)
2022-03-12 03:27:55 +0100razetime(~quassel@117.254.34.232)
2022-03-12 03:28:13 +0100AlexNoo(~AlexNoo@178.34.161.220) (Ping timeout: 256 seconds)
2022-03-12 03:30:55 +0100AlexZenon(~alzenon@94.233.240.159)
2022-03-12 03:31:06 +0100Alex_test(~al_test@94.233.240.159)
2022-03-12 03:32:56 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-12 03:34:30 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2022-03-12 03:35:17 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 272 seconds)
2022-03-12 03:39:02 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2022-03-12 03:39:57 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-03-12 03:44:02 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout))
2022-03-12 03:47:28 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com)
2022-03-12 03:55:06 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-12 04:01:13 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-12 04:03:36 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2022-03-12 04:05:56 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-12 04:09:01 +0100td_(~td@94.134.91.18) (Ping timeout: 256 seconds)
2022-03-12 04:10:30 +0100td_(~td@muedsl-82-207-238-055.citykom.de)
2022-03-12 04:15:59 +0100lavaman(~lavaman@98.38.249.169)
2022-03-12 04:18:02 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-12 04:21:12 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection)
2022-03-12 04:27:47 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-12 04:31:43 +0100deadmarshal_(~deadmarsh@95.38.118.140)
2022-03-12 04:38:51 +0100Guest78(~Guest78@host-137-205-1-211.warwick.ac.uk)
2022-03-12 04:38:57 +0100Guest78(~Guest78@host-137-205-1-211.warwick.ac.uk) (Client Quit)
2022-03-12 04:41:09 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-03-12 04:46:48 +0100mbuf(~Shakthi@122.174.232.218)
2022-03-12 04:49:34 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-03-12 04:50:35 +0100juhp(~juhp@128.106.188.82) (Quit: juhp)
2022-03-12 04:51:14 +0100juhp(~juhp@128.106.188.82)
2022-03-12 04:59:40 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-03-12 04:59:40 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-03-12 04:59:40 +0100finn_elijaFinnElija
2022-03-12 05:02:32 +0100unyu(~pyon@user/pyon) (Quit: brb)
2022-03-12 05:08:22 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-12 05:11:59 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 05:15:17 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2022-03-12 05:15:19 +0100mud(~mud@user/kadoban) (Remote host closed the connection)
2022-03-12 05:17:59 +0100mud(~mud@user/kadoban)
2022-03-12 05:18:15 +0100stefan-_(~cri@42dots.de) (Ping timeout: 252 seconds)
2022-03-12 05:19:58 +0100chenqisu1(~chenqisu1@183.217.201.47) (Ping timeout: 250 seconds)
2022-03-12 05:24:48 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-12 05:24:51 +0100ishutin(~ishutin@193-226-238-244.pool.digikabel.hu) (Ping timeout: 252 seconds)
2022-03-12 05:25:19 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-12 05:26:18 +0100ishutin(~ishutin@84-236-122-92.pool.digikabel.hu)
2022-03-12 05:33:50 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2022-03-12 05:34:37 +0100alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-12 05:42:11 +0100stefan-_(~cri@42dots.de)
2022-03-12 05:42:17 +0100some02sudden
2022-03-12 05:42:58 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-12 05:45:45 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-12 05:46:18 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-12 05:46:23 +0100Guest91(~Guest91@2401:4900:2324:14c2:95d3:8bf7:e469:317a)
2022-03-12 05:48:52 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca)
2022-03-12 05:51:36 +0100img(~img@user/img)
2022-03-12 05:54:37 +0100rando25892(~homefame@user/rando25892) (Ping timeout: 272 seconds)
2022-03-12 05:54:57 +0100juhp(~juhp@128.106.188.82) (Good Bye)
2022-03-12 05:57:32 +0100raym(~raym@user/raym) (Remote host closed the connection)
2022-03-12 05:59:22 +0100raym(~raym@user/raym)
2022-03-12 06:06:12 +0100mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-12 06:10:57 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-03-12 06:11:03 +0100 <hololeap> what's the highest level entry point into the Cabal library that will let me parse a .cabal file?
2022-03-12 06:12:54 +0100lavaman(~lavaman@98.38.249.169)
2022-03-12 06:14:06 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!)
2022-03-12 06:14:31 +0100alMalsamolumberjack123
2022-03-12 06:18:05 +0100retroid_(~retro@2e40edd9.skybroadband.com) (Read error: Connection reset by peer)
2022-03-12 06:18:45 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2022-03-12 06:18:47 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-12 06:19:20 +0100gmc(sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:20 +0100dmj`(sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:20 +0100truckasaurus(sid457088@id-457088.helmsley.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:20 +0100NemesisD(sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:20 +0100mcfilib(sid302703@user/mcfilib) (Ping timeout: 250 seconds)
2022-03-12 06:19:20 +0100teehemkay(sid14792@id-14792.lymington.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:27 +0100idnar(sid12240@debian/mithrandi) (Read error: Connection reset by peer)
2022-03-12 06:19:27 +0100Adeon(sid418992@id-418992.lymington.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:28 +0100bradparker(sid262931@id-262931.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:28 +0100amir(sid22336@user/amir) (Read error: Connection reset by peer)
2022-03-12 06:19:28 +0100newhoggy(sid198874@id-198874.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:28 +0100gregberns__(sid315709@id-315709.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:28 +0100tnks(sid412124@id-412124.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:32 +0100 <hololeap> this looks like what I'm looking for: Distribution.PackageDescription.Parsec.readGenericPackageDescription
2022-03-12 06:19:34 +0100teehemkay(sid14792@id-14792.lymington.irccloud.com)
2022-03-12 06:19:35 +0100Adeon(sid418992@id-418992.lymington.irccloud.com)
2022-03-12 06:19:36 +0100idnar(sid12240@debian/mithrandi)
2022-03-12 06:19:36 +0100gregberns__(sid315709@id-315709.helmsley.irccloud.com)
2022-03-12 06:19:37 +0100bradparker(sid262931@id-262931.uxbridge.irccloud.com)
2022-03-12 06:19:37 +0100mcfilib(sid302703@user/mcfilib)
2022-03-12 06:19:37 +0100newhoggy(sid198874@id-198874.helmsley.irccloud.com)
2022-03-12 06:19:37 +0100tnks(sid412124@id-412124.helmsley.irccloud.com)
2022-03-12 06:19:38 +0100amir(sid22336@user/amir)
2022-03-12 06:19:45 +0100saolsen(sid26430@id-26430.lymington.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:46 +0100wallymathieu(sid533252@id-533252.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:46 +0100JSharp(sid4580@2a03:5180:f:2::11e4) (Ping timeout: 250 seconds)
2022-03-12 06:19:46 +0100tapas(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:46 +0100b20n(sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:46 +0100degraafk(sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 250 seconds)
2022-03-12 06:19:47 +0100parseval(sid239098@id-239098.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:19:54 +0100saolsen(sid26430@id-26430.lymington.irccloud.com)
2022-03-12 06:19:55 +0100parseval(sid239098@id-239098.helmsley.irccloud.com)
2022-03-12 06:19:55 +0100wallymathieu(sid533252@id-533252.uxbridge.irccloud.com)
2022-03-12 06:19:57 +0100tapas(sid467876@id-467876.ilkley.irccloud.com)
2022-03-12 06:20:05 +0100pjlsergeant(sid143467@id-143467.hampstead.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:05 +0100gaze___(sid387101@id-387101.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:05 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (Write error: Connection reset by peer)
2022-03-12 06:20:05 +0100degraafk(sid71464@id-71464.lymington.irccloud.com)
2022-03-12 06:20:06 +0100aarchi(sid486183@id-486183.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:06 +0100meinside(uid24933@id-24933.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:07 +0100rtpg(sid443069@id-443069.ilkley.irccloud.com) (Write error: Connection reset by peer)
2022-03-12 06:20:07 +0100scav(sid309693@id-309693.helmsley.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:08 +0100agander_m(sid407952@id-407952.tinside.irccloud.com) (Read error: Connection reset by peer)
2022-03-12 06:20:09 +0100gmc(sid58314@id-58314.ilkley.irccloud.com)
2022-03-12 06:20:13 +0100NemesisD(sid24071@id-24071.lymington.irccloud.com)
2022-03-12 06:20:18 +0100truckasaurus(sid457088@id-457088.helmsley.irccloud.com)
2022-03-12 06:20:18 +0100pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2022-03-12 06:20:21 +0100dmj`(sid72307@id-72307.hampstead.irccloud.com)
2022-03-12 06:20:22 +0100aarchi(sid486183@id-486183.uxbridge.irccloud.com)
2022-03-12 06:20:22 +0100b20n(sid115913@id-115913.uxbridge.irccloud.com)
2022-03-12 06:20:22 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-03-12 06:20:25 +0100gaze___(sid387101@id-387101.helmsley.irccloud.com)
2022-03-12 06:20:26 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2022-03-12 06:20:27 +0100agander_m(sid407952@id-407952.tinside.irccloud.com)
2022-03-12 06:20:29 +0100scav(sid309693@id-309693.helmsley.irccloud.com)
2022-03-12 06:20:30 +0100retroid_(~retro@2e40edd9.skybroadband.com)
2022-03-12 06:20:30 +0100rtpg(sid443069@id-443069.ilkley.irccloud.com)
2022-03-12 06:20:53 +0100JSharp(sid4580@id-4580.lymington.irccloud.com)
2022-03-12 06:20:59 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 06:21:00 +0100mud(~mud@user/kadoban) (Remote host closed the connection)
2022-03-12 06:21:25 +0100mud(~mud@user/kadoban)
2022-03-12 06:21:30 +0100cajun(~cajun@ip98-163-218-217.no.no.cox.net) (Ping timeout: 250 seconds)
2022-03-12 06:22:16 +0100cajun(~cajun@ip98-163-218-217.no.no.cox.net)
2022-03-12 06:22:48 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 06:22:50 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 06:25:24 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 06:40:12 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2022-03-12 06:40:51 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds)
2022-03-12 06:45:20 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-03-12 06:45:37 +0100unyu(~pyon@user/pyon)
2022-03-12 06:48:29 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2022-03-12 06:51:32 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-12 06:57:23 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2022-03-12 06:57:51 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-12 06:58:56 +0100img(~img@user/img)
2022-03-12 07:02:31 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-12 07:04:02 +0100Guest91(~Guest91@2401:4900:2324:14c2:95d3:8bf7:e469:317a) (Quit: Client closed)
2022-03-12 07:08:47 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 07:12:26 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-12 07:13:22 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-03-12 07:18:42 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2022-03-12 07:20:51 +0100chenqisu1(~chenqisu1@183.217.201.47)
2022-03-12 07:22:43 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-12 07:26:13 +0100ishutin(~ishutin@84-236-122-92.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-12 07:26:30 +0100euandreh(~euandreh@2804:14c:33:9fe5:49fc:dd14:62fe:1d6f) (Ping timeout: 250 seconds)
2022-03-12 07:27:48 +0100ishutin(~ishutin@81-0-86-197.pool.digikabel.hu)
2022-03-12 07:29:01 +0100euandreh(~euandreh@2804:14c:33:9fe5:e7c4:5253:dd7b:aefb)
2022-03-12 07:29:36 +0100stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-03-12 07:31:08 +0100stiell_(~stiell@gateway/tor-sasl/stiell)
2022-03-12 07:32:04 +0100zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-03-12 07:36:56 +0100zmt00(~zmt00@user/zmt00)
2022-03-12 07:37:41 +0100dsrt^(~dsrt@50.232.121.75) (Remote host closed the connection)
2022-03-12 07:42:06 +0100vglfr(~vglfr@88.155.93.179)
2022-03-12 07:42:36 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 07:57:00 +0100shailangsa(~shailangs@host86-186-133-59.range86-186.btcentralplus.com) (Ping timeout: 240 seconds)
2022-03-12 08:03:34 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-12 08:16:32 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-12 08:16:49 +0100vorpuni(~pvorp@2001:861:3881:c690:32c5:282d:37c:e03)
2022-03-12 08:21:57 +0100vglfr(~vglfr@88.155.93.179) (Ping timeout: 252 seconds)
2022-03-12 08:23:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-12 08:39:15 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 08:39:16 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com)
2022-03-12 08:44:21 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 08:52:59 +0100fm(~fm@thx123.olf.sgsnet.se)
2022-03-12 08:54:00 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 08:58:16 +0100acidjnk_new3(~acidjnk@p200300d0c7049f5471ccbf74c830af09.dip0.t-ipconnect.de)
2022-03-12 09:03:17 +0100fm(~fm@thx123.olf.sgsnet.se) (Remote host closed the connection)
2022-03-12 09:05:53 +0100td_(~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 272 seconds)
2022-03-12 09:05:56 +0100phma(~phma@host-67-44-208-84.hnremote.net) (Read error: Connection reset by peer)
2022-03-12 09:06:51 +0100Jason(~Jason@31-152-155-90.pat.amp.cosmote.net)
2022-03-12 09:07:05 +0100phma(~phma@host-67-44-209-27.hnremote.net)
2022-03-12 09:07:27 +0100td_(~td@muedsl-82-207-238-211.citykom.de)
2022-03-12 09:10:43 +0100AlexNoo_AlexNoo
2022-03-12 09:17:10 +0100tomjaguarpaw(~tom@li367-225.members.linode.com)
2022-03-12 09:20:27 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 09:24:09 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-12 09:26:11 +0100Graham31415(~Graham314@213.237.95.25)
2022-03-12 09:38:48 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-12 09:48:18 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2022-03-12 09:48:37 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 09:48:51 +0100ishutin(~ishutin@81-0-86-197.pool.digikabel.hu) (Ping timeout: 252 seconds)
2022-03-12 09:49:21 +0100deadmarshal_(~deadmarsh@95.38.118.140) (Ping timeout: 256 seconds)
2022-03-12 09:49:26 +0100deadmars-(~deadmarsh@95.38.119.200)
2022-03-12 09:50:38 +0100ishutin(~ishutin@84-236-122-92.pool.digikabel.hu)
2022-03-12 09:52:09 +0100bahamas(~lucian@82.78.48.20)
2022-03-12 09:53:09 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-12 09:55:49 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-12 09:57:06 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-03-12 09:57:39 +0100bahamas(~lucian@82.78.48.20) (Ping timeout: 252 seconds)
2022-03-12 10:05:34 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 10:05:53 +0100euprogramista(~euprogram@103.137.15.62)
2022-03-12 10:06:36 +0100xpika(~xpika@n122-110-91-97.sun2.vic.optusnet.com.au)
2022-03-12 10:06:41 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 272 seconds)
2022-03-12 10:06:59 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 10:09:25 +0100 <euprogramista> hi there. could someone give me a hand to understand this idea from LYAH? list like [1,2,3] can be viewed as a computation that can't decide on which result it wants to have, so it presents us with all of the possible results
2022-03-12 10:09:57 +0100 <euprogramista> the author mentions that a list is a non-deterministic value. this doesn't make sense to me
2022-03-12 10:10:16 +0100 <euprogramista> It also says: A value like 100 or "what" can be viewed as a deterministic computation
2022-03-12 10:10:24 +0100 <c_wraith> euprogramista: That is a way to view lists, but it's... a bit weird
2022-03-12 10:10:39 +0100 <c_wraith> Like, sometimes it makes sense.
2022-03-12 10:10:44 +0100 <c_wraith> But it's hardly universal.
2022-03-12 10:10:46 +0100 <euprogramista> so it's not me that sees that it's weird?
2022-03-12 10:10:57 +0100 <c_wraith> Sometimes [1,2,3] is just 3 values.
2022-03-12 10:11:07 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 272 seconds)
2022-03-12 10:11:20 +0100 <c_wraith> But it is a way to conceptual what's going on with []'s monad instance.
2022-03-12 10:11:26 +0100 <c_wraith> *conceptualize
2022-03-12 10:12:08 +0100 <euprogramista> it gets even more weird when he says that "what" can be viewed as deterministic computation. "what" is a list of Char, so it should at least fall in the same idea of [1,2,3] to me
2022-03-12 10:13:17 +0100 <c_wraith> Like I said - you can look at it either way
2022-03-12 10:14:29 +0100 <c_wraith> But it's really only natural to think of it that way when you're looking at []'s monad instance from viewpoint that's sort of inside the model
2022-03-12 10:15:41 +0100 <c_wraith> Like, what's happening when you use `x <- foo :: [Int]' inside a do block? well, x is getting a value. What value? Every value inside foo.
2022-03-12 10:15:52 +0100 <c_wraith> You can think of that as a type of non-determinism
2022-03-12 10:17:20 +0100 <c_wraith> but [] isn't especially *good* for that. It's ordered, which makes it impossible to use for any kind of infinite non-deterministic calculation
2022-03-12 10:19:23 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-12 10:23:18 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection)
2022-03-12 10:25:53 +0100 <euprogramista> c_wraith: I think it makes more sense now. thanks for helping
2022-03-12 10:31:40 +0100Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-12 10:33:41 +0100DNH(~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8)
2022-03-12 10:33:57 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-12 10:37:06 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-12 10:38:54 +0100chenqisu1(~chenqisu1@183.217.201.47) (Quit: Leaving)
2022-03-12 10:46:32 +0100img(~img@user/img)
2022-03-12 10:47:09 +0100CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-12 10:52:51 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com) (Remote host closed the connection)
2022-03-12 11:03:34 +0100kuribas(~user@ptr-25vy0i9hz776i7usnbt.18120a2.ip6.access.telenet.be)
2022-03-12 11:08:44 +0100euprogramista(~euprogram@103.137.15.62) (Ping timeout: 272 seconds)
2022-03-12 11:09:01 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 11:12:32 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 11:13:49 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 11:15:34 +0100 <kuribas> nice, I found I could remove the phantom types and GADTs, and not loose much safety (if anything at all).
2022-03-12 11:19:56 +0100razetime(~quassel@117.254.34.232) (Ping timeout: 245 seconds)
2022-03-12 11:20:19 +0100xpika(~xpika@n122-110-91-97.sun2.vic.optusnet.com.au) (Quit: Client closed)
2022-03-12 11:20:36 +0100razetime(~quassel@117.254.34.232)
2022-03-12 11:23:24 +0100 <maerwald> remove from where
2022-03-12 11:23:44 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce)
2022-03-12 11:23:55 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-03-12 11:24:02 +0100 <kuribas> my code.
2022-03-12 11:26:17 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-03-12 11:27:57 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Ping timeout: 240 seconds)
2022-03-12 11:33:03 +0100 <kuribas> I could lift the type level stuff into value level.
2022-03-12 11:34:26 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com)
2022-03-12 11:35:37 +0100 <kuribas> faith in (mostly) simpe haskell restored :)
2022-03-12 11:36:28 +0100 <int-e> next... simplify your code by abandoning types and embracing unsafeCoerce
2022-03-12 11:37:19 +0100namkeleser(~namkelese@101.175.104.107)
2022-03-12 11:38:53 +0100xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
2022-03-12 11:39:52 +0100ehammarstrom_ehammarstrom
2022-03-12 11:48:39 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-12 11:51:05 +0100euprogramista(~euprogram@103.137.15.62)
2022-03-12 11:51:56 +0100machinedgod(~machinedg@24.105.81.50)
2022-03-12 11:55:24 +0100euprogramista(~euprogram@103.137.15.62) (Ping timeout: 240 seconds)
2022-03-12 11:57:39 +0100ishutin(~ishutin@84-236-122-92.pool.digikabel.hu) (Ping timeout: 256 seconds)
2022-03-12 11:58:47 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-12 11:58:54 +0100Midjak(~Midjak@82.66.147.146)
2022-03-12 11:59:07 +0100 <siers> ski, I later realized that I might be conflating things, hence the "logic is tough" later on
2022-03-12 11:59:16 +0100ishutin(~ishutin@178-164-207-122.pool.digikabel.hu)
2022-03-12 12:00:44 +0100notzmv(~zmv@user/notzmv)
2022-03-12 12:06:47 +0100Guest1484(~Guest14@157.230.18.252)
2022-03-12 12:12:48 +0100Guest1484(~Guest14@157.230.18.252) (Quit: Client closed)
2022-03-12 12:13:18 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 12:15:37 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2022-03-12 12:15:53 +0100kritzefitz(~kritzefit@debian/kritzefitz)
2022-03-12 12:17:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 12:18:55 +0100coot(~coot@213.134.190.95)
2022-03-12 12:20:19 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 12:20:33 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 12:24:27 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-12 12:27:20 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-03-12 12:30:56 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-12 12:36:58 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-12 12:37:03 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-12 12:38:01 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 12:41:05 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 12:48:25 +0100 <rembo10> I'm having a little trouble parsing vcards with megaparsec. A long line can be indented on the next line with a space, but that content can also start with a space... and I'm not really sure how to parse that case
2022-03-12 12:49:02 +0100 <rembo10> e.g. "this is a\r\n long line" (with 2 spaces)
2022-03-12 12:49:39 +0100 <rembo10> It just ends up dropping both spaces
2022-03-12 12:50:05 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-03-12 12:54:18 +0100Pickchea(~private@user/pickchea)
2022-03-12 12:54:50 +0100 <rembo10> Like I'm not really sure how to set the indent to 1 space, but also allow a space at the start of the data
2022-03-12 13:00:25 +0100 <maerwald> kuribas: but how you gonna write a cool blog post about type level programming now?
2022-03-12 13:00:36 +0100 <maerwald> and how it fixed all your business problems
2022-03-12 13:02:48 +0100ubert(~Thunderbi@p200300ecdf19b7a284ec7d5a9a9e1e02.dip0.t-ipconnect.de)
2022-03-12 13:07:55 +0100Andrew(Andrew@user/AndrewYu) (Quit: Leaving)
2022-03-12 13:07:59 +0100Jason(~Jason@31-152-155-90.pat.amp.cosmote.net) (Quit: Client closed)
2022-03-12 13:08:08 +0100Andrew(Andrew@user/AndrewYu)
2022-03-12 13:14:50 +0100euprogramista(~euprogram@103.137.15.62)
2022-03-12 13:18:37 +0100acidjnk_new3(~acidjnk@p200300d0c7049f5471ccbf74c830af09.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-12 13:19:24 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 13:19:31 +0100ubert(~Thunderbi@p200300ecdf19b7a284ec7d5a9a9e1e02.dip0.t-ipconnect.de) (Quit: ubert)
2022-03-12 13:25:58 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-12 13:27:07 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 13:31:15 +0100euprogramista(~euprogram@103.137.15.62) (Quit: leaving)
2022-03-12 13:31:36 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-12 13:37:14 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com) ()
2022-03-12 13:37:38 +0100razetime(~quassel@117.254.34.232) (Ping timeout: 252 seconds)
2022-03-12 13:38:06 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-03-12 13:38:36 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 13:42:54 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 13:43:04 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 13:43:43 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 13:44:31 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 13:48:08 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 13:49:12 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-12 13:50:18 +0100mbuf(~Shakthi@122.174.232.218) (Ping timeout: 252 seconds)
2022-03-12 13:50:28 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 13:52:13 +0100mbuf(~Shakthi@110.225.244.90)
2022-03-12 13:54:46 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 13:54:49 +0100DNH(~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-12 13:55:23 +0100DNH(~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24)
2022-03-12 13:56:00 +0100razetime(~quassel@117.193.6.128)
2022-03-12 13:56:18 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 13:57:27 +0100infinity0(~infinity0@occupy.ecodis.net) (Ping timeout: 252 seconds)
2022-03-12 14:00:38 +0100infinity0(~infinity0@occupy.ecodis.net)
2022-03-12 14:01:01 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 14:01:58 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:06:48 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2022-03-12 14:07:49 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:12:06 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 14:13:12 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 14:13:26 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 14:13:31 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:14:06 +0100ishutin(~ishutin@178-164-207-122.pool.digikabel.hu) (Ping timeout: 245 seconds)
2022-03-12 14:15:18 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-12 14:18:39 +0100shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com)
2022-03-12 14:18:44 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 14:19:29 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:22:33 +0100Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-03-12 14:23:48 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 14:25:09 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:27:40 +0100 <kuribas> maerwald: I'll use idris :)
2022-03-12 14:29:24 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 14:30:58 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:32:02 +0100 <geekosaur> a wise choice
2022-03-12 14:33:18 +0100 <kuribas> oh nice, i can represent a zip over records using Traversable.
2022-03-12 14:35:16 +0100 <kuribas> zipRecord :: Traversable r => (a -> b -> c) -> r a -> r b -> r c
2022-03-12 14:35:24 +0100Topsi(~Tobias@dyndsl-095-033-019-161.ewe-ip-backbone.de)
2022-03-12 14:35:30 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 14:35:39 +0100 <kuribas> assuming r is a record with a constant number of elements.
2022-03-12 14:36:51 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:38:17 +0100 <kuribas> no generics needed.
2022-03-12 14:38:35 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-03-12 14:40:29 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-12 14:41:32 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 14:42:37 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:45:50 +0100mmhat(~mmh@55d42539.access.ecotel.net)
2022-03-12 14:47:12 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 14:47:39 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds)
2022-03-12 14:48:22 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:51:40 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2022-03-12 14:52:37 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 14:54:11 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 14:55:53 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-12 14:57:25 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 14:57:25 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 14:58:36 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 14:59:54 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:02:02 +0100dextaa_(~dextaa@user/dextaa)
2022-03-12 15:03:37 +0100jackson99(~bc8147f2@cerf.good1.com)
2022-03-12 15:04:17 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 15:05:43 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:10:39 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-12 15:11:35 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:12:07 +0100mixfix41(~sdenyninn@user/mixfix41)
2022-03-12 15:16:14 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 15:16:33 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-12 15:17:18 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-03-12 15:17:21 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:19:10 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-12 15:21:59 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-12 15:23:17 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:27:24 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 15:29:02 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:29:35 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds)
2022-03-12 15:31:16 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 15:31:18 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-12 15:32:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 15:33:34 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 15:34:48 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:36:25 +0100__monty__(~toonn@user/toonn)
2022-03-12 15:37:00 +0100 <kuribas> ah, it seem I do loose a lot of safety...
2022-03-12 15:37:26 +0100 <kuribas> Now my toplevel record looks like Toplevel { foo :: f, bar :: f, baz :: f}.
2022-03-12 15:37:35 +0100 <kuribas> No info about the type of f...
2022-03-12 15:37:45 +0100 <kuribas> Still better than clojure I guess...
2022-03-12 15:39:17 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 15:40:14 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-03-12 15:40:22 +0100ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-03-12 15:41:12 +0100shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-12 15:44:04 +0100vglfr(~vglfr@46.96.129.189)
2022-03-12 15:44:04 +0100Pickchea(~private@user/pickchea)
2022-03-12 15:45:49 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-12 15:46:19 +0100mreh(~matthew@host86-172-33-212.range86-172.btcentralplus.com)
2022-03-12 15:46:21 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:50:46 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2022-03-12 15:53:52 +0100Hud(~Hud@ec2-18-144-90-195.us-west-1.compute.amazonaws.com)
2022-03-12 15:54:48 +0100raym(~raym@user/raym) (Ping timeout: 250 seconds)
2022-03-12 15:55:07 +0100jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2022-03-12 15:55:08 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-12 15:55:59 +0100 <Hud> hi all, looking at how to create diagrams using text, something like those shown in https://kroki.io/#features - what diagram type is best for haskell?
2022-03-12 15:55:59 +0100 <mreh> I'm trying to make an extensible cache interface, where any type can be serialised/parsed into a cache table. Could I maybe use a single function definition each for saving and loading data with a type family definition for each type to be cached?
2022-03-12 15:56:12 +0100vglfr(~vglfr@46.96.129.189) (Read error: Connection reset by peer)
2022-03-12 15:56:18 +0100vglfr(~vglfr@46.96.129.189)
2022-03-12 15:56:38 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-12 15:56:54 +0100 <geekosaur> sounds morelike a typeclass than a typefamily to me?
2022-03-12 15:57:25 +0100 <mreh> geekosaur: well I was thinking something like this
2022-03-12 15:57:37 +0100 <mreh> type Key = Text
2022-03-12 15:57:37 +0100 <mreh> readCache :: Symbol -> Key -> IO (CacheableType Symbol)
2022-03-12 15:57:37 +0100 <mreh> writeCache :: Symbol -> Key -> CacheableType Symbol -> IO ()
2022-03-12 15:57:59 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 15:58:25 +0100 <mreh> how else would it know what type to decode to, isn't it dependen't on a value, like the Symbol here?
2022-03-12 15:58:49 +0100toulene(~toulene@user/toulene) (Ping timeout: 272 seconds)
2022-03-12 15:59:04 +0100fendor(~fendor@77.119.210.182.wireless.dyn.drei.com)
2022-03-12 16:01:09 +0100toulene(~toulene@user/toulene)
2022-03-12 16:01:52 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-12 16:01:59 +0100 <romesrf> Hello!
2022-03-12 16:02:09 +0100 <romesrf> What is your preferred way of doing this kind of case matching ?
2022-03-12 16:02:11 +0100 <romesrf> https://paste.tomsmeding.com/hAKE6uAd
2022-03-12 16:02:21 +0100 <romesrf> I was thinking there might be a cleaner way
2022-03-12 16:04:28 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-12 16:06:59 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds)
2022-03-12 16:08:56 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-03-12 16:08:57 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-12 16:09:13 +0100 <geekosaur> getArgs >>= \case … ?
2022-03-12 16:11:00 +0100 <geekosaur> of course that doesn't work too well if you need to get at the other arguments as well; but by that point you may want to graduate to optparse-applicative or cmdargs or etc.
2022-03-12 16:12:12 +0100 <jackson99> it works well enough for simple cases. ie ["--option", arg]. but yes, for more complex things optparse-applicative is nicer, and you get --help for free
2022-03-12 16:13:52 +0100razetime(~quassel@117.193.6.128) (Ping timeout: 250 seconds)
2022-03-12 16:14:31 +0100Pickchea(~private@user/pickchea) (Ping timeout: 245 seconds)
2022-03-12 16:14:32 +0100 <geekosaur> mreh, if it's dependent on a value then you may be making a mistake in using Haskell instead of e.g. Idris
2022-03-12 16:15:16 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 16:15:47 +0100 <geekosaur> but note that Symbol is a kind, not a type, and it is inhabited by types,not values
2022-03-12 16:16:12 +0100 <geekosaur> I suspect you're going to tie yourself into knots trying to make that implementation work
2022-03-12 16:17:42 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-12 16:19:56 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 16:20:53 +0100raym(~raym@user/raym)
2022-03-12 16:21:03 +0100razetime(~quassel@117.254.34.232)
2022-03-12 16:21:14 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-12 16:21:14 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-12 16:22:06 +0100romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds)
2022-03-12 16:23:11 +0100namkeleser(~namkelese@101.175.104.107) (Quit: Client closed)
2022-03-12 16:24:21 +0100 <mreh> geekosaur: I was under the impressions that depdendent types were "working" in Haskell, with the right extensions
2022-03-12 16:25:02 +0100 <geekosaur> not yet
2022-03-12 16:25:08 +0100 <mreh> and yeah, I suppose Symbol is a kind really
2022-03-12 16:25:42 +0100 <geekosaur> possibly you could make that work with a forall sym -> … (in 9.2 at least) but I think all you can thyen do with sym is use it in a TypeApplication
2022-03-12 16:26:16 +0100 <geekosaur> this really is more an Idris kind of thing
2022-03-12 16:26:46 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 16:27:09 +0100 <mreh> I was watching Stefanie Weirich make type safe regular expressions in Haskell with dependent typing
2022-03-12 16:27:25 +0100 <mreh> Seems like there's a lot done
2022-03-12 16:29:27 +0100 <kuribas> mreh: "working". What haskell has can at best emulate some of the behaviour of DT. It definitely doesn't have DT.
2022-03-12 16:29:32 +0100 <geekosaur> I wonder if you want to look at the dependent-map package
2022-03-12 16:30:22 +0100 <mreh> but what's missing? It doesn't have pi types, but you can simulate them
2022-03-12 16:30:30 +0100 <geekosaur> and, definitely what kuribas said
2022-03-12 16:31:14 +0100 <kuribas> mreh: DT means that types are just normal values, and you can write function over them.
2022-03-12 16:31:46 +0100 <kuribas> mreh: in haskell, you need to use type families in order to write a function over a type.
2022-03-12 16:31:55 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-12 16:32:07 +0100 <geekosaur> that was where this started out, actually
2022-03-12 16:32:11 +0100 <kuribas> mreh: it's just one example.
2022-03-12 16:32:18 +0100 <geekosaur> I still think it sounds more like a typeclass
2022-03-12 16:32:47 +0100Graham31415(~Graham314@213.237.95.25) (Quit: Client closed)
2022-03-12 16:32:54 +0100 <mreh> it could be
2022-03-12 16:33:24 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) (Ping timeout: 240 seconds)
2022-03-12 16:34:56 +0100 <mreh> kuribas: okay
2022-03-12 16:38:15 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 16:39:48 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 16:41:10 +0100mbuf(~Shakthi@110.225.244.90) (Quit: Leaving)
2022-03-12 16:41:48 +0100zmt00(~zmt00@user/zmt00)
2022-03-12 16:42:55 +0100zebrag(~chris@user/zebrag)
2022-03-12 16:43:00 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 16:43:22 +0100boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 16:43:23 +0100boborygmy__(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-12 16:43:40 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 16:43:55 +0100zmt01(~zmt00@user/zmt00)
2022-03-12 16:46:01 +0100acidjnk_new3(~acidjnk@p200300d0c7049f5489cda852442edc84.dip0.t-ipconnect.de)
2022-03-12 16:46:09 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com)
2022-03-12 16:46:17 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-12 16:46:27 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-12 16:46:57 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 272 seconds)
2022-03-12 16:50:40 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-12 16:51:01 +0100 <byorgey> Hud: not sure exactly what you're asking. Why not just use kroki in the first place? And if you need to do it from within a Haskell program, you could still use the kroki API perhaps?
2022-03-12 16:52:38 +0100 <Midjak> Hi anyone which is familiar with haskell LSP in Emacs. I tried servant tutorial and I am stuck with this issue https://github.com/haskell-servant/servant/issues/1559 . Any idea ?
2022-03-12 16:53:19 +0100 <Midjak> tried several hie.yaml configuration without succeed
2022-03-12 16:56:09 +0100 <byorgey> Midjak: try deleting .ghc/<whatever_version>/environments/default ?
2022-03-12 16:56:28 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-12 16:57:19 +0100 <byorgey> Took me a long time to finally find that suggestion when that was happening to me.
2022-03-12 16:57:51 +0100 <Midjak> byorgey, well I am not sure of the effect of this. I have haskell installed with ghcup. Is there an impact on the installation to remove this ?
2022-03-12 16:58:14 +0100 <geekosaur> generally no; you should usually not be installing stuff in a way that would create that file
2022-03-12 16:58:25 +0100 <geekosaur> it's far more likely to make messes than to help
2022-03-12 16:59:47 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net)
2022-03-12 16:59:54 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-12 17:00:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 17:00:14 +0100 <byorgey> Midjak: should have no effect.
2022-03-12 17:00:53 +0100 <Midjak> ok it works
2022-03-12 17:01:00 +0100 <Midjak> Why ?
2022-03-12 17:01:12 +0100 <byorgey> I wish I knew.
2022-03-12 17:01:21 +0100 <Midjak> what is this folder ?
2022-03-12 17:01:33 +0100 <Midjak> :-) byorgey
2022-03-12 17:01:41 +0100 <maerwald> Midjak: you installed stuff via `cabal install --lib`?
2022-03-12 17:01:56 +0100 <maerwald> that creates a global environment file that now all cabal invocations share
2022-03-12 17:02:17 +0100 <maerwald> that can severly mess with builds
2022-03-12 17:02:36 +0100 <byorgey> aha, TIL
2022-03-12 17:02:47 +0100 <Midjak> no I have just tried `stack new test-servant servant`
2022-03-12 17:03:10 +0100 <maerwald> I'm not aware of stack creating that file
2022-03-12 17:04:26 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 17:04:31 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 245 seconds)
2022-03-12 17:04:58 +0100 <Midjak> like here https://docs.servant.dev/en/stable/tutorial/install.html
2022-03-12 17:06:09 +0100 <Midjak> perhaps it is a folder which is here for long time
2022-03-12 17:06:37 +0100 <Midjak> I don't get the relation with lsp and hie
2022-03-12 17:07:10 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 17:07:36 +0100lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-12 17:08:14 +0100 <Midjak> 🤯
2022-03-12 17:09:26 +0100 <Midjak> is .ghc/<whatever_version>/environments/default documented somewhere ?
2022-03-12 17:10:30 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 252 seconds)
2022-03-12 17:11:40 +0100 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/packages.html#package-environments
2022-03-12 17:12:02 +0100 <Midjak> thanks geekosaur
2022-03-12 17:12:38 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 17:13:42 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-12 17:14:33 +0100 <Midjak> If I want to have a good overview about how cabal, stack and GHC works together. What should I read firstly ?
2022-03-12 17:14:37 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-12 17:15:57 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-03-12 17:17:06 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-03-12 17:17:32 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-03-12 17:17:50 +0100 <geekosaur> sclv is probably the best person to ask about that. or ask in #hackage maybe
2022-03-12 17:17:50 +0100vysn(~vysn@user/vysn) (Ping timeout: 260 seconds)
2022-03-12 17:18:12 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-12 17:19:39 +0100 <Midjak> oh there is a chan for hackage ok
2022-03-12 17:22:04 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-03-12 17:22:36 +0100jakalx(~jakalx@base.jakalx.net)
2022-03-12 17:23:01 +0100coot(~coot@213.134.190.95)
2022-03-12 17:23:57 +0100Hud(~Hud@ec2-18-144-90-195.us-west-1.compute.amazonaws.com) (Quit: Client closed)
2022-03-12 17:23:58 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-12 17:24:43 +0100 <sclv> Midjak: https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07
2022-03-12 17:27:59 +0100 <Midjak> nice thank you sclv
2022-03-12 17:30:01 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 17:34:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 268 seconds)
2022-03-12 17:36:43 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 17:37:35 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-12 17:39:21 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-12 17:41:37 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-12 17:42:29 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 17:47:02 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 17:48:45 +0100icebreaker(~icebreake@user/icebreaker)
2022-03-12 17:48:51 +0100Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-12 17:53:49 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds)
2022-03-12 17:58:44 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-12 18:00:43 +0100acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-12 18:01:14 +0100acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-12 18:05:00 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 18:05:06 +0100AlexNoo(~AlexNoo@94.233.240.159) (Read error: Connection reset by peer)
2022-03-12 18:05:28 +0100AlexNoo(~AlexNoo@94.233.240.159)
2022-03-12 18:06:03 +0100razetime(~quassel@117.254.34.232) (Ping timeout: 252 seconds)
2022-03-12 18:07:09 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 252 seconds)
2022-03-12 18:09:21 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds)
2022-03-12 18:09:54 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-12 18:11:04 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 18:11:04 +0100vglfr(~vglfr@46.96.129.189) (Read error: Connection reset by peer)
2022-03-12 18:11:08 +0100 <kuribas> How do I make GADT record syntax?
2022-03-12 18:11:20 +0100 <kuribas> I have "data FeatureSQL f where FeatureSQL { ..."
2022-03-12 18:11:37 +0100 <kuribas> well "data FeatureSQL f where FeatureSQL { ...} -> FeatureSQL f"
2022-03-12 18:11:46 +0100 <kuribas> it's having syntax error on '{'
2022-03-12 18:12:41 +0100 <monochrom> FeatureSQL :: { ... } -> FeatureSQL f
2022-03-12 18:13:21 +0100 <kuribas> that works, thanks!
2022-03-12 18:14:13 +0100vglfr(~vglfr@46.96.129.189)
2022-03-12 18:14:34 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-12 18:18:29 +0100lottaquestions(~nick@2607:fa49:5041:a200:e074:d04a:8e4c:140f)
2022-03-12 18:18:31 +0100ph88(~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab)
2022-03-12 18:19:13 +0100xkuru(~xkuru@user/xkuru)
2022-03-12 18:19:15 +0100kaph_(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-12 18:19:26 +0100kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-12 18:19:49 +0100zebrag(~chris@user/zebrag)
2022-03-12 18:20:13 +0100ubert(~Thunderbi@p200300ecdf19b7a24d515817a15e430d.dip0.t-ipconnect.de)
2022-03-12 18:20:17 +0100tdammers(~tdammers@77.109.72.177.res.static.edpnet.net)
2022-03-12 18:27:22 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-03-12 18:27:47 +0100EvanR(~EvanR@user/evanr)
2022-03-12 18:34:26 +0100mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-12 18:35:56 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-03-12 18:36:11 +0100__monty__(~toonn@user/toonn) (Ping timeout: 245 seconds)
2022-03-12 18:36:55 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-03-12 18:37:28 +0100theproffesor(~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (*.net *.split)
2022-03-12 18:37:28 +0100agumonke`(~user@88.163.231.79) (*.net *.split)
2022-03-12 18:37:28 +0100haasn(~nand@haasn.dev) (*.net *.split)
2022-03-12 18:37:28 +0100joo-_(~joo-_@fsf/member/joo--) (*.net *.split)
2022-03-12 18:37:28 +0100echoreply(~echoreply@45.32.163.16) (*.net *.split)
2022-03-12 18:37:28 +0100pranshukhandal(~ghost@envs.net) (*.net *.split)
2022-03-12 18:37:28 +0100c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2022-03-12 18:37:28 +0100cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2022-03-12 18:37:28 +0100Philonous(~Philonous@user/philonous) (*.net *.split)
2022-03-12 18:37:28 +0100ncopa(~ncopa@alpine/developer/ncopa) (*.net *.split)
2022-03-12 18:37:28 +0100hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2022-03-12 18:37:28 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split)
2022-03-12 18:38:02 +0100__monty__(~toonn@user/toonn)
2022-03-12 18:38:02 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-12 18:40:04 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-12 18:42:57 +0100theproffesor(~theproffe@c-24-9-30-127.hsd1.co.comcast.net)
2022-03-12 18:42:57 +0100agumonke`(~user@88.163.231.79)
2022-03-12 18:42:57 +0100haasn(~nand@haasn.dev)
2022-03-12 18:42:57 +0100joo-_(~joo-_@fsf/member/joo--)
2022-03-12 18:42:57 +0100echoreply(~echoreply@45.32.163.16)
2022-03-12 18:42:57 +0100pranshukhandal(~ghost@envs.net)
2022-03-12 18:42:57 +0100c_wraith(~c_wraith@adjoint.us)
2022-03-12 18:42:57 +0100cross(~cross@spitfire.i.gajendra.net)
2022-03-12 18:42:57 +0100Philonous(~Philonous@user/philonous)
2022-03-12 18:42:57 +0100ncopa(~ncopa@alpine/developer/ncopa)
2022-03-12 18:42:57 +0100hiredman(~hiredman@frontier1.downey.family)
2022-03-12 18:42:57 +0100mjrosenb(~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net)
2022-03-12 18:46:48 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt)
2022-03-12 18:47:25 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-03-12 18:48:51 +0100 <hpc> on the topic of that gadt question, it would be nice if you could use that syntax for regular functions too
2022-03-12 18:49:08 +0100 <hpc> so instead of having to write runFoo defaultOptions {...} you just write runFoo {...}
2022-03-12 18:49:43 +0100 <hpc> and what runFoo can do is right there in its type signature instead of off in this other data definition
2022-03-12 18:51:22 +0100DNH(~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-12 18:53:20 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds)
2022-03-12 18:56:37 +0100vglfr(~vglfr@46.96.129.189) (Ping timeout: 240 seconds)
2022-03-12 19:00:34 +0100romesrf(~romes@198.177.63.94.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-12 19:03:07 +0100thaumavorio(~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-12 19:03:25 +0100thaumavorio(~thaumavor@thaumavor.io)
2022-03-12 19:10:52 +0100seriley_(~seriley@75.164.66.230)
2022-03-12 19:14:18 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 19:16:10 +0100zmt00(~zmt00@user/zmt00)
2022-03-12 19:16:27 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2022-03-12 19:17:57 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds)
2022-03-12 19:19:18 +0100mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-12 19:20:15 +0100DNH(~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24)
2022-03-12 19:28:21 +0100kuribas(~user@ptr-25vy0i9hz776i7usnbt.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-03-12 19:28:57 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-12 19:32:02 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 19:32:34 +0100dsrt^(~dsrt@50.232.121.75)
2022-03-12 19:33:03 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-03-12 19:37:06 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2022-03-12 19:38:19 +0100ProfSimm(~ProfSimm@87.227.196.109)
2022-03-12 19:38:48 +0100 <hololeap> this is a really good album: https://bluetech.bandcamp.com/album/the-four-horsemen-of-the-electrocalypse
2022-03-12 19:38:55 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-12 19:39:04 +0100 <hololeap> oops wrong channel haha
2022-03-12 19:41:14 +0100DNH(~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-12 19:42:09 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-12 19:42:23 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 19:44:19 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-03-12 19:44:51 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-12 19:46:07 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-12 19:47:59 +0100Sgeo(~Sgeo@user/sgeo)
2022-03-12 19:48:22 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-12 19:53:56 +0100econo(uid147250@user/econo)
2022-03-12 19:55:20 +0100DNH(~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24)
2022-03-12 19:55:52 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 19:59:23 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-12 20:01:25 +0100phma(~phma@host-67-44-209-27.hnremote.net) (Read error: Connection reset by peer)
2022-03-12 20:01:56 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-12 20:02:00 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-12 20:05:04 +0100 <sm> good to know
2022-03-12 20:05:15 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-12 20:11:10 +0100Giovanni(~Giovanni@176.55.170.26)
2022-03-12 20:13:19 +0100zmt01(~zmt00@user/zmt00)
2022-03-12 20:13:33 +0100mc47(~mc47@xmonad/TheMC47)
2022-03-12 20:13:57 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-12 20:17:10 +0100zmt00(~zmt00@user/zmt00)
2022-03-12 20:17:57 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-12 20:19:25 +0100jushur(~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2022-03-12 20:21:01 +0100deadmars-(~deadmarsh@95.38.119.200) (Ping timeout: 272 seconds)
2022-03-12 20:23:34 +0100zmt01(~zmt00@user/zmt00)
2022-03-12 20:23:57 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2022-03-12 20:25:22 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-12 20:26:17 +0100jushur(~human@user/jushur)
2022-03-12 20:28:29 +0100euandreh(~euandreh@2804:14c:33:9fe5:e7c4:5253:dd7b:aefb) (Ping timeout: 252 seconds)
2022-03-12 20:29:36 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-12 20:30:38 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-03-12 20:32:42 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-12 20:32:44 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2022-03-12 20:32:49 +0100euandreh(~euandreh@2804:14c:33:9fe5:2e86:80a5:f58b:d1a4)
2022-03-12 20:40:44 +0100zoglesby(f0f8ca1525@user/zoglesby)
2022-03-12 20:41:29 +0100drdo6(~drdo@roach0.drdo.eu)
2022-03-12 20:43:49 +0100drdo(~drdo@roach0.drdo.eu) (Ping timeout: 272 seconds)
2022-03-12 20:43:49 +0100drdo6drdo
2022-03-12 20:48:49 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 20:53:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds)
2022-03-12 20:55:44 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce)
2022-03-12 20:58:51 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-12 21:00:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-03-12 21:00:50 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-03-12 21:01:38 +0100Lord_of_Life_Lord_of_Life
2022-03-12 21:02:36 +0100gehmehgeh(~user@user/gehmehgeh)
2022-03-12 21:02:49 +0100Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2022-03-12 21:03:00 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net)
2022-03-12 21:07:37 +0100yauhsien(~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-12 21:09:46 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 21:12:33 +0100jackson99(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2022-03-12 21:17:43 +0100fm(~fm@thx123.olf.sgsnet.se)
2022-03-12 21:17:43 +0100fmfredin
2022-03-12 21:18:14 +0100fredin(~fm@thx123.olf.sgsnet.se) (Client Quit)
2022-03-12 21:19:45 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 21:36:00 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-12 21:37:24 +0100deadmarshal_(~deadmarsh@95.38.119.200)
2022-03-12 21:40:31 +0100zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
2022-03-12 21:42:13 +0100deadmarshal_(~deadmarsh@95.38.119.200) (Ping timeout: 256 seconds)
2022-03-12 21:44:49 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-03-12 21:44:59 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl)
2022-03-12 21:45:09 +0100coot(~coot@213.134.190.95) (Quit: coot)
2022-03-12 21:45:46 +0100coot(~coot@213.134.190.95)
2022-03-12 21:46:04 +0100mikoto-chan(~mikoto-ch@213.177.151.239) (Read error: No route to host)
2022-03-12 21:51:01 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds)
2022-03-12 21:59:26 +0100alp(~alp@user/alp)
2022-03-12 22:01:45 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 22:03:05 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2022-03-12 22:03:39 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 22:04:22 +0100_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-12 22:04:32 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-12 22:08:37 +0100pavonia(~user@user/siracusa)
2022-03-12 22:08:57 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 22:11:01 +0100dyniec(~dyniec@mail.dybiec.info) (Quit: WeeChat 3.3)
2022-03-12 22:19:10 +0100merijn(~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-12 22:30:51 +0100dyniec(~dyniec@mail.dybiec.info)
2022-03-12 22:33:12 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-12 22:41:56 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-12 22:49:00 +0100wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-12 22:49:54 +0100 <maerwald> "Module `Prelude' does not export `(<>)'"
2022-03-12 22:50:03 +0100 <maerwald> I wonder how many manhours these things have wasted
2022-03-12 23:01:31 +0100hololeap(~hololeap@user/hololeap) (Excess Flood)
2022-03-12 23:02:48 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-12 23:02:54 +0100hololeap(~hololeap@user/hololeap)
2022-03-12 23:04:09 +0100Giovanni(~Giovanni@176.55.170.26) (Ping timeout: 252 seconds)
2022-03-12 23:08:07 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-12 23:08:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection)
2022-03-12 23:09:06 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2022-03-12 23:09:54 +0100justsomeguy(~justsomeg@user/justsomeguy)
2022-03-12 23:12:26 +0100jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-12 23:20:49 +0100agumonke`(~user@88.163.231.79) (Ping timeout: 256 seconds)
2022-03-12 23:25:02 +0100alp(~alp@user/alp) (Ping timeout: 250 seconds)
2022-03-12 23:25:35 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-03-12 23:26:36 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8)
2022-03-12 23:29:36 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2022-03-12 23:30:04 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-03-12 23:31:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds)
2022-03-12 23:33:15 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds)
2022-03-12 23:35:49 +0100lottaquestions(~nick@2607:fa49:5041:a200:e074:d04a:8e4c:140f) (Ping timeout: 240 seconds)
2022-03-12 23:39:45 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2022-03-12 23:46:55 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-03-12 23:49:24 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-03-12 23:52:00 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-03-12 23:54:20 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-03-12 23:57:38 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-03-12 23:58:36 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)