2022/09/02

2022-09-02 00:00:01 +0200|beowulf|(florian@gabilgathol.bandrate.org)
2022-09-02 00:00:10 +0200AlexNoo_(~AlexNoo@178.34.163.186)
2022-09-02 00:00:25 +0200|beowulf|Guest4963
2022-09-02 00:00:35 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-02 00:00:38 +0200anderson_anderson
2022-09-02 00:00:43 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-02 00:01:10 +0200oxide(~lambda@user/oxide)
2022-09-02 00:01:45 +0200landonf(landonf@mac68k.info)
2022-09-02 00:01:56 +0200Square(~a@user/square)
2022-09-02 00:02:19 +0200x88x88x(~x88x88x@149.28.53.172)
2022-09-02 00:02:31 +0200inversed(~inversed@90.209.137.56) (Ping timeout: 252 seconds)
2022-09-02 00:02:50 +0200sm[i]_(~user@li229-222.members.linode.com)
2022-09-02 00:03:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 00:03:49 +0200AlexNoo(~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds)
2022-09-02 00:04:00 +0200inversed(~inversed@90.209.137.56)
2022-09-02 00:05:29 +0200arahael(~arahael@203.220.185.95)
2022-09-02 00:05:57 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 00:08:54 +0200Guest585(~mike@user/feetwind)
2022-09-02 00:08:58 +0200zaquest(~notzaques@5.130.79.72)
2022-09-02 00:09:02 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 255 seconds)
2022-09-02 00:09:13 +0200davean(~davean@davean.sciesnet.net)
2022-09-02 00:09:50 +0200leah2(~leah@vuxu.org)
2022-09-02 00:09:51 +0200lyxia(~lyxia@poisson.chat)
2022-09-02 00:09:55 +0200kilolympus(~kilolympu@90.203.82.22) (Quit: See you later! :))
2022-09-02 00:10:05 +0200rodental(~rodental@38.146.5.222)
2022-09-02 00:10:09 +0200CAT_S(apic@brezn3.muc.ccc.de)
2022-09-02 00:10:22 +0200tomboy64(~tomboy64@user/tomboy64)
2022-09-02 00:10:33 +0200teddyc(theodorc@cassarossa.samfundet.no)
2022-09-02 00:10:43 +0200Hafydd_(jc@user/hafydd)
2022-09-02 00:11:51 +0200ryantrinkle(~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7)
2022-09-02 00:13:38 +0200arahael(~arahael@203.220.185.95) (Ping timeout: 240 seconds)
2022-09-02 00:14:44 +0200rockymarine(~rocky@user/rockymarine)
2022-09-02 00:15:36 +0200texasmynsted_(~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2022-09-02 00:16:09 +0200Guest4212(~chenqisu1@183.217.201.192)
2022-09-02 00:18:33 +0200texasmynsted(~texasmyns@99.96.221.112)
2022-09-02 00:18:58 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 240 seconds)
2022-09-02 00:19:43 +0200Athas_(athas@2a01:7c8:aaac:1cf:239a:5046:d32e:432e) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-02 00:19:51 +0200Athas(athas@sigkill.dk)
2022-09-02 00:20:57 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-02 00:22:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 00:23:36 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-09-02 00:23:42 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 00:25:14 +0200fserucas(~fserucas@83.223.240.58)
2022-09-02 00:25:44 +0200Sgeo(~Sgeo@user/sgeo)
2022-09-02 00:26:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 00:26:30 +0200acidjnk(~acidjnk@p200300d6e7137a81043d6c871c3cb3d1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-02 00:28:13 +0200arahael(~arahael@14-200-135-92.tpgi.com.au)
2022-09-02 00:30:45 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 00:32:20 +0200ifjo5x0qr360ud3k(~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl)
2022-09-02 00:41:43 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.)
2022-09-02 00:44:43 +0200Volt_(~Volt_@c-73-167-119-209.hsd1.ma.comcast.net)
2022-09-02 00:47:27 +0200meejah_meejah
2022-09-02 00:48:05 +0200ifjo5x0qr360ud3k(~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) (Quit: Client closed)
2022-09-02 00:54:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 00:59:10 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-02 01:00:49 +0200tdbtwlt^^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2022-09-02 01:01:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 01:02:21 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-02 01:02:39 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 252 seconds)
2022-09-02 01:03:19 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net)
2022-09-02 01:03:24 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-02 01:03:54 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-09-02 01:05:22 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-02 01:06:59 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-09-02 01:08:09 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de)
2022-09-02 01:10:16 +0200rockymarine(~rocky@user/rockymarine)
2022-09-02 01:13:15 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-09-02 01:15:06 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 264 seconds)
2022-09-02 01:17:15 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-02 01:18:24 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-09-02 01:18:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 01:20:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 01:21:04 +0200rockymarine(~rocky@user/rockymarine)
2022-09-02 01:23:00 +0200pavonia(~user@user/siracusa)
2022-09-02 01:24:38 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-09-02 01:25:31 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 01:26:00 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-09-02 01:26:24 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-09-02 01:35:53 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
2022-09-02 01:40:46 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-02 01:43:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-09-02 01:45:34 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-09-02 01:47:24 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer)
2022-09-02 01:48:12 +0200tdbtwlt^(~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-09-02 01:48:54 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-02 01:54:50 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 01:56:37 +0200aaron[m]1234(~aaronvarg@2001:470:69fc:105::db5e)
2022-09-02 01:58:32 +0200Guest8526(~Guest85@2601:602:a080:fa0::54ff)
2022-09-02 01:59:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 02:02:49 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds)
2022-09-02 02:03:43 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-02 02:05:08 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2022-09-02 02:08:22 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2022-09-02 02:15:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 02:16:34 +0200nate4(~nate@98.45.169.16)
2022-09-02 02:16:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 02:20:48 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-02 02:26:57 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-02 02:27:11 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds)
2022-09-02 02:30:37 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 02:36:09 +0200beteigeuze(~Thunderbi@89.187.168.240) (Ping timeout: 252 seconds)
2022-09-02 02:38:58 +0200Guest27(~Guest27@37.230.207.224)
2022-09-02 02:40:46 +0200wolfshappen(~waff@irc.furworks.de) (Ping timeout: 260 seconds)
2022-09-02 02:41:47 +0200 <segfaultfizzbuzz> so if i am trying to sample from a distribution (think: monte carlo), let's suppose that i have a batch of observations, such as one hundred observations with some kind of answer regarding whether these observations do or don't have the desired characteristic
2022-09-02 02:42:18 +0200 <segfaultfizzbuzz> for instance i have my circle and i select uniformly at random (x, y) coordinates from a unit interval and then i get information on whether each point is inside the circle or not
2022-09-02 02:42:39 +0200 <segfaultfizzbuzz> somehow i need to update my sampling method based on these observations
2022-09-02 02:42:58 +0200 <segfaultfizzbuzz> but i can't think that there is any "rational" manner for doing this
2022-09-02 02:43:26 +0200 <segfaultfizzbuzz> it seems like you always have to have some kind of model which learns how to update the sampling process from the examples
2022-09-02 02:46:15 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Read error: Connection reset by peer)
2022-09-02 02:47:30 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds)
2022-09-02 02:49:24 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-02 02:59:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 02:59:22 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-02 02:59:39 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-02 03:03:03 +0200master(~Trickster@37.230.207.224)
2022-09-02 03:04:14 +0200master(~Trickster@37.230.207.224) ()
2022-09-02 03:04:47 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 03:05:39 +0200master(~Trickster@37.230.207.224)
2022-09-02 03:05:54 +0200master(~Trickster@37.230.207.224) ()
2022-09-02 03:06:35 +0200Guest27(~Guest27@37.230.207.224) (Quit: Client closed)
2022-09-02 03:10:51 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-09-02 03:12:55 +0200Guest8526(~Guest85@2601:602:a080:fa0::54ff) (Quit: Client closed)
2022-09-02 03:13:48 +0200xff0x(~xff0x@2405:6580:b080:900:2fc4:f88d:3507:57fe) (Ping timeout: 268 seconds)
2022-09-02 03:15:06 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-02 03:16:58 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-09-02 03:17:35 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 03:18:56 +0200wolfshappen(~waff@irc.furworks.de)
2022-09-02 03:19:18 +0200nate4(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-09-02 03:19:56 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 03:24:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 03:26:31 +0200khumba(~khumba@user/khumba) ()
2022-09-02 03:30:43 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-09-02 03:33:21 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-02 03:34:54 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-02 03:36:03 +0200polo(~Gambino@user/polo)
2022-09-02 03:36:31 +0200aeka`(~aeka@pool-96-233-77-78.bstnma.fios.verizon.net)
2022-09-02 03:37:21 +0200aeka(~aeka@2606:6080:2001:6:e14e:c3f3:8562:6916) (Ping timeout: 260 seconds)
2022-09-02 03:37:21 +0200aeka`aeka
2022-09-02 03:37:32 +0200polo(~Gambino@user/polo) (Client Quit)
2022-09-02 03:38:18 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-09-02 03:38:19 +0200polo(~Gambino@user/polo)
2022-09-02 03:39:12 +0200nilradical(~nilradica@user/naso)
2022-09-02 03:39:51 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-02 03:40:05 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-02 03:40:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 03:42:24 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 03:43:30 +0200frost(~frost@user/frost)
2022-09-02 03:45:53 +0200razetime(~quassel@117.193.3.141)
2022-09-02 03:46:36 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-02 03:48:51 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-09-02 03:48:59 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-02 03:51:42 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-02 03:53:09 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds)
2022-09-02 03:53:39 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-09-02 03:54:43 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-02 03:55:13 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 03:55:21 +0200polo(~Gambino@user/polo) (Quit: late)
2022-09-02 03:55:52 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-02 03:56:18 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 04:01:13 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-02 04:03:44 +0200qy(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-02 04:05:10 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds)
2022-09-02 04:06:21 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-02 04:08:11 +0200fserucas(~fserucas@83.223.240.58) (Ping timeout: 252 seconds)
2022-09-02 04:14:30 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds)
2022-09-02 04:16:02 +0200nate4(~nate@98.45.169.16)
2022-09-02 04:17:30 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-09-02 04:18:03 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 04:18:32 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-02 04:18:48 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 04:22:50 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-02 04:27:16 +0200qy(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds)
2022-09-02 04:29:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-09-02 04:29:36 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 04:29:45 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-02 04:30:18 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-02 04:36:06 +0200fernand(uid551405@id-551405.tinside.irccloud.com)
2022-09-02 04:40:10 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-02 04:43:54 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds)
2022-09-02 04:44:53 +0200td_(~td@94.134.91.37) (Ping timeout: 255 seconds)
2022-09-02 04:46:14 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-09-02 04:46:32 +0200td_(~td@94.134.91.208)
2022-09-02 04:58:01 +0200mbuf(~Shakthi@49.204.128.234)
2022-09-02 04:59:08 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 05:01:04 +0200fef(~thedawn@user/thedawn)
2022-09-02 05:01:21 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-09-02 05:01:39 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds)
2022-09-02 05:10:06 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 05:10:51 +0200nilradical(~nilradica@user/naso)
2022-09-02 05:11:26 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 05:13:00 +0200nilradical(~nilradica@user/naso)
2022-09-02 05:14:29 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 05:14:44 +0200nilradical(~nilradica@user/naso)
2022-09-02 05:15:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-02 05:18:34 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-09-02 05:24:50 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 05:25:00 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 05:25:48 +0200nilradical(~nilradica@user/naso)
2022-09-02 05:27:23 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-02 05:29:13 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-02 05:30:18 +0200nilradical(~nilradica@user/naso) (Ping timeout: 240 seconds)
2022-09-02 05:31:43 +0200nilradical(~nilradica@user/naso)
2022-09-02 05:35:41 +0200 <albet70> how to implement chunksOf with lambda?
2022-09-02 05:45:42 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer)
2022-09-02 05:46:31 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-09-02 05:53:28 +0200 <dsal> albet70: That question's a little odd. What are you trying to do?
2022-09-02 05:53:50 +0200mixfix41(~seikoreg2@user/mixfix41)
2022-09-02 05:56:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 06:05:41 +0200nate4(~nate@98.45.169.16)
2022-09-02 06:09:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 06:09:58 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds)
2022-09-02 06:10:33 +0200komikat[m](~komikatma@2001:470:69fc:105::1:c71e)
2022-09-02 06:10:39 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-02 06:11:05 +0200 <komikat[m]> hi
2022-09-02 06:11:11 +0200 <komikat[m]> is Haskell programming from ff still a good book to learn haskell/fp from
2022-09-02 06:11:11 +0200 <komikat[m]> have read like 5 chapters but find it boring and can't motivate myself enough to go through it
2022-09-02 06:11:47 +0200 <glguy> still?
2022-09-02 06:12:23 +0200 <dsal> komikat[m]: I read it concurrently with project work. I thought it was good. Some people don't like it.
2022-09-02 06:12:54 +0200 <maerwald[m]> komikat: burn the books and staht coding
2022-09-02 06:13:29 +0200 <komikat[m]> glguy: still as in I already have been programming for years but its always been something general purpose like python/lisp or low level stuff like C/C++
2022-09-02 06:13:47 +0200 <komikat[m]> maerwald[m]: what do i code :P
2022-09-02 06:13:57 +0200 <komikat[m]> dsal: any other recommendation?
2022-09-02 06:14:43 +0200 <dsal> There are lots of books, but I don't learn well without a project that's interesting to me.
2022-09-02 06:15:41 +0200 <komikat[m]> how do i look for projects that may interest me
2022-09-02 06:15:56 +0200 <glguy> komikat[m]: the problem with hpffp is that it typically uses way more words than needed and is often wrong or subtly wrong. You'd want to write a program that was interesting to you. Presumably there's a reason you want to program
2022-09-02 06:16:33 +0200 <maerwald[m]> komikat[m]: A terminal game
2022-09-02 06:16:36 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-02 06:16:48 +0200 <komikat[m]> komikat[m]: because my uni focusses a lot more on algorithmic problems instead of straight up projects
2022-09-02 06:16:57 +0200 <jackdk> http://jackkelly.name/blog/archives/2022/05/28/text-mode_games_as_first_haskell_projects/
2022-09-02 06:17:09 +0200 <maerwald[m]> komikat: implement graham scan in haskell
2022-09-02 06:17:17 +0200 <maerwald[m]> Visualize it with diagrams or so
2022-09-02 06:18:00 +0200slack1256(~slack1256@191.126.99.78)
2022-09-02 06:18:05 +0200 <maerwald[m]> 2d algorithms are fine
2022-09-02 06:19:12 +0200 <maerwald[m]> Image processing is also fun
2022-09-02 06:19:15 +0200pavonia_(~user@user/siracusa)
2022-09-02 06:20:02 +0200pavonia(~user@user/siracusa) (Ping timeout: 244 seconds)
2022-09-02 06:20:21 +0200 <slack1256> How do I force stack to clone private repo via ssh instead of https?
2022-09-02 06:20:28 +0200 <slack1256> repos*.
2022-09-02 06:20:40 +0200pavonia_pavonia
2022-09-02 06:21:54 +0200 <slack1256> Wait, nevermind.
2022-09-02 06:22:16 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-09-02 06:22:45 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8)
2022-09-02 06:23:40 +0200 <maerwald[m]> slack1256: protocol is part of the url
2022-09-02 06:26:19 +0200 <slack1256> Yeah, `git checkout` had overwritten that file to their https counterpart.
2022-09-02 06:27:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 06:31:16 +0200slack1256(~slack1256@191.126.99.78) (Remote host closed the connection)
2022-09-02 06:31:23 +0200kin(~kin@5.164.0.203)
2022-09-02 06:31:30 +0200enek(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 06:32:51 +0200scobydoowhatsupboy
2022-09-02 06:34:07 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
2022-09-02 06:34:53 +0200fef(~thedawn@user/thedawn) (Ping timeout: 258 seconds)
2022-09-02 06:37:04 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds)
2022-09-02 06:37:10 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-02 06:38:46 +0200codaraxis(~codaraxis@user/codaraxis) (Quit: Leaving)
2022-09-02 06:40:51 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 06:43:46 +0200c209e6dc-4d76-47(~aditya@c-73-103-92-95.hsd1.in.comcast.net)
2022-09-02 06:45:49 +0200 <c209e6dc-4d76-47> I am trying to construct a function `m [(a, [(b, c)])] -> m [(a, [(b', c)])]` where I have a function `b -> m b'`
2022-09-02 06:46:04 +0200defanor_defanor
2022-09-02 06:47:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-09-02 06:52:58 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 06:53:45 +0200nilradical(~nilradica@user/naso)
2022-09-02 06:54:50 +0200 <pavonia> m is a Monad?
2022-09-02 06:55:27 +0200fef(~thedawn@user/thedawn)
2022-09-02 06:55:39 +0200fernand(uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 06:56:19 +0200 <dsal> If m is a functor, you should remove that from the requirement.
2022-09-02 06:57:16 +0200 <dsal> And [] is a functor, and (,) is a functor.
2022-09-02 06:57:38 +0200 <dsal> Your function is approximately fmap.fmap.fmap with maybe a first in there somewhere.
2022-09-02 06:58:16 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 06:58:31 +0200nilradical(~nilradica@user/naso)
2022-09-02 06:58:34 +0200 <dsal> I guess if you really need `b -> m b'` then you replace one of the `fmap`s with a `traverse`
2022-09-02 06:58:46 +0200enek(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 244 seconds)
2022-09-02 06:58:53 +0200 <aaron[m]1234> they would all need to be traverse
2022-09-02 06:59:01 +0200 <aaron[m]1234> assuming that's the desired behavior
2022-09-02 07:02:17 +0200 <c209e6dc-4d76-47> I think traverse is what I needed
2022-09-02 07:02:19 +0200 <c209e6dc-4d76-47> thanks!
2022-09-02 07:03:20 +0200 <dsal> :t traverse.traverse.traverse
2022-09-02 07:03:22 +0200 <lambdabot> (Applicative f, Traversable t1, Traversable t2, Traversable t3) => (a -> f b) -> t1 (t2 (t3 a)) -> f (t1 (t2 (t3 b)))
2022-09-02 07:03:34 +0200 <aaron[m]1234> with lens you can do this easily with Traversals
2022-09-02 07:03:37 +0200 <Axman6> also pretty easy to do with lens
2022-09-02 07:03:42 +0200 <Axman6> damn, beaten to it
2022-09-02 07:03:53 +0200 <Axman6> "It's always traverse"
2022-09-02 07:03:56 +0200 <aaron[m]1234> e.g. x >>= (each . _2 . each ._1) f
2022-09-02 07:05:27 +0200 <dsal> :t \x f -> x >>= (each . _2 . each ._1) f
2022-09-02 07:05:29 +0200 <lambdabot> (Monad m, Field2 a1 b1 a2 b2, Each s b3 a1 b1, Each a2 b2 a3 b4, Field1 a3 b4 a4 b5) => m s -> (a4 -> m b5) -> m b3
2022-09-02 07:05:35 +0200 <dsal> so pretty
2022-09-02 07:05:39 +0200 <aaron[m]1234> lol
2022-09-02 07:06:18 +0200 <Axman6> "obviously"
2022-09-02 07:07:03 +0200 <Axman6> the implementation is something anyone with a reasonable lens experience would be able to read easily, but probably not tell you what the exact typw it.
2022-09-02 07:07:09 +0200 <aaron[m]1234> :t \x f -> x >>= (traverse . _2 . traverse . _1) f
2022-09-02 07:07:11 +0200 <lambdabot> (Monad m, Field2 a1 b1 (t1 a2) (t1 b2), Traversable t2, Traversable t1, Field1 a2 b2 a3 b3) => m (t2 a1) -> (a3 -> m b3) -> m (t2 b1)
2022-09-02 07:07:19 +0200 <Axman6> type* I'd personally use traverse
2022-09-02 07:08:42 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 07:11:55 +0200 <dsal> each is mostly cool to abuse tuples as lists.
2022-09-02 07:14:45 +0200fef(~thedawn@user/thedawn) (Ping timeout: 258 seconds)
2022-09-02 07:18:22 +0200 <c209e6dc-4d76-47> I came up with this https://paste.tomsmeding.com/t4MXCadz
2022-09-02 07:18:45 +0200 <c209e6dc-4d76-47> seems like there could be a simpler way, but I'm not allowed to use lenses
2022-09-02 07:19:38 +0200fef(~thedawn@user/thedawn)
2022-09-02 07:20:30 +0200kin(~kin@5.164.0.203) (Ping timeout: 264 seconds)
2022-09-02 07:20:52 +0200 <dsal> Not being able to use lenses can really complicate things sometimes.
2022-09-02 07:23:00 +0200 <aaron[m]1234> Not a fan of using zip like that. How about using Bitraversable
2022-09-02 07:23:24 +0200 <c209e6dc-4d76-47> it's part of base?
2022-09-02 07:24:31 +0200 <Axman6> @hoogle Bitraversable
2022-09-02 07:24:31 +0200 <lambdabot> module Data.Bitraversable
2022-09-02 07:24:31 +0200 <lambdabot> Data.Bitraversable class (Bifunctor t, Bifoldable t) => Bitraversable t
2022-09-02 07:24:31 +0200 <lambdabot> module Data.Semigroup.Bitraversable
2022-09-02 07:24:45 +0200 <Axman6> hmm, forgot that doesn't tell you the package
2022-09-02 07:25:00 +0200 <aaron[m]1234> think it is
2022-09-02 07:25:01 +0200 <c209e6dc-4d76-47> seems like it's in base on hoogle
2022-09-02 07:29:29 +0200 <aaron[m]1234> :t \f x -> x >>= (traverse $ traverse $ traverse $ bitraverse f pure)
2022-09-02 07:29:31 +0200 <lambdabot> error:
2022-09-02 07:29:31 +0200 <lambdabot> • Variable not in scope:
2022-09-02 07:29:31 +0200 <lambdabot> bitraverse :: t -> (a0 -> f0 a0) -> a -> m b
2022-09-02 07:32:06 +0200 <c209e6dc-4d76-47> :t \f x -> x >>= (traverse $ traverse $ traverse $ traverse (bitraverse f pure))
2022-09-02 07:32:07 +0200 <lambdabot> error:
2022-09-02 07:32:07 +0200 <lambdabot> • Variable not in scope:
2022-09-02 07:32:07 +0200 <lambdabot> bitraverse :: t -> (a0 -> f0 a0) -> a -> m b
2022-09-02 07:34:04 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-02 07:35:28 +0200 <aaron[m]1234> :t \f x -> x >>= (traverse $ traverse $ traverse $ Data.Bitraversable.bitraverse f pure)
2022-09-02 07:35:29 +0200 <lambdabot> (Monad m, Traversable t1, Traversable t2, Traversable t3, Data.Bitraversable.Bitraversable t4) => (a -> m c) -> m (t1 (t2 (t3 (t4 a d)))) -> m (t1 (t2 (t3 (t4 c d))))
2022-09-02 07:37:11 +0200 <rustisafungus> "not allowed to use lens" -- where does this kind of mandate come from?
2022-09-02 07:37:22 +0200fef(~thedawn@user/thedawn) (Ping timeout: 258 seconds)
2022-09-02 07:41:27 +0200nilradical(~nilradica@user/naso) ()
2022-09-02 07:43:30 +0200 <dsal> rustisafungus: Lots of places where developers are diverse and they want to limit the number of languages people need to learn.
2022-09-02 07:45:09 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-02 07:46:57 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-09-02 07:47:00 +0200 <maerwald[m]> After you've had a Monoid based bug in production with lens maybe
2022-09-02 07:47:03 +0200 <c209e6dc-4d76-47> I'm working on some open source project and adding a new dependency of lens just for this will be too much
2022-09-02 07:47:27 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-02 07:47:38 +0200 <c209e6dc-4d76-47> it's preferred to keep it to bare minimum and also the end goal is something else
2022-09-02 07:47:54 +0200 <c209e6dc-4d76-47> if I was the owner, I might have added it without a thought
2022-09-02 07:48:20 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-02 07:48:56 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-09-02 07:49:08 +0200cheater(~Username@user/cheater)
2022-09-02 07:50:40 +0200c209e6dc-4d76-47(~aditya@c-73-103-92-95.hsd1.in.comcast.net) (Quit: Konversation terminated!)
2022-09-02 07:50:57 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 244 seconds)
2022-09-02 07:51:16 +0200fef(~thedawn@user/thedawn)
2022-09-02 07:52:13 +0200fef(~thedawn@user/thedawn) (Client Quit)
2022-09-02 07:53:50 +0200coot(~coot@213.134.176.158)
2022-09-02 07:55:00 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-02 07:55:01 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-02 07:58:47 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-09-02 08:02:11 +0200caffery156(~caffery@user/caffery156)
2022-09-02 08:02:48 +0200 <caffery156> guys what is `Nothing` in haskell.Is it equivalent of null or what?
2022-09-02 08:04:24 +0200 <[_________]> Nothing is a constructor of Maybe a.
2022-09-02 08:06:16 +0200hueso(~root@user/hueso) (Ping timeout: 260 seconds)
2022-09-02 08:08:05 +0200toeffel(~toeffel@user/toeffel)
2022-09-02 08:12:32 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-09-02 08:14:53 +0200 <dsal> `Maybe` is a sum type that adds one to the cardinality of another type by introducing `Nothing` e.g., if you have a `Bool`, it's got two values (`True` and `False`) whereas `Maybe Bool` has three values (`Nothing`, `Just True`, and `Just False`)
2022-09-02 08:14:53 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-09-02 08:20:49 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz)
2022-09-02 08:22:40 +0200 <DigitalKiwi> ah this must be the infamous null + 1 error i heard about
2022-09-02 08:22:46 +0200 <DigitalKiwi> https://twitter.com/grhmc/status/1564975641761660928
2022-09-02 08:22:57 +0200nate4(~nate@98.45.169.16)
2022-09-02 08:27:38 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-02 08:30:16 +0200Guest5079(~Guest50@50.47.108.232)
2022-09-02 08:30:44 +0200 <Guest5079> How do I get CoC to recognize libraries in a Haskell project?
2022-09-02 08:31:38 +0200 <Guest5079> For example, in the stack default project, when loading `Main`, it doesn't recognize the module Lib even though it's in src
2022-09-02 08:34:08 +0200 <c_wraith> What's CoC? the only thing coming to mind is "calculus of constructions", and contextually I'm pretty sure that's wrong
2022-09-02 08:35:01 +0200 <DigitalKiwi> code of conduct
2022-09-02 08:35:15 +0200 <c_wraith> That also doesn't quite fit contextually.
2022-09-02 08:35:46 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-09-02 08:36:44 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 08:36:53 +0200 <maerwald[m]> c_wraith: coc.nvim
2022-09-02 08:37:10 +0200MoC(~moc@user/moc)
2022-09-02 08:37:10 +0200 <c_wraith> ah! now that makes sense. and also utterly disqualifies me from helping. :)
2022-09-02 08:37:37 +0200 <Guest5079> my apologies, it's coc not CoC. It's a vim plugin for using language servers such as hls https://github.com/neoclide/coc.nvim
2022-09-02 08:38:30 +0200 <maerwald[m]> c_wraith: it's the worst of all LSP clients. Entirely written in nodejs
2022-09-02 08:39:05 +0200 <maerwald[m]> Occasionally works and if it does, makes your screen flicker due to feature creep
2022-09-02 08:39:15 +0200 <c_wraith> also, I'm an emacs heathen, so completely untrustworthy. :P
2022-09-02 08:41:51 +0200Guest5079(~Guest50@50.47.108.232) (Quit: Client closed)
2022-09-02 08:43:58 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl)
2022-09-02 08:47:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:95c3:2c3e:653d:83f0)
2022-09-02 08:47:41 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal)
2022-09-02 08:48:03 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-02 08:49:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 08:51:15 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-02 08:54:10 +0200 <maerwald[m]> Worshipping the old gods, I see
2022-09-02 09:01:09 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-02 09:05:55 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 252 seconds)
2022-09-02 09:10:14 +0200m5zs7k(aquares@web10.mydevil.net)
2022-09-02 09:11:41 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-02 09:13:52 +0200libertyprime(~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds)
2022-09-02 09:15:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 09:16:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 09:16:14 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection)
2022-09-02 09:19:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 09:19:51 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds)
2022-09-02 09:21:49 +0200acidjnk(~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de)
2022-09-02 09:25:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-09-02 09:26:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-02 09:26:11 +0200Guest4212(~chenqisu1@183.217.201.192) (Quit: Leaving)
2022-09-02 09:27:04 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2022-09-02 09:29:30 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-09-02 09:29:37 +0200kuribas(~user@ptr-17d51emn3roko68gdk1.18120a2.ip6.access.telenet.be)
2022-09-02 09:30:40 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-02 09:30:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 09:31:28 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Client Quit)
2022-09-02 09:32:01 +0200 <jackdk> c_wraith: good to see someone else keeping the old ways alive
2022-09-02 09:39:46 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds)
2022-09-02 09:44:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 10:00:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 10:01:52 +0200fserucas(~fserucas@83.223.240.58)
2022-09-02 10:03:10 +0200 <kuribas> how does ghc grow the stack?
2022-09-02 10:03:12 +0200mixfix41(~seikoreg2@user/mixfix41) (Ping timeout: 268 seconds)
2022-09-02 10:03:20 +0200 <kuribas> does it just allocate a bigger stack, and copy the whole thing?
2022-09-02 10:03:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-02 10:05:24 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-09-02 10:10:51 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-09-02 10:12:05 +0200zaquest(~notzaques@5.130.79.72)
2022-09-02 10:14:03 +0200 <[exa]> what stack?
2022-09-02 10:17:51 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-02 10:20:06 +0200 <Axman6> GHc's stack is segmented IIRC
2022-09-02 10:21:56 +0200 <Axman6> See the RTS flags:
2022-09-02 10:21:58 +0200 <Axman6> -ki<size> Sets the initial thread stack size (default 1k) Egs: -ki4k -ki2m
2022-09-02 10:21:58 +0200 <Axman6> -kc<size> Sets the stack chunk size (default 32k)
2022-09-02 10:21:59 +0200 <Axman6> -kb<size> Sets the stack chunk buffer size (default 1k)
2022-09-02 10:25:30 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:a8c4:c646:2b11:d02f)
2022-09-02 10:26:48 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 10:28:28 +0200 <kuribas> Axman6: but then how does it "jump" from one segment to the other?
2022-09-02 10:28:32 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 10:29:30 +0200agander_m_agander_m
2022-09-02 10:30:56 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit)
2022-09-02 10:31:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2022-09-02 10:33:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-02 10:34:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 10:34:25 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-02 10:35:35 +0200 <Axman6> pretty sure all stack modifications check the current chunk bounds
2022-09-02 10:38:21 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-02 10:38:58 +0200odnes(~odnes@5-203-166-239.pat.nym.cosmote.net)
2022-09-02 10:39:13 +0200califax(~califax@user/califx)
2022-09-02 10:40:41 +0200nate4(~nate@98.45.169.16)
2022-09-02 10:43:12 +0200jimki(~jmaki@gazorpazorp.fixme.fi)
2022-09-02 10:45:39 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-02 10:47:16 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 10:53:40 +0200FragByte(~christian@user/fragbyte) (Quit: Quit)
2022-09-02 10:55:01 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-09-02 10:55:35 +0200FragByte(~christian@user/fragbyte)
2022-09-02 11:04:21 +0200pie_(~pie_bnc@user/pie/x-2818909) ()
2022-09-02 11:04:45 +0200pie_(~pie_bnc@user/pie/x-2818909)
2022-09-02 11:12:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-02 11:19:27 +0200mikoto-chan(~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi)
2022-09-02 11:20:59 +0200tcard_(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2022-09-02 11:26:34 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-09-02 11:26:49 +0200tcard(~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp)
2022-09-02 11:34:41 +0200luffy(~chenqisu1@183.217.201.192)
2022-09-02 11:36:44 +0200mixfix41(~sdeny9ee@user/mixfix41) (Ping timeout: 244 seconds)
2022-09-02 11:38:05 +0200qhong_(~qhong@rescomp-21-400677.stanford.edu)
2022-09-02 11:40:39 +0200mncheck(~mncheck@193.224.205.254)
2022-09-02 11:41:54 +0200qhong(~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 268 seconds)
2022-09-02 11:41:54 +0200mikoto-chan(~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi) (Ping timeout: 244 seconds)
2022-09-02 11:43:45 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2022-09-02 11:46:50 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-09-02 11:57:45 +0200pagnol(~me@213-205-209-87.ftth.glasoperator.nl) (Quit: Leaving)
2022-09-02 11:59:54 +0200caffery156(~caffery@user/caffery156) (Quit: WeeChat 3.6)
2022-09-02 12:04:47 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 12:06:09 +0200 <kuribas> hmm: _s2hg::I64 = _s2h1::I64 * 3 + (_s2h1::I64 * 3 + ((_s2h3::I64 << 2) + (_s2h1::I64 * 3 + ((_s2h3::I64 << 2) + (I64[R1 + 7] << 5)))));
2022-09-02 12:06:26 +0200 <kuribas> it looks like it could have calculated the "_s2h1::I64 * 3" part only once.
2022-09-02 12:06:53 +0200 <kuribas> I would think the CSE would take care of that.
2022-09-02 12:07:13 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
2022-09-02 12:08:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-09-02 12:12:24 +0200wolfshappen(~waff@irc.furworks.de) (Ping timeout: 244 seconds)
2022-09-02 12:17:39 +0200wolfshappen(~waff@irc.furworks.de)
2022-09-02 12:21:11 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-09-02 12:24:36 +0200 <kuribas> ah, llvm does it better.
2022-09-02 12:25:44 +0200 <kuribas> it generated "imulq $9, 16(%rbp), %rsi"
2022-09-02 12:28:42 +0200odnes(~odnes@5-203-166-239.pat.nym.cosmote.net) (Quit: Leaving)
2022-09-02 12:30:07 +0200 <kuribas> but it's an old ghc (8.6.5) so they may have been improved
2022-09-02 12:31:49 +0200coot(~coot@213.134.176.158) (Ping timeout: 268 seconds)
2022-09-02 12:40:56 +0200 <kuribas> So far I am quite satisfied with how ghc can inline known variables, functions and class instances.
2022-09-02 12:41:29 +0200nate4(~nate@98.45.169.16)
2022-09-02 12:42:59 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 252 seconds)
2022-09-02 12:43:41 +0200 <kuribas> I was worried lazyness would get in the way of that, but it doesn't.
2022-09-02 12:43:50 +0200vglfr(~vglfr@145.224.94.248)
2022-09-02 12:44:18 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 240 seconds)
2022-09-02 12:45:58 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-02 12:46:18 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-09-02 12:55:22 +0200raym(~raym@user/raym)
2022-09-02 13:06:58 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-09-02 13:21:39 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-02 13:22:41 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-09-02 13:23:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-09-02 13:24:03 +0200Kaipei(~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds)
2022-09-02 13:24:48 +0200mastarija(~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f)
2022-09-02 13:29:33 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 252 seconds)
2022-09-02 13:48:20 +0200jinsun__(~jinsun@user/jinsun)
2022-09-02 13:48:20 +0200jinsunGuest2127
2022-09-02 13:48:20 +0200Guest2127(~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2022-09-02 13:48:20 +0200jinsun__jinsun
2022-09-02 13:51:44 +0200notzmv(~zmv@user/notzmv)
2022-09-02 13:53:07 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 248 seconds)
2022-09-02 13:54:38 +0200mastarija(~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f) (Quit: WeeChat 3.5)
2022-09-02 13:55:57 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-09-02 13:56:35 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 13:57:43 +0200sajith-sajith
2022-09-02 14:03:24 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2022-09-02 14:08:27 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6)
2022-09-02 14:08:30 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 14:08:52 +0200m1dnight(~christoph@78-22-0-121.access.telenet.be)
2022-09-02 14:09:29 +0200toeffel(~toeffel@user/toeffel)
2022-09-02 14:10:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-02 14:10:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 14:15:06 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 14:16:36 +0200Pent_(sid313808@id-313808.lymington.irccloud.com) ()
2022-09-02 14:16:44 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-09-02 14:17:02 +0200Pent_(sid313808@id-313808.lymington.irccloud.com)
2022-09-02 14:18:00 +0200Pent_(sid313808@id-313808.lymington.irccloud.com) (Client Quit)
2022-09-02 14:18:52 +0200Pent(sid313808@id-313808.lymington.irccloud.com)
2022-09-02 14:19:18 +0200acidjnk(~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-02 14:27:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 14:27:42 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2022-09-02 14:30:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-02 14:31:22 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-02 14:41:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 14:41:14 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 14:41:58 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-09-02 14:42:18 +0200nate4(~nate@98.45.169.16)
2022-09-02 14:46:55 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-02 14:49:01 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-02 14:52:58 +0200xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 240 seconds)
2022-09-02 14:54:06 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds)
2022-09-02 14:54:18 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-02 14:54:32 +0200Jonno_FT1(~come@api.carswap.me) (Quit: Reconnecting)
2022-09-02 14:54:40 +0200Jonno_FTW(~come@api.carswap.me)
2022-09-02 14:54:41 +0200Jonno_FTW(~come@api.carswap.me) (Changing host)
2022-09-02 14:54:41 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2022-09-02 14:54:43 +0200nefercheprureTMA
2022-09-02 14:55:10 +0200xff0x(~xff0x@2405:6580:b080:900:e333:df19:b280:4b33)
2022-09-02 14:55:21 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-02 14:58:53 +0200mniip(mniip@libera/staff/mniip) (Remote host closed the connection)
2022-09-02 15:00:23 +0200Guest56(~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b)
2022-09-02 15:00:59 +0200Guest56(~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Client Quit)
2022-09-02 15:02:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 15:03:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 15:06:15 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-09-02 15:07:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 15:07:52 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-02 15:07:52 +0200Guest56(~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b)
2022-09-02 15:08:49 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 15:09:06 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-09-02 15:09:36 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com)
2022-09-02 15:10:53 +0200 <Guest56> Hi guys, I am beginning the mooc.fi haskell course and I am having an issue with downloading the stack tool. I am getting a lot of warnings about its safety, i am inclined to ignore them and download regardless but is there anything i should know about its safety. Thanks in advance.
2022-09-02 15:12:26 +0200 <geekosaur> stack itself is fine. I do wonder if "warnings about its safety" means either you've found an untrusted repo, or if your Let's Encrypt root cert is expired
2022-09-02 15:13:13 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-02 15:13:17 +0200nilradical(~nilradica@user/naso)
2022-09-02 15:15:51 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds)
2022-09-02 15:16:37 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-09-02 15:19:31 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 248 seconds)
2022-09-02 15:20:53 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 15:23:45 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com)
2022-09-02 15:25:43 +0200 <Guest56> I am not on a linux machine, its actually windows that doesn't seem to like the download, the Stack site provides a link to download through windows installer.I think I will just ignore the warnings and install, its probably because of the low number of installs onto windows.
2022-09-02 15:27:53 +0200 <Guest56> Its fine, it passed all the antivirus hoops.
2022-09-02 15:45:48 +0200Guest56(~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Quit: Client closed)
2022-09-02 15:47:33 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-09-02 15:48:38 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de)
2022-09-02 15:50:55 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-02 15:52:51 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2022-09-02 15:52:56 +0200cheater1__(~Username@user/cheater)
2022-09-02 15:53:01 +0200cheater1__cheater
2022-09-02 15:56:13 +0200shapr(~user@68.54.166.125) (Ping timeout: 252 seconds)
2022-09-02 15:58:14 +0200 <texasmynsted> I watched this https://youtu.be/3uwrtjxiq6E about Rel8. Great idea and interesting. It occurs to me that I would like to find an alternative approach to working with postgres.
2022-09-02 15:59:56 +0200 <texasmynsted> There are _many_ database packages. What is something I should look at if I want many of my queries to be raw SQL but still have a nice experience in haskell?
2022-09-02 16:00:47 +0200Volt_(~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) (Quit: )
2022-09-02 16:01:27 +0200raym(~raym@user/raym)
2022-09-02 16:02:43 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 268 seconds)
2022-09-02 16:03:27 +0200 <merijn> texasmynsted: "rolling your own" :p
2022-09-02 16:03:49 +0200 <texasmynsted> :-) That would likely be fun.
2022-09-02 16:03:56 +0200 <merijn> texasmynsted: My advice would be: use one of the X-simple low level packages and handroll your own abstractions on top of that
2022-09-02 16:04:11 +0200 <merijn> That's what I would do for my code with the benefit of hindsight
2022-09-02 16:04:33 +0200 <merijn> I'm using persistent atm, but I would definitely *not* advise that :p
2022-09-02 16:04:33 +0200 <texasmynsted> https://xkcd.com/927/
2022-09-02 16:05:25 +0200 <merijn> texasmynsted: I build my own kinda abstraction on top of it if you want some inspiration: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Query.hs
2022-09-02 16:05:29 +0200 <texasmynsted> heh, why not _persistent_?
2022-09-02 16:06:04 +0200 <merijn> texasmynsted: Because using it correctly involves becoming an expert in persistent internals
2022-09-02 16:06:49 +0200 <merijn> The superficial API seems very convenient and easy. And then you realise the design of a bunch of dependencies and other things changed introducing all sorts of tricky edge cases into this "safe" API
2022-09-02 16:07:35 +0200shapr(~user@68.54.166.125)
2022-09-02 16:07:37 +0200 <texasmynsted> "Because using it correctly involves becoming an expert in persistent internals" = exactly what I am trying to avoid.
2022-09-02 16:07:51 +0200 <merijn> texasmynsted: See for example https://github.com/yesodweb/persistent/issues/981
2022-09-02 16:08:22 +0200 <texasmynsted> o_O yike!
2022-09-02 16:08:30 +0200 <texasmynsted> or yikes
2022-09-02 16:08:51 +0200 <texasmynsted> hehe, persistent is out then
2022-09-02 16:08:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:95c3:2c3e:653d:83f0) (Quit: WeeChat 2.8)
2022-09-02 16:09:17 +0200 <merijn> texasmynsted: Personally I would just use sqlite-simple if I had to do this again (or postgres-simple if you want to use postgres)
2022-09-02 16:10:24 +0200 <merijn> And then wrap it with something like the Query type I made to encapsulate the messy low level bits and provide a nice high-level API
2022-09-02 16:14:19 +0200 <texasmynsted> Okay that does sound like a good fit
2022-09-02 16:17:36 +0200 <merijn> texasmynsted: The low-level/raw SQL intercace I use in the module I linked is basically equivalent to the interface the -simple packages provide, so should be easy enough to roll something like that
2022-09-02 16:20:51 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-09-02 16:23:26 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2022-09-02 16:26:26 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-02 16:26:26 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-02 16:26:26 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2022-09-02 16:26:26 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer)
2022-09-02 16:26:42 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-09-02 16:26:44 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-02 16:26:54 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-02 16:26:58 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-02 16:29:17 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-02 16:29:30 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-02 16:29:38 +0200acidjnk(~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de)
2022-09-02 16:29:56 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 16:30:31 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2022-09-02 16:31:04 +0200nilradical(~nilradica@user/naso)
2022-09-02 16:32:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 16:32:23 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 16:32:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 16:33:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 16:36:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2022-09-02 16:36:33 +0200nilradical(~nilradica@user/naso) (Ping timeout: 252 seconds)
2022-09-02 16:37:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 16:38:20 +0200 <texasmynsted> Thank you :-)
2022-09-02 16:40:03 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 16:40:38 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 240 seconds)
2022-09-02 16:42:47 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 16:43:59 +0200Sgeo(~Sgeo@user/sgeo)
2022-09-02 16:48:12 +0200 <ryantrinkle> merijn: wow that is a mess lol
2022-09-02 16:48:30 +0200 <ryantrinkle> texasmynsted: i agree with merijn that the *-simple libs are great
2022-09-02 16:48:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 16:48:54 +0200 <ryantrinkle> if you want more of your DB schema to be typed in Haskell-land, i'd recommend Beam
2022-09-02 16:49:06 +0200 <ryantrinkle> but it requires a decent investment of time to learn
2022-09-02 16:56:39 +0200toeffel(~toeffel@user/toeffel)
2022-09-02 16:56:51 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-09-02 17:01:05 +0200glguy(x@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds)
2022-09-02 17:02:12 +0200 <kuribas> meh, I've been using my own database library with not many problems.
2022-09-02 17:02:13 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-09-02 17:02:37 +0200 <kuribas> without the complexity of beam, and without the unsafeness of *-simple
2022-09-02 17:02:56 +0200 <kuribas> though it currently works only on mysql
2022-09-02 17:07:03 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-09-02 17:07:20 +0200Master_Sporta(~master@37.230.207.224)
2022-09-02 17:07:25 +0200Master_Sporta(~master@37.230.207.224) (Client Quit)
2022-09-02 17:07:44 +0200Master_Sporta(~master@37.230.207.224)
2022-09-02 17:07:54 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2022-09-02 17:09:48 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-09-02 17:10:04 +0200gentauro(~gentauro@user/gentauro)
2022-09-02 17:10:39 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2022-09-02 17:11:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-09-02 17:14:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 17:14:32 +0200kadir(~kadir@78.190.9.68)
2022-09-02 17:16:17 +0200nilradical(~nilradica@user/naso)
2022-09-02 17:16:28 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-09-02 17:16:39 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-09-02 17:16:56 +0200stefan-_(~cri@42dots.de) (Ping timeout: 260 seconds)
2022-09-02 17:16:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 17:18:19 +0200 <pareto-optimal-d> <ryantrinkle> "if you want more of your DB..." <- I've started recommending rel8 over either persistent or beam if you are using or can use postgres
2022-09-02 17:19:54 +0200acidjnk(~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-02 17:20:31 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 17:21:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 17:21:40 +0200 <c_wraith> have you found its model to work for your needs? I've always thought the idea of rel8 was cool, but I wasn't sure it was flexible enough for what I need.
2022-09-02 17:23:04 +0200Successus(~Successus@user/Successus)
2022-09-02 17:25:30 +0200motherfsck(~motherfsc@user/motherfsck)
2022-09-02 17:27:31 +0200`2jt(~jtomas@56.red-88-17-82.dynamicip.rima-tde.net)
2022-09-02 17:30:04 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-09-02 17:33:38 +0200roboguy(~roboguy@user/roboguy)
2022-09-02 17:35:15 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2022-09-02 17:38:22 +0200coot(~coot@213.134.176.158)
2022-09-02 17:38:55 +0200biberu(~biberu@user/biberu)
2022-09-02 17:39:02 +0200rockymarine(~rocky@user/rockymarine)
2022-09-02 17:40:04 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 17:42:30 +0200dtman34(~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1)
2022-09-02 17:44:25 +0200Master_Sporta(~master@37.230.207.224) ()
2022-09-02 17:46:19 +0200stefan-_(~cri@42dots.de)
2022-09-02 17:47:51 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 260 seconds)
2022-09-02 17:48:19 +0200raym(~raym@user/raym) (Ping timeout: 268 seconds)
2022-09-02 17:48:36 +0200 <pareto-optimal-d> I've only been using it for side projects so far since work has lots of blockers for such a move c_wraith
2022-09-02 17:48:36 +0200 <pareto-optimal-d> However I can't think of cases where it wouldn't be flexible enough for work use cases for me.
2022-09-02 17:48:36 +0200 <pareto-optimal-d> It's an adjustment for sure since your mental model becomes more Haskell than SQL.
2022-09-02 17:49:24 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-09-02 17:50:01 +0200 <pareto-optimal-d> Question: Is there some trick to showing all "instance Arbitrary YourType` not defined errors? Like if that type had a field whose type didn't have an arbitrary instance, I'd like to see both errors.
2022-09-02 17:50:01 +0200 <pareto-optimal-d> I thought `-fkeep-going` and `-fdeferred` type errors might do it but they didn't.
2022-09-02 17:50:17 +0200 <pareto-optimal-d> This also may not be easily possible.
2022-09-02 17:51:00 +0200 <c_wraith> The thing is, that's not actually knowable
2022-09-02 17:51:23 +0200 <c_wraith> it's possible you'll write an instance that doesn't require an instance for its type variables
2022-09-02 17:51:56 +0200 <c_wraith> That sounds very unlikely with Arbitrary, but it is theoretically possible
2022-09-02 17:52:18 +0200Midjak(~Midjak@82.66.147.146)
2022-09-02 17:54:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-02 17:56:43 +0200janus(janus@anubis.0x90.dk) ()
2022-09-02 17:56:43 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 17:58:39 +0200raym(~raym@user/raym)
2022-09-02 17:59:46 +0200gmg(~user@user/gehmehgeh)
2022-09-02 18:00:40 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 18:02:09 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 18:04:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-02 18:04:41 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-09-02 18:06:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 18:07:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 18:11:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 18:13:25 +0200glguy(x@libera/staff-emeritus/glguy)
2022-09-02 18:13:37 +0200neceve(~quassel@2.26.93.14)
2022-09-02 18:15:18 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-09-02 18:19:00 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 18:24:05 +0200Guest__(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 268 seconds)
2022-09-02 18:26:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 18:28:20 +0200alp(~alp@user/alp) (*.net *.split)
2022-09-02 18:28:20 +0200bonz060_(~quassel@2001:bc8:47a4:a23::1) (*.net *.split)
2022-09-02 18:28:20 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
2022-09-02 18:28:20 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2022-09-02 18:28:20 +0200iphy(sid67735@id-67735.lymington.irccloud.com) (*.net *.split)
2022-09-02 18:28:21 +0200Trattue(~Trattue@152.70.182.158) (*.net *.split)
2022-09-02 18:28:21 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split)
2022-09-02 18:28:21 +0200dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2022-09-02 18:28:21 +0200markasoftware(~quassel@107.161.26.124) (*.net *.split)
2022-09-02 18:28:21 +0200Logio(em@kapsi.fi) (*.net *.split)
2022-09-02 18:28:21 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2022-09-02 18:28:21 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split)
2022-09-02 18:28:21 +0200derelict(~derelict@user/derelict) (*.net *.split)
2022-09-02 18:28:21 +0200kronicmage(user92236@neotame.csclub.uwaterloo.ca) (*.net *.split)
2022-09-02 18:28:21 +0200T_S_(sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
2022-09-02 18:28:21 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
2022-09-02 18:28:21 +0200amir(sid22336@user/amir) (*.net *.split)
2022-09-02 18:28:21 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2022-09-02 18:28:21 +0200WaxCPU(Andrew@user/AndrewYu) (*.net *.split)
2022-09-02 18:28:31 +0200Logio(em@kapsi.fi)
2022-09-02 18:28:31 +0200akhesacaro(~caro@212-83-144-58.rev.poneytelecom.eu)
2022-09-02 18:28:35 +0200piele(~piele@tbonesteak.creativeserver.net)
2022-09-02 18:28:35 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2022-09-02 18:28:37 +0200kronicmage(user88019@neotame.csclub.uwaterloo.ca)
2022-09-02 18:28:43 +0200S11001001(sid42510@id-42510.ilkley.irccloud.com)
2022-09-02 18:28:43 +0200iphy(sid67735@id-67735.lymington.irccloud.com)
2022-09-02 18:28:44 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com)
2022-09-02 18:28:47 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2022-09-02 18:28:51 +0200T_S_(sid501726@id-501726.uxbridge.irccloud.com)
2022-09-02 18:28:58 +0200nurupo(~nurupo.ga@user/nurupo)
2022-09-02 18:29:00 +0200Andrew(Andrew@user/AndrewYu)
2022-09-02 18:29:12 +0200amir(sid22336@id-22336.hampstead.irccloud.com)
2022-09-02 18:29:13 +0200amir(sid22336@id-22336.hampstead.irccloud.com) (Changing host)
2022-09-02 18:29:13 +0200amir(sid22336@user/amir)
2022-09-02 18:29:28 +0200Trattue(~Trattue@152.70.182.158)
2022-09-02 18:30:35 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 18:31:06 +0200derelict(~derelict@user/derelict)
2022-09-02 18:31:17 +0200acidjnk(~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de)
2022-09-02 18:31:40 +0200dminuoso(~dminuoso@user/dminuoso)
2022-09-02 18:33:36 +0200Zemyla(~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com)
2022-09-02 18:36:39 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-02 18:38:03 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving)
2022-09-02 18:38:19 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-09-02 18:39:24 +0200causal(~user@50.35.83.177)
2022-09-02 18:41:35 +0200Guest___(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 18:42:22 +0200 <texasmynsted> okay. That makes sense. There are times where a query is complex or potentially time consuming where I want to just use SQL and let the query planner handle the complexity.
2022-09-02 18:43:01 +0200Guest___(~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit)
2022-09-02 18:43:26 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 18:43:46 +0200nate4(~nate@98.45.169.16)
2022-09-02 18:44:03 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 18:44:10 +0200 <texasmynsted> rel8 is impressive . . .
2022-09-02 18:44:52 +0200mbuf(~Shakthi@49.204.128.234) (Quit: Leaving)
2022-09-02 18:45:08 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving)
2022-09-02 18:45:28 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-09-02 18:48:40 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-02 18:50:43 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 248 seconds)
2022-09-02 18:52:47 +0200__monty__(~toonn@user/toonn)
2022-09-02 18:53:12 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-02 18:53:22 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer)
2022-09-02 18:59:16 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 19:00:16 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 19:02:12 +0200 <pareto-optimal-d> <texasmynsted> "rel8 is impressive . . ." <- Yeah the cookbook gives you a good feel for it too:
2022-09-02 19:02:12 +0200 <pareto-optimal-d> https://rel8.readthedocs.io/en/latest/cookbook.html
2022-09-02 19:04:34 +0200 <pareto-optimal-d> I'm waiting on schema-rel8 to try stuff on work models: https://github.com/circuithub/rel8/pull/59
2022-09-02 19:04:48 +0200 <pareto-optimal-d> * on schema-to-rel8 to
2022-09-02 19:04:56 +0200 <pareto-optimal-d> * on schema-to-rel8 to, * on work db models: https://github.com/circuithub/rel8/pull/59
2022-09-02 19:11:10 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-02 19:13:06 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-09-02 19:15:09 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-02 19:15:33 +0200schuelermine[m](~schuelerm@user/schuelermine)
2022-09-02 19:19:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 19:21:20 +0200fserucas(~fserucas@83.223.240.58) (Quit: Leaving)
2022-09-02 19:21:38 +0200acidjnk(~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-09-02 19:23:02 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-02 19:23:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 19:24:14 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-09-02 19:24:39 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 19:25:03 +0200owsleyGuest6294
2022-09-02 19:28:53 +0200Guest6294(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 252 seconds)
2022-09-02 19:30:35 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 19:30:40 +0200razetime(~quassel@117.193.3.141) (Remote host closed the connection)
2022-09-02 19:31:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 19:32:45 +0200 <texasmynsted> nice
2022-09-02 19:33:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 19:34:06 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 19:34:11 +0200mikoto-chan(~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi)
2022-09-02 19:35:47 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Read error: Connection reset by peer)
2022-09-02 19:36:42 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-02 19:37:23 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection)
2022-09-02 19:38:43 +0200AlexNoo_AlexNoo
2022-09-02 19:42:56 +0200econo(uid147250@user/econo)
2022-09-02 19:43:33 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds)
2022-09-02 19:45:26 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-09-02 19:45:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2022-09-02 19:47:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-02 19:48:01 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-09-02 19:48:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 19:49:25 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-02 19:49:38 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 244 seconds)
2022-09-02 19:50:57 +0200mikoto-chan(~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi) (Ping timeout: 268 seconds)
2022-09-02 19:51:06 +0200toeffel(~toeffel@user/toeffel)
2022-09-02 19:51:32 +0200rockymarine(~rocky@user/rockymarine)
2022-09-02 19:56:25 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-09-02 20:00:12 +0200nurupo(~nurupo.ga@user/nurupo) (Quit: nurupo.ga)
2022-09-02 20:00:25 +0200nurupo(~nurupo.ga@user/nurupo)
2022-09-02 20:01:01 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-02 20:06:57 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 20:09:19 +0200mixfix41(~sdeny9ee@user/mixfix41) (Quit: loggin off)
2022-09-02 20:11:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 20:12:40 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 20:20:01 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-02 20:21:31 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 20:22:42 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-02 20:22:49 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-02 20:23:06 +0200AlexNoo_(~AlexNoo@178.34.163.149)
2022-09-02 20:23:31 +0200biberu\(~biberu@user/biberu)
2022-09-02 20:23:49 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-02 20:24:44 +0200acidjnk(~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de)
2022-09-02 20:25:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 20:26:39 +0200AlexNoo(~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds)
2022-09-02 20:26:41 +0200Alex_test(~al_test@178.34.163.186) (Ping timeout: 268 seconds)
2022-09-02 20:27:01 +0200fef(~thedawn@user/thedawn)
2022-09-02 20:27:18 +0200AlexZenon(~alzenon@178.34.163.186) (Ping timeout: 268 seconds)
2022-09-02 20:27:25 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 20:27:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 20:27:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 20:27:53 +0200biberu(~biberu@user/biberu) (Ping timeout: 268 seconds)
2022-09-02 20:27:53 +0200biberu\biberu
2022-09-02 20:29:11 +0200Guest2(~Guest2@207.102.57.162)
2022-09-02 20:30:39 +0200Alex_test(~al_test@178.34.163.149)
2022-09-02 20:31:18 +0200dysfigureddfg
2022-09-02 20:31:25 +0200dfg(dfg@dfg.rocks) (Changing host)
2022-09-02 20:31:25 +0200dfg(dfg@user/dfg)
2022-09-02 20:31:50 +0200AlexZenon(~alzenon@178.34.163.149)
2022-09-02 20:31:50 +0200 <Guest2> I’m looking at the servant tutorial and I’m having trouble interpreting:
2022-09-02 20:31:51 +0200 <Guest2> type RootEndpoint =
2022-09-02 20:31:51 +0200 <Guest2>   Get '[JSON] User
2022-09-02 20:31:52 +0200 <Guest2> what is ‘ and is [JSON] the type of a list of JSON?
2022-09-02 20:32:01 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 20:32:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 20:33:26 +0200 <Guest2> anyone around that can offer suggestions of what I need to read? I see DataKinds and TypeOperator extensions are enabled. Is the answer there?
2022-09-02 20:33:34 +0200AlexNoo_AlexNoo
2022-09-02 20:33:44 +0200 <geekosaur> there, the tick means that what follows is a promoted value (in this case, a type level list)
2022-09-02 20:33:55 +0200 <geekosaur> DataKinds will tell you about the tick
2022-09-02 20:34:14 +0200 <geekosaur> the list is a list of types of kind JSON, which is probably promoted
2022-09-02 20:34:29 +0200 <Guest2> Ok, cool. Looks like a bunch of reading but prob. worth it
2022-09-02 20:34:30 +0200 <geekosaur> that is, somewhere there is a definition `data JSON = ...`
2022-09-02 20:34:47 +0200 <geekosaur> and the valid values of kind JSON are whatever the `...` is
2022-09-02 20:35:01 +0200sjanssen(~sjanssenm@2001:470:69fc:105::1:61d8)
2022-09-02 20:35:34 +0200 <Guest2>  Many thanks geekosaur
2022-09-02 20:35:37 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds)
2022-09-02 20:36:29 +0200Guest2(~Guest2@207.102.57.162) ()
2022-09-02 20:38:29 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-09-02 20:39:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 20:39:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2022-09-02 20:41:14 +0200Lord_of_Life_Lord_of_Life
2022-09-02 20:41:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 20:45:59 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-02 20:46:46 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 20:48:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9)
2022-09-02 20:51:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-02 20:51:39 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 244 seconds)
2022-09-02 20:53:18 +0200`2jt(~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Remote host closed the connection)
2022-09-02 20:53:41 +0200`2jt(~jtomas@56.red-88-17-82.dynamicip.rima-tde.net)
2022-09-02 20:57:59 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 21:01:27 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-02 21:02:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 21:02:48 +0200owsley(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 21:02:55 +0200owsleyGuest7666
2022-09-02 21:05:12 +0200shapr(~user@68.54.166.125) (Remote host closed the connection)
2022-09-02 21:06:35 +0200fef(~thedawn@user/thedawn) (Ping timeout: 258 seconds)
2022-09-02 21:11:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-02 21:14:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 21:15:47 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-02 21:16:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 21:17:30 +0200acidjnk(~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-02 21:19:01 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-02 21:20:32 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-02 21:21:00 +0200kydliceh(~kydliceh@94-255-154-14.cust.bredband2.com)
2022-09-02 21:24:32 +0200acidjnk(~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de)
2022-09-02 21:29:53 +0200vglfr(~vglfr@145.224.94.248) (Ping timeout: 244 seconds)
2022-09-02 21:30:07 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-02 21:31:19 +0200vglfr(~vglfr@145.224.94.248)
2022-09-02 21:32:27 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-02 21:32:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 21:34:28 +0200 <kydliceh> hi
2022-09-02 21:35:20 +0200 <geekosaur[m]> Hi
2022-09-02 21:37:18 +0200 <kydliceh> I am having trouble with writing bind function for my state Monad :/
2022-09-02 21:37:40 +0200 <kydliceh> https://github.com/hynky1999/LidlParser/blob/main/app/Interpreter.hs you can see the function at line 45
2022-09-02 21:37:54 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9) (Ping timeout: 264 seconds)
2022-09-02 21:38:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-02 21:39:23 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-02 21:41:56 +0200 <geekosaur> I would guess you've done something wrong somewhere else if you have an `IO a` (a generator of `a`s, in effect) there instead of an `a`
2022-09-02 21:43:35 +0200 <geekosaur> presumably you want StateT Store IO (Either RuntimeError a)
2022-09-02 21:44:12 +0200 <geekosaur> at least, if I'm reading this right
2022-09-02 21:45:17 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 21:45:23 +0200 <kydliceh> Well I haven't had there IO monad before. At the start it was just StateT Store (Either RuntimeError a).
2022-09-02 21:45:59 +0200 <kydliceh> But then I needed to add printing capability to interpreter, so that print statements can be called
2022-09-02 21:46:13 +0200 <geekosaur> then you need to do it the way I said
2022-09-02 21:46:32 +0200 <kydliceh> Okay I will try that
2022-09-02 21:46:35 +0200 <geekosaur> otherwise you're passing around `IO a`s you can't do anything with
2022-09-02 21:51:58 +0200 <monochrom> I would think that "StateT Store (ExceptT RuntimeError IO) a" is the most appropriate.
2022-09-02 21:52:33 +0200 <monochrom> or maybe not, maybe ExceptT RuntimeError (StateT Store IO) a
2022-09-02 21:52:40 +0200 <geekosaur> I conbsidered suggesting that, but wasn't sure even mentioning StateT was appropriate
2022-09-02 21:53:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 21:55:04 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-09-02 21:55:57 +0200Guest7666(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-09-02 21:56:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-02 21:57:01 +0200`2jt(~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-09-02 21:58:58 +0200owslye(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-09-02 22:04:50 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 255 seconds)
2022-09-02 22:05:44 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-02 22:06:44 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 22:10:47 +0200OscarZ(~oscarz@95.175.104.83)
2022-09-02 22:14:25 +0200wonko_(~wjc@2a0e:1c80:2::130)
2022-09-02 22:16:07 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 22:18:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-02 22:20:23 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2022-09-02 22:24:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-02 22:24:31 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
2022-09-02 22:24:45 +0200 <kayvank> join
2022-09-02 22:26:09 +0200 <geekosaur> ?
2022-09-02 22:28:04 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-09-02 22:29:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-02 22:30:20 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-02 22:32:35 +0200owslye(~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer)
2022-09-02 22:35:29 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-09-02 22:38:44 +0200kydliceh(~kydliceh@94-255-154-14.cust.bredband2.com) (Read error: Connection reset by peer)
2022-09-02 22:39:59 +0200 <geekosaur> hrm
2022-09-02 22:41:36 +0200phma(phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (Read error: Connection reset by peer)
2022-09-02 22:42:06 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds)
2022-09-02 22:42:19 +0200`2jt(~jtomas@56.red-88-17-82.dynamicip.rima-tde.net)
2022-09-02 22:43:25 +0200kydliceh(~kydliceh@94-255-154-14.cust.bredband2.com)
2022-09-02 22:45:18 +0200nate4(~nate@98.45.169.16)
2022-09-02 22:47:18 +0200jargon(~jargon@184.101.185.66)
2022-09-02 22:47:24 +0200phma(~phma@2001:5b0:212a:c678:14e3:c738:ac7d:1d76)
2022-09-02 22:49:05 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-02 22:50:11 +0200nate4(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-02 22:53:43 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 22:55:31 +0200neceve(~quassel@2.26.93.14) (Ping timeout: 248 seconds)
2022-09-02 22:57:30 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-64d5-91de-6fa5-ec29.res6.spectrum.com)
2022-09-02 22:58:13 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 22:59:30 +0200Guest5078(~Guest50@50.47.108.232)
2022-09-02 23:03:29 +0200 <geekosaur> kydliceh, you should probably be asking in here rather than pm-ing me; I'm not always at my desk
2022-09-02 23:03:58 +0200 <geekosaur> but I think you have some misunderstandings as to how monads work
2022-09-02 23:04:42 +0200 <geekosaur> (context for others: https://paste.tomsmeding.com/Ht52LOEs)
2022-09-02 23:09:36 +0200wonko_(~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds)
2022-09-02 23:10:42 +0200roboguy(~roboguy@user/roboguy) ()
2022-09-02 23:10:43 +0200kydliceh(~kydliceh@94-255-154-14.cust.bredband2.com) (Ping timeout: 252 seconds)
2022-09-02 23:10:47 +0200kydliceh_(~kydliceh@94-255-175-55.cust.bredband2.com)
2022-09-02 23:11:28 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-09-02 23:11:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-02 23:13:06 +0200 <kydliceh_> I do believe I understand how to work with one Monad but I don't quite understand how to work with composition of them
2022-09-02 23:16:38 +0200 <geekosaur> % :set -XTypedHoles
2022-09-02 23:16:38 +0200 <yahb2> Some flags have not been recognized: -XTypedHoles
2022-09-02 23:17:06 +0200 <geekosaur> % :set -XScopedTypeVariables
2022-09-02 23:17:06 +0200 <yahb2> <interactive>:1:1: error: Not in scope: ‘Yahb2Defs.limitedPrint’
2022-09-02 23:17:30 +0200 <geekosaur> guess I'[m not using yahb2
2022-09-02 23:17:48 +0200 <geekosaur> @let {-# LANGUAGE ScopedTypeVariables #-}
2022-09-02 23:17:49 +0200 <lambdabot> Defined.
2022-09-02 23:20:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-02 23:23:50 +0200kadir(~kadir@78.190.9.68) (WeeChat 3.6)
2022-09-02 23:24:24 +0200son0p(~ff@181.136.122.143)
2022-09-02 23:24:52 +0200kydliceh_(~kydliceh@94-255-175-55.cust.bredband2.com) (Ping timeout: 268 seconds)
2022-09-02 23:25:06 +0200kydliceh_(~kydliceh@94-255-154-14.cust.bredband2.com)
2022-09-02 23:26:36 +0200 <geekosaur> :t runStateT (do { (p :: _) <- StateT (\_ -> return (Right "a", 1)); return p }) 0
2022-09-02 23:26:37 +0200 <lambdabot> (Monad m, Num s) => m (Either a [Char], s)
2022-09-02 23:26:56 +0200 <geekosaur> hm, didn't do the typed hole
2022-09-02 23:28:03 +0200 <geekosaur> https://paste.tomsmeding.com/GvlufZKP
2022-09-02 23:28:42 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-02 23:30:10 +0200 <geekosaur> so `p` there is already Either RuntimeError String (I left the Left type unspecified and used String just to get somethingt that could be evaluated)
2022-09-02 23:30:49 +0200 <geekosaur> your use of `return` is somewhat suspect both in terms of trying to peel apart a monad stack, and looking as if you were trying to use it as a keyword
2022-09-02 23:31:14 +0200 <[Leary]> kydliceh_: You build the composition from Monad transformers so it already has a Monad instance.
2022-09-02 23:32:19 +0200 <geekosaur> also that
2022-09-02 23:33:05 +0200 <geekosaur> tomsmeding: [02 21:17:06] <yahb2> <interactive>:1:1: error: Not in scope: ‘Yahb2Defs.limitedPrint’ (from: % :set -XScopedTypeVariables)
2022-09-02 23:33:58 +0200 <geekosaur> maybe I should have used @tell, it's 22:30 over there I think…
2022-09-02 23:35:54 +0200 <kydliceh_> Yeah I thought I still use the Monad I have defined rather than use Monad transformers
2022-09-02 23:36:05 +0200 <kydliceh_> *I could still use
2022-09-02 23:36:08 +0200rustisafungus(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-09-02 23:36:16 +0200 <geekosaur> you already have one, you can't replace it
2022-09-02 23:36:47 +0200 <geekosaur> and it should already do what you intend
2022-09-02 23:37:27 +0200 <geekosaur> @unmtl StateT Store IO (Either RuntimeError a)
2022-09-02 23:37:27 +0200 <lambdabot> Store -> IO (Either RuntimeError a, Store)
2022-09-02 23:37:42 +0200 <kydliceh_> Yeah But I was not using StateT
2022-09-02 23:38:15 +0200 <kydliceh_> I thought it would be Ok to leave there my custom State
2022-09-02 23:38:39 +0200 <kydliceh_> https://github.com/hynky1999/LidlParser/blob/main/app/State.hs
2022-09-02 23:38:45 +0200 <geekosaur> why do you need a custom State? and how did you plan to deal with IO?
2022-09-02 23:39:52 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-09-02 23:39:54 +0200 <geekosaur> and, well, that module just looks like you reinvented Control.Monad.State (well, from mtl1 where it wasn't a wrapper for StateT). and you still need some way to deal with IO
2022-09-02 23:40:02 +0200 <geekosaur> \which is why StateT exists
2022-09-02 23:40:09 +0200 <kydliceh_> Well I don't need one, I reused a code from class so I left it there
2022-09-02 23:40:22 +0200 <kydliceh_> Yeah it was made to explain how state monad works
2022-09-02 23:43:39 +0200 <kydliceh_> I thought that I would resolve how to deal with IO at bind definition
2022-09-02 23:43:59 +0200 <kydliceh_> But I guess I will take a look at transfomers before I ask another questions for sure
2022-09-02 23:44:02 +0200 <geekosaur> but bind has no way to reach IO because it hasn't been plumbed through
2022-09-02 23:44:20 +0200 <geekosaur> if it gets an IO a it can't do anything but return it
2022-09-02 23:44:31 +0200califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-09-02 23:44:47 +0200 <kydliceh_> Yeah that's why I had no idea how to continue
2022-09-02 23:45:06 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-09-02 23:45:09 +0200 <kydliceh_> And that's why there were the returns so I could "unwrap it"
2022-09-02 23:45:28 +0200 <geekosaur> and even if you use your own State monad it will still behave like any other monad; you already get the whole thing evaluated with the <-, you can't peel it apart and manually evaluate each "level"
2022-09-02 23:45:49 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-02 23:46:20 +0200 <kydliceh_> Ok, that makes sense. I thought I could somehow do it
2022-09-02 23:46:20 +0200califax(~califax@user/califx)
2022-09-02 23:46:56 +0200 <geekosaur> and even if you could, once you commit to `return` you can't bail out of it if you get a RuntimeError instead of a result
2022-09-02 23:48:20 +0200bbear(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 255 seconds)
2022-09-02 23:50:11 +0200 <kydliceh_> okay
2022-09-02 23:52:37 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-09-02 23:53:52 +0200kydliceh_(~kydliceh@94-255-154-14.cust.bredband2.com) (Quit: Konversation terminated!)
2022-09-02 23:55:23 +0200jludwig(~justin@li657-110.members.linode.com) (Changing host)
2022-09-02 23:55:23 +0200jludwig(~justin@user/jludwig)
2022-09-02 23:57:32 +0200matthewmosior(~matthewmo@173.170.253.91)