IRCBrowse

2022/10/30

2022-10-30 00:01:50 +0200polo(~polo@user/polo)
2022-10-30 00:05:38 +0200polo(~polo@user/polo) (Client Quit)
2022-10-30 00:08:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-10-30 00:08:55 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-10-30 00:08:55 +0200wroathe(~wroathe@user/wroathe)
2022-10-30 00:09:07 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-30 00:18:13 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds)
2022-10-30 00:19:35 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03) (Remote host closed the connection)
2022-10-30 00:20:27 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03)
2022-10-30 00:34:30 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 00:34:42 +0200Kaiepi(~Kaiepi@108.175.84.104)
2022-10-30 00:38:52 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 250 seconds)
2022-10-30 00:47:45 +0200 <hololeap> yin, I haven't used CoC but this may be helpful? https://github.com/neoclide/coc.nvim/wiki/Using-coc-list
2022-10-30 00:50:49 +0200chomwitt(~chomwitt@athe730-c-multi-217.home.otenet.gr) (Ping timeout: 272 seconds)
2022-10-30 00:52:49 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 00:55:37 +0200nate3(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-10-30 01:00:24 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-10-30 01:11:58 +0200jinsun__(~jinsun@user/jinsun)
2022-10-30 01:11:58 +0200jinsunGuest308
2022-10-30 01:11:58 +0200Guest308(~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services)))
2022-10-30 01:11:58 +0200jinsun__jinsun
2022-10-30 01:15:04 +0200phma_phma
2022-10-30 01:21:39 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-30 01:24:02 +0200son0p(~ff@181.136.122.143)
2022-10-30 01:30:50 +0200mcglk(~mcglk@131.191.49.120) (Read error: Connection reset by peer)
2022-10-30 01:33:57 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 01:35:56 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split)
2022-10-30 01:35:56 +0200tubogram44(~tubogram@user/tubogram) (*.net *.split)
2022-10-30 01:36:17 +0200tubogram44(~tubogram@user/tubogram)
2022-10-30 01:36:29 +0200superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2022-10-30 01:36:43 +0200mmhat(~mmh@p200300f1c7307602ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1)
2022-10-30 01:37:36 +0200Guest|57(~Guest|57@128.172.245.79) (Ping timeout: 264 seconds)
2022-10-30 01:37:49 +0200lechner-(~lechner@2601:641:400:1e5::d35) (Using Circe, the loveliest of all IRC clients)
2022-10-30 01:40:03 +0200nate3(~nate@98.45.169.16)
2022-10-30 01:45:39 +0200talismanick(~talismani@76.133.152.122)
2022-10-30 01:45:44 +0200danza(~francesco@151.34.103.177)
2022-10-30 01:46:03 +0200talismanickGuest9837
2022-10-30 01:48:20 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-10-30 01:51:03 +0200Guest9837(~talismani@76.133.152.122) (Quit: Using Circe, the loveliest of all IRC clients)
2022-10-30 01:51:10 +0200dsrt^(~dsrt@76.145.185.103)
2022-10-30 01:54:57 +0200freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-10-30 01:55:37 +0200nate3(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-10-30 01:56:30 +0200nate3(~nate@98.45.169.16)
2022-10-30 02:01:36 +0100nate3(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-10-30 02:02:04 +0100Guest|57(~Guest|57@128.172.245.79)
2022-10-30 02:03:52 +0100Tuplanolla(~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Quit: Leaving.)
2022-10-30 02:04:44 +0100bilegeek(~bilegeek@2600:1008:b01e:b032:e1e5:c316:d9fd:b36)
2022-10-30 02:05:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03) (Remote host closed the connection)
2022-10-30 02:08:08 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2022-10-30 02:18:11 +0100 <EvanR> wait... a regular expression is the pattern you type in to perl or is it an instance of a regular language being recognized or not
2022-10-30 02:18:44 +0100Clintsquints.
2022-10-30 02:19:11 +0100 <EvanR> on reddit someone says "an algorithm which views DFA transitions as a monoid under composition and parses regular expressions by reducing an input symbol under the composition operation"
2022-10-30 02:19:22 +0100mixfix41(~sdeny9ee@user/mixfix41)
2022-10-30 02:19:30 +0100 <EvanR> surely they don't mean parsing stuff like "a+b*c?"
2022-10-30 02:21:09 +0100ksu(~ksu@user/prtr) (Ping timeout: 255 seconds)
2022-10-30 02:21:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-10-30 02:21:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-30 02:22:36 +0100_\_(~o@user/offon) (Ping timeout: 260 seconds)
2022-10-30 02:22:59 +0100_\_(~o@user/offon)
2022-10-30 02:23:13 +0100dsrt^(~dsrt@76.145.185.103) (Remote host closed the connection)
2022-10-30 02:23:13 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03)
2022-10-30 02:23:25 +0100ksu(~ksu@user/prtr)
2022-10-30 02:23:34 +0100dsrt^(~dsrt@76.145.185.103)
2022-10-30 02:23:44 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 250 seconds)
2022-10-30 02:23:56 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 02:28:21 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds)
2022-10-30 02:29:50 +0100 <dolio> Regular expressions are syntax for specifying regular languages. The things you type into Perl are not regular expressions, because they have constructs that are not regular. A subset of them are regular expressions, though.
2022-10-30 02:37:56 +0100nate3(~nate@98.45.169.16)
2022-10-30 02:40:17 +0100 <EvanR> a monoid M is said to recognize a subset S of monoid N if there exists a monoid morphism f from N to M such that S = f^-1(f(S)) -- wikipedia. After digesting this, I wonder what makes the monoid part important for this
2022-10-30 02:41:21 +0100 <monochrom> free associations? >:)
2022-10-30 02:42:55 +0100nate3(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-30 02:43:11 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 02:43:14 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds)
2022-10-30 02:47:30 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-30 02:48:28 +0100Axman6(~Axman6@user/axman6) (*.net *.split)
2022-10-30 02:52:24 +0100tubogram44(~tubogram@user/tubogram) (*.net *.split)
2022-10-30 02:52:46 +0100tubogram44(~tubogram@user/tubogram)
2022-10-30 02:52:46 +0100 <sclv> which page of wikipedia? i think the reason for specifying monoid is specifically to pick out a class of definitions that correspond to DFAs or other characterizations of regular languages (and the monoidalness will map to the composition).
2022-10-30 02:56:40 +0100tubogram44(~tubogram@user/tubogram) (*.net *.split)
2022-10-30 02:56:48 +0100tubogram44(~tubogram@user/tubogram)
2022-10-30 02:57:18 +0100 <EvanR> sclv, https://en.wikipedia.org/wiki/Recognizable_set
2022-10-30 02:58:27 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03)
2022-10-30 03:01:26 +0100nate3(~nate@98.45.169.16)
2022-10-30 03:04:35 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 03:04:44 +0100jrm(~jrm@user/jrm) (Quit: ciao)
2022-10-30 03:06:05 +0100jrm(~jrm@user/jrm)
2022-10-30 03:06:31 +0100nate3(~nate@98.45.169.16) (Ping timeout: 272 seconds)
2022-10-30 03:18:57 +0100khumba(~khumba@user/khumba)
2022-10-30 03:19:38 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 03:22:54 +0100Guest|57(~Guest|57@128.172.245.79) (Ping timeout: 250 seconds)
2022-10-30 03:23:55 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds)
2022-10-30 03:25:21 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2022-10-30 03:38:37 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-10-30 03:41:37 +0100nate3(~nate@98.45.169.16)
2022-10-30 03:43:37 +0100bilegeek(~bilegeek@2600:1008:b01e:b032:e1e5:c316:d9fd:b36) (Ping timeout: 240 seconds)
2022-10-30 03:46:17 +0100nate3(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-10-30 03:50:42 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 04:00:01 +0100haasn(~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2022-10-30 04:00:40 +0100rburkholder(~blurb@96.45.2.121) (Quit: Leaving)
2022-10-30 04:01:21 +0100haasn(~nand@haasn.dev)
2022-10-30 04:02:04 +0100severen(~severen@202.36.179.72)
2022-10-30 04:07:28 +0100mvk(~mvk@2607:fea8:5ce3:8500::f30b)
2022-10-30 04:12:03 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-10-30 04:14:47 +0100zaquest(~notzaques@5.130.79.72)
2022-10-30 04:29:05 +0100shachaf(~shachaf@user/shachaf) (Quit: Reconnecting)
2022-10-30 04:29:12 +0100shachaf(~shachaf@user/shachaf)
2022-10-30 04:30:07 +0100td_(~td@83.135.9.8) (Ping timeout: 272 seconds)
2022-10-30 04:31:15 +0100td_(~td@83.135.9.47)
2022-10-30 04:31:17 +0100euandreh(~euandreh@179.214.113.107) (Quit: WeeChat 3.6)
2022-10-30 04:41:13 +0100jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-30 04:43:11 +0100nate3(~nate@98.45.169.16)
2022-10-30 04:45:03 +0100danza(~francesco@151.34.103.177) (Read error: Connection reset by peer)
2022-10-30 04:47:57 +0100nate3(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-10-30 04:50:06 +0100crns(~netcrns@user/crns) (Quit: aaa)
2022-10-30 04:50:30 +0100crns(~netcrns@p4ff5e3ac.dip0.t-ipconnect.de)
2022-10-30 04:50:30 +0100crns(~netcrns@p4ff5e3ac.dip0.t-ipconnect.de) (Changing host)
2022-10-30 04:50:30 +0100crns(~netcrns@user/crns)
2022-10-30 04:50:42 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-10-30 04:54:34 +0100rburkholder(~blurb@96.45.2.121)
2022-10-30 04:55:17 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-10-30 04:55:17 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-10-30 04:55:17 +0100finn_elijaFinnElija
2022-10-30 04:56:17 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 240 seconds)
2022-10-30 04:59:15 +0100ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 272 seconds)
2022-10-30 04:59:28 +0100danza(~francesco@151.43.38.143)
2022-10-30 05:10:44 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 05:19:38 +0100bilegeek(~bilegeek@2600:1008:b01c:431b:87e8:df18:abcf:21c3)
2022-10-30 05:21:38 +0100mvk(~mvk@2607:fea8:5ce3:8500::f30b) (Ping timeout: 250 seconds)
2022-10-30 05:26:08 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 05:26:29 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-10-30 05:29:28 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 05:30:23 +0100Axman6(~Axman6@user/axman6)
2022-10-30 05:32:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2022-10-30 05:32:00 +0100Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2022-10-30 05:32:00 +0100Firedancer(sid336191@hampstead.irccloud.com) (*.net *.split)
2022-10-30 05:32:00 +0100ajb(~ajb@mimas.whatbox.ca) (*.net *.split)
2022-10-30 05:32:00 +0100kora9(~kora@user/Kora9) (*.net *.split)
2022-10-30 05:32:00 +0100FragByte(~christian@user/fragbyte) (*.net *.split)
2022-10-30 05:32:00 +0100tessier(~treed@98.171.210.130) (*.net *.split)
2022-10-30 05:32:00 +0100_________(~nobody@user/noodly) (*.net *.split)
2022-10-30 05:32:00 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2022-10-30 05:32:00 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
2022-10-30 05:32:00 +0100tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2022-10-30 05:32:00 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2022-10-30 05:32:00 +0100Logio(em@kapsi.fi) (*.net *.split)
2022-10-30 05:32:00 +0100piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2022-10-30 05:32:00 +0100Trattue(~Trattue@152.70.182.158) (*.net *.split)
2022-10-30 05:32:00 +0100drewolson(~drewolson@user/drewolson) (*.net *.split)
2022-10-30 05:32:00 +0100coldtom(~coldtom@coldrick.cc) (*.net *.split)
2022-10-30 05:32:00 +0100juri_(~juri@84-19-175-179.pool.ovpn.com) (*.net *.split)
2022-10-30 05:32:00 +0100tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2022-10-30 05:32:00 +0100dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2022-10-30 05:32:00 +0100auri(~auri@fsf/member/auri) (*.net *.split)
2022-10-30 05:32:00 +0100GoldsteinQ(~goldstein@goldstein.rs) (*.net *.split)
2022-10-30 05:32:00 +0100phileasfogg(~phileasfo@user/phileasfogg) (*.net *.split)
2022-10-30 05:32:00 +0100markasoftware(~quassel@107.161.26.124) (*.net *.split)
2022-10-30 05:32:00 +0100stilgart(~Christoph@chezlefab.net) (*.net *.split)
2022-10-30 05:32:00 +0100Igloo(~ian@matrix.chaos.earth.li) (*.net *.split)
2022-10-30 05:32:00 +0100gentauro(~gentauro@user/gentauro) (*.net *.split)
2022-10-30 05:32:00 +0100drlkf(~drlkf@chat.drlkf.net) (*.net *.split)
2022-10-30 05:32:00 +0100Ekho(~Ekho@user/ekho) (*.net *.split)
2022-10-30 05:32:00 +0100reda(~reda@user/reda) (*.net *.split)
2022-10-30 05:32:00 +0100ario(~ario@159.65.220.102) (*.net *.split)
2022-10-30 05:32:00 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2022-10-30 05:32:00 +0100_xor(~xor@74.215.182.83) (*.net *.split)
2022-10-30 05:32:08 +0100Igloo(~ian@matrix.chaos.earth.li)
2022-10-30 05:32:09 +0100ajb_(~ajb@mimas.whatbox.ca)
2022-10-30 05:32:09 +0100FragByte(~christian@user/fragbyte)
2022-10-30 05:32:10 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-10-30 05:32:11 +0100kosmikus(~kosmikus@nullzig.kosmikus.org)
2022-10-30 05:32:11 +0100piele(~piele@tbonesteak.creativeserver.net)
2022-10-30 05:32:13 +0100reda(~reda@user/reda)
2022-10-30 05:32:14 +0100Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2022-10-30 05:32:14 +0100gentauro(~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net)
2022-10-30 05:32:17 +0100gentauro(~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Changing host)
2022-10-30 05:32:17 +0100gentauro(~gentauro@user/gentauro)
2022-10-30 05:32:19 +0100tessier(~treed@98.171.210.130)
2022-10-30 05:32:28 +0100ario(~ario@159.65.220.102)
2022-10-30 05:32:28 +0100Logio(em@kapsi.fi)
2022-10-30 05:32:28 +0100stilgart(~Christoph@chezlefab.net)
2022-10-30 05:32:31 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2022-10-30 05:32:36 +0100drewolson(~drewolson@user/drewolson)
2022-10-30 05:32:38 +0100_xor(~xor@74.215.182.83)
2022-10-30 05:32:40 +0100tolt(~weechat-h@li219-154.members.linode.com)
2022-10-30 05:32:44 +0100tomboy64(~tomboy64@37.120.27.183)
2022-10-30 05:32:44 +0100AlexNoo_(~AlexNoo@178.34.163.109)
2022-10-30 05:32:54 +0100TheCoffeMaker(~TheCoffeM@200.126.129.149)
2022-10-30 05:32:59 +0100tomboy64(~tomboy64@37.120.27.183) (Changing host)
2022-10-30 05:32:59 +0100tomboy64(~tomboy64@user/tomboy64)
2022-10-30 05:33:06 +0100TheCoffeMaker(~TheCoffeM@200.126.129.149) (Changing host)
2022-10-30 05:33:07 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2022-10-30 05:33:08 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Write error: Connection reset by peer)
2022-10-30 05:33:19 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-10-30 05:33:21 +0100markasoftware(~quassel@107.161.26.124)
2022-10-30 05:33:31 +0100AlexNoo(~AlexNoo@178.34.163.109) (Read error: Connection reset by peer)
2022-10-30 05:33:34 +0100Trattue(~Trattue@152.70.182.158)
2022-10-30 05:33:44 +0100coldtom(~coldtom@coldrick.cc)
2022-10-30 05:33:51 +0100auri(~auri@fsf/member/auri)
2022-10-30 05:33:54 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-10-30 05:34:04 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 05:34:08 +0100phileasfogg(~phileasfo@user/phileasfogg)
2022-10-30 05:34:32 +0100drlkf(~drlkf@chat.drlkf.net)
2022-10-30 05:34:32 +0100kora9(~kora@user/Kora9)
2022-10-30 05:35:00 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 05:35:06 +0100Ekho(~Ekho@user/ekho)
2022-10-30 05:35:10 +0100GoldsteinQ(~goldstein@goldstein.rs)
2022-10-30 05:35:12 +0100Aleksejs(~Aleksejs@107.170.21.106)
2022-10-30 05:36:12 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-10-30 05:36:19 +0100dminuoso(~dminuoso@user/dminuoso)
2022-10-30 05:36:42 +0100Kaiepi(~Kaiepi@108.175.84.104) (Client Quit)
2022-10-30 05:37:13 +0100juri_(~juri@84-19-175-179.pool.ovpn.com)
2022-10-30 05:37:25 +0100_________(~nobody@user/noodly)
2022-10-30 05:37:59 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 268 seconds)
2022-10-30 05:40:03 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-10-30 05:40:07 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-10-30 05:41:41 +0100[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 268 seconds)
2022-10-30 05:42:00 +0100[_________](~oos95GWG@user/oos95GWG)
2022-10-30 05:42:01 +0100codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2022-10-30 05:42:01 +0100darkstardevx(~darkstard@50.126.124.156) (*.net *.split)
2022-10-30 05:42:01 +0100nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (*.net *.split)
2022-10-30 05:42:01 +0100yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split)
2022-10-30 05:42:01 +0100ssw(~ssw@user/ssw) (*.net *.split)
2022-10-30 05:42:11 +0100nibelungen(~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725)
2022-10-30 05:42:17 +0100codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2022-10-30 05:42:25 +0100yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2022-10-30 05:42:35 +0100ssw(~ssw@user/ssw)
2022-10-30 05:42:36 +0100darkstardevx(~darkstard@50.126.124.156)
2022-10-30 05:49:21 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 05:53:33 +0100sabx(~sabbas@user/sabbas) (*.net *.split)
2022-10-30 05:53:33 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001) (*.net *.split)
2022-10-30 05:53:33 +0100wallymathieu(sid533252@id-533252.uxbridge.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100wafflepirate(sid467876@id-467876.ilkley.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7) (*.net *.split)
2022-10-30 05:53:33 +0100joeyh(joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (*.net *.split)
2022-10-30 05:53:33 +0100xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2022-10-30 05:53:33 +0100totbwf(sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100jackdk(sid373013@cssa/jackdk) (*.net *.split)
2022-10-30 05:53:33 +0100jakesyl____(sid56879@id-56879.hampstead.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100megeve(sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
2022-10-30 05:53:33 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2022-10-30 05:53:33 +0100sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2022-10-30 05:53:33 +0100tritlo(sid58727@user/tritlo) (*.net *.split)
2022-10-30 05:53:33 +0100lisq(~quassel@lis.moe) (*.net *.split)
2022-10-30 05:53:33 +0100wagle(~wagle@quassel.wagle.io) (*.net *.split)
2022-10-30 05:53:33 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2022-10-30 05:53:33 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
2022-10-30 05:53:34 +0100probie(cc0b34050a@user/probie) (*.net *.split)
2022-10-30 05:53:34 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
2022-10-30 05:53:34 +0100MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2022-10-30 05:53:34 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
2022-10-30 05:53:34 +0100jakzale(6291399afa@user/jakzale) (*.net *.split)
2022-10-30 05:53:34 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df) (*.net *.split)
2022-10-30 05:53:34 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (*.net *.split)
2022-10-30 05:53:34 +0100jkoshy(99b9359beb@user/jkoshy) (*.net *.split)
2022-10-30 05:53:34 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split)
2022-10-30 05:53:34 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (*.net *.split)
2022-10-30 05:53:34 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100vito(sid1962@user/vito) (*.net *.split)
2022-10-30 05:53:34 +0100alinab(sid468903@id-468903.helmsley.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100Boarders___(sid425905@id-425905.lymington.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100systemfault(sid267009@id-267009.uxbridge.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100dunj3(~dunj3@kingdread.de) (*.net *.split)
2022-10-30 05:53:34 +0100gonz_______(sid304396@id-304396.lymington.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100Kamuela(sid111576@id-111576.tinside.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100welterde(welterde@thinkbase.srv.welterde.de) (*.net *.split)
2022-10-30 05:53:34 +0100ringo__(~ringo@157.230.117.128) (*.net *.split)
2022-10-30 05:53:34 +0100dragestil(~znc@user/dragestil) (*.net *.split)
2022-10-30 05:53:34 +0100brprice(~brprice@user/brprice) (*.net *.split)
2022-10-30 05:53:34 +0100bw(sid2730@user/betawaffle) (*.net *.split)
2022-10-30 05:53:34 +0100chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100nrr____(sid20938@id-20938.lymington.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100jjhoo(jahakala@user/jjhoo) (*.net *.split)
2022-10-30 05:53:34 +0100hltk(~hltk@hltk.fi) (*.net *.split)
2022-10-30 05:53:34 +0100djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca) (*.net *.split)
2022-10-30 05:53:34 +0100hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2022-10-30 05:53:34 +0100grfn(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2022-10-30 05:53:34 +0100Dykam(Dykam@dykam.nl) (*.net *.split)
2022-10-30 05:53:34 +0100apache2(apache2@anubis.0x90.dk) (*.net *.split)
2022-10-30 05:53:42 +0100wagle(~wagle@quassel.wagle.io)
2022-10-30 05:53:43 +0100dunj3(~dunj3@kingdread.de)
2022-10-30 05:53:45 +0100joeyh(joeyh@2600:3c03::f03c:91ff:fe73:b0d2)
2022-10-30 05:53:46 +0100hltk(~hltk@hltk.fi)
2022-10-30 05:53:47 +0100systemfault(sid267009@id-267009.uxbridge.irccloud.com)
2022-10-30 05:53:48 +0100xsarnik(xsarnik@lounge.fi.muni.cz)
2022-10-30 05:53:50 +0100lisq(~quassel@lis.moe)
2022-10-30 05:53:51 +0100cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2022-10-30 05:53:51 +0100alinab(sid468903@id-468903.helmsley.irccloud.com)
2022-10-30 05:53:51 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2022-10-30 05:53:51 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2022-10-30 05:53:51 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2022-10-30 05:53:51 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2022-10-30 05:53:54 +0100sabx(~sabbas@user/sabbas)
2022-10-30 05:53:55 +0100gonz_______(sid304396@id-304396.lymington.irccloud.com)
2022-10-30 05:53:55 +0100djanatyn(~djanatyn@vps-7f49a6b0.vps.ovh.ca)
2022-10-30 05:54:01 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 268 seconds)
2022-10-30 05:54:03 +0100wallymathieu(sid533252@id-533252.uxbridge.irccloud.com)
2022-10-30 05:54:04 +0100totbwf(sid402332@2a03:5180:f:5::6:239c)
2022-10-30 05:54:06 +0100vito(sid1962@id-1962.uxbridge.irccloud.com)
2022-10-30 05:54:09 +0100jackdk(sid373013@id-373013.tinside.irccloud.com)
2022-10-30 05:54:20 +0100jakesyl____(sid56879@id-56879.hampstead.irccloud.com)
2022-10-30 05:54:23 +0100NiKaN(sid385034@id-385034.helmsley.irccloud.com)
2022-10-30 05:54:23 +0100vito(sid1962@id-1962.uxbridge.irccloud.com) (Changing host)
2022-10-30 05:54:23 +0100vito(sid1962@user/vito)
2022-10-30 05:54:25 +0100tritlo(sid58727@id-58727.hampstead.irccloud.com)
2022-10-30 05:54:26 +0100chessai(sid225296@id-225296.lymington.irccloud.com)
2022-10-30 05:54:27 +0100Kamuela(sid111576@id-111576.tinside.irccloud.com)
2022-10-30 05:54:27 +0100edmundnoble(sid229620@id-229620.helmsley.irccloud.com)
2022-10-30 05:54:28 +0100welterde(welterde@thinkbase.srv.welterde.de)
2022-10-30 05:54:28 +0100grfn(sid449115@id-449115.helmsley.irccloud.com)
2022-10-30 05:54:29 +0100nrr____(sid20938@id-20938.lymington.irccloud.com)
2022-10-30 05:54:32 +0100megeve(sid523379@id-523379.hampstead.irccloud.com)
2022-10-30 05:54:38 +0100Boarders___(sid425905@id-425905.lymington.irccloud.com)
2022-10-30 05:54:41 +0100wafflepirate(sid467876@2a03:5180:f:3::7:23a4)
2022-10-30 05:54:46 +0100bw_(sid2730@id-2730.ilkley.irccloud.com)
2022-10-30 05:54:57 +0100tritlo(sid58727@id-58727.hampstead.irccloud.com) (Changing host)
2022-10-30 05:54:57 +0100tritlo(sid58727@user/tritlo)
2022-10-30 05:55:28 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2022-10-30 05:55:28 +0100jakzale(6291399afa@user/jakzale)
2022-10-30 05:55:34 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2022-10-30 05:55:36 +0100MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2022-10-30 05:55:42 +0100apache2(apache2@anubis.0x90.dk)
2022-10-30 05:55:42 +0100jkoshy(99b9359beb@user/jkoshy)
2022-10-30 05:55:42 +0100probie(cc0b34050a@user/probie)
2022-10-30 05:55:54 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2022-10-30 05:55:57 +0100brprice(~brprice@user/brprice)
2022-10-30 05:56:03 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a)
2022-10-30 05:56:03 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2022-10-30 05:56:06 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-10-30 05:56:14 +0100dragestil(~znc@user/dragestil)
2022-10-30 05:56:22 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001)
2022-10-30 05:56:47 +0100sm2n(ae95cb1267@user/sm2n)
2022-10-30 05:56:57 +0100Dykam(Dykam@dykam.nl)
2022-10-30 05:57:13 +0100ringo__(~ringo@157.230.117.128)
2022-10-30 05:57:15 +0100n1essa(3d621153a5@2604:bf00:561:2000::df7)
2022-10-30 05:58:49 +0100jjhoo(~jahakala@user/jjhoo)
2022-10-30 06:00:38 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-10-30 06:01:17 +0100slack1256(~slack1256@181.42.53.217)
2022-10-30 06:11:22 +0100nate3(~nate@98.45.169.16)
2022-10-30 06:14:17 +0100khumba(~khumba@user/khumba) ()
2022-10-30 06:16:04 +0100nate3(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-10-30 06:21:39 +0100janlely(~janlely@122.231.201.44) (Quit: Client closed)
2022-10-30 06:25:22 +0100dsrt^(~dsrt@76.145.185.103) (Ping timeout: 255 seconds)
2022-10-30 06:35:01 +0100Spukgespenst(~user@user/siracusa)
2022-10-30 06:40:26 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-10-30 06:43:44 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-10-30 06:50:57 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds)
2022-10-30 06:54:31 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 272 seconds)
2022-10-30 07:03:37 +0100coot(~coot@213.134.171.3)
2022-10-30 07:03:58 +0100hiredman(~hiredman@frontier1.downey.family)
2022-10-30 07:04:39 +0100arahael(~arahael@14-200-56-241.tpgi.com.au) (Ping timeout: 272 seconds)
2022-10-30 07:08:04 +0100motherfsck(~motherfsc@user/motherfsck)
2022-10-30 07:13:17 +0100severen(~severen@202.36.179.72) (Ping timeout: 240 seconds)
2022-10-30 07:17:54 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 07:21:49 +0100arahael(~arahael@14-200-56-241.tpgi.com.au)
2022-10-30 07:22:25 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 07:35:37 +0100Trattue(~Trattue@152.70.182.158) (Ping timeout: 252 seconds)
2022-10-30 07:35:37 +0100Logio(em@kapsi.fi) (Ping timeout: 252 seconds)
2022-10-30 07:35:37 +0100stilgart(~Christoph@chezlefab.net) (Ping timeout: 252 seconds)
2022-10-30 07:35:37 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 252 seconds)
2022-10-30 07:35:37 +0100Igloo(~ian@matrix.chaos.earth.li) (Ping timeout: 252 seconds)
2022-10-30 07:35:46 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-10-30 07:35:47 +0100Logio(em@kapsi.fi)
2022-10-30 07:35:49 +0100stilgart(~Christoph@chezlefab.net)
2022-10-30 07:35:57 +0100Trattue(~Trattue@152.70.182.158)
2022-10-30 07:36:10 +0100tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2022-10-30 07:36:10 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 252 seconds)
2022-10-30 07:36:10 +0100ario(~ario@159.65.220.102) (Ping timeout: 252 seconds)
2022-10-30 07:36:10 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (Ping timeout: 252 seconds)
2022-10-30 07:36:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 07:36:43 +0100piele(~piele@tbonesteak.creativeserver.net) (Ping timeout: 252 seconds)
2022-10-30 07:36:53 +0100piele(~piele@tbonesteak.creativeserver.net)
2022-10-30 07:37:15 +0100Igloo(~ian@matrix.chaos.earth.li)
2022-10-30 07:37:31 +0100kosmikus(~kosmikus@nullzig.kosmikus.org)
2022-10-30 07:37:42 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2022-10-30 07:37:44 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 07:37:50 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-10-30 07:38:07 +0100ario(~ario@159.65.220.102)
2022-10-30 07:39:17 +0100qhong(~qhong@rescomp-21-400677.stanford.edu)
2022-10-30 07:43:04 +0100zebrag(~chris@user/zebrag) (Read error: Connection reset by peer)
2022-10-30 07:49:17 +0100tomboy64(~tomboy64@user/tomboy64)
2022-10-30 07:53:10 +0100califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-10-30 07:54:07 +0100califax(~califax@user/califx)
2022-10-30 07:57:04 +0100dragestil(~znc@user/dragestil) (Ping timeout: 252 seconds)
2022-10-30 07:57:04 +0100sabx(~sabbas@user/sabbas) (Ping timeout: 252 seconds)
2022-10-30 07:57:20 +0100dunj3_(~dunj3@kingdread.de)
2022-10-30 07:57:37 +0100dunj3(~dunj3@kingdread.de) (Ping timeout: 252 seconds)
2022-10-30 07:57:41 +0100dragestil(~znc@user/dragestil)
2022-10-30 07:57:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 07:58:10 +0100brprice(~brprice@user/brprice) (Ping timeout: 252 seconds)
2022-10-30 07:58:27 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-10-30 07:58:43 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 252 seconds)
2022-10-30 07:58:57 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-30 07:59:06 +0100sabx(~sabbas@user/sabbas)
2022-10-30 07:59:19 +0100brprice(~brprice@user/brprice)
2022-10-30 08:05:10 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-10-30 08:09:30 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2022-10-30 08:10:21 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de)
2022-10-30 08:13:54 +0100talismanick(~talismani@76.133.152.122)
2022-10-30 08:15:06 +0100 <talismanick> Are there algebraic effect libraries (built on free, freer monads, etc) which mesh well with streaming IO libraries like Conduit or offer a competitive abstraction of their own?
2022-10-30 08:15:51 +0100 <talismanick> I'd like to incrementally read and parse large binary files from disk and interleave that with network IO actions
2022-10-30 08:16:08 +0100 <talismanick> (as in, larger than RAM)
2022-10-30 08:17:02 +0100 <talismanick> RIO and Conduit are representative of mtl-style design, right?
2022-10-30 08:21:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 08:35:56 +0100 <c_wraith> Not really, no
2022-10-30 08:40:17 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-10-30 08:40:24 +0100 <c_wraith> Conduit has some elements that are mtl-style, like MonadUnliftIO
2022-10-30 08:40:47 +0100 <c_wraith> but RIO is really very much not mtl style, as it's not polymorphic in a monad
2022-10-30 08:43:16 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 08:45:21 +0100vglfr(~vglfr@145.224.100.22) (Ping timeout: 272 seconds)
2022-10-30 08:45:56 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 08:46:16 +0100danza(~francesco@151.43.38.143) (Ping timeout: 246 seconds)
2022-10-30 08:49:18 +0100gmg(~user@user/gehmehgeh)
2022-10-30 08:51:21 +0100 <talismanick> c_wraith: so... suggestions on which streaming library I should use with Polysemy?
2022-10-30 08:52:01 +0100 <talismanick> (my understanding is that streaming is best left to dedicated libaries because lazy IO tends to cause space leaks, reading from closed files, etc)
2022-10-30 08:53:44 +0100 <c_wraith> I have no idea there
2022-10-30 08:54:45 +0100causal(~user@50.35.83.177) (Quit: WeeChat 3.7.1)
2022-10-30 08:56:22 +0100jonathanx(~jonathan@host-78-78-164-47.mobileonline.telia.com)
2022-10-30 08:56:34 +0100jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net)
2022-10-30 08:56:36 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 08:56:51 +0100vglfr(~vglfr@145.224.100.22)
2022-10-30 08:59:48 +0100danza(~francesco@151.57.15.161)
2022-10-30 08:59:57 +0100bilegeek(~bilegeek@2600:1008:b01c:431b:87e8:df18:abcf:21c3) (Quit: Leaving)
2022-10-30 09:01:01 +0100arjun(~arjun@user/arjun)
2022-10-30 09:04:43 +0100jonathanx(~jonathan@host-78-78-164-47.mobileonline.telia.com) (Ping timeout: 252 seconds)
2022-10-30 09:05:18 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2022-10-30 09:05:39 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 09:07:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 09:10:23 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2022-10-30 09:12:17 +0100Sgeo_(~Sgeo@user/sgeo)
2022-10-30 09:15:19 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 246 seconds)
2022-10-30 09:17:01 +0100mmhat(~mmh@p200300f1c7307602ee086bfffe095315.dip0.t-ipconnect.de)
2022-10-30 09:18:09 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-30 09:25:59 +0100zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494)
2022-10-30 09:38:42 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 09:38:59 +0100mcglk(~mcglk@131.191.49.120)
2022-10-30 09:40:03 +0100Tuplanolla(~Tuplanoll@91-159-69-11.elisa-laajakaista.fi)
2022-10-30 09:41:14 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:5147:575b:dd93:ff03) (Remote host closed the connection)
2022-10-30 09:43:22 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-30 09:54:37 +0100ksu(~ksu@user/prtr) (Ping timeout: 255 seconds)
2022-10-30 10:00:05 +0100SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle)
2022-10-30 10:00:06 +0100jz99[m](~jz99matri@2001:470:69fc:105::1:d5f1) (Quit: You have been kicked for being idle)
2022-10-30 10:00:46 +0100dragestil_(~znc@user/dragestil)
2022-10-30 10:00:49 +0100dragestil(~znc@user/dragestil) (Ping timeout: 252 seconds)
2022-10-30 10:01:08 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 10:02:50 +0100dragestil_dragestil
2022-10-30 10:07:25 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Ping timeout: 252 seconds)
2022-10-30 10:07:41 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-10-30 10:14:15 +0100AlexNoo_AlexNoo
2022-10-30 10:14:17 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2022-10-30 10:15:45 +0100slack1256(~slack1256@181.42.53.217) (Remote host closed the connection)
2022-10-30 10:17:58 +0100kenran(~user@user/kenran)
2022-10-30 10:18:07 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-30 10:23:02 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-10-30 10:28:11 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-10-30 10:30:36 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 10:36:16 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-10-30 10:36:38 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de)
2022-10-30 10:40:17 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-10-30 10:40:36 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2022-10-30 10:41:13 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-10-30 10:41:24 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-10-30 10:41:42 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b)
2022-10-30 10:42:58 +0100Guest47(~Guest47@106.203.214.117)
2022-10-30 10:43:07 +0100Guest47(~Guest47@106.203.214.117) ()
2022-10-30 10:43:25 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-10-30 10:46:18 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b) (Ping timeout: 255 seconds)
2022-10-30 10:47:49 +0100danza(~francesco@151.57.15.161) (Read error: Connection reset by peer)
2022-10-30 10:57:35 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-10-30 10:58:56 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-10-30 11:00:13 +0100vglfr(~vglfr@145.224.100.22) (Ping timeout: 252 seconds)
2022-10-30 11:00:59 +0100vglfr(~vglfr@145.224.100.22)
2022-10-30 11:02:12 +0100crazazy(~user@2001:1c00:805:9200:1f00:186:9c61:a734)
2022-10-30 11:02:16 +0100mokee(~mokee@37.228.215.235)
2022-10-30 11:04:01 +0100welterde(welterde@thinkbase.srv.welterde.de) (Quit: WeeChat 3.0.1)
2022-10-30 11:04:11 +0100welterde(welterde@thinkbase.srv.welterde.de)
2022-10-30 11:04:57 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 11:06:39 +0100 <WzC> Does anyone know if I can constrain type family declarations? In my concrete problem (see https://paste.tomsmeding.com/dnbHMuqh) I have some type family 'VectorFamily d r', and I want to accept type instances (e.g. type instance VectorFamily d Int = MyIntVec d) only if they also have some other type constraint (in particular NumType (VectorFamily d r) ~ r ; so NumType (MyIntVec d ~ Int) ).
2022-10-30 11:13:07 +0100Guest6246(~Guest62@117.195.48.42)
2022-10-30 11:14:30 +0100Guest6246(~Guest62@117.195.48.42) (Client Quit)
2022-10-30 11:16:43 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-30 11:17:22 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2022-10-30 11:18:19 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-30 11:20:06 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2022-10-30 11:20:53 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-30 11:22:05 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2022-10-30 11:25:49 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2022-10-30 11:26:49 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-30 11:26:49 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2022-10-30 11:29:40 +0100arjun(~arjun@user/arjun) (Ping timeout: 248 seconds)
2022-10-30 11:32:44 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net)
2022-10-30 11:34:58 +0100kilolympus(~kilolympu@213.144.144.24)
2022-10-30 11:35:31 +0100Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2022-10-30 11:40:25 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-10-30 11:41:28 +0100mcglk(~mcglk@131.191.49.120) (Ping timeout: 252 seconds)
2022-10-30 11:43:40 +0100Tuplanolla(~Tuplanoll@91-159-69-11.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2022-10-30 11:44:03 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 11:44:20 +0100Tuplanolla(~Tuplanoll@91-159-69-11.elisa-laajakaista.fi)
2022-10-30 11:46:17 +0100mcglk(~mcglk@131.191.49.120)
2022-10-30 11:46:32 +0100arjun(~arjun@205.254.175.218)
2022-10-30 11:46:47 +0100 <MangoIV[m]> you cannot constraint type families
2022-10-30 11:50:19 +0100ss4(~wootehfoo@user/wootehfoot)
2022-10-30 11:53:01 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-10-30 11:56:39 +0100ss4(~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds)
2022-10-30 12:07:21 +0100chomwitt(~chomwitt@2a02:587:dc18:4a00:1ac0:4dff:fedb:a3f1)
2022-10-30 12:07:48 +0100hsw_(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving)
2022-10-30 12:08:01 +0100hsw(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2022-10-30 12:16:38 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-10-30 12:17:44 +0100mc47(~mc47@xmonad/TheMC47)
2022-10-30 12:17:58 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 12:22:26 +0100potash(~foghorn@user/foghorn) (Quit: ZNC 1.8.2 - https://znc.in)
2022-10-30 12:22:52 +0100__monty__(~toonn@user/toonn)
2022-10-30 12:29:32 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-10-30 12:33:09 +0100freeside_(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 12:34:16 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 12:37:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 12:38:21 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de)
2022-10-30 12:39:37 +0100potash(~foghorn@user/foghorn)
2022-10-30 12:42:13 +0100shriekingnoise(~shrieking@186.137.167.202) (Ping timeout: 272 seconds)
2022-10-30 12:54:02 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds)
2022-10-30 13:01:43 +0100 <jackdk> Use a typeclass instead with a constraint?
2022-10-30 13:03:19 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-10-30 13:03:58 +0100vglfr(~vglfr@145.224.100.22) (Ping timeout: 252 seconds)
2022-10-30 13:04:02 +0100titibandit(~titibandi@xdsl-87-79-250-160.nc.de)
2022-10-30 13:04:35 +0100vglfr(~vglfr@145.224.100.22)
2022-10-30 13:06:21 +0100arjun(~arjun@205.254.175.218) (Quit: Leaving)
2022-10-30 13:07:16 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2022-10-30 13:07:52 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 13:09:21 +0100frost9(~frost@user/frost)
2022-10-30 13:12:04 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2022-10-30 13:19:52 +0100dsrt^(~dsrt@76.145.185.103)
2022-10-30 13:22:44 +0100acidjnk(~acidjnk@p200300d6e7137a24f17133d2359444b2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 13:24:50 +0100acidjnk(~acidjnk@p200300d6e7137a24b07e3bbb6bc46858.dip0.t-ipconnect.de)
2022-10-30 13:25:58 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds)
2022-10-30 13:27:19 +0100jakalx(~jakalx@base.jakalx.net)
2022-10-30 13:27:53 +0100potash(~foghorn@user/foghorn) (Read error: Connection reset by peer)
2022-10-30 13:30:37 +0100potash(~foghorn@user/foghorn)
2022-10-30 13:34:10 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-10-30 13:34:43 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-10-30 13:35:06 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-10-30 13:37:18 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-10-30 13:40:41 +0100paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2022-10-30 13:43:22 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-10-30 13:47:38 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-10-30 13:54:06 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-30 13:56:32 +0100titibandit(~titibandi@xdsl-87-79-250-160.nc.de) (Quit: Leaving.)
2022-10-30 14:01:11 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze)
2022-10-30 14:01:14 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 14:07:35 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-10-30 14:07:39 +0100beteigeuze(~Thunderbi@89.187.168.35)
2022-10-30 14:08:49 +0100jakalx(~jakalx@base.jakalx.net)
2022-10-30 14:12:21 +0100jonathanx(~jonathan@c-5eea701a-74736162.cust.telenor.se)
2022-10-30 14:14:22 +0100beteigeuze(~Thunderbi@89.187.168.35) (Ping timeout: 252 seconds)
2022-10-30 14:21:23 +0100jonathanx(~jonathan@c-5eea701a-74736162.cust.telenor.se) (Read error: Connection reset by peer)
2022-10-30 14:29:57 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds)
2022-10-30 14:39:31 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-10-30 14:45:08 +0100acidjnk(~acidjnk@p200300d6e7137a24b07e3bbb6bc46858.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-10-30 14:50:44 +0100freeside_(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 14:55:08 +0100jonathanx(~jonathan@94.234.112.26)
2022-10-30 15:00:34 +0100jonathanx(~jonathan@94.234.112.26) (Ping timeout: 252 seconds)
2022-10-30 15:07:43 +0100vglfr(~vglfr@145.224.100.22) (Ping timeout: 252 seconds)
2022-10-30 15:08:00 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 15:09:52 +0100jonathanx(~jonathan@c-5eea6632-74736162.cust.telenor.se)
2022-10-30 15:10:18 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Remote host closed the connection)
2022-10-30 15:10:32 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 15:10:47 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 15:12:40 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-10-30 15:16:00 +0100jakalx(~jakalx@base.jakalx.net)
2022-10-30 15:20:08 +0100frost9(~frost@user/frost) (Quit: Client closed)
2022-10-30 15:24:39 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-10-30 15:43:51 +0100beteigeuze(~Thunderbi@89.187.168.240)
2022-10-30 15:46:22 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-10-30 15:49:12 +0100beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 15:50:28 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-10-30 15:50:28 +0100beteigeuze(~Thunderbi@89.187.168.240) (Ping timeout: 248 seconds)
2022-10-30 15:50:28 +0100beteigeuze1beteigeuze
2022-10-30 15:54:44 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-10-30 15:55:21 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 16:02:42 +0100shriekingnoise(~shrieking@186.137.167.202) (Ping timeout: 246 seconds)
2022-10-30 16:06:36 +0100jonathanx(~jonathan@c-5eea6632-74736162.cust.telenor.se) (Read error: Connection reset by peer)
2022-10-30 16:10:58 +0100zeenk(~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!)
2022-10-30 16:10:59 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-10-30 16:13:39 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-10-30 16:13:45 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-30 16:14:23 +0100mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 272 seconds)
2022-10-30 16:15:22 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 16:16:13 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-10-30 16:20:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-10-30 16:20:58 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 16:25:49 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 16:30:33 +0100Guest49(~Guest49@pckolb-56-236.vsb.cz)
2022-10-30 16:31:12 +0100 <Guest49> hi I need a help with this task
2022-10-30 16:31:42 +0100 <Guest49> mport Data.Char
2022-10-30 16:31:42 +0100 <Guest49> type Result = [String]
2022-10-30 16:31:43 +0100 <Guest49> flipH :: Result -> Result
2022-10-30 16:31:43 +0100 <Guest49> flipH = reverse
2022-10-30 16:31:44 +0100 <Guest49> pp :: Result -> IO ()
2022-10-30 16:31:45 +0100 <Guest49> pp x = putStr (concat (map (++"\n") x))
2022-10-30 16:31:45 +0100 <Guest49> giv :: [String] -> String
2022-10-30 16:31:46 +0100 <Guest49> giv [] = []
2022-10-30 16:31:46 +0100 <Guest49> giv (x:xs) = x ++ giv XS
2022-10-30 16:31:46 +0100 <Guest49> chess :: [String] -> [String] -> Result
2022-10-30 16:31:47 +0100 <Guest49> chess x y = chess2 x y chessboard
2022-10-30 16:31:48 +0100 <Guest49>     where chessboard = ["1........",
2022-10-30 16:31:48 +0100 <Guest49>                         "2........",
2022-10-30 16:31:48 +0100 <Guest49>                         "3........",
2022-10-30 16:31:49 +0100 <Guest49>                         "4........",
2022-10-30 16:31:49 +0100 <Guest49>                         "5........",
2022-10-30 16:31:50 +0100 <Guest49>                         "6........",
2022-10-30 16:31:50 +0100 <Guest49>                         "7........",
2022-10-30 16:32:06 +0100tremon(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl)
2022-10-30 16:32:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-10-30 16:32:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-30 16:32:50 +0100 <Guest49> I need flip the numbers (eight should be on top)
2022-10-30 16:33:07 +0100 <Guest49> But I don't how do it
2022-10-30 16:33:12 +0100sviermsung(cqQjNIqEOU@user/s4msung) (Quit: sviermsung)
2022-10-30 16:33:12 +0100yushyin(U26EzVMO8P@mail.karif.server-speed.net) (Quit: WeeChat 3.4.1)
2022-10-30 16:33:12 +0100noctuks(dOdx6uOj5h@user/noctux) (Quit: WeeChat 3.4.1)
2022-10-30 16:37:27 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b)
2022-10-30 16:38:27 +0100yushyin(MnHWAJWatD@mail.karif.server-speed.net)
2022-10-30 16:38:27 +0100s4msung(Aup9WLs50j@user/s4msung)
2022-10-30 16:38:44 +0100yushyin(MnHWAJWatD@mail.karif.server-speed.net) (Client Quit)
2022-10-30 16:38:44 +0100s4msung(Aup9WLs50j@user/s4msung) (Client Quit)
2022-10-30 16:39:53 +0100beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 16:40:04 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-10-30 16:40:04 +0100beteigeuze1beteigeuze
2022-10-30 16:40:19 +0100 <fendor[m]> Does GHC translate type families to data constructors? More specifically, does GHC API call a Type Family Constructor TyCon?
2022-10-30 16:41:16 +0100yushyin(PId2DpIzVD@mail.karif.server-speed.net)
2022-10-30 16:41:16 +0100s4msung(WMv8rEI0Iy@user/s4msung)
2022-10-30 16:42:04 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 16:43:31 +0100bradparker(sid262931@uxbridge.irccloud.com) (Ping timeout: 272 seconds)
2022-10-30 16:44:09 +0100davetapley_(sid666@uxbridge.irccloud.com) (Ping timeout: 272 seconds)
2022-10-30 16:47:39 +0100davetapley_(sid666@id-666.uxbridge.irccloud.com)
2022-10-30 16:47:51 +0100bradparker(sid262931@id-262931.uxbridge.irccloud.com)
2022-10-30 16:48:02 +0100Guest49(~Guest49@pckolb-56-236.vsb.cz) (Quit: Client closed)
2022-10-30 16:49:27 +0100 <EvanR> was typing something when Guest49 left
2022-10-30 16:49:34 +0100 <EvanR> a teachable moment in patience
2022-10-30 16:54:10 +0100jlgw(~jw@83-233-104-81.cust.bredband2.com) (Remote host closed the connection)
2022-10-30 16:54:25 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-10-30 16:55:13 +0100kenran(~user@user/kenran)
2022-10-30 16:55:16 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-10-30 16:57:07 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b) (Remote host closed the connection)
2022-10-30 16:57:15 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-30 16:57:43 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds)
2022-10-30 16:58:02 +0100acidjnk(~acidjnk@p200300d6e7137a70a15543d0330ba7ae.dip0.t-ipconnect.de)
2022-10-30 16:58:33 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 17:00:03 +0100kiri1606[m](~kiri1606m@2001:470:69fc:105::2:8ec9) (Quit: You have been kicked for being idle)
2022-10-30 17:00:03 +0100expipiplus1(~expipiplu@2001:470:69fc:105::d713) (Quit: You have been kicked for being idle)
2022-10-30 17:03:00 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-10-30 17:03:42 +0100beteigeuze(~Thunderbi@89.187.168.50)
2022-10-30 17:08:06 +0100seriley_(~seriley@97-120-69-62.ptld.qwest.net)
2022-10-30 17:08:18 +0100seriley(~seriley@75.164.74.1) (Ping timeout: 252 seconds)
2022-10-30 17:08:20 +0100beteigeuze(~Thunderbi@89.187.168.50) (Ping timeout: 248 seconds)
2022-10-30 17:08:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 17:08:50 +0100 <fendor[m]> only if they ever realise they would have gotten help
2022-10-30 17:09:41 +0100 <ski> sometimes they come back later
2022-10-30 17:09:47 +0100 <ski> (often with another problem)
2022-10-30 17:10:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 17:10:52 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 17:10:57 +0100jargon(~jargon@184.101.90.242) (Ping timeout: 240 seconds)
2022-10-30 17:11:15 +0100jargon(~jargon@184.101.77.52)
2022-10-30 17:11:59 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-10-30 17:13:06 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Remote host closed the connection)
2022-10-30 17:13:17 +0100ubert1(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 17:14:04 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-10-30 17:14:08 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-10-30 17:15:34 +0100ubert1ubert
2022-10-30 17:15:46 +0100_xor(~xor@74.215.182.83) (Read error: Connection reset by peer)
2022-10-30 17:17:03 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
2022-10-30 17:17:08 +0100chexum_(~quassel@gateway/tor-sasl/chexum)
2022-10-30 17:17:48 +0100_xor(~xor@74.215.182.83)
2022-10-30 17:19:32 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-10-30 17:20:11 +0100shapr(~user@68.54.166.125)
2022-10-30 17:23:52 +0100 <MangoIV[m]> Hi, do you guys know any resource about compiling markdown files containing haskell? I want the haskell to be continuously checked by the CI but at the same time being able to render the markdown to HTML.
2022-10-30 17:23:58 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-30 17:24:49 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-10-30 17:24:54 +0100 <[exa]> MangoIV[m]: try googling "literal haskell", that's a pretty general technique on doing that
2022-10-30 17:25:28 +0100 <MangoIV[m]> the issue is that literate haskell and markdown syntax are conflicting.
2022-10-30 17:25:37 +0100 <[exa]> oh wait s/literal/literate/ :D
2022-10-30 17:25:59 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b)
2022-10-30 17:26:09 +0100 <[exa]> stuff like this doesn't help? https://passingcuriosity.com/2008/literate-haskell-with-markdown-syntax-hightlighting/
2022-10-30 17:27:16 +0100 <MangoIV[m]> also, you don't get e.g. syntax highlighting for markdown
2022-10-30 17:27:48 +0100 <MangoIV[m]> [exa]: i've read that one already and it's not satisfactory/ doesn't solve any of my issues.
2022-10-30 17:29:50 +0100 <MangoIV[m]> you for exampled can't even use headlines, because that would conflict with the pragma syntax which apparently you don't need to escape in literate haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/b948f2f38c724b509424f2103ec76aa86bf1…>)
2022-10-30 17:29:57 +0100 <MangoIV[m]> * you for exampled can't even use headlines, because that would conflict with the pragma syntax which apparently you don't need to escape in literate haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/42f0a51129d2b0acdc5580314000e1092a9f…>)
2022-10-30 17:30:06 +0100 <MangoIV[m]> * you for exampled can't even use headlines, because that would conflict with the pragma syntax which apparently you don't need to escape in literate haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/cae802a1feee4377738f3cc176b646a12c7b…>)
2022-10-30 17:30:14 +0100 <MangoIV[m]> * you for exampled can't even use headlines, because that would conflict with the pragma syntax which apparently you don't need to escape in literate haskell... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/4551ff6584b782e119599b87f1979c3566ea…>)
2022-10-30 17:30:19 +0100 <fendor[m]> MagoIV, maybe this: https://github.com/sol/markdown-unlit/
2022-10-30 17:30:26 +0100 <fendor[m]> *MangoIV.
2022-10-30 17:30:38 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-30 17:30:59 +0100Guest|69(~Guest|69@115.133.215.39)
2022-10-30 17:31:25 +0100 <[exa]> MangoIV[m]: the pragma syntax should not conflict with anything if it is a proper markdown code, right?
2022-10-30 17:31:35 +0100 <MangoIV[m]> fendor[m]: looks _very_ promising, thank you.
2022-10-30 17:31:56 +0100 <MangoIV[m]> [exa]: what do you mean, ### marks h3
2022-10-30 17:33:29 +0100 <[exa]> yep, and with what does it conflict?
2022-10-30 17:34:26 +0100gqplox(~textual@2a02:c7c:941d:fd00:40a0:1c9d:7a12:f334) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-30 17:34:27 +0100Guest|69(~Guest|69@115.133.215.39) (Client Quit)
2022-10-30 17:35:02 +0100 <[Leary]> MangoIV[m]: Shouldn't the ### be outside the ```?
2022-10-30 17:35:56 +0100 <MangoIV[m]> [Leary]: the ````` is just because of element fuckery
2022-10-30 17:36:24 +0100AkechiShiro(~licht@user/akechishiro) (Quit: WeeChat 3.7.1)
2022-10-30 17:36:32 +0100 <[Leary]> Might be better to use a pastebin to be clear.
2022-10-30 17:36:42 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b) (Remote host closed the connection)
2022-10-30 17:36:48 +0100 <MangoIV[m]> [exa]: idk exactly, it just tells me "error: lexical error in pragma at character '#'", doesn't matter though, I will probabaly use the thing that fendor sent, .lhs is in many ways a PITA
2022-10-30 17:37:18 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Quit: free())
2022-10-30 17:37:22 +0100 <[exa]> MangoIV[m]: ah yes that's from lhs2TeX or something?
2022-10-30 17:37:55 +0100 <MangoIV[m]> no it's from `ghc`
2022-10-30 17:38:08 +0100 <MangoIV[m]> > module A where
2022-10-30 17:38:08 +0100 <MangoIV[m]> ### Test
2022-10-30 17:38:08 +0100 <MangoIV[m]> > data T a where
2022-10-30 17:38:10 +0100 <lambdabot> <hint>:1:1: error: parse error on input ‘data’
2022-10-30 17:38:10 +0100 <lambdabot> <hint>:1:1: error: parse error on input ‘module’
2022-10-30 17:38:16 +0100 <MangoIV[m]> this is the code
2022-10-30 17:38:32 +0100 <MangoIV[m]> * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/7c4cbbc72956d5ef3fbfb900d29e06250294…>)
2022-10-30 17:41:15 +0100 <[Leary]> Probably, ghc transforms "> code; text" to "code {-text-}". Then if text starts with #, it expects a pragma? Sounds like a bug.
2022-10-30 17:41:56 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2022-10-30 17:42:28 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 17:43:17 +0100Luj3(~Luj@2a01:e0a:5f9:9681:8793:bc4b:8d3c:489e) (Ping timeout: 240 seconds)
2022-10-30 17:44:46 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-30 17:54:12 +0100econo(uid147250@user/econo)
2022-10-30 17:59:09 +0100 <MangoIV[m]> I don't think that's the case. (# LANGUAGE TemplateHaskell # throws the same erro
2022-10-30 17:59:12 +0100 <MangoIV[m]> s/erro/error) /
2022-10-30 18:00:11 +0100 <MangoIV[m]> <fendor[m]> "MagoIV, maybe this: https://..." <- `ghc: could not execute: markdown-unlit` :(
2022-10-30 18:01:23 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 18:01:57 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b)
2022-10-30 18:05:55 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 18:06:25 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2022-10-30 18:09:41 +0100 <fendor[m]> <MangoIV[m]> "`ghc: could not execute: markdow..." <- did you add it to your build-tool-depends section?
2022-10-30 18:12:45 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 18:17:08 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 18:19:11 +0100 <MangoIV[m]> <fendor[m]> "did you add it to your build-..." <- is that necessary? also it doesn't work because `haskell.nix` is so unbelievably broken
2022-10-30 18:19:11 +0100 <MangoIV[m]> (or I did a stupid mistake, but I think it should be
2022-10-30 18:19:11 +0100 <MangoIV[m]> `build-tool-depends: markdown-unlit:markdown-unlit`, no?)
2022-10-30 18:19:25 +0100 <fendor[m]> yes, that should work, afaict
2022-10-30 18:19:55 +0100 <MangoIV[m]> yeah it looks exactly the same as the error I was guetting with public sublibraries, I guess I gotta report another bug :(
2022-10-30 18:20:53 +0100 <fendor[m]> Actually, in one of the examples where I have been working with markdown-unlit, this was used: `ghc-options: -pgmL markdown-unlit`
2022-10-30 18:21:31 +0100 <MangoIV[m]> ok, changing the cabal version from 3.0 to 3.4 made it work without build-tool-depends, :+1:
2022-10-30 18:21:41 +0100 <MangoIV[m]> fendor[m]: yeah, i had this already :)
2022-10-30 18:22:05 +0100 <fendor[m]> 3.0 is old, is haskell.nix using that? 0.o
2022-10-30 18:22:42 +0100 <MangoIV[m]> I mean the stanza version
2022-10-30 18:24:03 +0100 <MangoIV[m]> > haskell.nix using that
2022-10-30 18:24:03 +0100 <MangoIV[m]> it doesn't per se "use a version", it's a framework for building haskell packages with nix, so you can use whatever you wish, I think their nixpkgs currently has 3.8 if you mean that.
2022-10-30 18:24:05 +0100 <lambdabot> error: Variable not in scope: haskell :: b0 -> cerror:
2022-10-30 18:24:05 +0100 <lambdabot> • Variable not in scope: nix :: t0 -> t1 -> a -> b0
2022-10-30 18:24:05 +0100 <lambdabot> • Perhaps you meant one of these:
2022-10-30 18:30:57 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 18:38:53 +0100 <fendor[m]> yeah, that's what I meant. Huh, weird this makes a difference
2022-10-30 18:41:31 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2022-10-30 18:41:43 +0100beteigeuze1(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 18:44:00 +0100beteigeuze1beteigeuze
2022-10-30 18:46:05 +0100 <MangoIV[m]> is it really not possible to make ghc compile a file with a custom extension? really confusing...
2022-10-30 18:46:28 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2022-10-30 18:51:51 +0100sm2n(ae95cb1267@user/sm2n) (Ping timeout: 255 seconds)
2022-10-30 18:53:42 +0100sm2n(ae95cb1267@user/sm2n)
2022-10-30 18:55:12 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-10-30 18:55:20 +0100jakalx(~jakalx@base.jakalx.net)
2022-10-30 18:55:37 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-10-30 18:56:48 +0100Sgeo(~Sgeo@user/sgeo)
2022-10-30 18:58:10 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds)
2022-10-30 18:59:01 +0100Everything(~Everythin@37.115.210.35)
2022-10-30 19:03:17 +0100acidjnk(~acidjnk@p200300d6e7137a70a15543d0330ba7ae.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 19:04:27 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 19:06:40 +0100acidjnk(~acidjnk@p200300d6e7137a70ac64450b6466d6c8.dip0.t-ipconnect.de)
2022-10-30 19:07:09 +0100crazazy(~user@2001:1c00:805:9200:1f00:186:9c61:a734) (Ping timeout: 246 seconds)
2022-10-30 19:12:25 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-10-30 19:15:46 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
2022-10-30 19:16:09 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 19:16:29 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-30 19:18:56 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-30 19:21:16 +0100_xor(~xor@74.215.182.83) (Ping timeout: 252 seconds)
2022-10-30 19:22:20 +0100_xor(~xor@74.215.182.83)
2022-10-30 19:23:53 +0100shapr`(~user@68.54.166.125)
2022-10-30 19:24:01 +0100shapr(~user@68.54.166.125) (Ping timeout: 252 seconds)
2022-10-30 19:32:30 +0100nate3(~nate@98.45.169.16)
2022-10-30 19:33:24 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 19:35:41 +0100danza(~francesco@151.47.37.117)
2022-10-30 19:36:05 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-30 19:36:37 +0100kfiz[m](~louismatr@2001:470:69fc:105::2:aee0)
2022-10-30 19:39:20 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 19:39:40 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2022-10-30 19:41:56 +0100nate3(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-10-30 19:50:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 19:53:10 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 19:57:17 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2022-10-30 19:57:22 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-10-30 19:57:54 +0100ddellacosta(~ddellacos@89.45.224.130)
2022-10-30 19:57:56 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 20:00:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 20:03:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 20:04:21 +0100nate3(~nate@98.45.169.16)
2022-10-30 20:06:14 +0100acidjnk(~acidjnk@p200300d6e7137a70ac64450b6466d6c8.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2022-10-30 20:09:07 +0100nate3(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-10-30 20:12:35 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2022-10-30 20:18:38 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-10-30 20:19:16 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 20:19:53 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-10-30 20:21:25 +0100acidjnk(~acidjnk@p200300d6e7137a70ac64450b6466d6c8.dip0.t-ipconnect.de)
2022-10-30 20:22:42 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2022-10-30 20:24:37 +0100nate3(~nate@98.45.169.16)
2022-10-30 20:29:36 +0100Kaipei(~Kaiepi@108.175.84.104)
2022-10-30 20:30:28 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds)
2022-10-30 20:32:46 +0100nate3(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-10-30 20:34:12 +0100Kaipei(~Kaiepi@108.175.84.104) (Ping timeout: 248 seconds)
2022-10-30 20:34:44 +0100danza(~francesco@151.47.37.117) (Ping timeout: 248 seconds)
2022-10-30 20:42:43 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2022-10-30 20:43:28 +0100 <dsal> I wonder if the "beware of postgresql-simple" has something to do with it trying to send blobs in as UTF-8 and then getting angry when that doesn't work.
2022-10-30 20:45:17 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2022-10-30 20:45:32 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 20:46:55 +0100danza(~francesco@pa-18-165-68.service.infuturo.it)
2022-10-30 20:49:05 +0100jlgw(~jw@83-233-104-81.cust.bredband2.com)
2022-10-30 20:49:54 +0100OpenSource(~kernel@user/OpenSource) (Quit: ZNC - https://znc.in)
2022-10-30 20:50:19 +0100OpenSource(~kernel@user/OpenSource)
2022-10-30 20:50:19 +0100ham(~ham@user/ham)
2022-10-30 20:53:03 +0100shapr`shapr
2022-10-30 20:55:08 +0100michalz(~michalz@185.246.207.222)
2022-10-30 20:56:11 +0100 <davean> dolio: well thats very simple.
2022-10-30 20:57:16 +0100Sgeo_(~Sgeo@user/sgeo)
2022-10-30 20:58:04 +0100zebrag(~chris@user/zebrag)
2022-10-30 21:00:49 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 252 seconds)
2022-10-30 21:02:28 +0100danza(~francesco@pa-18-165-68.service.infuturo.it) (Ping timeout: 252 seconds)
2022-10-30 21:07:42 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-10-30 21:14:05 +0100tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-10-30 21:14:11 +0100bilegeek(~bilegeek@2600:1008:b016:9b40:9349:658c:37b9:deaf)
2022-10-30 21:16:13 +0100 <dolio> Huh?
2022-10-30 21:16:46 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2022-10-30 21:18:32 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Remote host closed the connection)
2022-10-30 21:18:45 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com)
2022-10-30 21:18:49 +0100jinsunGuest8223
2022-10-30 21:18:49 +0100jinsun__(~jinsun@user/jinsun)
2022-10-30 21:18:49 +0100Guest8223(~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services)))
2022-10-30 21:18:49 +0100jinsun__jinsun
2022-10-30 21:21:12 +0100mixfix41(~sdeny9ee@user/mixfix41)
2022-10-30 21:22:51 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-30 21:23:09 +0100adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-10-30 21:23:48 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 21:23:55 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-10-30 21:25:34 +0100_xor(~xor@74.215.182.83) (Ping timeout: 252 seconds)
2022-10-30 21:26:05 +0100shapr`(~user@68.54.166.125)
2022-10-30 21:26:44 +0100_xor(~xor@74.215.182.83)
2022-10-30 21:27:17 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds)
2022-10-30 21:27:46 +0100shapr(~user@68.54.166.125) (Ping timeout: 252 seconds)
2022-10-30 21:30:42 +0100 <dsal> Oh, it looks like you have to write a `ByteString` with `Binary` if you don't want it to be treated as `Text`. That feels wrong, but I can at least work around it.
2022-10-30 21:37:08 +0100 <EvanR> the comments on Action appears to explain the different ways the strings end up quoted and escaped
2022-10-30 21:38:14 +0100 <EvanR> all string-like types get encoded as ByteString before encoded as Text again for SQL, where they are reencoded for storage xD
2022-10-30 21:39:24 +0100mmhat(~mmh@p200300f1c7307602ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 21:39:50 +0100hamster(~ham@user/ham)
2022-10-30 21:40:10 +0100 <dsal> Yeah, it explains what they do, but I don't see a justification for `instance ToField SB.ByteString where toField = Escape` -- that surely surprises just about anyone who tries it.
2022-10-30 21:40:13 +0100 <dsal> (glad I had good tests on this)
2022-10-30 21:41:03 +0100 <EvanR> ByteString as poor man's "ascii string" maybe
2022-10-30 21:42:12 +0100 <dsal> I'm sure someone's code was slightly more convenient with this, but it only works right when people are doing things wrong.
2022-10-30 21:42:12 +0100 <EvanR> an arbitrary ByteString can't be literally inserted into SQL as is because SQL is text
2022-10-30 21:42:37 +0100ham(~ham@user/ham) (Ping timeout: 252 seconds)
2022-10-30 21:42:43 +0100 <EvanR> (unless it can be and that's a different Action)
2022-10-30 21:42:51 +0100 <geekosaur> EvanR, nobody has any business inserting it as text
2022-10-30 21:43:03 +0100polo_(~polo@user/polo)
2022-10-30 21:43:04 +0100 <geekosaur> they should be using ? placeholders in the text
2022-10-30 21:43:08 +0100 <dsal> Yeah, but I can store it in a `bytea` if I wrap it in the `Binary` type because then it uses `EscapeByteA` instead of `Escape`
2022-10-30 21:43:22 +0100 <EvanR> yeah you're right, so what API is it using
2022-10-30 21:44:00 +0100 <dsal> It *can* do the right thing, but it does the wrong thing by default. I just assumed the whole API was broken when it complained about bad UTF characters in my blob.
2022-10-30 21:44:27 +0100 <EvanR> since the other ToField instances use utf8 encoding to get a bytestring, that is surprising
2022-10-30 21:44:28 +0100 <dsal> I'm pretty sure it "carefully" generates a query and runs it.
2022-10-30 21:44:50 +0100 <EvanR> are you sure there's no method to use the ? way
2022-10-30 21:45:10 +0100 <dsal> That's the API I'm presented, but I don't know what it does with that.
2022-10-30 21:45:13 +0100boxscape_(~boxscape_@81.191.27.107)
2022-10-30 21:45:16 +0100 <EvanR> weird
2022-10-30 21:45:47 +0100 <geekosaur> sounds to me like the complaint is more that it's using utf8 escaping on what should be binary data?
2022-10-30 21:45:53 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 21:46:01 +0100 <geekosaur> cf. EscapeByteA vs. Escape
2022-10-30 21:46:23 +0100 <dsal> `result <- exec conn =<< formatQuery conn template qs`
2022-10-30 21:46:43 +0100 <EvanR> no it takes a ByteString and escapes it
2022-10-30 21:46:45 +0100 <dsal> Yeah, if I give it a `ByteString` I wouldn't expect it to assume it's text.
2022-10-30 21:46:53 +0100 <EvanR> could be utf8 or not
2022-10-30 21:46:57 +0100 <EvanR> doesn't reencode
2022-10-30 21:47:01 +0100 <dsal> But, AFAICT, it makes a big fat query string and sends it to postgres.
2022-10-30 21:47:10 +0100 <EvanR> it's not assuming it's text
2022-10-30 21:47:25 +0100 <EvanR> it's using ascii + escaped bytes to send binary
2022-10-30 21:48:07 +0100 <EvanR> been a while since I had to put on "binary data and text is the same thing" hat xD
2022-10-30 21:48:31 +0100 <dsal> I'm not entirely sure what complained about the bad utf8. Wrapping my `ByteString` in `Binary` made that go away, though.
2022-10-30 21:49:18 +0100 <dsal> Yeah, my prepared query is run via: `exec :: Connection -> ByteString -> IO PQ.Result`
2022-10-30 21:49:30 +0100 <dsal> That's kind of surprising. heh
2022-10-30 21:50:12 +0100 <geekosaur> that sounds like it's actually encoding the data into the sql command, not using ?
2022-10-30 21:50:17 +0100 <geekosaur> boo hiss
2022-10-30 21:50:19 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds)
2022-10-30 21:50:48 +0100 <EvanR> at least it's "pure", and doesn't require managing a prepared statement object? xD
2022-10-30 21:50:49 +0100 <dsal> Yeah…  I guess it's better than expecting me to do that.
2022-10-30 21:52:10 +0100 <EvanR> k yeah that ToField ByteString instance doesn't seem to make sense
2022-10-30 21:52:19 +0100 <EvanR> where is the complain box
2022-10-30 21:53:14 +0100mmhat(~mmh@p200300f1c730765eee086bfffe095315.dip0.t-ipconnect.de)
2022-10-30 21:53:52 +0100 <dsal> I'm going to put something in it, yeah. I just figured this out.
2022-10-30 21:54:18 +0100danza(~francesco@22.red-79-153-42.dynamicip.rima-tde.net)
2022-10-30 21:54:26 +0100nate3(~nate@98.45.169.16)
2022-10-30 21:56:40 +0100chromoblob(~user@37.113.164.122)
2022-10-30 21:58:22 +0100titibandit(~titibandi@xdsl-87-79-250-160.nc.de)
2022-10-30 21:58:38 +0100titibandit(~titibandi@xdsl-87-79-250-160.nc.de) (Remote host closed the connection)
2022-10-30 22:00:54 +0100 <chromoblob> hello! i want to create an exact real calculator which acts as IDE for simple functional language, user will be able to input AST for functions and select functions to evaluate and visualize or playback as audio. question, what should i do: write a functional language compiler using LLVM or compile my language to Haskell and reuse GHC?
2022-10-30 22:01:47 +0100 <chromoblob> GHC doesn't JIT compile, afaik, it is probably a problem for performance
2022-10-30 22:02:21 +0100 <chromoblob> but i doubt that i will be able to create a compiler which creates efficient programs either, i'm not experienced in compilers
2022-10-30 22:04:54 +0100 <geekosaur> I'm not clear what JIT has to do with this. GHC compiles to native code already, it doesn't need JIT
2022-10-30 22:05:25 +0100 <geekosaur> interpreted languages like JS or VM-compiled languages like Java need JIT
2022-10-30 22:05:54 +0100 <chromoblob> my IDE needs JIT in order to evaluate functions that user just wrote
2022-10-30 22:06:03 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 22:06:20 +0100 <chromoblob> user modifies a function, it is recompiled, and visualised or played back as audio
2022-10-30 22:06:29 +0100 <geekosaur> you can look at the source of ghci and see how ghci -fobject-code works
2022-10-30 22:07:12 +0100 <geekosaur> (normally ghci compiles to bytecode, not unlike java)
2022-10-30 22:08:32 +0100 <chromoblob> will bytecode be as efficient as JIT?
2022-10-30 22:08:48 +0100 <geekosaur> ghci is just an ordinary client of the ghc API, and in the past has been available separately from ghc although I think the most recent version of that is bitrotted (ghci-ng, which was used to test various now standard additions to ghci)
2022-10-30 22:08:53 +0100 <geekosaur> it will not
2022-10-30 22:09:16 +0100 <geekosaur> but -fobject-code causes it to compile to native code instead of bytecode
2022-10-30 22:09:36 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-10-30 22:12:55 +0100 <boxscape_> If I type, in ghci, `data A = MkA`, and then `return MkA`, would you expect some output from that? Or is there some weird defaulting going on that makes it make sense that it prints nothing?
2022-10-30 22:13:02 +0100 <boxscape_> I would expect an error about a missing show instance for A
2022-10-30 22:13:19 +0100 <boxscape_> but it's been this way since at least 8.4.4
2022-10-30 22:13:22 +0100 <boxscape_> so I feel like I'm missing something
2022-10-30 22:14:14 +0100 <boxscape_> if you run `deriving instance Show A` after that and try `return MkA` again, it *will* output "MkA"
2022-10-30 22:14:58 +0100michalz(~michalz@185.246.207.222) (Remote host closed the connection)
2022-10-30 22:14:59 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-10-30 22:16:24 +0100 <[Leary]> % putStrLn "test" >> pure id
2022-10-30 22:16:24 +0100 <yahb2> test
2022-10-30 22:16:51 +0100 <[Leary]> It probably wants to be able to support IO that doesn't return something printable.
2022-10-30 22:17:33 +0100polo_(~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-10-30 22:17:57 +0100 <dsal> Might be good to focus on which parts of your application aren't fast enough before starting optimization.
2022-10-30 22:18:35 +0100 <boxscape_> [Leary] I suppose that makes sense
2022-10-30 22:18:36 +0100polo_(~polo@user/polo)
2022-10-30 22:19:25 +0100ubert(~Thunderbi@178.165.170.39.wireless.dyn.drei.com) (Remote host closed the connection)
2022-10-30 22:20:41 +0100 <chromoblob> -fobject-code uses native code gen, right? i fear that results will be less efficient than using LLVM backend (i read that math-intensive programs perform better when compiled through LLVM backend)
2022-10-30 22:22:14 +0100 <EvanR> return 2 shows 2 for me
2022-10-30 22:23:22 +0100 <EvanR> ah but not if there's no show instance
2022-10-30 22:24:08 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-10-30 22:26:27 +0100 <dsal> chromoblob: How much faster do you need your program to be?
2022-10-30 22:28:24 +0100 <chromoblob> i want my IDE to support real-time generation of audio whenever possible. if a function can be fast enough for that, it should be that fast
2022-10-30 22:29:16 +0100 <chromoblob> i don't have concrete examples yet
2022-10-30 22:29:44 +0100 <dsal> If it doesn't work at all, then it's going to be hard to figure out where the performance problems are and how they need to be improved.
2022-10-30 22:32:29 +0100Midjak(~Midjak@82.66.147.146) (Ping timeout: 272 seconds)
2022-10-30 22:32:47 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-10-30 22:36:20 +0100shapr`shapr
2022-10-30 22:39:30 +0100johnw(~johnw@2600:1700:cf00:db0:6c87:b668:9831:2008)
2022-10-30 22:43:48 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2022-10-30 22:45:15 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 22:47:50 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Remote host closed the connection)
2022-10-30 22:48:04 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt)
2022-10-30 22:52:28 +0100jlgw(~jw@83-233-104-81.cust.bredband2.com) (Ping timeout: 252 seconds)
2022-10-30 22:52:30 +0100jlgw_(~jw@83-233-104-81.cust.bredband2.com)
2022-10-30 22:54:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 22:58:03 +0100chomwitt(~chomwitt@2a02:587:dc18:4a00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer)
2022-10-30 22:58:23 +0100chomwitt(~chomwitt@2a02:587:dc18:4a00:1ac0:4dff:fedb:a3f1)
2022-10-30 22:59:40 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-10-30 23:03:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b) (Remote host closed the connection)
2022-10-30 23:06:06 +0100polo_(~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-10-30 23:07:14 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 246 seconds)
2022-10-30 23:10:41 +0100boxscape_(~boxscape_@81.191.27.107) (Quit: Client closed)
2022-10-30 23:12:09 +0100jtomas(~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2022-10-30 23:21:48 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b)
2022-10-30 23:23:52 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-10-30 23:24:22 +0100mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 252 seconds)
2022-10-30 23:24:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 23:27:07 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-10-30 23:27:43 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-10-30 23:28:50 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-10-30 23:30:00 +0100j4cc3b(~j4cc3b@2601:98a:4200:4515:a590:a925:a8ca:78b7)
2022-10-30 23:30:25 +0100jinsun(~jinsun@user/jinsun)
2022-10-30 23:30:52 +0100thonkpod_(~thonkpod@user/thonkpod) (Ping timeout: 246 seconds)
2022-10-30 23:32:38 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg)
2022-10-30 23:33:29 +0100thonkpod_(~thonkpod@user/thonkpod)
2022-10-30 23:33:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-10-30 23:37:08 +0100freeside(~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds)
2022-10-30 23:45:44 +0100acidjnk(~acidjnk@p200300d6e7137a70ac64450b6466d6c8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-10-30 23:47:25 +0100BryanDrewery[m](~bryanxk42@2001:470:69fc:105::2:af5e)
2022-10-30 23:48:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-10-30 23:56:56 +0100chromobl1b(~user@37.113.164.122)
2022-10-30 23:57:22 +0100mixfix41(~sdeny9ee@user/mixfix41)
2022-10-30 23:58:28 +0100danza(~francesco@22.red-79-153-42.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-10-30 23:58:47 +0100Dev-Inchy(~Dev-Inchy@136.144.35.93)
2022-10-30 23:59:34 +0100chromoblob(~user@37.113.164.122) (Ping timeout: 252 seconds)
2022-10-30 23:59:40 +0100chromobl1bchromoblob
2022-10-30 23:59:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:7552:8274:e242:b93b) (Remote host closed the connection)