IRCBrowse

2023/04/26

2023-04-26 00:01:53 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-04-26 00:02:20 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 00:08:05 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-04-26 00:13:37 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2023-04-26 00:17:31 +0200nick2(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 240 seconds)
2023-04-26 00:19:10 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection)
2023-04-26 00:21:01 +0200cheater_(~Username@user/cheater)
2023-04-26 00:21:09 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 00:23:18 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2023-04-26 00:23:26 +0200cheater_cheater
2023-04-26 00:26:00 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-04-26 00:30:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-26 00:35:55 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
2023-04-26 00:36:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-26 00:37:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:995:b0a8:9c27:4ecf)
2023-04-26 00:41:01 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-04-26 00:41:36 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:995:b0a8:9c27:4ecf) (Ping timeout: 248 seconds)
2023-04-26 00:42:00 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds)
2023-04-26 00:44:27 +0200gurkenglas(~gurkengla@dynamic-046-114-176-254.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-04-26 00:45:53 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-26 00:46:03 +0200ddellacosta(~ddellacos@143.244.47.71) (Ping timeout: 265 seconds)
2023-04-26 00:46:22 +0200gurkenglas(~gurkengla@dynamic-046-114-002-228.46.114.pool.telefonica.de)
2023-04-26 00:57:02 +0200acidjnk(~acidjnk@p200300d6e715c48334884ea8abdf0cea.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-04-26 01:00:51 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-04-26 01:01:27 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2023-04-26 01:05:13 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-04-26 01:05:34 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds)
2023-04-26 01:07:28 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-26 01:11:11 +0200codaraxis(~codaraxis@user/codaraxis)
2023-04-26 01:11:27 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds)
2023-04-26 01:24:01 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2023-04-26 01:25:41 +0200mmhat(~mmh@2003:f1:c701:f195:ee08:6bff:fe09:5315) (Ping timeout: 265 seconds)
2023-04-26 01:26:04 +0200mmhat(~mmh@p200300f1c701f1f9ee086bfffe095315.dip0.t-ipconnect.de)
2023-04-26 01:35:28 +0200perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2023-04-26 01:42:25 +0200Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 240 seconds)
2023-04-26 01:43:39 +0200Ranhir(~Ranhir@157.97.53.139)
2023-04-26 01:43:53 +0200mauke_(~mauke@user/mauke)
2023-04-26 01:45:32 +0200mauke(~mauke@user/mauke) (Ping timeout: 252 seconds)
2023-04-26 01:45:32 +0200mauke_mauke
2023-04-26 01:51:16 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2023-04-26 01:53:51 +0200ddellacosta(~ddellacos@146.70.166.158)
2023-04-26 01:56:10 +0200Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 252 seconds)
2023-04-26 01:56:35 +0200Ranhir(~Ranhir@157.97.53.139)
2023-04-26 01:58:34 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-04-26 02:04:11 +0200nate1(~nate@98.45.169.16)
2023-04-26 02:06:20 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-04-26 02:09:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-04-26 02:09:15 +0200y04nn(~username@2a03:1b20:5:f011::aaae) (Ping timeout: 248 seconds)
2023-04-26 02:09:43 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2023-04-26 02:10:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-04-26 02:14:55 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2023-04-26 02:15:15 +0200Batzy_(~quassel@user/batzy)
2023-04-26 02:16:32 +0200Batzy_(~quassel@user/batzy) (Client Quit)
2023-04-26 02:17:51 +0200Batzy_(~quassel@user/batzy)
2023-04-26 02:17:53 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172) (Ping timeout: 246 seconds)
2023-04-26 02:18:15 +0200elvishjerricco(~elvishjer@2001:470:69fc:105::6172)
2023-04-26 02:18:32 +0200Batzy(~quassel@user/batzy) (Ping timeout: 252 seconds)
2023-04-26 02:20:55 +0200zeenk(~zeenk@2a02:2f04:a20f:5200::7fe) (Quit: Konversation terminated!)
2023-04-26 02:21:17 +0200jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Remote host closed the connection)
2023-04-26 02:21:39 +0200jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-04-26 02:21:49 +0200namiroff_(~namiroff@31.223.145.39)
2023-04-26 02:22:19 +0200Wstfgl0_(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2023-04-26 02:22:32 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Killed (NickServ (GHOST command used by Wstfgl0_)))
2023-04-26 02:22:35 +0200Wstfgl0_Me-me
2023-04-26 02:22:46 +0200Me-menotme
2023-04-26 02:24:05 +0200namiroff(~namiroff@31.223.145.73) (Ping timeout: 240 seconds)
2023-04-26 02:25:15 +0200slack1256(~slack1256@181.42.41.193) (Ping timeout: 255 seconds)
2023-04-26 02:27:05 +0200notmeMe-me
2023-04-26 02:28:54 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-26 02:33:09 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.)
2023-04-26 02:33:12 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 02:33:37 +0200Me-me(~Me-me@user/me-me)
2023-04-26 02:33:43 +0200slack1256(~slack1256@181.42.41.193)
2023-04-26 02:37:20 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-26 02:38:37 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:995:b0a8:9c27:4ecf)
2023-04-26 02:41:05 +0200jargon(~jargon@184.101.73.92)
2023-04-26 02:43:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:995:b0a8:9c27:4ecf) (Ping timeout: 260 seconds)
2023-04-26 02:43:45 +0200Igloo(~ian@matrix.chaos.earth.li) (Remote host closed the connection)
2023-04-26 02:52:21 +0200barzo(~hd@31.223.56.27) (Quit: Leaving)
2023-04-26 02:52:35 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-26 02:52:35 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-26 02:52:35 +0200wroathe(~wroathe@user/wroathe)
2023-04-26 02:58:52 +0200Igloo(~ian@matrix.chaos.earth.li)
2023-04-26 03:01:25 +0200LSkilton(~LSkilton@138.84.45.144)
2023-04-26 03:06:39 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:3d98:d056:c84e:e188) (Ping timeout: 260 seconds)
2023-04-26 03:06:40 +0200ububert
2023-04-26 03:07:34 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-04-26 03:10:59 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-04-26 03:11:44 +0200LSkilton(~LSkilton@138.84.45.144) (K-Lined)
2023-04-26 03:17:07 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-04-26 03:17:30 +0200codaraxis(~codaraxis@user/codaraxis)
2023-04-26 03:23:18 +0200gurkenglas(~gurkengla@dynamic-046-114-002-228.46.114.pool.telefonica.de) (Ping timeout: 255 seconds)
2023-04-26 03:26:41 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-04-26 03:32:28 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds)
2023-04-26 03:36:25 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds)
2023-04-26 03:38:35 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Ping timeout: 264 seconds)
2023-04-26 03:42:01 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-04-26 03:44:17 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-04-26 03:50:06 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-04-26 03:53:55 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-04-26 03:58:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-26 04:00:40 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2023-04-26 04:02:25 +0200slac45769(~slack1256@191.126.227.64)
2023-04-26 04:05:00 +0200slack1256(~slack1256@181.42.41.193) (Ping timeout: 260 seconds)
2023-04-26 04:05:52 +0200AlexNoo(~AlexNoo@178.34.150.15) (Read error: Connection reset by peer)
2023-04-26 04:06:15 +0200AlexNoo(~AlexNoo@178.34.150.15)
2023-04-26 04:10:59 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 265 seconds)
2023-04-26 04:11:21 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3488:c18b:7c02:d36f)
2023-04-26 04:16:24 +0200namiroff_(~namiroff@31.223.145.39) (Ping timeout: 255 seconds)
2023-04-26 04:16:31 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net)
2023-04-26 04:24:14 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-04-26 04:26:05 +0200ryantrinkle(~ryantrink@140.174.240.199) (Ping timeout: 240 seconds)
2023-04-26 04:29:10 +0200thegeekinside(~thegeekin@189.180.38.222)
2023-04-26 04:32:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-26 04:34:40 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2023-04-26 04:44:11 +0200Square(~Square4@user/square) (Ping timeout: 260 seconds)
2023-04-26 04:44:25 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-04-26 04:46:52 +0200ryantrinkle(~ryantrink@140.174.240.199)
2023-04-26 04:48:01 +0200jero98772(~jero98772@2800:484:1d84:9000::2) (Ping timeout: 240 seconds)
2023-04-26 04:51:34 +0200slac45769(~slack1256@191.126.227.64) (Read error: Connection reset by peer)
2023-04-26 04:52:44 +0200polyphem(~polyphem@ip-109-43-48-228.web.vodafone.de) (Remote host closed the connection)
2023-04-26 04:53:07 +0200slack1256(~slack1256@186.11.80.223)
2023-04-26 04:54:51 +0200Artem[m]artem_[m]
2023-04-26 04:56:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-04-26 04:56:54 +0200td_(~td@i53870921.versanet.de) (Ping timeout: 255 seconds)
2023-04-26 04:58:44 +0200td_(~td@i5387093B.versanet.de)
2023-04-26 04:59:18 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-04-26 05:01:09 +0200Manikariza(~Manikariz@189.172.5.194)
2023-04-26 05:03:13 +0200blankhart(~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Quit: WeeChat 3.5)
2023-04-26 05:04:11 +0200Manikariza(~Manikariz@189.172.5.194) (K-Lined)
2023-04-26 05:04:25 +0200pyook(~puke@user/puke) (Quit: Quit)
2023-04-26 05:04:43 +0200pyook(~puke@user/puke)
2023-04-26 05:07:12 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds)
2023-04-26 05:13:38 +0200artem_[m](~artemtype@2001:470:69fc:105::75b) (Quit: Reconnecting)
2023-04-26 05:13:57 +0200artem_[m](~artemtype@2001:470:69fc:105::75b)
2023-04-26 05:40:10 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-26 05:40:10 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-26 05:40:10 +0200wroathe(~wroathe@user/wroathe)
2023-04-26 05:45:26 +0200nate1(~nate@98.45.169.16)
2023-04-26 05:55:47 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-04-26 05:58:54 +0200biberu(~biberu@user/biberu)
2023-04-26 06:04:05 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-04-26 06:05:38 +0200merijn(~merijn@145.90.225.7)
2023-04-26 06:06:01 +0200jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2023-04-26 06:09:36 +0200ratapaca(~ratapaca@98.40.240.33)
2023-04-26 06:11:09 +0200krei-se-(~krei-se@p57af2733.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-04-26 06:12:48 +0200aeroplane(~user@user/aeroplane) (Ping timeout: 248 seconds)
2023-04-26 06:15:58 +0200krei-se(~krei-se@31.6.41.56)
2023-04-26 06:18:48 +0200nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-26 06:19:18 +0200nehsou^(~nehsou@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-04-26 06:19:26 +0200nate1(~nate@98.45.169.16)
2023-04-26 06:19:44 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2023-04-26 06:25:25 +0200mbuf(~Shakthi@49.207.178.186)
2023-04-26 06:35:00 +0200heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-04-26 06:36:50 +0200mizlan(~mizlan@2607:f010:2a7:1005:9db6:2055:e41e:d0fd)
2023-04-26 06:37:00 +0200mizlan(~mizlan@2607:f010:2a7:1005:9db6:2055:e41e:d0fd) (Client Quit)
2023-04-26 06:39:22 +0200merijn(~merijn@145.90.225.7) (Ping timeout: 265 seconds)
2023-04-26 06:40:16 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-04-26 06:41:08 +0200biberu(~biberu@user/biberu)
2023-04-26 06:42:02 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Read error: Connection reset by peer)
2023-04-26 06:47:57 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se)
2023-04-26 06:47:57 +0200edwtjo(~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host)
2023-04-26 06:47:57 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2023-04-26 06:49:02 +0200nate1(~nate@98.45.169.16) (Ping timeout: 265 seconds)
2023-04-26 06:49:51 +0200ratapaca(~ratapaca@98.40.240.33) (Quit: Leaving)
2023-04-26 06:52:48 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-04-26 06:55:28 +0200nick2(~nick@ip68-14-184-208.pn.at.cox.net)
2023-04-26 06:56:51 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-04-26 06:57:17 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net)
2023-04-26 06:57:51 +0200biberu(~biberu@user/biberu)
2023-04-26 06:58:35 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-26 07:00:12 +0200nick2(~nick@ip68-14-184-208.pn.at.cox.net) (Ping timeout: 255 seconds)
2023-04-26 07:05:43 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net) (Quit: Leaving)
2023-04-26 07:05:57 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net)
2023-04-26 07:09:21 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net) (Client Quit)
2023-04-26 07:09:41 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net)
2023-04-26 07:14:58 +0200mmhat(~mmh@p200300f1c701f1f9ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-04-26 07:21:48 +0200ddellacosta(~ddellacos@146.70.166.158) (Ping timeout: 255 seconds)
2023-04-26 07:23:35 +0200czy(~user@50.30.140.25) (Remote host closed the connection)
2023-04-26 07:23:44 +0200Sgeo_(~Sgeo@user/sgeo)
2023-04-26 07:26:02 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-04-26 07:29:00 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds)
2023-04-26 07:30:04 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.au)
2023-04-26 07:30:04 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.au) (Changing host)
2023-04-26 07:30:04 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-04-26 07:30:55 +0200thegeekinside(~thegeekin@189.180.38.222) (Ping timeout: 260 seconds)
2023-04-26 07:40:53 +0200slac65159(~slack1256@186.11.80.223)
2023-04-26 07:40:56 +0200jwiegley(~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2023-04-26 07:41:03 +0200slack1256(~slack1256@186.11.80.223) (Remote host closed the connection)
2023-04-26 07:41:03 +0200mbuf(~Shakthi@49.207.178.186) (Remote host closed the connection)
2023-04-26 07:41:10 +0200mbuf(~Shakthi@49.207.178.186)
2023-04-26 07:41:29 +0200hueso(~root@user/hueso) (Read error: Connection reset by peer)
2023-04-26 07:42:14 +0200hueso(~root@user/hueso)
2023-04-26 07:45:44 +0200ddellacosta(~ddellacos@static-198-44-136-216.cust.tzulo.com)
2023-04-26 07:50:15 +0200tr_ev(~trev@user/trev)
2023-04-26 07:50:43 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net) (Quit: Leaving)
2023-04-26 07:52:50 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net)
2023-04-26 07:59:10 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-04-26 07:59:18 +0200slac65159(~slack1256@186.11.80.223) (Remote host closed the connection)
2023-04-26 07:59:28 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-04-26 07:59:36 +0200tr_evtrev
2023-04-26 07:59:37 +0200michalz(~michalz@185.246.207.203)
2023-04-26 08:00:03 +0200slack1256(~slack1256@186.11.80.223)
2023-04-26 08:00:42 +0200hueso(~root@user/hueso) (Read error: Connection reset by peer)
2023-04-26 08:00:43 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-04-26 08:00:50 +0200hueso_(~root@user/hueso)
2023-04-26 08:04:57 +0200slac38868(~slack1256@186.11.75.185)
2023-04-26 08:06:10 +0200gentauro(~gentauro@user/gentauro)
2023-04-26 08:06:55 +0200slack1256(~slack1256@186.11.80.223) (Ping timeout: 252 seconds)
2023-04-26 08:09:47 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-26 08:10:44 +0200chele(~chele@user/chele)
2023-04-26 08:11:32 +0200hueso(~root@user/hueso)
2023-04-26 08:11:33 +0200hueso_(~root@user/hueso) (Read error: Connection reset by peer)
2023-04-26 08:14:04 +0200slac38868(~slack1256@186.11.75.185) (Ping timeout: 255 seconds)
2023-04-26 08:24:00 +0200drlkf(~drlkf@chat.drlkf.net) (Ping timeout: 260 seconds)
2023-04-26 08:29:05 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-26 08:33:47 +0200MajorBiscuit(~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Ping timeout: 260 seconds)
2023-04-26 08:35:34 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 08:42:15 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-26 08:42:39 +0200BocaneriGuest5440
2023-04-26 08:42:44 +0200codaraxis__(~codaraxis@user/codaraxis)
2023-04-26 08:42:48 +0200drewolson(~drewolson@user/drewolson) (Quit: Ping timeout (120 seconds))
2023-04-26 08:42:48 +0200russruss(~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds))
2023-04-26 08:43:01 +0200drewolson(~drewolson@user/drewolson)
2023-04-26 08:43:09 +0200russruss(~russruss@my.russellmcc.com)
2023-04-26 08:43:18 +0200Sauvin(~sauvin@user/Sauvin) (Read error: Connection reset by peer)
2023-04-26 08:43:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6525:d96f:48d2:80f6)
2023-04-26 08:45:39 +0200jonathan_(~jonathan@h-176-10-144-60.NA.cust.bahnhof.se)
2023-04-26 08:46:51 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2023-04-26 08:53:44 +0200Guest5440Sauvin
2023-04-26 08:54:25 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-04-26 08:54:27 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-04-26 08:56:29 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-26 08:59:02 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-04-26 09:00:12 +0200crvs(~crvs@212.37.18.202)
2023-04-26 09:09:48 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-04-26 09:13:49 +0200acidjnk(~acidjnk@p200300d6e715c48190549dfddbb09d76.dip0.t-ipconnect.de)
2023-04-26 09:23:10 +0200gurkenglas(~gurkengla@dynamic-046-114-002-228.46.114.pool.telefonica.de)
2023-04-26 09:30:17 +0200falafel(~falafel@2603-8000-d700-115c-2db2-df52-4b5d-7f33.res6.spectrum.com)
2023-04-26 09:33:13 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2023-04-26 09:36:23 +0200zeenk(~zeenk@2a02:2f04:a20f:5200::7fe)
2023-04-26 09:43:31 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 09:48:00 +0200cfricke(~cfricke@user/cfricke)
2023-04-26 09:49:08 +0200jargon(~jargon@184.101.73.92) (Remote host closed the connection)
2023-04-26 09:49:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-04-26 09:53:52 +0200mc47(~mc47@xmonad/TheMC47)
2023-04-26 09:56:38 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-26 10:02:41 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-04-26 10:02:41 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-04-26 10:03:18 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-04-26 10:03:29 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-04-26 10:06:37 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-04-26 10:06:37 +0200paulpaul1076(~textual@95.29.5.210) (Remote host closed the connection)
2023-04-26 10:09:02 +0200MajorBiscuit(~MajorBisc@145.94.190.155)
2023-04-26 10:17:45 +0200falafel(~falafel@2603-8000-d700-115c-2db2-df52-4b5d-7f33.res6.spectrum.com) (Ping timeout: 260 seconds)
2023-04-26 10:26:33 +0200 <dminuoso> https://hackage.haskell.org/package/postgresql-simple-0.6.5/docs/Database-PostgreSQL-Simple.html#t…
2023-04-26 10:26:35 +0200 <dminuoso> data Query
2023-04-26 10:26:49 +0200 <dminuoso> But the data type is defined as a newtype.
2023-04-26 10:27:02 +0200 <dminuoso> What's going on here?
2023-04-26 10:27:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-04-26 10:28:32 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-04-26 10:29:41 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-04-26 10:32:21 +0200 <tomsmeding> dminuoso: does haddock not always display it that way if the constructor is not exported?
2023-04-26 10:32:36 +0200 <tomsmeding> indeed, if you can't use the constructor, newtypeness is not observable in the API, is it?
2023-04-26 10:33:30 +0200Igloo(~ian@matrix.chaos.earth.li) (Ping timeout: 255 seconds)
2023-04-26 10:33:37 +0200Igloo(~ian@matrix.chaos.earth.li)
2023-04-26 10:34:01 +0200 <dminuoso> That really depends on how you look at it.
2023-04-26 10:34:25 +0200 <dminuoso> Say you have a smart constructor mkQuery, then the difference is observable in strictness between `mkQuery undefined` and `mkQuery "foo"`
2023-04-26 10:34:50 +0200 <dminuoso> Which also depends on the strictness of mkQuery obviously
2023-04-26 10:34:52 +0200 <tomsmeding> hardly, that could also be explained by mkQuery having a bang pattern
2023-04-26 10:34:53 +0200 <tomsmeding> yeah
2023-04-26 10:35:00 +0200 <dminuoso> No, it cannot.
2023-04-26 10:35:02 +0200 <tomsmeding> I would say that's part of the API of mkQuery
2023-04-26 10:35:08 +0200 <dminuoso> tomsmeding: that only works in one direction
2023-04-26 10:35:18 +0200MajorBiscuit(~MajorBisc@145.94.190.155) (Ping timeout: 255 seconds)
2023-04-26 10:35:22 +0200 <dminuoso> If `mkQuery undefined `seq` ()` does not blow up, you cannot explain that with mkQuery.
2023-04-26 10:35:24 +0200 <tomsmeding> the user observes the strictness only through mkQuery
2023-04-26 10:35:29 +0200 <tomsmeding> ah, yes
2023-04-26 10:35:37 +0200 <tomsmeding> hm
2023-04-26 10:36:15 +0200 <tomsmeding> well -- assuming that mkQuery eventually puts its argument right there in the field of the data type
2023-04-26 10:36:29 +0200 <dminuoso> It doesnt really matter what mkQuery actually does.
2023-04-26 10:36:34 +0200 <tomsmeding> if you don't know the implementation of Query, who knows that it could be 'newtype Query = Query (Bool, String)'
2023-04-26 10:36:41 +0200 <dminuoso> Mmm
2023-04-26 10:36:44 +0200 <tomsmeding> then that's certainly lazy in the String
2023-04-26 10:36:57 +0200 <dminuoso> okay thats a fair point.
2023-04-26 10:37:10 +0200 <tomsmeding> I mean, that would be a weird newtype maybe, but certainly possible
2023-04-26 10:37:15 +0200 <dminuoso> But I think displaying it as `data` is grossly misleading
2023-04-26 10:37:29 +0200 <dminuoso> if you already have some rough ambient knowledge of its implementation
2023-04-26 10:37:37 +0200 <dminuoso> "opaque type" would be better.
2023-04-26 10:37:41 +0200 <tomsmeding> yes that's where the argument falls down
2023-04-26 10:37:42 +0200 <tomsmeding> yes
2023-04-26 10:38:02 +0200 <tomsmeding> aren't type families also written as 'type' or something
2023-04-26 10:38:24 +0200 <dminuoso> tomsmeding: so I think you're talking about associated type synonyms.
2023-04-26 10:38:35 +0200 <dminuoso> The terminology gets really confusing for me
2023-04-26 10:38:43 +0200 <tomsmeding> ah, that may be what I'm remembering, yes
2023-04-26 10:38:51 +0200 <tomsmeding> no then it makes sense
2023-04-26 10:39:00 +0200 <dminuoso> Because they are formally called associated type synonyms in the GHC manual, but enabled via TypeFamilies
2023-04-26 10:39:09 +0200 <tomsmeding> I briefly thought I remembered that a proper standalone type family, not sure whether open or closed, was sometimes displayed as 'type' instead of 'type family'
2023-04-26 10:39:15 +0200 <dminuoso> Right
2023-04-26 10:39:21 +0200 <tomsmeding> yeah I call those associated type families personally
2023-04-26 10:39:37 +0200 <dminuoso> I get confused by this every time, because I somehow expect to be able to write `instance Foo ... where type instance ...`
2023-04-26 10:39:43 +0200 <tomsmeding> which is maybe confusing half-way terminology :p
2023-04-26 10:39:47 +0200 <dminuoso> Indeed I do as well.
2023-04-26 10:39:49 +0200 <tomsmeding> I guess
2023-04-26 10:40:29 +0200 <geekosaur> maybe someone should propose it 🙂
2023-04-26 10:41:00 +0200 <dminuoso> The kind of bike shedding you have to go through ghc proposals thesee days is not something I really want.
2023-04-26 10:41:30 +0200 <tomsmeding> I don't think we should change this part of the syntax now
2023-04-26 10:41:49 +0200 <dminuoso> Though I dont mean that in a strictly negative way. I think the current proposals process generally improves things.
2023-04-26 10:42:03 +0200 <tomsmeding> it's perhaps slightly confusing, but it's not like the alternative will be valid with a different meaning any time soon
2023-04-26 10:42:08 +0200 <dminuoso> It should take effort to make changes to the language. :)
2023-04-26 10:42:33 +0200 <tomsmeding> and also this is not worth making the current version _invalid_ synax in a few releases
2023-04-26 10:43:01 +0200 <tomsmeding> for Eq-with-no-(/=) (was that implemented, by the way?), the situation was different because implementations of (/=) were quite rare in the first place
2023-04-26 10:43:24 +0200 <tomsmeding> here you'd be changing the only syntax that the feature has
2023-04-26 10:43:29 +0200 <eldritchcookie[m> say https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/liberal_type_synonyms.html#extension-Liber… wasn't this impossible ?
2023-04-26 10:44:11 +0200 <geekosaur> I wasn't thinking about killing the current syntax, just allowing optional `instance` there
2023-04-26 10:44:24 +0200 <tomsmeding> eldritchcookie[m: well you still can't put a type synonym as the argument to a parametrised data type, can you?
2023-04-26 10:44:32 +0200 <geekosaur> not like it'll ever mean something else
2023-04-26 10:44:45 +0200 <tomsmeding> only if at place where you're putting in the type synonym, it already immediately reduces to fully-applied form
2023-04-26 10:44:48 +0200 <eldritchcookie[m> ah okay
2023-04-26 10:44:59 +0200 <tomsmeding> geekosaur: fair
2023-04-26 10:46:08 +0200 <tomsmeding> eldritchcookie[m: see the very last example on the page you linked
2023-04-26 10:46:14 +0200 <tomsmeding> ah no not that one
2023-04-26 10:46:23 +0200nate1(~nate@98.45.169.16)
2023-04-26 10:48:11 +0200 <tomsmeding> eldritchcookie[m: even this is still invalid https://play.haskell.org/saved/4la4AbYI
2023-04-26 10:48:55 +0200 <tomsmeding> it's just "partially-applied type synonym as argument to another type synonym, where the full type synonym expansion doesn't have any partially applied type synonyms any more"
2023-04-26 10:51:03 +0200nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2023-04-26 10:55:08 +0200CiaoSen(~Jura@p200300c5af1d63002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-04-26 10:56:09 +0200 <eldritchcookie[m> i was reading "thinking with types" and it shows a way to choose the monad stack with a runtime value by using singletons, would it be possible to choose a record's member's with a runtime value ?
2023-04-26 10:57:00 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:c4d3:e016:342:46f2)
2023-04-26 10:58:32 +0200 <dminuoso> eldritchcookie[m: What is a "record's member" in this context exactly?
2023-04-26 10:58:40 +0200 <dminuoso> Or what do you mean by "choose"?
2023-04-26 11:03:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3488:c18b:7c02:d36f) (Remote host closed the connection)
2023-04-26 11:06:16 +0200 <eldritchcookie[m> ok i am unsure exactly so i will tell my train of thought, i want to make a VTT for multiple TTRPGs so i thought to have a group of maps for each character statistic however those change per game so i will almost always have they remain the same for a long time. so i wanted to leverage this fact for added safety.
2023-04-26 11:07:21 +0200 <eldritchcookie[m> basically for instance DND has one set of stats and GURPS another but GURPS unsurprisingly has the same Stats as GURPS
2023-04-26 11:12:01 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-04-26 11:14:00 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net) (Ping timeout: 255 seconds)
2023-04-26 11:14:44 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-04-26 11:15:37 +0200 <[exa]> eldritchcookie[m: btw care to join #-offtopic? we can probably discuss the designs there much more verbosely
2023-04-26 11:16:10 +0200 <eldritchcookie[m> sure
2023-04-26 11:21:04 +0200ccapndave(~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch)
2023-04-26 11:35:31 +0200zeenk(~zeenk@2a02:2f04:a20f:5200::7fe) (Remote host closed the connection)
2023-04-26 11:35:53 +0200zeenk(~zeenk@2a02:2f04:a20f:5200::fba)
2023-04-26 11:42:54 +0200oo_miguel(~Thunderbi@77-252-46-249.static.ip.netia.com.pl)
2023-04-26 11:45:53 +0200 <oo_miguel> Is it possible to list currently enabled language extensions on the GHCi prompt? I currently use `%s` on the prompt to list packages and I am aware of the `prompt-function` option. However I am not sure if there is a way to access the list of the extensions somehow.
2023-04-26 11:46:48 +0200 <geekosaur> :set language, iirc
2023-04-26 11:47:36 +0200 <geekosaur> sorry, it's :show language
2023-04-26 11:47:43 +0200 <geekosaur> I always get that wrong for some reason
2023-04-26 11:48:52 +0200 <geekosaur> also note :showi language
2023-04-26 11:49:13 +0200 <geekosaur> (which shows what applies to things you type in as opposed to what language :load will parse)
2023-04-26 11:50:25 +0200 <oo_miguel> Oh I am aware of the `show langauge`
2023-04-26 11:51:00 +0200 <geekosaur> you can't add the,m to the prompt afaik
2023-04-26 11:51:13 +0200 <oo_miguel> Sorry for misformulating my question. I want to list them autoamtically after every command, as I do with `:set prompt "....%s...."` with modues currently
2023-04-26 11:51:25 +0200 <oo_miguel> heh same problem with the `:show`
2023-04-26 11:51:47 +0200 <oo_miguel> anyway, ok. So I am not able to get them withing prompt-function. Thanks for claryfying
2023-04-26 11:55:18 +0200 <geekosaur> well, there's %call
2023-04-26 11:55:32 +0200 <geekosaur> but I don't know how well it will work with multiline output
2023-04-26 11:56:05 +0200 <oo_miguel> oh, missed that one. I'll try it out!
2023-04-26 11:56:44 +0200 <geekosaur> hm, nope, it's an external command 😞
2023-04-26 11:56:57 +0200 <geekosaur> so prompt_function it is
2023-04-26 11:58:44 +0200 <oo_miguel> yeah ideally I would need to call the `: show language` within the prompt-function and then process its output. But already accepted that this is not possible currently
2023-04-26 12:03:10 +0200jargon(~jargon@184.101.73.92)
2023-04-26 12:03:43 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-04-26 12:06:50 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2023-04-26 12:08:33 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2023-04-26 12:10:49 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 256 seconds)
2023-04-26 12:13:17 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-04-26 12:16:32 +0200rs(~rs@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de)
2023-04-26 12:16:56 +0200rsGuest5252
2023-04-26 12:21:21 +0200ccapndave(~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com)
2023-04-26 12:24:56 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:c4d3:e016:342:46f2) (Remote host closed the connection)
2023-04-26 12:29:19 +0200riady[m](~riadymatr@2001:470:69fc:105::3:4dc5)
2023-04-26 12:31:10 +0200tok(~user@user/tok)
2023-04-26 12:33:39 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-04-26 12:34:06 +0200riady[m]ariady[m]
2023-04-26 12:36:20 +0200 <ariady[m]> @help
2023-04-26 12:36:20 +0200 <lambdabot> help <command>. Ask for help for <command>. Try 'list' for all commands
2023-04-26 12:36:36 +0200 <ariady[m]> list
2023-04-26 12:36:45 +0200 <ariady[m]> help list
2023-04-26 12:37:06 +0200 <ariady[m]> lambdabot: @list
2023-04-26 12:37:06 +0200 <lambdabot> What module? Try @listmodules for some ideas.
2023-04-26 12:37:17 +0200 <ariady[m]> @listmodules
2023-04-26 12:37:17 +0200 <lambdabot> activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search
2023-04-26 12:37:17 +0200 <lambdabot> seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where
2023-04-26 12:37:50 +0200 <ariady[m]> @undo [[x,y] | x <- [1,2], y <- [1,2]]
2023-04-26 12:37:50 +0200 <lambdabot> concatMap (\ x -> concatMap (\ y -> [[x, y]]) [1, 2]) [1, 2]
2023-04-26 12:39:57 +0200 <ariady[m]> @undo let n = [1..3] in [[x,y,z] | x <- n, y <- n, z <- n]
2023-04-26 12:39:58 +0200 <lambdabot> let { n = [1 .. 3]} in concatMap (\ x -> concatMap (\ y -> concatMap (\ z -> [[x, y, z]]) n) n) n
2023-04-26 12:45:22 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 12:48:01 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2023-04-26 12:48:09 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-04-26 12:58:25 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-04-26 13:02:25 +0200cheater_(~Username@user/cheater)
2023-04-26 13:03:45 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-04-26 13:03:49 +0200cheater_cheater
2023-04-26 13:08:16 +0200xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-04-26 13:21:08 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
2023-04-26 13:25:12 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 13:32:54 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 13:33:13 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 13:33:57 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-04-26 13:36:40 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-04-26 13:38:52 +0200aeroplane(~user@user/aeroplane)
2023-04-26 13:44:14 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 13:44:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 13:45:36 +0200__monty__(~toonn@user/toonn)
2023-04-26 13:50:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6525:d96f:48d2:80f6) (Ping timeout: 248 seconds)
2023-04-26 13:52:31 +0200lortabac(~lortabac@37.171.190.168)
2023-04-26 13:54:21 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-04-26 13:58:34 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:4156:1a65:5694:85cf) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-04-26 13:59:16 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:adb5:c76d:d6c1:df1)
2023-04-26 13:59:20 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-04-26 14:04:23 +0200 <dminuoso> Mmm, I would really like to get the peername for a unix domain socket in a warp application. It seems I would have to rip first class support into warp for this.
2023-04-26 14:04:48 +0200 <dminuoso> What alternatives might I have? It would be lovely if nginx could get the peername and inject it as a HTTP header, but I couldnt find any such option
2023-04-26 14:09:48 +0200 <aeroplane> what is a warp application?
2023-04-26 14:09:48 +0200lortabac(~lortabac@37.171.190.168) (Read error: Connection reset by peer)
2023-04-26 14:10:00 +0200 <aeroplane> just curious
2023-04-26 14:12:03 +0200 <probie> A WAI app which uses Warp to serve it
2023-04-26 14:14:58 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b01:1242:9428:b0b8)
2023-04-26 14:15:39 +0200 <aeroplane> ok I got it, its a haskell http server library
2023-04-26 14:17:36 +0200CiaoSen(~Jura@p200300c5af1d63002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-26 14:21:17 +0200namiroff_(~namiroff@31.223.145.39)
2023-04-26 14:25:00 +0200Square(~Square4@user/square)
2023-04-26 14:28:07 +0200pyook(~puke@user/puke) (Ping timeout: 276 seconds)
2023-04-26 14:41:44 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
2023-04-26 14:43:12 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-04-26 14:43:48 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-26 14:44:12 +0200yurideabreu(~yurideabr@189.6.27.58)
2023-04-26 14:44:29 +0200yurideabreumagus
2023-04-26 14:44:43 +0200magusmaguss
2023-04-26 14:44:57 +0200magussmagus
2023-04-26 14:45:00 +0200magusmaguss
2023-04-26 14:46:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-04-26 14:47:01 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 14:47:08 +0200 <maguss> Hi guys. I am having trouble understanding how to make VScode with HLS find the Reflex Platform modules. I have made it work once, but when the Haskell extension installed its cabal, GHC and HLS it stopped working. How can I debug this?
2023-04-26 14:47:52 +0200nate1(~nate@98.45.169.16)
2023-04-26 14:48:09 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 14:51:35 +0200 <Axman6> have you built the project using cabal or stack yet?
2023-04-26 14:52:27 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2023-04-26 14:52:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-04-26 14:54:04 +0200pyook(~puke@user/puke)
2023-04-26 14:55:26 +0200 <jade[m]> I'm a little confused about the role core and c-- play in the compilation process. I understand why these exist of course, but why do they exist as "source" files?
2023-04-26 14:55:26 +0200 <jade[m]> As I understand it, we have `Haskell Source -> Parse Haskell AST -> Write Core -> Parse Core AST -> Write C-- -> Parse C-- AST -> Write ASM`, but why does it not directly transform between the different "types" of AST like `Haskell Source -> Parse Haskell AST -> Transform into Core AST -> Transform into C-- AST -> Write ASM`?
2023-04-26 14:58:46 +0200 <dminuoso> jade[m]: If I had to guess just simplicity of the modular design.
2023-04-26 14:59:14 +0200 <dminuoso> Realistically its not even close to a hot spot
2023-04-26 14:59:46 +0200 <dminuoso> and it may also have some historical relevance
2023-04-26 15:00:42 +0200 <dminuoso> Perhaps this has also caching opportunities
2023-04-26 15:00:59 +0200 <dminuoso> Since if you somehow know the artifact is still in tact, you can resume the pipeline from any stage if the artifacts are kept
2023-04-26 15:04:05 +0200gurkenglas(~gurkengla@dynamic-046-114-002-228.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
2023-04-26 15:06:08 +0200 <chreekat> whoa, does it really write out the intermediate files somewhere?
2023-04-26 15:06:52 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 15:06:57 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-04-26 15:07:07 +0200 <dminuoso> Yup
2023-04-26 15:07:14 +0200 <dminuoso> See GHC/Driver/Pipeline.hs
2023-04-26 15:07:57 +0200 <carbolymer> what's the analogue cabal command to:
2023-04-26 15:07:57 +0200 <carbolymer> stack test --ta '--hedgehog-replay "Size 100 Seed 15737640735508047734 16943050916655939693" -p "your_spec_name"'
2023-04-26 15:08:36 +0200 <jade[m]> wait, does it write and then re-parse the files in another component
2023-04-26 15:08:39 +0200 <carbolymer> carbolymer: --test-options
2023-04-26 15:08:42 +0200 <carbolymer> carbolymer:
2023-04-26 15:08:44 +0200 <carbolymer> thx
2023-04-26 15:08:44 +0200 <jade[m]> or does it write it out but internally keeps the AST
2023-04-26 15:08:51 +0200 <tomsmeding> dminuoso: X doubt
2023-04-26 15:09:30 +0200 <tomsmeding> I just ran 'strace -o log -f ghc tmp.hs' on some small file and the only non-RDONLY open()s I see are for /tmp/ghc.../ghc_2.s, tmp.hi and tmp.o.tmp
2023-04-26 15:09:46 +0200jero98772(~jero98772@2800:484:1d84:9000::2)
2023-04-26 15:09:47 +0200Guest5252(~rs@p200300cf072e68ea6b29732cbdb21e80.dip0.t-ipconnect.de) (Quit: Client closed)
2023-04-26 15:09:58 +0200 <tomsmeding> presumably the first is assembly, the second is the interface file and the third is (after inspection) an output file of gcc
2023-04-26 15:10:05 +0200 <dminuoso> tomsmeding: Mmm!
2023-04-26 15:10:49 +0200 <dminuoso> tomsmeding: This is curious, no matter how I look at it, this seems to connect the pipeline phases together via file paths
2023-04-26 15:10:52 +0200 <dminuoso> At least from the source code
2023-04-26 15:11:07 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 15:11:25 +0200 <dminuoso> See pipelineStart (note how it calls things like cmmPipeline)
2023-04-26 15:11:34 +0200 <dminuoso> cmmPipeline :: P m => PipeEnv -> HscEnv -> FilePath -> m FilePath
2023-04-26 15:11:34 +0200 <tomsmeding> ah, ghc_2.s goes into gcc -x assembler which spawns as which writes tmp.o.tmp, which later gets renamed to tmp.o
2023-04-26 15:11:47 +0200 <tomsmeding> so no cmm in sight
2023-04-26 15:15:17 +0200 <tomsmeding> dminuoso: doesn't that just call into fullPipeline
2023-04-26 15:15:26 +0200 <tomsmeding> the fromPhase thing is called on the _start_ phase
2023-04-26 15:15:43 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 15:17:13 +0200tomsmedinghas never looked at this code before so yields to dminuoso again :p
2023-04-26 15:19:16 +0200 <dminuoso> tomsmeding: Ohh!
2023-04-26 15:19:19 +0200 <dminuoso> I think you're right.
2023-04-26 15:19:32 +0200 <dminuoso> This looks just like the infrastructure to resume compilation from some earlier output
2023-04-26 15:22:13 +0200 <maguss> @Axman6 I have ran ./try-reflex and ran vscode. I am trying to use GHCJS to build the calculator project in https://github.com/reflex-frp/reflex-platform
2023-04-26 15:22:13 +0200 <lambdabot> Unknown command, try @list
2023-04-26 15:22:20 +0200 <jade[m]> hm ok
2023-04-26 15:22:42 +0200 <jade[m]> my bigger question was originally how to use utilize GHC to compile from core
2023-04-26 15:23:03 +0200 <jade[m]> essentially using it as a library, does GHC expose an api for that?
2023-04-26 15:23:18 +0200mncheck(~mncheck@193.224.205.254)
2023-04-26 15:23:20 +0200 <maguss> to Axman6: I have ran ./try-reflex and ran vscode. I am trying to use GHCJS to build the calculator project in https://github.com/reflex-frp/reflex-platform
2023-04-26 15:24:56 +0200 <geekosaur> jade[m], external core used to be a thing but was removed due to complexity and lack of use. (actual core is an AST, not textual)
2023-04-26 15:25:20 +0200 <jade[m]> mhm yeah
2023-04-26 15:25:51 +0200 <jade[m]> so can I essentially use GHC's internal core ast and write a function to convert my AST to that and pass it along to GHC?
2023-04-26 15:25:55 +0200 <jade[m]> or is that not possible?
2023-04-26 15:26:15 +0200 <dminuoso> jade[m]: Yes it is perfectly possible
2023-04-26 15:27:00 +0200 <jade[m]> very cool
2023-04-26 15:27:34 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 15:28:42 +0200 <dminuoso> Im not entirely sure whether this actually works from the GHC executable itself, but you can just use ghc as a library
2023-04-26 15:28:51 +0200 <jade[m]> yep
2023-04-26 15:29:37 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-04-26 15:29:48 +0200 <dminuoso> jade[m]: ah not even that, ghc supports it already
2023-04-26 15:29:49 +0200 <tomsmeding> dminuoso: yeah indeed
2023-04-26 15:29:56 +0200 <dminuoso> https://downloads.haskell.org/ghc/latest/docs/users_guide/using.html#meaningful-file-suffixes
2023-04-26 15:30:16 +0200 <dminuoso> https://downloads.haskell.org/ghc/latest/docs/users_guide/using.html#batch-compiler-mode
2023-04-26 15:30:49 +0200 <dminuoso> jade[m]: So it seems like I was wrong. GHC in general does not generate intermediate files, but it *capable* of dumping and starting from any phase.
2023-04-26 15:30:58 +0200 <jade[m]> mhm
2023-04-26 15:31:00 +0200 <jade[m]> thanks a lot
2023-04-26 15:31:01 +0200 <dminuoso> But doesnt do so by default.
2023-04-26 15:31:06 +0200 <dminuoso> It's pretty cool :)
2023-04-26 15:31:12 +0200 <tomsmeding> dminuoso: what is the suffix for starting from core then?
2023-04-26 15:31:18 +0200 <jade[m]> this also makes more sense and was what I expected it to do
2023-04-26 15:31:29 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-04-26 15:31:32 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net)
2023-04-26 15:31:34 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-04-26 15:31:58 +0200 <dminuoso> tomsmeding: doesnt seem to be documented
2023-04-26 15:32:07 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 15:32:48 +0200 <dminuoso> Ah mm
2023-04-26 15:33:36 +0200 <dminuoso> Maybe core doesnt actually exist?
2023-04-26 15:33:59 +0200 <tomsmeding> it was a lie all along
2023-04-26 15:34:20 +0200 <tomsmeding> dminuoso: compiler/GHC/Driver/Phases.hs startPhase
2023-04-26 15:34:49 +0200 <dminuoso> tomsmeding: Right, but I dont see any core phase
2023-04-26 15:34:54 +0200 <tomsmeding> indeed
2023-04-26 15:35:03 +0200 <dminuoso> It seems like core is really internal to the hs phase.
2023-04-26 15:35:16 +0200 <tomsmeding> yeah there's even no corresponding constructor in Phase
2023-04-26 15:36:18 +0200 <dminuoso> Or I dont know
2023-04-26 15:36:23 +0200 <dminuoso> whats the output of the haskell phase?
2023-04-26 15:36:23 +0200 <tomsmeding> chreekat: don't worry, it doesn't
2023-04-26 15:36:38 +0200 <dminuoso> If the haskell phase puts out core, all should be good again
2023-04-26 15:36:52 +0200 <dminuoso> It just means you cant generate core and have the simplifier play with it
2023-04-26 15:36:55 +0200tomsmedinghas a hard time understanding this code
2023-04-26 15:37:56 +0200 <tomsmeding> or is this hscPipeline?
2023-04-26 15:38:00 +0200 <tomsmeding> outputting a ModIface
2023-04-26 15:38:15 +0200 <tomsmeding> hm no that's too much
2023-04-26 15:38:26 +0200 <dminuoso> Well the input to As should be cmm
2023-04-26 15:38:58 +0200 <dminuoso> There's something strange here
2023-04-26 15:39:04 +0200 <dminuoso> There's certainly a CmmCpp phase
2023-04-26 15:39:10 +0200 <dminuoso> But nothing ever connects to it
2023-04-26 15:39:28 +0200 <dminuoso> Maybe this is just a start phase to inject arbitrary cmm into the compiler?
2023-04-26 15:40:35 +0200 <carbolymer> how do I convert `Pico` to microseconds Int?
2023-04-26 15:41:00 +0200 <carbolymer> or NominalDiffTime -> Int
2023-04-26 15:41:06 +0200 <tomsmeding> dminuoso: runPhase in GHC.Driver.Pipeline.Execute
2023-04-26 15:43:33 +0200dminuosowonders why there is no `instance Integral (Fixed a)`
2023-04-26 15:43:51 +0200tomsmedingwas looking for the same
2023-04-26 15:44:05 +0200 <dminuoso> carbolymer: well you can just unwrap the Integral.
2023-04-26 15:44:12 +0200 <tomsmeding> *Integer
2023-04-26 15:44:16 +0200 <dminuoso> Indeed.
2023-04-26 15:44:49 +0200 <dminuoso> tomsmeding: Ah I guess something something quotRem prevents that instance?
2023-04-26 15:44:56 +0200 <tomsmeding> there is toRational in Real
2023-04-26 15:45:00 +0200 <tomsmeding> carbolymer: ^
2023-04-26 15:45:34 +0200 <tomsmeding> dminuoso: because you might need infinite precision?
2023-04-26 15:46:00 +0200 <tomsmeding> doesn't fly, it implements Fractional
2023-04-26 15:46:25 +0200 <mauke> > 42 :: NominalDiffTime
2023-04-26 15:46:25 +0200 <carbolymer> tomsmeding: you mean Rational?
2023-04-26 15:46:27 +0200 <lambdabot> error:
2023-04-26 15:46:27 +0200 <lambdabot> Not in scope: type constructor or class ‘NominalDiffTime’
2023-04-26 15:46:44 +0200 <dminuoso> carbolymer: Just unwrap the Fixed.
2023-04-26 15:46:48 +0200 <tomsmeding> carbolymer: no, the Real class has a toRational method with type Real a => a -> Rational
2023-04-26 15:47:03 +0200 <carbolymer> >.>
2023-04-26 15:47:04 +0200 <dminuoso> carbolymer: then you can multiply by 1e6, check whether it exceeds Int, and then use.
2023-04-26 15:47:08 +0200 <mauke> wouldn't you just multiply by 1e6 and floor?
2023-04-26 15:47:15 +0200 <carbolymer> yeah
2023-04-26 15:47:16 +0200 <carbolymer> >floor $ toRational (0.123456789 :: NominalDiffTime) * 1000000 :: Int
2023-04-26 15:47:20 +0200 <carbolymer> seems to be working
2023-04-26 15:47:28 +0200 <mauke> why toRational?
2023-04-26 15:47:41 +0200 <tomsmeding> mauke: what's the alternative, besides unwrapping the MkFixed
2023-04-26 15:47:43 +0200 <carbolymer> mauke: right, it's redundant
2023-04-26 15:47:54 +0200 <tomsmeding> oh there, I see
2023-04-26 15:47:57 +0200 <dminuoso> The toRational seems odd
2023-04-26 15:48:05 +0200 <dminuoso> But oh well.
2023-04-26 15:48:22 +0200 <tomsmeding> haskell numeric hierarchy weirdness strikes again
2023-04-26 15:48:29 +0200 <dminuoso> tomsmeding: ohh, I understand why there's no toIntegral.
2023-04-26 15:48:32 +0200 <dminuoso> *Integral
2023-04-26 15:48:33 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 15:48:36 +0200 <tomsmeding> Integer
2023-04-26 15:49:04 +0200 <dminuoso> tomsmeding: it cant possibly ever be a left inversee for fromInteger.
2023-04-26 15:49:14 +0200 <tomsmeding> I see
2023-04-26 15:49:30 +0200 <dminuoso> So you would have `fromInteger (toInteger i) /= i`
2023-04-26 15:49:38 +0200 <dminuoso> However, to be fair, Integral doesnt formally have any laws...
2023-04-26 15:49:52 +0200 <tomsmeding> yeah but it seems sensible to assume this as a law that should at least mostly hold
2023-04-26 15:50:07 +0200 <tomsmeding> Nan-ish stuff aside, when applicable, perhaps
2023-04-26 15:50:18 +0200 <dminuoso> It would also seem sensible to have some obvious way of doing this.
2023-04-26 15:50:40 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2023-04-26 15:50:44 +0200 <dminuoso> Asking for a `floor` of some `Fixed E9` seems reasonable
2023-04-26 15:50:55 +0200 <dminuoso> Do we have RealFrac?
2023-04-26 15:50:59 +0200 <tomsmeding> yes
2023-04-26 15:51:05 +0200 <tomsmeding> but surely that will round
2023-04-26 15:51:10 +0200 <tomsmeding> i.e. throw away your microsecond precision
2023-04-26 15:51:29 +0200 <dminuoso> Then I guess going through toRational *is* the only sensible thing to dot
2023-04-26 15:52:25 +0200 <mauke> > 1 :: Pico
2023-04-26 15:52:27 +0200 <lambdabot> 1.000000000000
2023-04-26 15:53:08 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 15:53:17 +0200 <geekosaur> > toEnum 1 :: Pico
2023-04-26 15:53:19 +0200 <lambdabot> 0.000000000001
2023-04-26 15:53:20 +0200 <mauke> > floor ((1 :: Pico) * 1e6)
2023-04-26 15:53:22 +0200 <lambdabot> 1000000
2023-04-26 15:53:33 +0200thegeekinside(~thegeekin@189.180.38.222)
2023-04-26 15:53:35 +0200 <dminuoso> Though I would just unwrap the Fixed.
2023-04-26 15:53:48 +0200 <tomsmeding> > fromEnum (1 :: Pico)
2023-04-26 15:53:50 +0200 <lambdabot> 1000000000000
2023-04-26 15:53:52 +0200 <dminuoso> But I dont know, you might want rational precision
2023-04-26 15:53:59 +0200 <tomsmeding> how about abusing Enum lol
2023-04-26 15:53:59 +0200 <dminuoso> tomsmeding: gosh.
2023-04-26 15:54:02 +0200 <dminuoso> haha
2023-04-26 15:54:04 +0200 <dminuoso> was about to say yes
2023-04-26 15:54:14 +0200 <dminuoso> % :t fromEnum
2023-04-26 15:54:14 +0200 <yahb2> fromEnum :: Enum a => a -> Int
2023-04-26 15:54:14 +0200 <tomsmeding> :t fromEnum
2023-04-26 15:54:15 +0200 <lambdabot> Enum a => a -> Int
2023-04-26 15:54:22 +0200 <tomsmeding> yeah issue being that the codomain is Int there
2023-04-26 15:54:50 +0200 <dminuoso> fromEnum shouldnt exist
2023-04-26 15:55:18 +0200tomsmedinghas a meeting and will be afk
2023-04-26 15:55:29 +0200 <dminuoso> I feel like Enum should only have functions that dont mention Int.
2023-04-26 15:55:45 +0200 <dminuoso> succ, pred, enumFrom, enumFromThen, enumFromTo, enumFromThenTo
2023-04-26 15:56:19 +0200 <dminuoso> Those things capture what Enum is about. fromEnum/toEnum are just the hackiest bolted in of C-style enumerations brought into the same typeclass because they share the letters "enum" in their name./
2023-04-26 15:57:52 +0200acidjnk(~acidjnk@p200300d6e715c48190549dfddbb09d76.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-26 16:00:43 +0200ddellacosta(~ddellacos@static-198-44-136-216.cust.tzulo.com) (Quit: WeeChat 3.8)
2023-04-26 16:00:59 +0200gurkenglas(~gurkengla@dynamic-046-114-002-228.46.114.pool.telefonica.de)
2023-04-26 16:01:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-04-26 16:04:58 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-26 16:05:40 +0200nick4(~nick@50.86.118.19)
2023-04-26 16:05:57 +0200nschoe(~q@2a01:e0a:8e:a190:557c:56ba:3dd0:6c62)
2023-04-26 16:07:20 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3488:c18b:7c02:d36f)
2023-04-26 16:08:07 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-04-26 16:08:16 +0200ddellacosta(~ddellacos@static-198-44-136-216.cust.tzulo.com)
2023-04-26 16:09:35 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 16:11:22 +0200Me-me(~Me-me@user/me-me) (Quit: Something has gone terribly, terribly wrong, that being that I'm not here any more.)
2023-04-26 16:11:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:3488:c18b:7c02:d36f) (Ping timeout: 250 seconds)
2023-04-26 16:11:52 +0200namiroff_(~namiroff@31.223.145.39) (Read error: Connection reset by peer)
2023-04-26 16:13:04 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2023-04-26 16:14:08 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 16:14:37 +0200rf(~rf@2605:59c8:1604:2210:835d:96ae:399e:aaae)
2023-04-26 16:17:19 +0200mc47(~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds)
2023-04-26 16:18:10 +0200 <Axman6> @hoogle e -> Maybe a -> Either e a
2023-04-26 16:18:10 +0200 <lambdabot> Data.Either.Combinators maybeToRight :: b -> Maybe a -> Either b a
2023-04-26 16:18:10 +0200 <lambdabot> Rebase.Prelude maybeToRight :: () => b -> Maybe a -> Either b a
2023-04-26 16:18:11 +0200 <lambdabot> Network.Haskoin.Util maybeToEither :: b -> Maybe a -> Either b a
2023-04-26 16:24:05 +0200 <dminuoso> Axman6: Also often called `note`
2023-04-26 16:24:26 +0200 <ncf> dminuoso: i wouldn't call it a hack... it's simply requiring that the type has a specified isomorphism to ℤ (or ℤ/nℤ) instead of merely being a ℤ- (or ℤ/nℤ-)torsor
2023-04-26 16:24:28 +0200 <dminuoso> as a suggestive wordplay, together with hush :: Either a b -> Maybe b
2023-04-26 16:24:52 +0200 <ncf> which you could argue is unnecessary if all we care about is the action, but in haskell it just makes things more convenient
2023-04-26 16:25:19 +0200 <dminuoso> ncf: it is a hack because requirement is not satisfied by pretty much any instance.
2023-04-26 16:25:22 +0200 <ncf> it's much more problematic that succ and pred are partial imo
2023-04-26 16:25:38 +0200 <dminuoso> And I have not read that requirement anywhere either.
2023-04-26 16:25:44 +0200 <dminuoso> It's at best wishful thinking
2023-04-26 16:26:05 +0200 <ncf> well, i'd expect any lawful instance to at least be a retract of Int
2023-04-26 16:26:18 +0200nick4(~nick@50.86.118.19) (Ping timeout: 255 seconds)
2023-04-26 16:26:29 +0200 <ncf> as in fromEnum . toEnum = id
2023-04-26 16:26:52 +0200 <dminuoso> Sure, and what does toEnum even mean then?
2023-04-26 16:27:08 +0200 <ncf> er sorry, the other way around
2023-04-26 16:27:09 +0200 <dminuoso> The naming of it and the behavior deriving generated instances clearly demonstrate the intent.
2023-04-26 16:27:15 +0200 <dminuoso> Which is to simulate C-style enumerations.
2023-04-26 16:30:32 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 16:30:53 +0200 <maguss> Is there a channel specific to GHCJS questions?
2023-04-26 16:31:00 +0200 <dminuoso> maguss: not that I know of (yet)
2023-04-26 16:34:10 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 16:38:10 +0200tosyl(~user@103.206.114.124)
2023-04-26 16:39:50 +0200nschoe(~q@2a01:e0a:8e:a190:557c:56ba:3dd0:6c62) (Ping timeout: 250 seconds)
2023-04-26 16:40:36 +0200nick4(~nick@50.86.118.19)
2023-04-26 16:45:24 +0200acidjnk(~acidjnk@p200300d6e715c4336965881302acf76a.dip0.t-ipconnect.de)
2023-04-26 16:46:23 +0200Sgeo(~Sgeo@user/sgeo)
2023-04-26 16:49:36 +0200jonathan_(~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Ping timeout: 248 seconds)
2023-04-26 16:50:18 +0200 <maguss> dminuoso: Thanks!
2023-04-26 16:50:38 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 16:51:05 +0200user(~user@103.206.114.114)
2023-04-26 16:51:08 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-04-26 16:51:38 +0200Digitteknohippie(~user@user/digit)
2023-04-26 16:52:25 +0200Digit(~user@user/digit) (Ping timeout: 240 seconds)
2023-04-26 16:52:47 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 16:52:51 +0200tosyl(~user@103.206.114.124) (Ping timeout: 255 seconds)
2023-04-26 16:56:22 +0200usertosyl
2023-04-26 16:56:35 +0200DigitteknohippieDigit
2023-04-26 16:59:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b01:1242:9428:b0b8) (Quit: WeeChat 2.8)
2023-04-26 17:02:52 +0200krei-se(~krei-se@31.6.41.56) (Ping timeout: 265 seconds)
2023-04-26 17:04:45 +0200krei-se(~krei-se@p57af2733.dip0.t-ipconnect.de)
2023-04-26 17:08:48 +0200y04nn(~username@2a03:1b20:5:f011::aaae)
2023-04-26 17:10:38 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 17:10:51 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 255 seconds)
2023-04-26 17:12:45 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-04-26 17:13:23 +0200jonathan_(~jonathan@h-176-10-144-60.NA.cust.bahnhof.se)
2023-04-26 17:13:43 +0200nomadalgia(~nomadalgi@dhcp-077-251-039-086.chello.nl)
2023-04-26 17:15:38 +0200 <justsomeguy> Does this sound correct? (>>=) is a HOF that takes a wrapped vaule, and (a function that takes an unwrapped vaule as input and returns a wrapped value as output), and then returns a wrapped vaule.
2023-04-26 17:15:47 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-26 17:15:56 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 17:16:25 +0200 <dminuoso> justsomeguy: Not reallz.
2023-04-26 17:16:53 +0200thelibertine(~libertine@105.48.185.209)
2023-04-26 17:17:06 +0200y04nn(~username@2a03:1b20:5:f011::aaae) (Remote host closed the connection)
2023-04-26 17:17:06 +0200 <dminuoso> But mostly because I think calling it "wrapped" is wrong or misleading.
2023-04-26 17:17:08 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 17:17:26 +0200nomadalgia(~nomadalgi@dhcp-077-251-039-086.chello.nl) (Client Quit)
2023-04-26 17:18:00 +0200nschoe(~q@2a01:e0a:8e:a190:a405:7910:3dee:868e)
2023-04-26 17:18:12 +0200 <justsomeguy> If I said "A vaule enclosed in a type constructor of one argument" rather than "wrapped" would it make sense?
2023-04-26 17:18:24 +0200rf(~rf@2605:59c8:1604:2210:835d:96ae:399e:aaae) (Ping timeout: 250 seconds)
2023-04-26 17:18:36 +0200 <justsomeguy> Erm, data constructor, rather.
2023-04-26 17:18:52 +0200artem_[m]Artem[m]
2023-04-26 17:19:06 +0200 <justsomeguy> I guess I should just dispense with the metaphors entirely until I understand the thing.
2023-04-26 17:19:09 +0200 <c_wraith> justsomeguy: but no such value needs to exist
2023-04-26 17:19:16 +0200 <dminuoso> justsomeguy: Yes! That's the first good step.
2023-04-26 17:19:23 +0200 <dminuoso> The metaphors are indeed not helpful.
2023-04-26 17:19:38 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl)
2023-04-26 17:19:38 +0200 <geekosaur> there is no guaranteed value there. for IO it's best thought of as a callback to be applied when a value becomes available
2023-04-26 17:20:36 +0200 <c_wraith> like... where's the value in ((+1) >>= (*)) ?
2023-04-26 17:22:48 +0200 <dminuoso> justsomeguy: Forcibly trying to see the pattern before studying individual instances is a helpless excercise. It's like trying to understand what abstract algebra is about before you practice adding or multipying numbers.
2023-04-26 17:23:41 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2023-04-26 17:23:50 +0200 <dminuoso> It's much more sensible to just start using concrete instances like IO or Maybe (just like its useful to start adding natural numbers), and then you maybe explore other instances. For each individual instance, its behavior can be described without metaphors, but concretely.
2023-04-26 17:24:14 +0200 <dminuoso> The pattern will emerge on its own eventually the more instances you start using.
2023-04-26 17:24:50 +0200 <dminuoso> And more importantly, most individual instances can be fully understood in just a minute or two.
2023-04-26 17:24:55 +0200 <dminuoso> It's very effecftive.
2023-04-26 17:26:17 +0200 <justsomeguy> I guess my next step is to find a bunch of instances on Hoogle and try them all out.
2023-04-26 17:26:19 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl) (Read error: Connection reset by peer)
2023-04-26 17:27:00 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-04-26 17:27:00 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl)
2023-04-26 17:30:31 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-04-26 17:31:27 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl) (Client Quit)
2023-04-26 17:31:42 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl)
2023-04-26 17:35:36 +0200rf(~rf@2605:59c8:1604:2210:4a2b:fc:eab3:8901)
2023-04-26 17:35:47 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 17:36:59 +0200maguss(~yurideabr@189.6.27.58) (Ping timeout: 260 seconds)
2023-04-26 17:37:04 +0200 <tomsmeding> can one put a standalone kind signature on an associated type family?
2023-04-26 17:37:24 +0200 <tomsmeding> to make matters more complicated, I also want the thing to have a functional dependency
2023-04-26 17:39:13 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 17:39:26 +0200 <dminuoso> Will this discussion end with you using CPP inside of TemplateHaskell, in a standalone kind signature on an associated tyfam?
2023-04-26 17:39:35 +0200 <tomsmeding> lol
2023-04-26 17:39:36 +0200 <tomsmeding> no
2023-04-26 17:40:11 +0200 <dminuoso> But you have to admit, this is just missing typed TH splices, maybe involving ScopedTypeVariables captured variables
2023-04-26 17:40:21 +0200 <dminuoso> (These two are extremely buggy together by the way)
2023-04-26 17:40:27 +0200dminuosohas crashed many GHCs that way
2023-04-26 17:40:38 +0200 <dminuoso> in combination that is.
2023-04-26 17:40:39 +0200 <tomsmeding> what, typed TH splices?
2023-04-26 17:41:02 +0200 <tomsmeding> I know that I'm notorious for asking weird questions but there is no TH here, trust me
2023-04-26 17:41:28 +0200 <tomsmeding> I want to have an associated type family with a functional dependency but with result kind unequal to Type
2023-04-26 17:41:44 +0200 <tomsmeding> or is that just not a thing
2023-04-26 17:42:15 +0200thelibertine(~libertine@105.48.185.209) (Quit: Leaving)
2023-04-26 17:42:23 +0200 <tomsmeding> the ghc user guide is quite silent about the combination, on the topic of fundeps, tyfams as well as standalone kindsigs
2023-04-26 17:43:41 +0200 <eldritchcookie[m> this is probably something really stupid that i am forgetting but why does this... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/330bbb6c98d4e3a984ec7bd726e1efd9c49b…>)
2023-04-26 17:44:24 +0200potato44(uid421314@id-421314.lymington.irccloud.com)
2023-04-26 17:49:20 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds)
2023-04-26 17:50:37 +0200hgolden_(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving)
2023-04-26 17:50:49 +0200vglfr(~vglfr@37.73.153.49)
2023-04-26 17:50:52 +0200hgolden_(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-04-26 17:53:29 +0200 <dminuoso> (State [e -> Eff (State [e -> Eff es ()] : es) ()] :> es)
2023-04-26 17:53:36 +0200maguss(~yurideabr@191.56.51.174)
2023-04-26 17:53:40 +0200 <dminuoso> That looks awfully wrong.
2023-04-26 17:54:02 +0200 <eldritchcookie[m> yeah it does
2023-04-26 17:54:03 +0200 <dminuoso> eldritchcookie[m: whats the type of `act`?
2023-04-26 17:54:31 +0200 <dminuoso> But gosh
2023-04-26 17:54:38 +0200 <dminuoso> How people willingly use these effect systems is beyond me
2023-04-26 17:55:00 +0200 <eldritchcookie[m> it should be e -> Eff localEs ()
2023-04-26 17:55:23 +0200 <[Leary]> tomsmeding: Why standalone? You can write e.g. `class ... where { type Foo (a :: Type) (b :: k) = (r :: k) | r -> a b; ... }`.
2023-04-26 17:55:31 +0200 <dminuoso> eldritchcookie[m: that doesnt look like it nicely unifies with localUnlift
2023-04-26 17:56:18 +0200nick4(~nick@50.86.118.19) (Ping timeout: 255 seconds)
2023-04-26 17:56:32 +0200 <dminuoso> eldritchcookie[m: ahh yes, the modify is strange.
2023-04-26 17:57:02 +0200 <dminuoso> Or maybe not. Ill just stop my head is spinning
2023-04-26 17:59:48 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 18:01:58 +0200maguss(~yurideabr@191.56.51.174) (Read error: Connection reset by peer)
2023-04-26 18:02:35 +0200 <kuribas> dminuoso: to me they look like a fancy way to get dependency injection.
2023-04-26 18:03:42 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl) (Read error: Connection reset by peer)
2023-04-26 18:03:50 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl)
2023-04-26 18:05:11 +0200tok(~user@user/tok) (Remote host closed the connection)
2023-04-26 18:06:02 +0200tok(~user@user/tok)
2023-04-26 18:06:10 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 18:06:56 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 248 seconds)
2023-04-26 18:07:05 +0200maguss(~yurideabr@189.6.27.58)
2023-04-26 18:09:51 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-04-26 18:10:24 +0200crvs(~crvs@212.37.18.202) (Read error: Connection reset by peer)
2023-04-26 18:10:26 +0200wizardng(uid599328@id-599328.hampstead.irccloud.com)
2023-04-26 18:11:00 +0200econo(uid147250@user/econo)
2023-04-26 18:11:17 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 246 seconds)
2023-04-26 18:11:22 +0200 <eldritchcookie[m> the main benefit is the possibility to interpret a effect in multiple ways
2023-04-26 18:12:00 +0200Jonno_FTW(~come@api.carswap.me)
2023-04-26 18:12:00 +0200Jonno_FTW(~come@api.carswap.me) (Changing host)
2023-04-26 18:12:00 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2023-04-26 18:12:01 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-04-26 18:12:24 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-04-26 18:13:25 +0200 <monochrom> Every decoupling is a fancy way to get dependency injection. Every dependency injection is a fancy way to get decoupling. >:)
2023-04-26 18:15:10 +0200nschoe(~q@2a01:e0a:8e:a190:a405:7910:3dee:868e) (Ping timeout: 250 seconds)
2023-04-26 18:16:16 +0200vglfr(~vglfr@37.73.153.49) (Ping timeout: 276 seconds)
2023-04-26 18:16:45 +0200aeroplane(~user@user/aeroplane) (Ping timeout: 240 seconds)
2023-04-26 18:17:36 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 18:17:37 +0200vglfr(~vglfr@37.73.153.49)
2023-04-26 18:17:50 +0200hanabi(~hanabi@dhcp-077-251-039-086.chello.nl) (Read error: Connection reset by peer)
2023-04-26 18:18:08 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-04-26 18:18:20 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 18:21:18 +0200Cale(~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com)
2023-04-26 18:21:57 +0200trev(~trev@user/trev) (Quit: trev)
2023-04-26 18:23:01 +0200 <eldritchcookie[m> cool
2023-04-26 18:23:52 +0200trev(~trev@user/trev)
2023-04-26 18:26:36 +0200mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-04-26 18:27:39 +0200 <zincy> monochrom: How are you defining "decoupling"?
2023-04-26 18:29:50 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds)
2023-04-26 18:31:04 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-04-26 18:32:34 +0200 <eldritchcookie[m> um if i use a type application i get a sensible error
2023-04-26 18:33:07 +0200 <eldritchcookie[m> Couldn't match type ‘es’ with ‘State [e -> Eff es ()] : es’... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/0f801e38738511c04dacd2df5d77e8cd11b9…>)
2023-04-26 18:33:39 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-04-26 18:35:01 +0200vglfr(~vglfr@37.73.153.49) (Ping timeout: 252 seconds)
2023-04-26 18:40:28 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-04-26 18:40:52 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-04-26 18:41:39 +0200 <eldritchcookie[m> so basically i need an infinite type
2023-04-26 18:42:41 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-26 18:43:05 +0200BocaneriGuest6979
2023-04-26 18:43:55 +0200 <Hecate> eldritchcookie[m: could you create a reproducer at play.haskell.org? :)
2023-04-26 18:45:10 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-26 18:45:22 +0200Sauvin(~sauvin@user/Sauvin) (Ping timeout: 265 seconds)
2023-04-26 18:45:34 +0200BocaneriGuest476
2023-04-26 18:46:03 +0200 <eldritchcookie[m> sure just need to learn how, the problem isn't with Effectful but rather that i wanted something impossible
2023-04-26 18:46:21 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2023-04-26 18:46:43 +0200Guest476Sauvin
2023-04-26 18:48:23 +0200Guest6979(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2023-04-26 18:48:35 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-04-26 18:49:24 +0200nate1(~nate@98.45.169.16)
2023-04-26 18:51:21 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2023-04-26 18:53:31 +0200 <eldritchcookie[m> https://play.haskell.org/saved/pOIziSnO
2023-04-26 18:54:01 +0200nate1(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-04-26 18:55:06 +0200 <eldritchcookie[m> basically for my idea to work i would need a a constraint of State [Eff (State (recurse again): es)] :> es
2023-04-26 18:56:33 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
2023-04-26 18:57:05 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-04-26 18:58:40 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2023-04-26 19:01:10 +0200 <Hecate> eldritchcookie[m: indeed that's pretty deep. I would encourage you to ask in https://github.com/haskell-effectful/effectful/discussions
2023-04-26 19:14:20 +0200mud(~mud@user/kadoban) (Remote host closed the connection)
2023-04-26 19:15:23 +0200ubert(~Thunderbi@p548c9793.dip0.t-ipconnect.de) (Quit: ubert)
2023-04-26 19:17:10 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-26 19:17:33 +0200BocaneriGuest1957
2023-04-26 19:17:51 +0200Guest1957Epicycloid
2023-04-26 19:19:17 +0200tosyl(~user@103.206.114.114) (Quit: WeeChat 3.8)
2023-04-26 19:19:33 +0200Sauvin(~sauvin@user/Sauvin) (Ping timeout: 255 seconds)
2023-04-26 19:23:36 +0200maguss(~yurideabr@189.6.27.58) (Ping timeout: 255 seconds)
2023-04-26 19:31:10 +0200 <tomsmeding> [Leary]: the whole point is to make that b not a parameter of the type class
2023-04-26 19:31:47 +0200 <tomsmeding> because otherwise we run into this https://gitlab.haskell.org/ghc/ghc/-/issues/14860
2023-04-26 19:36:54 +0200 <tomsmeding> but it turns out that workaround 2 in the last post to that issue actually solves our problem, so my question has been made redundant :)
2023-04-26 19:46:23 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 19:49:52 +0200Inst(~Inst@2601:6c4:4081:54f0:45f7:243a:3f7e:8aff) (Ping timeout: 248 seconds)
2023-04-26 19:50:39 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2023-04-26 19:52:23 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-04-26 19:53:14 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-04-26 19:56:03 +0200 <jade[m]> When I build the core AST with GHC.Core.CoreExpr, how do I pass it along to ghc to use it to compile further down to cmm and then the backend?
2023-04-26 20:02:58 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 20:03:17 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 20:06:35 +0200mc47(~mc47@xmonad/TheMC47)
2023-04-26 20:12:31 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 20:13:20 +0200pavonia(~user@user/siracusa)
2023-04-26 20:14:05 +0200 <monochrom> zincy: Please consult any software engineering textbook for "tightly coupled" vs "loosely coupled".
2023-04-26 20:14:30 +0200 <monochrom> (With the advice that usually we prefer the loosely one.)
2023-04-26 20:17:01 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-04-26 20:22:52 +0200vizor(~macroVizo@2601:602:77f:f0a0::c38a)
2023-04-26 20:23:38 +0200maguss(~yurideabr@189.6.27.58)
2023-04-26 20:24:32 +0200vglfr(~vglfr@37.73.153.49)
2023-04-26 20:26:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-04-26 20:26:15 +0200 <zincy> There are a ton of working definitions
2023-04-26 20:26:50 +0200 <monochrom> That is OK.
2023-04-26 20:29:27 +0200 <zincy> monochrom: Did you ever get the chance to try lean out yet?
2023-04-26 20:30:56 +0200minigrim0(~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea)
2023-04-26 20:32:05 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-04-26 20:32:24 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-04-26 20:35:54 +0200hugo-(znc@verdigris.lysator.liu.se)
2023-04-26 20:41:53 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-04-26 20:48:00 +0200vglfr(~vglfr@37.73.153.49) (Ping timeout: 248 seconds)
2023-04-26 20:49:40 +0200vglfr(~vglfr@37.73.153.49)
2023-04-26 20:50:03 +0200mei(~mei@user/mei)
2023-04-26 20:51:22 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-04-26 21:05:14 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net)
2023-04-26 21:05:47 +0200slack1256(~slack1256@181.43.95.185)
2023-04-26 21:06:36 +0200codaraxis___(~codaraxis@user/codaraxis)
2023-04-26 21:08:11 +0200codaraxis___(~codaraxis@user/codaraxis) (Max SendQ exceeded)
2023-04-26 21:09:01 +0200codaraxis___(~codaraxis@user/codaraxis)
2023-04-26 21:10:15 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 255 seconds)
2023-04-26 21:10:53 +0200codaraxis___(~codaraxis@user/codaraxis) (Max SendQ exceeded)
2023-04-26 21:11:39 +0200codaraxis___(~codaraxis@user/codaraxis)
2023-04-26 21:13:02 +0200codaraxis__(~codaraxis@user/codaraxis)
2023-04-26 21:15:00 +0200falafel(~falafel@2603-8000-d700-115c-537a-f91e-d604-9800.res6.spectrum.com)
2023-04-26 21:15:45 +0200Bocaneri(~sauvin@user/Sauvin)
2023-04-26 21:15:48 +0200BocaneriSauvin
2023-04-26 21:16:48 +0200codaraxis___(~codaraxis@user/codaraxis) (Ping timeout: 248 seconds)
2023-04-26 21:18:40 +0200Epicycloid(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2023-04-26 21:21:23 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2023-04-26 21:33:07 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection)
2023-04-26 21:33:25 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-04-26 21:34:38 +0200fun-safe-math(~fun-safe-@c-24-22-94-205.hsd1.or.comcast.net) (Quit: Leaving)
2023-04-26 21:42:42 +0200__monty__(~toonn@user/toonn) (Ping timeout: 252 seconds)
2023-04-26 21:44:18 +0200queepeg(~user@88-110-184-186.dynamic.dsl.as9105.com)
2023-04-26 21:45:20 +0200falafel(~falafel@2603-8000-d700-115c-537a-f91e-d604-9800.res6.spectrum.com) (Ping timeout: 250 seconds)
2023-04-26 21:47:13 +0200vizor(~macroVizo@2601:602:77f:f0a0::c38a) (Quit: WeeChat 3.8)
2023-04-26 21:49:48 +0200queepeg(~user@88-110-184-186.dynamic.dsl.as9105.com) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-04-26 21:50:00 +0200 <tomsmeding> jade[m]: I think that's a question for #ghc
2023-04-26 21:52:39 +0200maguss(~yurideabr@189.6.27.58) (Quit: Konversation terminated!)
2023-04-26 21:57:48 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 21:58:11 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net)
2023-04-26 22:09:13 +0200vglfr(~vglfr@37.73.153.49) (Ping timeout: 256 seconds)
2023-04-26 22:13:01 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-26 22:18:11 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-04-26 22:19:23 +0200somerandomnick(~somerando@217.160.36.77)
2023-04-26 22:20:49 +0200Guest4243(~Guest42@95.91.231.168)
2023-04-26 22:21:20 +0200jonathan_(~jonathan@h-176-10-144-60.NA.cust.bahnhof.se) (Ping timeout: 248 seconds)
2023-04-26 22:27:23 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-26 22:32:09 +0200 <Guest4243> @repoint ( . )$( . )
2023-04-26 22:32:10 +0200 <lambdabot> (\ g x g0 x0 -> g x (g0 x0))
2023-04-26 22:32:18 +0200Guest4243(~Guest42@95.91.231.168) (Quit: Connection closed)
2023-04-26 22:42:16 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-04-26 22:43:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-04-26 22:43:55 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-04-26 22:47:05 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-04-26 22:48:15 +0200trev(~trev@user/trev) (Quit: trev)
2023-04-26 22:50:54 +0200nate1(~nate@98.45.169.16)
2023-04-26 22:51:34 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-04-26 22:52:29 +0200 <somerandomnick> @ping
2023-04-26 22:52:29 +0200 <lambdabot> pong
2023-04-26 22:52:31 +0200oo_miguel(~Thunderbi@77-252-46-249.static.ip.netia.com.pl) (Ping timeout: 276 seconds)
2023-04-26 22:55:28 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2023-04-26 23:08:45 +0200tok(~user@user/tok) (Remote host closed the connection)
2023-04-26 23:18:48 +0200somerandomnick(~somerando@217.160.36.77) (Remote host closed the connection)
2023-04-26 23:19:14 +0200somerandomnick(~somerando@217.160.36.77)
2023-04-26 23:36:52 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-26 23:37:16 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds)
2023-04-26 23:39:19 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 276 seconds)
2023-04-26 23:44:01 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-9471-3a9c-c321-b3e4.rev.sfr.net) (Remote host closed the connection)
2023-04-26 23:44:04 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2023-04-26 23:44:59 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8)
2023-04-26 23:45:26 +0200rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca)
2023-04-26 23:46:29 +0200ix(~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe)
2023-04-26 23:49:04 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2023-04-26 23:57:30 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)