2023/08/20

2023-08-20 00:02:00 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 00:03:58 +0200ursa-major(~ursa-majo@37.19.210.36)
2023-08-20 00:05:24 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds)
2023-08-20 00:06:53 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 00:08:57 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-20 00:11:43 +0200titibandit(~titibandi@user/titibandit)
2023-08-20 00:13:00 +0200acidjnk(~acidjnk@p200300d6e7072f50fc6d50d58f49c7f1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-08-20 00:14:19 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net)
2023-08-20 00:23:23 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-20 00:23:50 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it)
2023-08-20 00:24:01 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 00:25:13 +0200son0p(~ff@191.104.6.44)
2023-08-20 00:26:20 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 248 seconds)
2023-08-20 00:27:18 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 00:31:47 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds)
2023-08-20 00:35:39 +0200szkl(uid110435@2a03:5180:f:5::1:af63)
2023-08-20 00:44:22 +0200caryhartline(~caryhartl@168.182.58.169)
2023-08-20 00:46:54 +0200gleostocha(~runic@2600:1700:3bdd:9810::3b)
2023-08-20 00:48:13 +0200ulysses4ever(~artem@73.145.240.47)
2023-08-20 00:52:05 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-08-20 00:52:34 +0200ulysses4ever(~artem@73.145.240.47) (Ping timeout: 252 seconds)
2023-08-20 00:53:00 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2023-08-20 00:53:05 +0200img(~img@user/img)
2023-08-20 00:53:08 +0200ulysses4ever(~artem@2601:408:c405:1b6f:f474:e3f8:9806:671)
2023-08-20 00:54:05 +0200gleostocha(~runic@2600:1700:3bdd:9810::3b) (Remote host closed the connection)
2023-08-20 00:58:06 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-20 00:59:48 +0200ulysses4ever(~artem@2601:408:c405:1b6f:f474:e3f8:9806:671) (Ping timeout: 256 seconds)
2023-08-20 00:59:52 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds)
2023-08-20 01:00:35 +0200falafel(~falafel@216.68.6.51.dyn.plus.net)
2023-08-20 01:02:14 +0200mikoto-chan(~mikoto-ch@85-76-165-132-nat.elisa-mobile.fi)
2023-08-20 01:03:47 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-20 01:04:21 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 01:05:54 +0200hippoid(~hippoid@user/hippoid) (Quit: WeeChat 4.0.1)
2023-08-20 01:08:39 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-20 01:13:25 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 01:14:54 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-20 01:15:58 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-08-20 01:17:50 +0200tabemann(~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net)
2023-08-20 01:19:49 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-08-20 01:22:28 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2023-08-20 01:29:37 +0200tabemann_(~tabemann@74-42-162-213.dsl2.nrwc.ny.frontiernet.net)
2023-08-20 01:31:05 +0200shapr(~user@2600:1700:c640:3100:32f1:35fd:5274:796e) (Remote host closed the connection)
2023-08-20 01:31:07 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net)
2023-08-20 01:31:18 +0200shapr(~user@2600:1700:c640:3100:753c:594:e430:473e)
2023-08-20 01:31:32 +0200tabemann(~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net) (Ping timeout: 256 seconds)
2023-08-20 01:32:22 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 01:36:31 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-20 01:41:37 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-20 01:41:38 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-20 01:41:52 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-08-20 01:42:28 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2023-08-20 01:43:11 +0200Lord_of_Life_Lord_of_Life
2023-08-20 01:44:29 +0200artem(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-20 01:44:32 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-20 01:48:29 +0200Tuplanolla(~Tuplanoll@91.159.68.236) (Quit: Leaving.)
2023-08-20 01:50:32 +0200artem(~artem@73.145.240.182)
2023-08-20 01:52:11 +0200emma-underscores(~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2023-08-20 01:52:53 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds)
2023-08-20 01:53:12 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-20 01:54:20 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 01:54:52 +0200artem(~artem@73.145.240.182) (Ping timeout: 248 seconds)
2023-08-20 01:55:30 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-20 01:55:41 +0200ulysses4ever(~artem@172.58.147.22)
2023-08-20 01:58:14 +0200artem(~artem@73.145.240.182)
2023-08-20 01:58:26 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds)
2023-08-20 01:59:04 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-08-20 02:00:10 +0200notzmv(~zmv@user/notzmv)
2023-08-20 02:02:08 +0200ulysses4ever(~artem@172.58.147.22) (Ping timeout: 256 seconds)
2023-08-20 02:04:03 +0200arahael(~arahael@1.145.87.227)
2023-08-20 02:05:42 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds)
2023-08-20 02:07:49 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-20 02:08:02 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds)
2023-08-20 02:08:55 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671)
2023-08-20 02:11:00 +0200artem(~artem@73.145.240.182) (Ping timeout: 250 seconds)
2023-08-20 02:15:05 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 02:17:46 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 02:19:10 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671)
2023-08-20 02:21:32 +0200ulysses4ever(~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds)
2023-08-20 02:22:06 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-20 02:28:52 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-20 02:30:04 +0200ouroboros(~ouroboros@user/ouroboros) (Ping timeout: 250 seconds)
2023-08-20 02:30:12 +0200acro(~acro@user/acro) (Ping timeout: 246 seconds)
2023-08-20 02:34:16 +0200ouroboros(~ouroboros@user/ouroboros)
2023-08-20 02:36:30 +0200acro(~acro@user/acro)
2023-08-20 02:37:35 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-08-20 02:37:52 +0200doyougnu(~doyougnu@45.46.170.68)
2023-08-20 02:41:55 +0200szkl(uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity)
2023-08-20 02:46:39 +0200ulysses4ever(~artem@73.145.241.182)
2023-08-20 02:48:20 +0200caryhartline(~caryhartl@168.182.58.169)
2023-08-20 02:48:25 +0200 <arahael> The HLS for cabal scripts works pretty badly. :(
2023-08-20 02:48:44 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 248 seconds)
2023-08-20 02:49:10 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-20 02:50:16 +0200shapr(~user@2600:1700:c640:3100:753c:594:e430:473e) (Remote host closed the connection)
2023-08-20 02:50:51 +0200shapr(~user@2600:1700:c640:3100:28bc:7f2a:b582:a6c)
2023-08-20 02:51:03 +0200lottaquestions(~nick@2607:fa49:503d:b200:ef5b:a0d5:dc54:1113) (Quit: Konversation terminated!)
2023-08-20 02:53:15 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-20 02:53:54 +0200 <arahael> Hmm, and running a single file script (using cabal, not stack), hangs at: Linking /var/folders/wm/zwl_q6c537l7rsh9c6tm4m0m0000gn/T/cabal-repl.-40374/dist-newstyle/build/aarch64-osx/ghc-9.2.8/fake-package-0/x/script/build/script/script ...
2023-08-20 02:53:58 +0200 <arahael> Not sure how to fix that.
2023-08-20 02:55:34 +0200phma(phma@2001:5b0:210d:fa8:9f82:cebd:52a4:eb8d) (Read error: Connection reset by peer)
2023-08-20 03:03:52 +0200arahael(~arahael@1.145.87.227) (Ping timeout: 250 seconds)
2023-08-20 03:04:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-20 03:05:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2023-08-20 03:10:33 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-08-20 03:10:36 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-20 03:16:42 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-08-20 03:19:08 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 248 seconds)
2023-08-20 03:23:16 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-08-20 03:25:12 +0200razetime(~quassel@117.254.36.38)
2023-08-20 03:26:14 +0200razetime(~quassel@117.254.36.38) (Client Quit)
2023-08-20 03:30:15 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 03:33:12 +0200falafel(~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds)
2023-08-20 03:34:36 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-20 03:35:16 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds)
2023-08-20 03:49:12 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671)
2023-08-20 03:51:51 +0200ulysses4ever(~artem@73.145.241.182) (Ping timeout: 260 seconds)
2023-08-20 03:58:50 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 04:00:44 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-20 04:06:09 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 04:06:10 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-08-20 04:06:18 +0200machinedgod(~machinedg@198.53.218.113)
2023-08-20 04:07:01 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 04:07:27 +0200vulpine(xfnw@tilde.team) (Quit: Connection reset by purr)
2023-08-20 04:08:43 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-20 04:11:21 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds)
2023-08-20 04:12:58 +0200td_(~td@i5387090E.versanet.de) (Ping timeout: 246 seconds)
2023-08-20 04:13:27 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-08-20 04:14:51 +0200td_(~td@i53870934.versanet.de)
2023-08-20 04:15:23 +0200phma(~phma@host-67-44-208-38.hnremote.net)
2023-08-20 04:16:33 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-08-20 04:17:50 +0200gastus_(~gastus@185.6.123.193)
2023-08-20 04:18:48 +0200vulpine(xfnw@tilde.team)
2023-08-20 04:20:40 +0200gastus(~gastus@185.6.123.210) (Ping timeout: 246 seconds)
2023-08-20 04:26:01 +0200AlexNoo_(~AlexNoo@178.34.150.48)
2023-08-20 04:28:42 +0200Alex_test(~al_test@178.34.161.177) (Ping timeout: 245 seconds)
2023-08-20 04:29:12 +0200AlexZenon(~alzenon@178.34.161.177) (Ping timeout: 246 seconds)
2023-08-20 04:29:32 +0200AlexNoo(~AlexNoo@178.34.161.177) (Ping timeout: 245 seconds)
2023-08-20 04:30:36 +0200ft(~ft@80.141.190.80) (Ping timeout: 248 seconds)
2023-08-20 04:32:22 +0200ft(~ft@p4fc2ad78.dip0.t-ipconnect.de)
2023-08-20 04:33:46 +0200AlexZenon(~alzenon@178.34.150.48)
2023-08-20 04:34:32 +0200Alex_test(~al_test@178.34.150.48)
2023-08-20 04:36:14 +0200shriekingnoise(~shrieking@186.137.175.87) (Quit: Quit)
2023-08-20 04:40:03 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-20 04:40:54 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-08-20 04:43:45 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 04:46:20 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-08-20 04:47:36 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-20 04:47:52 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds)
2023-08-20 04:48:36 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-08-20 04:49:06 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 04:49:06 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 04:49:06 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 04:51:22 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 04:51:22 +0200artem(~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer)
2023-08-20 04:52:10 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-08-20 04:52:10 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-08-20 04:52:10 +0200finn_elijaFinnElija
2023-08-20 04:59:15 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 245 seconds)
2023-08-20 05:05:57 +0200aforemny(~aforemny@i59F516C9.versanet.de)
2023-08-20 05:06:18 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-20 05:06:21 +0200aforemny_(~aforemny@89.245.22.230) (Ping timeout: 248 seconds)
2023-08-20 05:08:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 05:08:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 05:08:27 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 05:09:20 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce)
2023-08-20 05:09:30 +0200 <Inst> Erm, can I ask a question about the runtime and how IO actually works?
2023-08-20 05:09:52 +0200 <Inst> Does GHC compile main to be self-sufficient, or does main end up being bytecode to be interpreted by the runtime system?
2023-08-20 05:10:36 +0200 <Inst> basically, how does main hook into the runtime, how do uses of unsafePerformIO hook into the runtime?
2023-08-20 05:10:44 +0200BigKozlowski(~BigKozlow@84.21.165.226)
2023-08-20 05:12:32 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-08-20 05:13:35 +0200 <probie> Inst: There is no bytecode to be interpreted by the runtime. `unsafePerformIO` conjures a `State# RealWorld` out of thin air, but as far as compiled code is concerned it is not magical (in fact, how unmagical it is, is a source of many issues when using it)
2023-08-20 05:14:26 +0200 <monochrom> I would go beyond "unmagic". It doesn't even exist in asm code.
2023-08-20 05:14:37 +0200 <probie> `IO a` is a function from `State# RealWorld -> (# State# RealWorld, a #)` and `State# RealWorld` has a 0 byte representation
2023-08-20 05:14:59 +0200BigKozlowski(~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds)
2023-08-20 05:16:37 +0200myme(~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) (Ping timeout: 245 seconds)
2023-08-20 05:16:54 +0200 <EvanR> RealWorld is deeply unmagical
2023-08-20 05:17:14 +0200 <monochrom> Also, unsafePerformIO discards the phantom state, not conjure it.
2023-08-20 05:17:37 +0200myme(~myme@2a01:799:d60:e400:8c94:2d5b:43cf:54e)
2023-08-20 05:17:44 +0200 <monochrom> err nevermind, it conjures one.
2023-08-20 05:18:06 +0200 <probie> monochrom: it conjures one to be immediately discareded
2023-08-20 05:18:13 +0200 <probie> s/discareded/discarded/
2023-08-20 05:18:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-08-20 05:26:49 +0200 <Inst> so, in general, it occurs at the level of the compiler, with some side effects being calls to the runtime system?
2023-08-20 05:26:54 +0200 <Inst> i.e, let's say I putStrLn
2023-08-20 05:27:23 +0200 <Inst> I forget what it is, but it's a function of type (State# RealWorld -> (# RealWorld, ()#) or is it vice versa
2023-08-20 05:28:00 +0200 <Inst> i know putStrLn is sort of complicated, but in say, main = putStrLn "Hello, Haskell!"
2023-08-20 05:28:07 +0200 <EvanR> :t putStrLn
2023-08-20 05:28:08 +0200 <lambdabot> String -> IO ()
2023-08-20 05:28:19 +0200 <Inst> welp, so I'm technically wrong, but you get what I'm asking, right?
2023-08-20 05:28:35 +0200 <EvanR> String -> State# RealWorld -> (# State# RealWorld, () #)
2023-08-20 05:28:42 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-08-20 05:29:06 +0200bilegeek(~bilegeek@2600:1008:b059:ae41:2aa3:6bea:2610:ccf9)
2023-08-20 05:30:14 +0200 <Inst> the actual interaction level with the console, I guess, that's to do with the runtime?
2023-08-20 05:30:50 +0200 <EvanR> yeah to see where I'd drill as far as you can go into the (haskell) code of putStrLn
2023-08-20 05:31:12 +0200 <EvanR> console stuff is pretty involved, so maybe not a great place to start
2023-08-20 05:31:49 +0200 <Inst> so at Cmm level, it's just a normal C function, with some calls to the GHC runtime
2023-08-20 05:32:28 +0200machinedgod(~machinedg@198.53.218.113) (Ping timeout: 248 seconds)
2023-08-20 05:33:11 +0200 <Inst> so, main = putStrLn "What is your name? >> getLine >>= \u -> for_ putStr ["Hello, ", u, ".\n"]
2023-08-20 05:33:21 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-20 05:34:05 +0200 <Inst> that actually has a pretty straightforward hypothetical translation to Cmm, tbh
2023-08-20 05:34:45 +0200 <EvanR> putStrLn isn't even close to a primitive so it's just a bad example
2023-08-20 05:34:52 +0200 <Inst> thanks for your time, and sorry about it, I guess trying to understand the Cmm translation and how the semantics of IO >> translation should work under laziness
2023-08-20 05:35:05 +0200 <Inst> is a bit annoying
2023-08-20 05:35:12 +0200 <EvanR> I like to pretend I understand how FFI works
2023-08-20 05:35:25 +0200 <EvanR> and alot of support code ends up calling to the ffi
2023-08-20 05:36:02 +0200 <EvanR> but that's opens up a lot more questions, and yeah you're asking specifically about the runtime
2023-08-20 05:36:40 +0200 <Inst> ummm, let's say
2023-08-20 05:36:53 +0200 <Inst> putStrLn "Hello" >> undefined >> putStrLn "Goodbye"
2023-08-20 05:37:03 +0200 <Inst> in the result code, all the putStrLns exist, right?
2023-08-20 05:37:29 +0200 <Inst> as does a call to the RTS to trigger the undefined exception
2023-08-20 05:38:41 +0200 <EvanR> in the compiled code, no I don't know if putStrLns would exist. Their haskell code could have been inlined transformed optimized etc
2023-08-20 05:39:13 +0200 <EvanR> you could try looking at core to get an idea of what RTS primitives to ask about
2023-08-20 05:39:14 +0200 <ski> (.. i wonder whether it would simplify `error foo blah' and `case error foo of ...' (with refutable matching, forcing) to `error foo' .. if so, the second `putStrLn' might disappear)
2023-08-20 05:44:31 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-08-20 05:45:22 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-20 05:49:28 +0200 <Inst> I guess it goes into me not understanding laziness, i.e, via the Hudak "everything is a function" explanation, everything can be understood as a pointer to a value that only gets instantiated when evaluated
2023-08-20 05:50:01 +0200 <Inst> i.e, let's say I have a conditional split IO code into two forks
2023-08-20 05:50:14 +0200 <Inst> does the IO code actually exist before it's evaluated, or does it always exist in the binary?
2023-08-20 05:52:11 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce) (Remote host closed the connection)
2023-08-20 05:52:49 +0200Inst(~liamzy@2601:6c4:4085:6d50::4a7d)
2023-08-20 05:53:50 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 05:54:56 +0200 <EvanR> if you write a top level x = 1:2:3:x
2023-08-20 05:54:57 +0200 <ski> not sure what you mean exactly
2023-08-20 05:55:18 +0200 <EvanR> it's not a function, more like a structure with a pointer to code that can compute more structure if needed
2023-08-20 05:58:07 +0200 <EvanR> don't confuse lazy evaluation of non-IO stuff with how IO gets executed by the RTS. When you run main, you are playing a different ball game. The first IO action is what drives the evaluation, so it can execute something and move on
2023-08-20 05:58:21 +0200 <EvanR> the IO itself isn't (normally) lazy
2023-08-20 05:58:29 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 05:58:42 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-08-20 05:59:15 +0200 <EvanR> IO gets interleaved with the lazy evaluation
2023-08-20 05:59:33 +0200 <Inst> I get the feeling that IO was some kind of weird exception
2023-08-20 05:59:40 +0200 <ski> with `foo >>= \x -> if plob x then bar else baz', the code for `bar' and `baz' would exist somewhere, and after executing `foo x', `prob x' would be forced, to (at least conceptually) yield `foo' or `bar' as result to continue execution. but i imagine that this would (in this concrete, non-indirected, example) probably be simiplified to expressing a conditional in the Cmm, whose branches execute `foo' or
2023-08-20 05:59:46 +0200 <ski> `bar' directly, rather than constructing a `IO' action thunk, then making it forced
2023-08-20 05:59:48 +0200 <Inst> and I actually think about ReaderT apparently being costless for the same reason
2023-08-20 06:00:24 +0200 <Inst> like, a monad transformer over IO, does the entire monad transformer line get converted first before the IO parsing begins, or can it be done line by line?
2023-08-20 06:03:56 +0200arahael(~arahael@1.145.81.2)
2023-08-20 06:08:57 +0200Buggys(Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds)
2023-08-20 06:10:56 +0200 <ski> converted, how ?
2023-08-20 06:15:55 +0200Buggys(Buggys@Buggy.shelltalk.net)
2023-08-20 06:16:20 +0200shapr(~user@2600:1700:c640:3100:28bc:7f2a:b582:a6c) (Remote host closed the connection)
2023-08-20 06:16:33 +0200shapr(~user@2600:1700:c640:3100:7513:7153:4750:76c1)
2023-08-20 06:20:59 +0200arahael(~arahael@1.145.81.2) (Read error: Connection reset by peer)
2023-08-20 06:34:02 +0200ski(~ski@ext-1-303.eduroam.chalmers.se) (Ping timeout: 250 seconds)
2023-08-20 06:35:56 +0200libertyprime(~libertypr@203.96.203.44)
2023-08-20 06:38:44 +0200arahael(~arahael@1.145.93.51)
2023-08-20 06:44:54 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds)
2023-08-20 06:57:26 +0200jmd_(~jmdaemon@user/jmdaemon)
2023-08-20 06:57:31 +0200arahael(~arahael@1.145.93.51) (Read error: Connection reset by peer)
2023-08-20 06:58:03 +0200libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-08-20 06:59:46 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-08-20 07:04:43 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 07:15:40 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 07:17:47 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-08-20 07:21:20 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 07:22:07 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 07:25:45 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit)
2023-08-20 07:26:19 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 07:28:45 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 07:37:13 +0200BigKozlowski(~BigKozlow@84.21.165.150)
2023-08-20 07:38:35 +0200bilegeek(~bilegeek@2600:1008:b059:ae41:2aa3:6bea:2610:ccf9) (Quit: Leaving)
2023-08-20 07:42:22 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 07:46:49 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-20 07:53:10 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-08-20 07:53:11 +0200Inst(~liamzy@2601:6c4:4085:6d50::4a7d) (Remote host closed the connection)
2023-08-20 07:53:21 +0200ss4(~wootehfoo@user/wootehfoot)
2023-08-20 07:53:31 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce)
2023-08-20 07:55:48 +0200jargon(~jargon@174-22-213-62.phnx.qwest.net) (Remote host closed the connection)
2023-08-20 08:01:10 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-20 08:02:28 +0200ss4(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-08-20 08:05:57 +0200jonathan_(~jonathan@193.203.13.25)
2023-08-20 08:08:35 +0200acidjnk(~acidjnk@p200300d6e7072f96b9b41a1c591e9c90.dip0.t-ipconnect.de)
2023-08-20 08:16:33 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-20 08:20:59 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-08-20 08:22:28 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-20 08:22:51 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds)
2023-08-20 08:24:36 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2023-08-20 08:26:24 +0200BigKozlowski(~BigKozlow@84.21.165.150) (Remote host closed the connection)
2023-08-20 08:29:36 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 08:29:36 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 08:29:36 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 08:35:10 +0200migas(~migas@62.138.8.62) (Remote host closed the connection)
2023-08-20 08:35:27 +0200migas(~migas@astra4961.startdedicated.net)
2023-08-20 08:36:31 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving)
2023-08-20 08:41:21 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 08:41:34 +0200merijn(~merijn@83.128.129.88)
2023-08-20 08:42:07 +0200misterfish(~misterfis@178.226.72.131)
2023-08-20 08:46:04 +0200merijn(~merijn@83.128.129.88) (Ping timeout: 248 seconds)
2023-08-20 08:50:53 +0200NewtonTrendy(uid282092@user/bopqod) (Quit: Connection closed for inactivity)
2023-08-20 08:54:59 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it)
2023-08-20 08:55:44 +0200BigKozlowski(~BigKozlow@194.5.60.24)
2023-08-20 08:57:51 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce) (Ping timeout: 246 seconds)
2023-08-20 09:00:40 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 09:05:55 +0200BigKozlowski(~BigKozlow@194.5.60.24) (Ping timeout: 246 seconds)
2023-08-20 09:09:09 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 09:12:37 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375)
2023-08-20 09:13:14 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-20 09:13:57 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-20 09:17:49 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 09:18:18 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3)
2023-08-20 09:25:25 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 09:29:22 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-20 09:35:57 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-20 09:36:11 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 09:36:17 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-08-20 09:37:54 +0200mikoto-chan(~mikoto-ch@85-76-165-132-nat.elisa-mobile.fi) (Ping timeout: 246 seconds)
2023-08-20 09:40:01 +0200_ht(~Thunderbi@82.174.52.28)
2023-08-20 09:40:47 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-20 09:44:21 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 09:46:32 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 09:46:33 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 09:46:33 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 09:46:57 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 09:51:28 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Remote host closed the connection)
2023-08-20 09:53:25 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 09:55:20 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 09:59:36 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-08-20 09:59:50 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds)
2023-08-20 10:03:27 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 10:03:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-20 10:09:11 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 10:10:20 +0200titibandit(~titibandi@user/titibandit)
2023-08-20 10:11:04 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-08-20 10:13:21 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-08-20 10:13:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-08-20 10:15:50 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 10:16:50 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2023-08-20 10:19:02 +0200shapr(~user@2600:1700:c640:3100:7513:7153:4750:76c1) (Remote host closed the connection)
2023-08-20 10:19:15 +0200shapr(~user@2600:1700:c640:3100:4a10:9cc3:c2a8:452b)
2023-08-20 10:20:05 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 10:24:37 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 10:29:52 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds)
2023-08-20 10:31:35 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-08-20 10:32:06 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-20 10:33:30 +0200dibblego(~dibblego@116.255.1.151)
2023-08-20 10:33:31 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-08-20 10:33:31 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 10:37:32 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-08-20 10:41:42 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 10:45:55 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 10:47:00 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-08-20 10:47:37 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-08-20 10:49:42 +0200jonathan_(~jonathan@193.203.13.25) (Ping timeout: 256 seconds)
2023-08-20 10:52:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488)
2023-08-20 10:53:00 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds)
2023-08-20 10:54:37 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 10:54:37 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 10:54:37 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 10:56:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488) (Ping timeout: 246 seconds)
2023-08-20 11:02:51 +0200gmg(~user@user/gehmehgeh)
2023-08-20 11:13:06 +0200ursa-major(~ursa-majo@37.19.210.36) (Ping timeout: 250 seconds)
2023-08-20 11:15:06 +0200ursa-major(~ursa-majo@static-198-44-128-151.cust.tzulo.com)
2023-08-20 11:15:19 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection)
2023-08-20 11:15:36 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce)
2023-08-20 11:16:25 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se)
2023-08-20 11:16:25 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host)
2023-08-20 11:16:25 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2023-08-20 11:22:12 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds)
2023-08-20 11:27:02 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
2023-08-20 11:33:11 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 11:37:01 +0200shriekingnoise_(~shrieking@186.137.175.87)
2023-08-20 11:37:20 +0200hugo(znc@130.236.254.23)
2023-08-20 11:38:26 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
2023-08-20 11:45:48 +0200shriekingnoise_(~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
2023-08-20 11:56:43 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 11:57:45 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-08-20 12:01:16 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2023-08-20 12:02:26 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-08-20 12:04:31 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-20 12:04:45 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-20 12:04:46 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-08-20 12:05:48 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-08-20 12:06:40 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 12:06:40 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 12:06:40 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 12:08:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Client Quit)
2023-08-20 12:08:48 +0200[_][itchyjunk]
2023-08-20 12:11:04 +0200misterfish(~misterfis@178.226.72.131) (Ping timeout: 246 seconds)
2023-08-20 12:12:33 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-08-20 12:14:29 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 12:17:40 +0200tv(~tv@user/tv)
2023-08-20 12:18:46 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-08-20 12:20:50 +0200Pickchea(~private@user/pickchea)
2023-08-20 12:21:03 +0200libertyprime(~libertypr@203.96.203.44)
2023-08-20 12:22:47 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-08-20 12:22:47 +0200Feuermagier(~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services)))
2023-08-20 12:22:47 +0200Feuermagier_Feuermagier
2023-08-20 12:24:49 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-08-20 12:29:14 +0200libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-08-20 12:41:59 +0200tromp(~textual@92.110.219.57)
2023-08-20 12:49:04 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 12:53:25 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 12:53:35 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 12:53:44 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection)
2023-08-20 12:58:20 +0200acidjnk(~acidjnk@p200300d6e7072f96b9b41a1c591e9c90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-08-20 13:01:24 +0200mrmr1(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2023-08-20 13:01:42 +0200acidjnk(~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de)
2023-08-20 13:02:55 +0200codaraxis__(~codaraxis@user/codaraxis)
2023-08-20 13:05:51 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
2023-08-20 13:07:44 +0200mrmr1(~mrmr@user/mrmr)
2023-08-20 13:15:01 +0200tromp(~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-20 13:15:19 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce) (Remote host closed the connection)
2023-08-20 13:15:24 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds)
2023-08-20 13:15:37 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375)
2023-08-20 13:15:46 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it)
2023-08-20 13:18:32 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-08-20 13:21:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-20 13:24:40 +0200acidjnk(~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-08-20 13:32:32 +0200mima(~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 244 seconds)
2023-08-20 13:34:01 +0200logothesia(~logothesi@user/logothesia)
2023-08-20 13:39:29 +0200mima(~mmh@net-93-148-97-78.cust.vodafonedsl.it)
2023-08-20 13:39:54 +0200 <logothesia> hi folks. I've been trying to build accelerate-examples but it fails with a mysterious c2hs error: https://paste.tomsmeding.com/fSxk209z
2023-08-20 13:40:07 +0200 <logothesia> am I doing something silly, or is this a known issue?
2023-08-20 13:40:49 +0200 <logothesia> sorry if this isn't the right place to ask, I tried emailing the list but I received a notice from google telling me that I don't have permission to post or something like that
2023-08-20 13:40:49 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 13:40:57 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 13:41:03 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 13:42:52 +0200 <logothesia> I also installed llvm 9.0.1, which seems to be the version of llvm-hs accelerate wants
2023-08-20 13:44:05 +0200 <mauke> out of interest, what are the first lines of .stack-work/dist/x86_64-linux-tinfo6/Cabal-3.2.0.0/build/Foreign/CUDA/Path.i ?
2023-08-20 13:45:13 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-08-20 13:47:56 +0200 <logothesia> hmm, .stack-work in the project directory itself doesn't seem to contain dist, only install
2023-08-20 13:48:35 +0200 <logothesia> it does mention lower down a directory in /tmp
2023-08-20 13:48:46 +0200 <logothesia> which seems to get cleaned up after the build
2023-08-20 13:48:52 +0200 <logothesia> not sure if it's referring to that one
2023-08-20 13:49:24 +0200 <logothesia> https://paste.tomsmeding.com/Auuy8l5G
2023-08-20 13:50:02 +0200 <logothesia> this gets printed after the cabal messages (presumably by stack?)
2023-08-20 13:55:01 +0200mima(~mmh@net-93-148-97-78.cust.vodafonedsl.it) (Ping timeout: 245 seconds)
2023-08-20 13:58:35 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-08-20 13:59:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-08-20 13:59:40 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-08-20 14:01:25 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-08-20 14:09:44 +0200jmd_(~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
2023-08-20 14:13:11 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 14:18:20 +0200Guest45(~Guest45@95-25-87-91.broadband.corbina.ru)
2023-08-20 14:18:45 +0200Guest45(~Guest45@95-25-87-91.broadband.corbina.ru) (Client Quit)
2023-08-20 14:25:58 +0200falafel(~falafel@51.6.68.216)
2023-08-20 14:26:50 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-20 14:29:17 +0200kiro(~kiro@60.240.169.108)
2023-08-20 14:29:40 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-08-20 14:31:19 +0200kiro(~kiro@60.240.169.108) (Client Quit)
2023-08-20 14:31:22 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 14:35:27 +0200Lycurgus(~juan@user/Lycurgus)
2023-08-20 14:35:30 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 14:41:09 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 14:41:23 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 14:42:42 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d)
2023-08-20 14:43:09 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-08-20 14:45:18 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-20 14:51:29 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 14:51:43 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 14:54:15 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 14:54:16 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-08-20 14:59:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-20 15:04:19 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection)
2023-08-20 15:07:02 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 15:09:08 +0200kupi(uid212005@id-212005.hampstead.irccloud.com)
2023-08-20 15:09:40 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Tschüss)
2023-08-20 15:11:20 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
2023-08-20 15:24:18 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 15:24:18 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-08-20 15:27:33 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving)
2023-08-20 15:32:13 +0200shapr(~user@2600:1700:c640:3100:4a10:9cc3:c2a8:452b) (Remote host closed the connection)
2023-08-20 15:32:14 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce)
2023-08-20 15:32:28 +0200shapr(~user@2600:1700:c640:3100:e4c2:b6ef:bc7:e0a2)
2023-08-20 15:32:28 +0200 <Inst> You’ll see that the web browser magically refreshes once you save the file changes.
2023-08-20 15:32:28 +0200 <Inst> Did it work? Congratulations 🎉 You’ve officially built your first haskell web application :) That makes you a haskell programmer. Welcome to the Haskell community! :)
2023-08-20 15:33:11 +0200 <Inst> apparently the price of admission via IHP is figuring out how to install Nix, how to install IHP, how to get the sample program up, and how to edit and save the source files to experience the magic of live reloading
2023-08-20 15:33:29 +0200 <Inst> that said, getting Nix working is not trivial
2023-08-20 15:35:51 +0200 <Inst> and you can ship your first Haskell app to production in about 60-90 minutes with IHP.
2023-08-20 15:47:42 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-20 15:48:25 +0200zer0bitz_zer0bitz
2023-08-20 15:53:05 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-08-20 15:53:27 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-08-20 15:55:52 +0200teddyc(theodorc@cassarossa.samfundet.no) (Ping timeout: 240 seconds)
2023-08-20 15:59:28 +0200teddyc(theodorc@cassarossa.samfundet.no)
2023-08-20 15:59:37 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 16:03:57 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-08-20 16:05:55 +0200Inst(~liamzy@2601:6c4:4085:6d50::ecce) (Ping timeout: 245 seconds)
2023-08-20 16:16:37 +0200 <logothesia> mauke: is there a way to prevent stack from deleting temporary files?
2023-08-20 16:22:02 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds)
2023-08-20 16:26:38 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-08-20 16:26:49 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 16:27:06 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 16:29:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-08-20 16:33:19 +0200 <albet70> how to find a index of a sub-byetstring in another bytestring?
2023-08-20 16:34:06 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-20 16:36:33 +0200christo(~christo@202.159.165.152)
2023-08-20 16:37:09 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 16:37:24 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 16:40:04 +0200NewtonTrendy(uid282092@user/bopqod)
2023-08-20 16:40:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-08-20 16:46:04 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-08-20 16:48:44 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-20 16:48:47 +0200 <ncf> https://hackage.haskell.org/package/bytestring-0.12.0.2/docs/Data-ByteString.html#v:breakSubstring
2023-08-20 16:50:05 +0200crazazy(~user@130.89.171.133)
2023-08-20 16:50:33 +0200anselmschueler(~anselmsch@user/schuelermine) (Client Quit)
2023-08-20 16:50:45 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-08-20 16:50:56 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-20 16:51:53 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 16:51:54 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-08-20 16:54:14 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 16:55:46 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds)
2023-08-20 16:56:49 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-08-20 16:57:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-08-20 16:58:16 +0200anselmschueler(~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3)
2023-08-20 17:03:01 +0200christo(~christo@202.159.165.152) (Quit: WeeChat 3.8)
2023-08-20 17:06:11 +0200jero98772(~jero98772@2800:484:1d84:300::2)
2023-08-20 17:06:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-08-20 17:06:36 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
2023-08-20 17:08:36 +0200acidjnk(~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de)
2023-08-20 17:09:56 +0200 <EvanR> albet70, the package I linked last night also has that
2023-08-20 17:11:21 +0200 <EvanR> I see breakSubstring exists now, cool
2023-08-20 17:18:50 +0200crazazy(~user@130.89.171.133) (Ping timeout: 244 seconds)
2023-08-20 17:20:31 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 258 seconds)
2023-08-20 17:21:48 +0200bratwurst(~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds)
2023-08-20 17:26:20 +0200wroathe(~wroathe@user/wroathe)
2023-08-20 17:28:41 +0200 <wroathe> So I've got a profile that says roughly a third of my program's allocations are being made by this routine: https://gist.github.com/JustinChristensen/1a260e17984f0daae853fc5d56ab08f5 . This is using Megaparsec. What I'm attemping to do here is advance the parser state to the next field boundary (this is used by another routine that is buffering up positions in a list that gives me random access to their
2023-08-20 17:28:47 +0200 <wroathe> positions at the end of parsing a row to build up my output)
2023-08-20 17:29:34 +0200 <wroathe> Maybe you guys know of a better way to do this with Megaparsec. The two fields I'm updating there on the parser state are the stateInput and stateOffset, which are the remaining input to consume, and the offset from the beginning of the initial input stream
2023-08-20 17:30:17 +0200 <wroathe> From what I can tell using `drop` like that is fairly common... but I'm wondering if that's what's responsible for making so many allocations. I'll attach the profile output to that gist too
2023-08-20 17:31:32 +0200 <wroathe> Ok, gist updated
2023-08-20 17:32:32 +0200 <wroathe> In C terms what I'm trying to model is advancing the pointer to the next field boundary, and then subtracting from the current position
2023-08-20 17:32:55 +0200 <wroathe> So the question is if there's a way to do that here with the Megaparsec model of the parser state
2023-08-20 17:33:37 +0200 <wroathe> Those two operations shouldn't even require memory allocation in C terms (yes, I know this is Haskell, I'm just trying to explain what I'm trying to achieve)
2023-08-20 17:40:23 +0200jonathan_(~jonathan@193.203.13.34)
2023-08-20 17:41:52 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-08-20 17:42:05 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 17:42:50 +0200 <wroathe> The question for this channel is: can anyone point out where the allocations are being made by that routine?
2023-08-20 17:44:09 +0200 <mauke> I assume laziness
2023-08-20 17:46:27 +0200 <wroathe> Or maybe there's a good way to get a report of exactly what's being allocated. I guess I'll try to make sense of that heap profiling thing again.
2023-08-20 17:47:19 +0200 <wroathe> A cool project for ghc would be to try and make it output profiling data that Chrome Developer Tools can consume
2023-08-20 17:47:23 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 17:47:36 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-08-20 17:54:32 +0200 <EvanR> I know you can profile retainers to see who is holding heap objects
2023-08-20 17:55:21 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 17:55:44 +0200 <wroathe> yeah I'll give that a shot
2023-08-20 17:55:50 +0200 <EvanR> note when you try to write haskell algorithms that increment and decrement counters, you need to make sure they get evaluated soon so the thunks don't pile up
2023-08-20 17:56:22 +0200 <wroathe> EvanR: How would I do that in this case?
2023-08-20 17:56:50 +0200 <EvanR> put the counter in a strict field, use bang patterns, or judicious use of seq
2023-08-20 17:57:26 +0200 <wroathe> EvanR: https://github.com/mrkkrp/megaparsec/blob/master/Text/Megaparsec/State.hs#L43 I think this means it's already a strict field, right?
2023-08-20 17:57:36 +0200 <EvanR> yeah it is
2023-08-20 17:57:49 +0200 <EvanR> I was assume megaparsec's inner workings already... work
2023-08-20 17:57:49 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-08-20 17:58:09 +0200gentauro(~gentauro@user/gentauro)
2023-08-20 17:58:16 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds)
2023-08-20 17:58:17 +0200 <wroathe> I suspect it's the `findIndex` or `drop` calls I'm making there
2023-08-20 17:58:43 +0200 <wroathe> My naive assumption is that something like `drop` allocates an entirely new Text with the remaining content of the original input
2023-08-20 17:59:31 +0200 <wroathe> brb
2023-08-20 18:00:12 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 18:01:07 +0200 <EvanR> no the result will point into the same underlying array
2023-08-20 18:02:12 +0200 <EvanR> but if you iteratively drop on the same text object without doing anything with the intermediates, it could cause thunks to pile up.
2023-08-20 18:02:29 +0200 <mauke> stateOffset is strict, stateInput is not
2023-08-20 18:02:46 +0200 <mauke> also, I'm not sure the entire state thing is strict
2023-08-20 18:03:13 +0200notzmv(~zmv@user/notzmv)
2023-08-20 18:03:51 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2023-08-20 18:04:56 +0200jonathan__(~jonathan@193.203.13.91)
2023-08-20 18:05:06 +0200titibandit(~titibandi@user/titibandit)
2023-08-20 18:06:23 +0200AlexNoo_AlexNoo
2023-08-20 18:06:42 +0200 <AlexZenon> ����!
2023-08-20 18:06:42 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection)
2023-08-20 18:07:26 +0200yahb2(~yahb2@2a01:4f8:c0c:5c7b::2)
2023-08-20 18:07:37 +0200jonathan_(~jonathan@193.203.13.34) (Ping timeout: 260 seconds)
2023-08-20 18:08:17 +0200sm(~sm@plaintextaccounting/sm) (Remote host closed the connection)
2023-08-20 18:08:35 +0200wroathe(~wroathe@user/wroathe)
2023-08-20 18:08:40 +0200 <wroathe> back
2023-08-20 18:08:57 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 18:09:20 +0200RSCASTILHO(~RSCASTILH@187.40.124.54)
2023-08-20 18:09:57 +0200 <EvanR> wroathe, ran into this warning while looking at the megaparsec code, might not be relevant xD https://i.imgur.com/jlc5TYQ.png
2023-08-20 18:10:23 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 18:10:23 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-08-20 18:12:05 +0200 <wroathe> EvanR: To my knowledge I'm not calling that anywhere in my program, and I think that warning only pertains to the parser that you pass into that function as argument "p"
2023-08-20 18:13:26 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds)
2023-08-20 18:13:28 +0200 <EvanR> well it queries the offset, runs the parser, then queries the offset again
2023-08-20 18:13:50 +0200 <EvanR> so if that parser does shenanigans, ...
2023-08-20 18:13:57 +0200 <wroathe> right
2023-08-20 18:14:13 +0200 <wroathe> yeah, but I'm not using that function anywhere (even indirectly)
2023-08-20 18:14:17 +0200mvk(~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds)
2023-08-20 18:15:21 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 18:16:47 +0200 <wroathe> I just need to dig in more to these heap profiling flags
2023-08-20 18:17:32 +0200 <EvanR> is it that your program is very slow? or seems to leak memory or what
2023-08-20 18:18:27 +0200 <wroathe> It's slower than expected. This is just a hobby thing, and I want to make it fast. Especially because the full run of it will consume a few gigabytes worth of data while standing up a docker image with a database.
2023-08-20 18:19:16 +0200 <wroathe> Whole thing takes about ~2s for an 8 MB TSV file
2023-08-20 18:19:26 +0200 <EvanR> I gather megaparsec is geared toward convenience rather than speed
2023-08-20 18:20:14 +0200 <wroathe> It has benchmarks showing that it outperforms the other parser combinator libraries. At this point if it were the libraries fault I think it would be due to a weakness in the parser combinator model of parsing generally, and not something to do with megaparsec specifically
2023-08-20 18:20:26 +0200 <wroathe> But I don't think it's the library. I suspect it's my routine.
2023-08-20 18:21:05 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 258 seconds)
2023-08-20 18:21:11 +0200 <wroathe> And in general I have a knack for finding use cases that libraries I use aren't built for :P
2023-08-20 18:22:37 +0200tremon(~tremon@83.80.159.219)
2023-08-20 18:22:57 +0200son0p(~ff@191.104.6.44) (Quit: Bye)
2023-08-20 18:24:42 +0200ddellacosta(~ddellacos@143.244.47.100)
2023-08-20 18:26:22 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 18:32:12 +0200hugo(znc@130.236.254.23) (Ping timeout: 248 seconds)
2023-08-20 18:35:12 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds)
2023-08-20 18:37:10 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 18:38:45 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-20 18:42:09 +0200 <stefan-_> when creating a jupyter notebook with an IHaskell kernel there is an error shown in the jupyter console: https://gist.github.com/dozed/adafc18951ffd32bc6c6e7c881f7d772
2023-08-20 18:42:12 +0200 <stefan-_> any ideas how to fix this?
2023-08-20 18:47:45 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 246 seconds)
2023-08-20 18:48:01 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 18:48:12 +0200 <EvanR> stefan-_, I see https://github.com/IHaskell/IHaskell/issues/1385
2023-08-20 18:48:13 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds)
2023-08-20 18:50:08 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 18:51:01 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 18:52:35 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 18:53:03 +0200son0p(~ff@191.104.6.44)
2023-08-20 18:53:09 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-08-20 18:53:34 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-08-20 18:54:12 +0200 <stefan-_> EvanR, thanks, at least I am not the only one facing that issue :)
2023-08-20 18:59:19 +0200danza(~francesco@151.47.141.240)
2023-08-20 19:02:30 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 19:03:22 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds)
2023-08-20 19:04:47 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
2023-08-20 19:06:50 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 19:13:06 +0200hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-08-20 19:14:15 +0200hololeap(~quassel@user/hololeap)
2023-08-20 19:14:46 +0200hugo(znc@verdigris.lysator.liu.se)
2023-08-20 19:16:12 +0200 <wroathe> lol... I was so excited for https://gitlab.haskell.org/ghc/ghc-debug. Le sigh: https://gist.github.com/JustinChristensen/08af9eeb053217d0e484a2b5dd52255a
2023-08-20 19:16:50 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-20 19:18:56 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 19:20:36 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-08-20 19:24:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488)
2023-08-20 19:26:34 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 19:29:01 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-08-20 19:29:11 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-08-20 19:37:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds)
2023-08-20 19:41:11 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-08-20 19:43:13 +0200 <AlexZenon> riamo.ru
2023-08-20 19:48:53 +0200wroathe(~wroathe@207.153.38.140)
2023-08-20 19:48:53 +0200wroathe(~wroathe@207.153.38.140) (Changing host)
2023-08-20 19:48:53 +0200wroathe(~wroathe@user/wroathe)
2023-08-20 19:56:17 +0200connrs(~connrs@user/connrs) (Read error: Connection reset by peer)
2023-08-20 19:56:35 +0200 <shapr> that looks like spam
2023-08-20 19:59:24 +0200connrs(~connrs@user/connrs)
2023-08-20 19:59:47 +0200ChanServ+o shapr
2023-08-20 19:59:53 +0200AlexZenonshapr (Kicked by shapr)
2023-08-20 19:59:54 +0200AlexZenon(~alzenon@178.34.150.48)
2023-08-20 20:00:18 +0200 <shapr> AlexZenon: please don't spam
2023-08-20 20:00:21 +0200 <shapr> otherwise I'll have to ban you
2023-08-20 20:00:33 +0200 <shapr> if you want to learn Haskell, this is a great place!
2023-08-20 20:00:39 +0200 <shapr> if you want to spam, you will be removed
2023-08-20 20:06:22 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 20:08:57 +0200kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-08-20 20:09:52 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-08-20 20:10:20 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk)
2023-08-20 20:10:46 +0200thegeekinside(~thegeekin@189.217.90.224) (Remote host closed the connection)
2023-08-20 20:14:12 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-08-20 20:14:57 +0200Simikando(~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 245 seconds)
2023-08-20 20:26:10 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 20:26:56 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375)
2023-08-20 20:30:51 +0200vgtw(~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2023-08-20 20:31:57 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-08-20 20:32:12 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-08-20 20:41:51 +0200son0p(~ff@191.104.6.44) (Quit: Bye)
2023-08-20 20:47:56 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds)
2023-08-20 20:56:32 +0200vgtw(~vgtw@user/vgtw)
2023-08-20 20:56:37 +0200misterfish(~misterfis@84.53.85.146)
2023-08-20 21:15:30 +0200jonathan__(~jonathan@193.203.13.91) (Ping timeout: 245 seconds)
2023-08-20 21:19:32 +0200fendor(~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection)
2023-08-20 21:20:19 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-08-20 21:20:20 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
2023-08-20 21:20:29 +0200ystael(~ystael@user/ystael)
2023-08-20 21:20:51 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 21:26:20 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds)
2023-08-20 21:29:39 +0200Inst(~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection)
2023-08-20 21:30:29 +0200Inst(~liamzy@2601:6c4:4085:6d50::bea1)
2023-08-20 21:38:47 +0200danza(~francesco@151.47.141.240) (Ping timeout: 260 seconds)
2023-08-20 21:41:53 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-08-20 21:41:53 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-08-20 21:41:53 +0200wroathe(~wroathe@user/wroathe)
2023-08-20 21:43:22 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds)
2023-08-20 21:50:05 +0200YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds)
2023-08-20 21:50:51 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-08-20 21:51:57 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2023-08-20 21:55:26 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be)
2023-08-20 22:02:23 +0200hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-08-20 22:03:36 +0200hololeap(~quassel@user/hololeap)
2023-08-20 22:04:02 +0200_ht(~Thunderbi@82.174.52.28) (Quit: _ht)
2023-08-20 22:07:08 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 248 seconds)
2023-08-20 22:09:21 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-08-20 22:12:05 +0200Pickchea(~private@user/pickchea)
2023-08-20 22:15:04 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-20 22:18:52 +0200falafel(~falafel@51.6.68.216) (Ping timeout: 248 seconds)
2023-08-20 22:21:36 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds)
2023-08-20 22:29:32 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-08-20 22:30:38 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-08-20 22:36:41 +0200hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-08-20 22:42:03 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
2023-08-20 22:42:44 +0200RSCASTILHO(~RSCASTILH@187.40.124.54) ()
2023-08-20 22:44:06 +0200wroathe(~wroathe@user/wroathe)
2023-08-20 22:44:47 +0200hololeap(~quassel@user/hololeap)
2023-08-20 22:44:49 +0200 <tomsmeding> logothesia: ensure you have pull in c2hs 0.28.8
2023-08-20 22:44:53 +0200 <tomsmeding> s/have//
2023-08-20 22:45:20 +0200 <tomsmeding> try: cabal build --constraint 'c2hs >=0.28.8'
2023-08-20 22:45:24 +0200 <tomsmeding> https://github.com/haskell/c2hs/issues/268
2023-08-20 22:49:28 +0200mikoto-chan(~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds)
2023-08-20 22:49:49 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-08-20 22:57:07 +0200pavonia(~user@user/siracusa)
2023-08-20 22:57:25 +0200Inst(~liamzy@2601:6c4:4085:6d50::bea1) (Remote host closed the connection)
2023-08-20 22:57:44 +0200Inst(~liamzy@2601:6c4:4085:6d50::85eb)
2023-08-20 23:02:35 +0200hololeap(~quassel@user/hololeap) (Quit: Bye)
2023-08-20 23:04:06 +0200AlexZenon(~alzenon@178.34.150.48) (Ping timeout: 256 seconds)
2023-08-20 23:05:37 +0200hololeap(~quassel@user/hololeap)
2023-08-20 23:11:18 +0200AlexZenon(~alzenon@178.34.150.48)
2023-08-20 23:16:12 +0200caryhartline(~caryhartl@168.182.58.169)
2023-08-20 23:20:14 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-08-20 23:20:46 +0200falafel(~falafel@51.6.68.216)
2023-08-20 23:21:48 +0200AlexZenon(~alzenon@178.34.150.48) (Ping timeout: 248 seconds)
2023-08-20 23:22:40 +0200sm(~sm@plaintextaccounting/sm)
2023-08-20 23:23:38 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-08-20 23:24:28 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
2023-08-20 23:24:45 +0200AlexZenon(~alzenon@178.34.150.48)
2023-08-20 23:24:48 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2023-08-20 23:25:38 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-08-20 23:29:36 +0200AlexZenon(~alzenon@178.34.150.48) (Ping timeout: 245 seconds)
2023-08-20 23:31:15 +0200AlexZenon(~alzenon@178.34.150.48)
2023-08-20 23:34:00 +0200anselmschueler(~anselmsch@user/schuelermine)
2023-08-20 23:34:57 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-08-20 23:35:56 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-08-20 23:36:45 +0200Inst(~liamzy@2601:6c4:4085:6d50::85eb) (Ping timeout: 245 seconds)
2023-08-20 23:37:16 +0200dextaa(~DV@user/dextaa) (Ping timeout: 248 seconds)
2023-08-20 23:40:20 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-08-20 23:40:20 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-08-20 23:40:20 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-08-20 23:42:06 +0200acidjnk(~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-08-20 23:49:13 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
2023-08-20 23:49:28 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-08-20 23:52:48 +0200jero98772(~jero98772@2800:484:1d84:300::2) (Ping timeout: 246 seconds)
2023-08-20 23:53:08 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-08-20 23:53:42 +0200arahael(~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
2023-08-20 23:53:56 +0200shapr(~user@2600:1700:c640:3100:e4c2:b6ef:bc7:e0a2) (Remote host closed the connection)
2023-08-20 23:54:09 +0200shapr(~user@2600:1700:c640:3100:5507:bbc0:d0c9:b395)
2023-08-20 23:54:29 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-08-20 23:54:48 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-08-20 23:59:30 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-08-20 23:59:32 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-08-20 23:59:39 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Client Quit)