| 2022-09-02 00:00:01 +0200 | |beowulf| | (florian@gabilgathol.bandrate.org) |
| 2022-09-02 00:00:10 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.186) |
| 2022-09-02 00:00:25 +0200 | |beowulf| | Guest4963 |
| 2022-09-02 00:00:35 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-02 00:00:38 +0200 | anderson_ | anderson |
| 2022-09-02 00:00:43 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-02 00:01:10 +0200 | oxide | (~lambda@user/oxide) |
| 2022-09-02 00:01:45 +0200 | landonf | (landonf@mac68k.info) |
| 2022-09-02 00:01:56 +0200 | Square | (~a@user/square) |
| 2022-09-02 00:02:19 +0200 | x88x88x | (~x88x88x@149.28.53.172) |
| 2022-09-02 00:02:31 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 252 seconds) |
| 2022-09-02 00:02:50 +0200 | sm[i]_ | (~user@li229-222.members.linode.com) |
| 2022-09-02 00:03:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 00:03:49 +0200 | AlexNoo | (~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 00:04:00 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-09-02 00:05:29 +0200 | arahael | (~arahael@203.220.185.95) |
| 2022-09-02 00:05:57 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 00:08:54 +0200 | Guest585 | (~mike@user/feetwind) |
| 2022-09-02 00:08:58 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-02 00:09:02 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 2022-09-02 00:09:13 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2022-09-02 00:09:50 +0200 | leah2 | (~leah@vuxu.org) |
| 2022-09-02 00:09:51 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2022-09-02 00:09:55 +0200 | kilolympus | (~kilolympu@90.203.82.22) (Quit: See you later! :)) |
| 2022-09-02 00:10:05 +0200 | rodental | (~rodental@38.146.5.222) |
| 2022-09-02 00:10:09 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2022-09-02 00:10:22 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-02 00:10:33 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2022-09-02 00:10:43 +0200 | Hafydd_ | (jc@user/hafydd) |
| 2022-09-02 00:11:51 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) |
| 2022-09-02 00:13:38 +0200 | arahael | (~arahael@203.220.185.95) (Ping timeout: 240 seconds) |
| 2022-09-02 00:14:44 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 00:15:36 +0200 | texasmynsted_ | (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 2022-09-02 00:16:09 +0200 | Guest4212 | (~chenqisu1@183.217.201.192) |
| 2022-09-02 00:18:33 +0200 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-09-02 00:18:58 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 240 seconds) |
| 2022-09-02 00:19:43 +0200 | Athas_ | (athas@2a01:7c8:aaac:1cf:239a:5046:d32e:432e) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-02 00:19:51 +0200 | Athas | (athas@sigkill.dk) |
| 2022-09-02 00:20:57 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-09-02 00:22:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 00:23:36 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2022-09-02 00:23:42 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 00:25:14 +0200 | fserucas | (~fserucas@83.223.240.58) |
| 2022-09-02 00:25:44 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-02 00:26:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 00:26:30 +0200 | acidjnk | (~acidjnk@p200300d6e7137a81043d6c871c3cb3d1.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 00:28:13 +0200 | arahael | (~arahael@14-200-135-92.tpgi.com.au) |
| 2022-09-02 00:30:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 00:32:20 +0200 | ifjo5x0qr360ud3k | (~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 00:41:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-02 00:44:43 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) |
| 2022-09-02 00:47:27 +0200 | meejah_ | meejah |
| 2022-09-02 00:48:05 +0200 | ifjo5x0qr360ud3k | (~ducky@92-109-65-42.cable.dynamic.v4.ziggo.nl) (Quit: Client closed) |
| 2022-09-02 00:54:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 00:59:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 01:00:49 +0200 | tdbtwlt^^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2022-09-02 01:01:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 01:02:21 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 2022-09-02 01:02:39 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 252 seconds) |
| 2022-09-02 01:03:19 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-09-02 01:03:24 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 01:03:54 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-09-02 01:05:22 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 01:06:59 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-09-02 01:08:09 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-02 01:10:16 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 01:13:15 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-02 01:15:06 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 264 seconds) |
| 2022-09-02 01:17:15 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-02 01:18:24 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-02 01:18:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 01:20:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 01:21:04 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 01:23:00 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-02 01:24:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-02 01:25:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 01:26:00 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-09-02 01:26:24 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-09-02 01:35:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-09-02 01:40:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-02 01:43:15 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-02 01:45:34 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-02 01:47:24 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-09-02 01:48:12 +0200 | tdbtwlt^ | (~tdbtwlt@c-73-237-184-20.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-09-02 01:48:54 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-09-02 01:54:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 01:56:37 +0200 | aaron[m]1234 | (~aaronvarg@2001:470:69fc:105::db5e) |
| 2022-09-02 01:58:32 +0200 | Guest8526 | (~Guest85@2601:602:a080:fa0::54ff) |
| 2022-09-02 01:59:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 02:02:49 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-09-02 02:03:43 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 02:05:08 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-09-02 02:08:22 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-09-02 02:15:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 02:16:34 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 02:16:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 02:20:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 02:26:57 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 02:27:11 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-09-02 02:30:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 02:36:09 +0200 | beteigeuze | (~Thunderbi@89.187.168.240) (Ping timeout: 252 seconds) |
| 2022-09-02 02:38:58 +0200 | Guest27 | (~Guest27@37.230.207.224) |
| 2022-09-02 02:40:46 +0200 | wolfshappen | (~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 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Read error: Connection reset by peer) |
| 2022-09-02 02:47:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 02:49:24 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-02 02:59:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 02:59:22 +0200 | jao | (~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 +0200 | master | (~Trickster@37.230.207.224) |
| 2022-09-02 03:04:14 +0200 | master | (~Trickster@37.230.207.224) () |
| 2022-09-02 03:04:47 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 03:05:39 +0200 | master | (~Trickster@37.230.207.224) |
| 2022-09-02 03:05:54 +0200 | master | (~Trickster@37.230.207.224) () |
| 2022-09-02 03:06:35 +0200 | Guest27 | (~Guest27@37.230.207.224) (Quit: Client closed) |
| 2022-09-02 03:10:51 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-02 03:12:55 +0200 | Guest8526 | (~Guest85@2601:602:a080:fa0::54ff) (Quit: Client closed) |
| 2022-09-02 03:13:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2fc4:f88d:3507:57fe) (Ping timeout: 268 seconds) |
| 2022-09-02 03:15:06 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 03:16:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-02 03:17:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 03:18:56 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-02 03:19:18 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-02 03:19:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 03:24:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 03:26:31 +0200 | khumba | (~khumba@user/khumba) () |
| 2022-09-02 03:30:43 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-09-02 03:33:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-09-02 03:34:54 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-02 03:36:03 +0200 | polo | (~Gambino@user/polo) |
| 2022-09-02 03:36:31 +0200 | aeka` | (~aeka@pool-96-233-77-78.bstnma.fios.verizon.net) |
| 2022-09-02 03:37:21 +0200 | aeka | (~aeka@2606:6080:2001:6:e14e:c3f3:8562:6916) (Ping timeout: 260 seconds) |
| 2022-09-02 03:37:21 +0200 | aeka` | aeka |
| 2022-09-02 03:37:32 +0200 | polo | (~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 +0200 | polo | (~Gambino@user/polo) |
| 2022-09-02 03:39:12 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:39:51 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 03:40:05 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 03:40:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 03:42:24 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 03:43:30 +0200 | frost | (~frost@user/frost) |
| 2022-09-02 03:45:53 +0200 | razetime | (~quassel@117.193.3.141) |
| 2022-09-02 03:46:36 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 03:48:51 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-02 03:48:59 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 03:51:42 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 03:53:09 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 2022-09-02 03:53:39 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 2022-09-02 03:54:43 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 03:55:13 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 03:55:21 +0200 | polo | (~Gambino@user/polo) (Quit: late) |
| 2022-09-02 03:55:52 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 03:56:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 04:01:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-02 04:03:44 +0200 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 04:05:10 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds) |
| 2022-09-02 04:06:21 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-02 04:08:11 +0200 | fserucas | (~fserucas@83.223.240.58) (Ping timeout: 252 seconds) |
| 2022-09-02 04:14:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 04:16:02 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 04:17:30 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 04:18:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 04:18:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 04:18:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 04:22:50 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 04:27:16 +0200 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds) |
| 2022-09-02 04:29:18 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-09-02 04:29:36 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 04:29:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-02 04:30:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-02 04:36:06 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2022-09-02 04:40:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-02 04:43:54 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 04:44:53 +0200 | td_ | (~td@94.134.91.37) (Ping timeout: 255 seconds) |
| 2022-09-02 04:46:14 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-02 04:46:32 +0200 | td_ | (~td@94.134.91.208) |
| 2022-09-02 04:58:01 +0200 | mbuf | (~Shakthi@49.204.128.234) |
| 2022-09-02 04:59:08 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 05:01:04 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 05:01:21 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-02 05:01:39 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
| 2022-09-02 05:10:06 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 05:10:51 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 05:11:26 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 05:13:00 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 05:14:29 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 05:14:44 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 05:15:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 05:18:34 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 05:24:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 05:25:00 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 05:25:48 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 05:27:23 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 05:29:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-02 05:30:18 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 240 seconds) |
| 2022-09-02 05:31:43 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 05:35:41 +0200 | <albet70> | how to implement chunksOf with lambda? |
| 2022-09-02 05:45:42 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-09-02 05:46:31 +0200 | Vajb | (~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 +0200 | mixfix41 | (~seikoreg2@user/mixfix41) |
| 2022-09-02 05:56:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 06:05:41 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 06:09:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 06:09:58 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds) |
| 2022-09-02 06:10:33 +0200 | komikat[m] | (~komikatma@2001:470:69fc:105::1:c71e) |
| 2022-09-02 06:10:39 +0200 | nate4 | (~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 +0200 | rustisafungus | (~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 +0200 | slack1256 | (~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 +0200 | pavonia_ | (~user@user/siracusa) |
| 2022-09-02 06:20:02 +0200 | pavonia | (~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 +0200 | pavonia_ | pavonia |
| 2022-09-02 06:21:54 +0200 | <slack1256> | Wait, nevermind. |
| 2022-09-02 06:22:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-02 06:22:45 +0200 | Vajb | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 06:31:16 +0200 | slack1256 | (~slack1256@191.126.99.78) (Remote host closed the connection) |
| 2022-09-02 06:31:23 +0200 | kin | (~kin@5.164.0.203) |
| 2022-09-02 06:31:30 +0200 | enek | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 06:32:51 +0200 | scobydoo | whatsupboy |
| 2022-09-02 06:34:07 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-02 06:34:53 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 06:37:04 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 06:37:10 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 06:38:46 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-09-02 06:40:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 06:43:46 +0200 | c209e6dc-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 +0200 | defanor_ | defanor |
| 2022-09-02 06:47:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-02 06:52:58 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 06:53:45 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 06:54:50 +0200 | <pavonia> | m is a Monad? |
| 2022-09-02 06:55:27 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 06:55:39 +0200 | fernand | (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 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 06:58:31 +0200 | nilradical | (~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 +0200 | enek | (~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 +0200 | Guest__ | (~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 +0200 | fef | (~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 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 07:20:30 +0200 | kin | (~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 +0200 | zeenk | (~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 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 07:41:27 +0200 | nilradical | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-02 07:46:57 +0200 | rustisafungus | (~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 +0200 | takuan | (~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 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-02 07:48:56 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-09-02 07:49:08 +0200 | cheater | (~Username@user/cheater) |
| 2022-09-02 07:50:40 +0200 | c209e6dc-4d76-47 | (~aditya@c-73-103-92-95.hsd1.in.comcast.net) (Quit: Konversation terminated!) |
| 2022-09-02 07:50:57 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 244 seconds) |
| 2022-09-02 07:51:16 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 07:52:13 +0200 | fef | (~thedawn@user/thedawn) (Client Quit) |
| 2022-09-02 07:53:50 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-02 07:55:00 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 07:55:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 07:58:47 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-02 08:02:11 +0200 | caffery156 | (~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 +0200 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2022-09-02 08:08:05 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 08:12:32 +0200 | Guest__ | (~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 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-02 08:20:49 +0200 | libertyprime | (~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 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 08:27:38 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 08:30:16 +0200 | Guest5079 | (~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 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-02 08:36:44 +0200 | bitmapper | (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 +0200 | MoC | (~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 +0200 | Guest5079 | (~Guest50@50.47.108.232) (Quit: Client closed) |
| 2022-09-02 08:43:58 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
| 2022-09-02 08:47:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:95c3:2c3e:653d:83f0) |
| 2022-09-02 08:47:41 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-02 08:48:03 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-02 08:49:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 08:51:15 +0200 | rustisafungus | (~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 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-02 09:05:55 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2022-09-02 09:10:14 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-02 09:11:41 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 09:13:52 +0200 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
| 2022-09-02 09:15:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 09:16:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 09:16:14 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-02 09:19:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 09:19:51 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-02 09:21:49 +0200 | acidjnk | (~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de) |
| 2022-09-02 09:25:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-02 09:26:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 09:26:11 +0200 | Guest4212 | (~chenqisu1@183.217.201.192) (Quit: Leaving) |
| 2022-09-02 09:27:04 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 09:29:30 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-09-02 09:29:37 +0200 | kuribas | (~user@ptr-17d51emn3roko68gdk1.18120a2.ip6.access.telenet.be) |
| 2022-09-02 09:30:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-02 09:30:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 09:31:28 +0200 | waleee | (~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 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-02 09:44:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 10:00:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 10:01:52 +0200 | fserucas | (~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 +0200 | mixfix41 | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 10:05:24 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-09-02 10:10:51 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-02 10:12:05 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-02 10:14:03 +0200 | <[exa]> | what stack? |
| 2022-09-02 10:17:51 +0200 | alternateved | (~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 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a8c4:c646:2b11:d02f) |
| 2022-09-02 10:26:48 +0200 | eggplantade | (~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 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 10:29:30 +0200 | agander_m_ | agander_m |
| 2022-09-02 10:30:56 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-09-02 10:31:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-02 10:33:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 10:34:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 10:34:25 +0200 | raehik | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-02 10:38:58 +0200 | odnes | (~odnes@5-203-166-239.pat.nym.cosmote.net) |
| 2022-09-02 10:39:13 +0200 | califax | (~califax@user/califx) |
| 2022-09-02 10:40:41 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 10:43:12 +0200 | jimki | (~jmaki@gazorpazorp.fixme.fi) |
| 2022-09-02 10:45:39 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 10:47:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 10:53:40 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-09-02 10:55:01 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-02 10:55:35 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-09-02 11:04:21 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2022-09-02 11:04:45 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-09-02 11:12:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 11:19:27 +0200 | mikoto-chan | (~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi) |
| 2022-09-02 11:20:59 +0200 | tcard_ | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-09-02 11:26:34 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-09-02 11:26:49 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-02 11:34:41 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-02 11:36:44 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 244 seconds) |
| 2022-09-02 11:38:05 +0200 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-09-02 11:40:39 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-09-02 11:41:54 +0200 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 268 seconds) |
| 2022-09-02 11:41:54 +0200 | mikoto-chan | (~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2022-09-02 11:43:45 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-02 11:46:50 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-02 11:57:45 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Quit: Leaving) |
| 2022-09-02 11:59:54 +0200 | caffery156 | (~caffery@user/caffery156) (Quit: WeeChat 3.6) |
| 2022-09-02 12:04:47 +0200 | eggplantade | (~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 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2022-09-02 12:08:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-09-02 12:12:24 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 244 seconds) |
| 2022-09-02 12:17:39 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-02 12:21:11 +0200 | lisbeths | (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 +0200 | odnes | (~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 +0200 | coot | (~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 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 12:42:59 +0200 | vglfr | (~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 +0200 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-02 12:44:18 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 240 seconds) |
| 2022-09-02 12:45:58 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 12:46:18 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-02 12:55:22 +0200 | raym | (~raym@user/raym) |
| 2022-09-02 13:06:58 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-09-02 13:21:39 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-02 13:22:41 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 13:23:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-02 13:24:03 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-09-02 13:24:48 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f) |
| 2022-09-02 13:29:33 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-02 13:48:20 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-02 13:48:20 +0200 | jinsun | Guest2127 |
| 2022-09-02 13:48:20 +0200 | Guest2127 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-09-02 13:48:20 +0200 | jinsun__ | jinsun |
| 2022-09-02 13:51:44 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-09-02 13:53:07 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-09-02 13:54:38 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f) (Quit: WeeChat 3.5) |
| 2022-09-02 13:55:57 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-02 13:56:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 13:57:43 +0200 | sajith- | sajith |
| 2022-09-02 14:03:24 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-02 14:08:27 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6) |
| 2022-09-02 14:08:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 14:08:52 +0200 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-02 14:09:29 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 14:10:14 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 14:10:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 14:15:06 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 14:16:36 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) () |
| 2022-09-02 14:16:44 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-02 14:17:02 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) |
| 2022-09-02 14:18:00 +0200 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) (Client Quit) |
| 2022-09-02 14:18:52 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2022-09-02 14:19:18 +0200 | acidjnk | (~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 14:27:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 14:27:42 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-02 14:30:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 14:31:22 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 14:41:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 14:41:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 14:41:58 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-02 14:42:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 14:46:55 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 14:49:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 14:52:58 +0200 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2022-09-02 14:54:06 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 14:54:18 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-02 14:54:32 +0200 | Jonno_FT1 | (~come@api.carswap.me) (Quit: Reconnecting) |
| 2022-09-02 14:54:40 +0200 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-09-02 14:54:41 +0200 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-09-02 14:54:41 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-09-02 14:54:43 +0200 | nefercheprure | TMA |
| 2022-09-02 14:55:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e333:df19:b280:4b33) |
| 2022-09-02 14:55:21 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-02 14:58:53 +0200 | mniip | (mniip@libera/staff/mniip) (Remote host closed the connection) |
| 2022-09-02 15:00:23 +0200 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) |
| 2022-09-02 15:00:59 +0200 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Client Quit) |
| 2022-09-02 15:02:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 15:03:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 15:06:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-02 15:07:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 15:07:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-02 15:07:52 +0200 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) |
| 2022-09-02 15:08:49 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 15:09:06 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-02 15:09:36 +0200 | TonyStone | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 15:13:17 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 15:15:51 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-09-02 15:16:37 +0200 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-02 15:19:31 +0200 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-09-02 15:20:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 15:23:45 +0200 | kitty4 | (~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 +0200 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Quit: Client closed) |
| 2022-09-02 15:47:33 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-02 15:48:38 +0200 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-02 15:50:55 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-02 15:52:51 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-09-02 15:52:56 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-09-02 15:53:01 +0200 | cheater1__ | cheater |
| 2022-09-02 15:56:13 +0200 | shapr | (~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 +0200 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) (Quit: ) |
| 2022-09-02 16:01:27 +0200 | raym | (~raym@user/raym) |
| 2022-09-02 16:02:43 +0200 | kitty4 | (~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 +0200 | shapr | (~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 +0200 | lortabac | (~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 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-02 16:23:26 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-02 16:26:26 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-02 16:26:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-02 16:26:26 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-09-02 16:26:26 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
| 2022-09-02 16:26:42 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-02 16:26:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-02 16:26:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-02 16:26:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-02 16:29:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-02 16:29:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-02 16:29:38 +0200 | acidjnk | (~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 16:29:56 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 16:30:31 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-09-02 16:31:04 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 16:32:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 16:32:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 16:32:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:33:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 16:36:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 16:36:33 +0200 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-09-02 16:37:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:38:20 +0200 | <texasmynsted> | Thank you :-) |
| 2022-09-02 16:40:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 16:40:38 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-09-02 16:42:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:43:59 +0200 | Sgeo | (~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 +0200 | tromp | (~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 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 16:56:51 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-02 17:01:05 +0200 | glguy | (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 +0200 | Lord_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 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 17:07:20 +0200 | Master_Sporta | (~master@37.230.207.224) |
| 2022-09-02 17:07:25 +0200 | Master_Sporta | (~master@37.230.207.224) (Client Quit) |
| 2022-09-02 17:07:44 +0200 | Master_Sporta | (~master@37.230.207.224) |
| 2022-09-02 17:07:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2022-09-02 17:09:48 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-02 17:10:04 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-02 17:10:39 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-09-02 17:11:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 17:14:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 17:14:32 +0200 | kadir | (~kadir@78.190.9.68) |
| 2022-09-02 17:16:17 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 17:16:28 +0200 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 17:16:39 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-02 17:16:56 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 260 seconds) |
| 2022-09-02 17:16:58 +0200 | matthewmosior | (~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 +0200 | acidjnk | (~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 17:20:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 17:21:20 +0200 | matthewmosior | (~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 +0200 | Successus | (~Successus@user/Successus) |
| 2022-09-02 17:25:30 +0200 | motherfsck | (~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 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-02 17:33:38 +0200 | roboguy | (~roboguy@user/roboguy) |
| 2022-09-02 17:35:15 +0200 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2022-09-02 17:38:22 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-02 17:38:55 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-02 17:39:02 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 17:40:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 17:42:30 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1) |
| 2022-09-02 17:44:25 +0200 | Master_Sporta | (~master@37.230.207.224) () |
| 2022-09-02 17:46:19 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-09-02 17:47:51 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2022-09-02 17:48:19 +0200 | raym | (~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 +0200 | hpc | (~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 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-02 17:54:22 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-02 17:56:43 +0200 | janus | (janus@anubis.0x90.dk) () |
| 2022-09-02 17:56:43 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 17:58:39 +0200 | raym | (~raym@user/raym) |
| 2022-09-02 17:59:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-09-02 18:00:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 18:02:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:04:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 18:04:41 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 18:06:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 18:07:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:11:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 18:13:25 +0200 | glguy | (x@libera/staff-emeritus/glguy) |
| 2022-09-02 18:13:37 +0200 | neceve | (~quassel@2.26.93.14) |
| 2022-09-02 18:15:18 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 18:19:00 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 18:24:05 +0200 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-09-02 18:26:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:28:20 +0200 | alp | (~alp@user/alp) (*.net *.split) |
| 2022-09-02 18:28:20 +0200 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 2022-09-02 18:28:20 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2022-09-02 18:28:20 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2022-09-02 18:28:20 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | derelict | (~derelict@user/derelict) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | kronicmage | (user92236@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2022-09-02 18:28:21 +0200 | WaxCPU | (Andrew@user/AndrewYu) (*.net *.split) |
| 2022-09-02 18:28:31 +0200 | Logio | (em@kapsi.fi) |
| 2022-09-02 18:28:31 +0200 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) |
| 2022-09-02 18:28:35 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-09-02 18:28:35 +0200 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-09-02 18:28:37 +0200 | kronicmage | (user88019@neotame.csclub.uwaterloo.ca) |
| 2022-09-02 18:28:43 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2022-09-02 18:28:43 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2022-09-02 18:28:44 +0200 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-09-02 18:28:47 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2022-09-02 18:28:51 +0200 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2022-09-02 18:28:58 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-09-02 18:29:00 +0200 | Andrew | (Andrew@user/AndrewYu) |
| 2022-09-02 18:29:12 +0200 | amir | (sid22336@id-22336.hampstead.irccloud.com) |
| 2022-09-02 18:29:13 +0200 | amir | (sid22336@id-22336.hampstead.irccloud.com) (Changing host) |
| 2022-09-02 18:29:13 +0200 | amir | (sid22336@user/amir) |
| 2022-09-02 18:29:28 +0200 | Trattue | (~Trattue@152.70.182.158) |
| 2022-09-02 18:30:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 18:31:06 +0200 | derelict | (~derelict@user/derelict) |
| 2022-09-02 18:31:17 +0200 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 18:31:40 +0200 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-09-02 18:33:36 +0200 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2022-09-02 18:36:39 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-02 18:38:03 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving) |
| 2022-09-02 18:38:19 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 18:39:24 +0200 | causal | (~user@50.35.83.177) |
| 2022-09-02 18:41:35 +0200 | Guest___ | (~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 +0200 | Guest___ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-09-02 18:43:26 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 18:43:46 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 18:44:03 +0200 | eggplantade | (~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 +0200 | mbuf | (~Shakthi@49.204.128.234) (Quit: Leaving) |
| 2022-09-02 18:45:08 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving) |
| 2022-09-02 18:45:28 +0200 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 18:48:40 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 18:50:43 +0200 | toeffel | (~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 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-09-02 18:59:16 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 19:00:16 +0200 | matthewmosior | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 19:13:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-02 19:15:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-02 19:15:33 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) |
| 2022-09-02 19:19:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 19:21:20 +0200 | fserucas | (~fserucas@83.223.240.58) (Quit: Leaving) |
| 2022-09-02 19:21:38 +0200 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-09-02 19:23:02 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-02 19:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 19:24:14 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 19:24:39 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 19:25:03 +0200 | owsley | Guest6294 |
| 2022-09-02 19:28:53 +0200 | Guest6294 | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-09-02 19:30:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 19:30:40 +0200 | razetime | (~quassel@117.193.3.141) (Remote host closed the connection) |
| 2022-09-02 19:31:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 19:32:45 +0200 | <texasmynsted> | nice |
| 2022-09-02 19:33:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 19:34:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 19:34:11 +0200 | mikoto-chan | (~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi) |
| 2022-09-02 19:35:47 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2022-09-02 19:36:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-02 19:37:23 +0200 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-02 19:38:43 +0200 | AlexNoo_ | AlexNoo |
| 2022-09-02 19:42:56 +0200 | econo | (uid147250@user/econo) |
| 2022-09-02 19:43:33 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2022-09-02 19:45:26 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-02 19:45:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-02 19:47:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-02 19:48:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-09-02 19:48:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 19:49:25 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-02 19:49:38 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2022-09-02 19:50:57 +0200 | mikoto-chan | (~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi) (Ping timeout: 268 seconds) |
| 2022-09-02 19:51:06 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 19:51:32 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 19:56:25 +0200 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-02 20:00:12 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2022-09-02 20:00:25 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-09-02 20:01:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 20:06:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 20:09:19 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Quit: loggin off) |
| 2022-09-02 20:11:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:12:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 20:20:01 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-02 20:21:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:22:42 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-02 20:22:49 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 20:23:06 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.149) |
| 2022-09-02 20:23:31 +0200 | biberu\ | (~biberu@user/biberu) |
| 2022-09-02 20:23:49 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-02 20:24:44 +0200 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 20:25:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 20:26:39 +0200 | AlexNoo | (~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 20:26:41 +0200 | Alex_test | (~al_test@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 20:27:01 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 20:27:18 +0200 | AlexZenon | (~alzenon@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 20:27:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 20:27:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:27:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 20:27:53 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2022-09-02 20:27:53 +0200 | biberu\ | biberu |
| 2022-09-02 20:29:11 +0200 | Guest2 | (~Guest2@207.102.57.162) |
| 2022-09-02 20:30:39 +0200 | Alex_test | (~al_test@178.34.163.149) |
| 2022-09-02 20:31:18 +0200 | dysfigured | dfg |
| 2022-09-02 20:31:25 +0200 | dfg | (dfg@dfg.rocks) (Changing host) |
| 2022-09-02 20:31:25 +0200 | dfg | (dfg@user/dfg) |
| 2022-09-02 20:31:50 +0200 | AlexZenon | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 20:32:04 +0200 | tromp | (~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 +0200 | AlexNoo_ | 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 +0200 | sjanssen | (~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 +0200 | Guest2 | (~Guest2@207.102.57.162) () |
| 2022-09-02 20:38:29 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 20:39:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:39:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-02 20:41:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-02 20:41:47 +0200 | tromp | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 20:48:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9) |
| 2022-09-02 20:51:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 20:51:39 +0200 | mncheck | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 21:01:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 21:02:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 21:02:48 +0200 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 21:02:55 +0200 | owsley | Guest7666 |
| 2022-09-02 21:05:12 +0200 | shapr | (~user@68.54.166.125) (Remote host closed the connection) |
| 2022-09-02 21:06:35 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 21:11:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 21:14:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 21:15:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-02 21:16:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 21:17:30 +0200 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 21:19:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 21:20:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 21:21:00 +0200 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) |
| 2022-09-02 21:24:32 +0200 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 21:29:53 +0200 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 244 seconds) |
| 2022-09-02 21:30:07 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 21:31:19 +0200 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-02 21:32:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 21:32:53 +0200 | matthewmosior | (~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 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9) (Ping timeout: 264 seconds) |
| 2022-09-02 21:38:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 21:39:23 +0200 | zeenk | (~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 +0200 | matthewmosior | (~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 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 21:55:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-02 21:55:57 +0200 | Guest7666 | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 21:56:41 +0200 | jakalx | (~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 +0200 | owslye | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 22:04:50 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2022-09-02 22:05:44 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 22:06:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 22:10:47 +0200 | OscarZ | (~oscarz@95.175.104.83) |
| 2022-09-02 22:14:25 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-09-02 22:16:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 22:18:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 22:20:23 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-09-02 22:24:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 22:24:31 +0200 | rustisafungus | (~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 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-02 22:29:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 22:30:20 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 22:32:35 +0200 | owslye | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-09-02 22:35:29 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-02 22:38:44 +0200 | kydliceh | (~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 +0200 | phma | (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (Read error: Connection reset by peer) |
| 2022-09-02 22:42:06 +0200 | TonyStone | (~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 +0200 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) |
| 2022-09-02 22:45:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 22:47:18 +0200 | jargon | (~jargon@184.101.185.66) |
| 2022-09-02 22:47:24 +0200 | phma | (~phma@2001:5b0:212a:c678:14e3:c738:ac7d:1d76) |
| 2022-09-02 22:49:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-02 22:50:11 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 22:53:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 22:55:31 +0200 | neceve | (~quassel@2.26.93.14) (Ping timeout: 248 seconds) |
| 2022-09-02 22:57:30 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-64d5-91de-6fa5-ec29.res6.spectrum.com) |
| 2022-09-02 22:58:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 22:59:30 +0200 | Guest5078 | (~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 +0200 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds) |
| 2022-09-02 23:10:42 +0200 | roboguy | (~roboguy@user/roboguy) () |
| 2022-09-02 23:10:43 +0200 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) (Ping timeout: 252 seconds) |
| 2022-09-02 23:10:47 +0200 | kydliceh_ | (~kydliceh@94-255-175-55.cust.bredband2.com) |
| 2022-09-02 23:11:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 23:11:33 +0200 | matthewmosior | (~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 +0200 | kadir | (~kadir@78.190.9.68) (WeeChat 3.6) |
| 2022-09-02 23:24:24 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-09-02 23:24:52 +0200 | kydliceh_ | (~kydliceh@94-255-175-55.cust.bredband2.com) (Ping timeout: 268 seconds) |
| 2022-09-02 23:25:06 +0200 | kydliceh_ | (~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 +0200 | matthewmosior | (~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 +0200 | rustisafungus | (~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 +0200 | takuan | (~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 +0200 | califax | (~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 +0200 | MoC | (~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 +0200 | merijn | (~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 +0200 | califax | (~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 +0200 | bbear | (~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 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-02 23:53:52 +0200 | kydliceh_ | (~kydliceh@94-255-154-14.cust.bredband2.com) (Quit: Konversation terminated!) |
| 2022-09-02 23:55:23 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Changing host) |
| 2022-09-02 23:55:23 +0200 | jludwig | (~justin@user/jludwig) |
| 2022-09-02 23:57:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |