IRCBrowse

2023/06/16

2023-06-16 00:09:19 +0200acidjnk(~acidjnk@p200300d6e7072f11fda1cc9dbde3bde1.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-06-16 00:17:10 +0200fbytez(~uid@user/fbytez) (Ping timeout: 265 seconds)
2023-06-16 00:19:48 +0200zazaeil(~zazaeil@91.234.25.217) (Ping timeout: 245 seconds)
2023-06-16 00:24:00 +0200rodental(~rodental@38.146.5.222) (Remote host closed the connection)
2023-06-16 00:24:05 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-16 00:24:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-06-16 00:27:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-16 00:28:30 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-06-16 00:31:59 +0200talismanick(~user@2601:204:ef01:8ca0::a680)
2023-06-16 00:37:09 +0200elain4(~textual@2601:5c0:8200:990:74bf:d62b:128c:c613) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2023-06-16 00:37:28 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving)
2023-06-16 00:45:32 +0200raym(~ray@user/raym) (Ping timeout: 240 seconds)
2023-06-16 00:54:35 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-16 00:55:24 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-16 00:57:41 +0200raym(~ray@user/raym)
2023-06-16 00:58:14 +0200bilegeek(~bilegeek@2600:1008:b0a7:aec6:fca5:112f:bd05:7537)
2023-06-16 00:59:22 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-16 01:02:07 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-16 01:03:56 +0200fbytez(~uid@user/fbytez)
2023-06-16 01:08:44 +0200wroathe(~wroathe@user/wroathe)
2023-06-16 01:11:02 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds)
2023-06-16 01:18:25 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-06-16 01:22:15 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 01:22:29 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2023-06-16 01:27:15 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2023-06-16 01:28:45 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-06-16 01:31:20 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-06-16 01:32:30 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 258 seconds)
2023-06-16 01:34:19 +0200xff0x_(~xff0x@178.255.149.135)
2023-06-16 01:36:23 +0200ddellaco1(~ddellacos@143.244.47.89)
2023-06-16 01:39:30 +0200ddellacosta(~ddellacos@143.244.47.100) (Ping timeout: 260 seconds)
2023-06-16 01:43:31 +0200xff0x_(~xff0x@178.255.149.135) (Ping timeout: 240 seconds)
2023-06-16 01:44:46 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds)
2023-06-16 01:45:41 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net)
2023-06-16 01:46:29 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-06-16 01:50:45 +0200 <SrPx_> https://stackoverflow.com/questions/76486142/how-to-efficiently-enumerate-binary-black-white-trees…
2023-06-16 01:50:51 +0200 <SrPx_> not sure if I should've posted this on CST
2023-06-16 01:52:49 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-06-16 01:56:53 +0200mauke_(~mauke@user/mauke)
2023-06-16 01:57:52 +0200 <probie> SrPx_: what is a black-white binary tree?
2023-06-16 01:58:14 +0200 <SrPx_> it is a thing I define on the thread itself, not some previously existing thing
2023-06-16 01:58:51 +0200 <SrPx_> specifically it is just a binary tree type with the equivalence relation I wrote
2023-06-16 02:00:30 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-06-16 02:00:31 +0200mauke_mauke
2023-06-16 02:07:06 +0200Nosrep(~Nosrep@user/nosrep) (Remote host closed the connection)
2023-06-16 02:11:17 +0200Nosrep(~Nosrep@user/nosrep)
2023-06-16 02:15:34 +0200hisa388(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-16 02:17:21 +0200hisa38(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 258 seconds)
2023-06-16 02:17:21 +0200hisa388hisa38
2023-06-16 02:20:21 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-16 02:22:04 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-16 02:26:45 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-06-16 02:34:09 +0200oneeyedalien(~oneeyedal@120.18.159.41)
2023-06-16 02:37:34 +0200oneeyedalien(~oneeyedal@120.18.159.41) (Changing host)
2023-06-16 02:37:34 +0200oneeyedalien(~oneeyedal@user/oneeyedalien)
2023-06-16 02:44:49 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 02:49:56 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 02:51:51 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 258 seconds)
2023-06-16 02:56:01 +0200Sciencentistguy4(~sciencent@hacksoc/ordinary-member)
2023-06-16 02:57:32 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds)
2023-06-16 02:57:32 +0200Sciencentistguy4Sciencentistguy
2023-06-16 03:08:45 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-16 03:08:45 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-16 03:08:45 +0200wroathe(~wroathe@user/wroathe)
2023-06-16 03:11:02 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-16 03:17:09 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-16 03:38:43 +0200oneeyedalien_(~oneeyedal@120.18.83.110)
2023-06-16 03:41:18 +0200oneeyedalien(~oneeyedal@user/oneeyedalien) (Ping timeout: 258 seconds)
2023-06-16 03:59:45 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2023-06-16 04:04:58 +0200deglazewithcheet(~deglazewi@209-188-121-236.taosnet.com)
2023-06-16 04:05:36 +0200deglazewithcheetshef
2023-06-16 04:11:09 +0200oneeyedalien_(~oneeyedal@120.18.83.110) (Quit: Leaving)
2023-06-16 04:13:20 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-16 04:13:30 +0200cheater_(~Username@user/cheater)
2023-06-16 04:15:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 04:15:48 +0200cheater(~Username@user/cheater) (Ping timeout: 258 seconds)
2023-06-16 04:15:56 +0200cheater_cheater
2023-06-16 04:16:06 +0200razetime(~quassel@117.193.6.167)
2023-06-16 04:16:57 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 258 seconds)
2023-06-16 04:17:49 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-06-16 04:17:49 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-06-16 04:17:49 +0200finn_elijaFinnElija
2023-06-16 04:18:28 +0200cheater_(~Username@user/cheater)
2023-06-16 04:20:20 +0200cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2023-06-16 04:20:23 +0200cheater_cheater
2023-06-16 04:33:49 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:36:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 04:36:13 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:36:15 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:39:15 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:39:18 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:39:35 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:39:55 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:40:44 +0200td_(~td@i53870914.versanet.de) (Ping timeout: 240 seconds)
2023-06-16 04:42:45 +0200td_(~td@i5387090D.versanet.de)
2023-06-16 04:45:36 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 04:48:31 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:48:31 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:55:28 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:55:28 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 04:57:12 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 04:57:12 +0200jgtf(~jgtf@38.49.161.250) (Ping timeout: 258 seconds)
2023-06-16 04:58:51 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-06-16 05:00:23 +0200thegeekinside(~thegeekin@189.217.90.138) (Remote host closed the connection)
2023-06-16 05:00:25 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-06-16 05:00:40 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 05:01:43 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-06-16 05:02:26 +0200mustafa__(sid502723@2a03:5180:f:4::7:abc3) (Server closed connection)
2023-06-16 05:02:41 +0200mustafa__(sid502723@id-502723.hampstead.irccloud.com)
2023-06-16 05:06:04 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Remote host closed the connection)
2023-06-16 05:06:27 +0200mei(~mei@user/mei)
2023-06-16 05:09:56 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 05:11:20 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2023-06-16 05:12:05 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 05:12:05 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 05:15:47 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 05:15:47 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 05:18:44 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-16 05:18:48 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-06-16 05:19:14 +0200califax(~califax@user/califx)
2023-06-16 05:19:45 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-16 05:21:11 +0200shef(~deglazewi@209-188-121-236.taosnet.com) (Quit: WeeChat 3.0)
2023-06-16 05:23:39 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 258 seconds)
2023-06-16 05:31:44 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-16 05:33:43 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-16 05:38:56 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-06-16 05:39:46 +0200bilegeek(~bilegeek@2600:1008:b0a7:aec6:fca5:112f:bd05:7537) (Quit: Leaving)
2023-06-16 05:47:18 +0200hisa387(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-16 05:47:46 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Server closed connection)
2023-06-16 05:48:00 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2023-06-16 05:49:00 +0200hisa38(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds)
2023-06-16 05:49:00 +0200hisa387hisa38
2023-06-16 06:00:36 +0200rando25892(~andor2985@user/rando25892)
2023-06-16 06:01:19 +0200sajith(~sajith@user/sajith) (Server closed connection)
2023-06-16 06:01:41 +0200sajith_(~sajith@user/sajith)
2023-06-16 06:04:35 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-16 06:05:08 +0200razetime(~quassel@117.193.6.167) (Ping timeout: 240 seconds)
2023-06-16 06:09:59 +0200krjst(~krjst@2604:a880:800:c1::16b:8001) (Server closed connection)
2023-06-16 06:11:12 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2023-06-16 06:18:37 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-16 06:19:00 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-16 06:20:13 +0200razetime(~quassel@117.193.6.167)
2023-06-16 06:22:48 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 268 seconds)
2023-06-16 06:23:52 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-06-16 06:27:43 +0200lilata(~lilata@137.184.4.49)
2023-06-16 06:31:54 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (Server closed connection)
2023-06-16 06:32:18 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-06-16 06:43:28 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2023-06-16 06:50:06 +0200mjacob(~mjacob@185.26.156.139) (Server closed connection)
2023-06-16 06:50:18 +0200mjacob(~mjacob@adrastea.uberspace.de)
2023-06-16 06:55:12 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-16 07:15:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 07:16:30 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 07:18:13 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-06-16 07:19:59 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-06-16 07:20:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-06-16 07:21:06 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-16 07:21:30 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-16 07:22:22 +0200trev(~trev@user/trev)
2023-06-16 07:24:51 +0200mei(~mei@user/mei) (Ping timeout: 260 seconds)
2023-06-16 07:26:55 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-16 07:37:51 +0200mncheck(~mncheck@193.224.205.254)
2023-06-16 07:40:12 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-06-16 07:48:34 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-06-16 07:50:05 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 07:55:07 +0200acidjnk(~acidjnk@p200300d6e7072f393cd824ddc905386c.dip0.t-ipconnect.de)
2023-06-16 08:03:19 +0200mei(~mei@user/mei)
2023-06-16 08:05:05 +0200mauke(~mauke@user/mauke) (Ping timeout: 260 seconds)
2023-06-16 08:21:30 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-06-16 08:36:46 +0200robobub_(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-16 08:38:20 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2023-06-16 08:40:01 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-06-16 08:43:31 +0200dvu(~dvu@206.253.143.145)
2023-06-16 08:44:11 +0200Co0kie(~Jura@145.224.73.17)
2023-06-16 08:45:20 +0200shapr(~user@2600:1700:c640:3100:fffb:4059:917:b753) (Ping timeout: 260 seconds)
2023-06-16 08:46:51 +0200cfricke(~cfricke@user/cfricke)
2023-06-16 08:49:26 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-06-16 08:59:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a53f:2e0c:56a9:8152)
2023-06-16 09:00:26 +0200madnight(~madnight@195.201.103.59) (Server closed connection)
2023-06-16 09:00:40 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de)
2023-06-16 09:02:45 +0200nickname(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net)
2023-06-16 09:03:04 +0200michalz(~michalz@185.246.207.200)
2023-06-16 09:07:24 +0200euandreh(~Thunderbi@189.6.18.7) (Remote host closed the connection)
2023-06-16 09:08:45 +0200euandreh(~Thunderbi@189.6.18.7)
2023-06-16 09:15:08 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-06-16 09:16:30 +0200sgarcia_(sgarcia@swarm.znchost.com) (Server closed connection)
2023-06-16 09:16:42 +0200sgarcia(sgarcia@swarm.znchost.com)
2023-06-16 09:17:47 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-06-16 09:18:43 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 09:19:23 +0200zazaeil(~user@91.234.25.217)
2023-06-16 09:19:51 +0200nicknamenickname_
2023-06-16 09:20:02 +0200nickname_NotAServ_
2023-06-16 09:24:48 +0200NotAServ_(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net) ()
2023-06-16 09:26:19 +0200nickname(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net)
2023-06-16 09:27:23 +0200nickname(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net) (Client Quit)
2023-06-16 09:28:26 +0200nickname(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net)
2023-06-16 09:28:46 +0200forell(~forell@user/forell) (Server closed connection)
2023-06-16 09:30:34 +0200forell(~forell@user/forell)
2023-06-16 09:32:53 +0200kuribas(~user@ptr-17d51emp2e95l0xzud9.18120a2.ip6.access.telenet.be)
2023-06-16 09:34:13 +0200 <zazaeil> I am debugging a webserver with help of gchi (stack gchi to be precise, but it shouldn't matter); as it is, after the `:main foo bar baz` gets executed, the webservers starts to dump lots of logs directly to the `ghci`'s `stdout` and it makes me unable to submit further commands into it. does `ghci` offer something to overcome the problem like `gdb` does?
2023-06-16 09:35:10 +0200nicknameNotAServ_
2023-06-16 09:36:14 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-16 09:38:12 +0200boxscape_(~boxscape_@213.52.37.155)
2023-06-16 09:40:11 +0200NotAServ_(~identity@2a02-a420-48-5833-432e-2195-7ecb-2ffd.mobile6.kpn.net) ()
2023-06-16 09:41:44 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection)
2023-06-16 09:42:42 +0200hisa384(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-16 09:42:53 +0200vpan(~0@mail.elitnet.lt)
2023-06-16 09:43:37 +0200 <Axman6> zazaeil: using :main means: run the main that is in scope until it returns, it's a simple way to avoid needing to open up another terminal, it's not really designed to provide interactive cebugging.
2023-06-16 09:43:59 +0200hisa38(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds)
2023-06-16 09:44:00 +0200hisa384hisa38
2023-06-16 09:44:38 +0200 <Axman6> GHCi does have a built in debugger, but it's unlikely it would make sense to use on your whole application, instead you would more likely find running individual handlers or even the functions that they call easier to deal with
2023-06-16 09:44:54 +0200 <Axman6> is there something in particular you're tyring to observe?
2023-06-16 09:48:54 +0200chele(~chele@user/chele)
2023-06-16 09:51:21 +0200zxrom(~zxrom@mm-136-12-212-37.vitebsk.dynamic.pppoe.byfly.by)
2023-06-16 09:51:59 +0200zxrom_(~zxrom@mm-136-12-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds)
2023-06-16 09:52:22 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 09:57:28 +0200ft(~ft@p508dbdef.dip0.t-ipconnect.de) (Quit: leaving)
2023-06-16 09:58:29 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-16 10:00:33 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-06-16 10:03:24 +0200gurkenglas(~user@dynamic-046-114-182-215.46.114.pool.telefonica.de)
2023-06-16 10:07:35 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 10:08:11 +0200Pickchea(~private@user/pickchea)
2023-06-16 10:16:32 +0200 <zazaeil> Axman6: does not seem I am able to cut off a particular bit of code and even if I could, still it would log to the `stdout` lots of information which would make my further keyboard input to the `ghci` impossible. as per the target: I have a concurrency issue at the Postgres level and I am trying to case the workflow (Haskell codebase) that makes it happen. so I kinda need to step over the whole workflow (ideally) and be able on what's
2023-06-16 10:16:32 +0200 <zazaeil> going on "right now".
2023-06-16 10:17:23 +0200gehmehgeh(~user@user/gehmehgeh)
2023-06-16 10:18:20 +0200dcoutts_(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-16 10:21:44 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-16 10:22:17 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-16 10:23:14 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-16 10:24:02 +0200danse-nr3(~francesco@151.46.174.27)
2023-06-16 10:25:08 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2023-06-16 10:28:30 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 252 seconds)
2023-06-16 10:33:16 +0200razetime(~quassel@117.193.6.167) (Ping timeout: 260 seconds)
2023-06-16 10:34:32 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-06-16 10:37:57 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-16 10:38:43 +0200zeenk(~zeenk@2a02:2f04:a106:3c00::7fe)
2023-06-16 10:42:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 10:44:09 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2023-06-16 10:44:55 +0200gehmehgeh(~user@user/gehmehgeh)
2023-06-16 10:46:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds)
2023-06-16 10:49:47 +0200razetime(~quassel@117.193.6.167)
2023-06-16 10:49:58 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-16 10:51:20 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-16 10:53:46 +0200ggranberry(sid267884@2a03:5180:f:5::4:166c) (Server closed connection)
2023-06-16 10:53:54 +0200ggranberry(sid267884@id-267884.uxbridge.irccloud.com)
2023-06-16 10:55:05 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-16 10:58:50 +0200cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-06-16 11:01:22 +0200cheater(~Username@user/cheater)
2023-06-16 11:06:24 +0200cheater_(~Username@user/cheater)
2023-06-16 11:08:25 +0200Alex_test(~al_test@178.34.163.88) (Read error: Connection reset by peer)
2023-06-16 11:08:34 +0200AlexZenon(~alzenon@178.34.163.88) (Read error: Connection reset by peer)
2023-06-16 11:08:37 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-06-16 11:08:38 +0200cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2023-06-16 11:10:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-06-16 11:11:31 +0200Lord_of_Life_Lord_of_Life
2023-06-16 11:12:30 +0200cheater_(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-06-16 11:13:14 +0200razetime(~quassel@117.193.6.167) (Ping timeout: 252 seconds)
2023-06-16 11:13:53 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-16 11:14:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-06-16 11:14:53 +0200 <sm> zazaeil: if the app doesn't have a --quiet flag, you could comment out the logging parts
2023-06-16 11:14:53 +0200AlexZenon(~alzenon@178.34.163.88)
2023-06-16 11:16:01 +0200 <zazaeil> yeah, I could modify the source code, but that is sort of insanity; I hoped there'd be a simplier option.
2023-06-16 11:16:57 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 11:20:04 +0200AlexZenon(~alzenon@178.34.163.88) (Quit: ;-)
2023-06-16 11:20:09 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-06-16 11:21:41 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-06-16 11:21:46 +0200AlexZenon(~alzenon@178.34.163.88)
2023-06-16 11:22:41 +0200cheater_(~Username@user/cheater)
2023-06-16 11:22:41 +0200cheater_cheater
2023-06-16 11:24:22 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 258 seconds)
2023-06-16 11:27:13 +0200razetime(~quassel@117.193.6.182)
2023-06-16 11:28:04 +0200 <Axman6> zazaeil: if the app is using some kind of logging framework, you should be able to suppress logs, or direct them to a file. it's hard to help you if we don't know any details of the specific app though
2023-06-16 11:32:14 +0200titibandit(~titibandi@user/titibandit)
2023-06-16 11:37:41 +0200vulpine(xfnw@tilde.team) (Ping timeout: 246 seconds)
2023-06-16 11:38:11 +0200Momentum(momentum@tilde.team) (Ping timeout: 265 seconds)
2023-06-16 11:38:23 +0200nullsh(nullsh@user/nullsh) (Ping timeout: 260 seconds)
2023-06-16 11:38:29 +0200remsen(ianremsen@tilde.team) (Ping timeout: 240 seconds)
2023-06-16 11:41:28 +0200boxscape_(~boxscape_@213.52.37.155) (Quit: Client closed)
2023-06-16 11:43:46 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-16 11:44:29 +0200raym(~ray@user/raym) (Ping timeout: 240 seconds)
2023-06-16 11:46:55 +0200razetime(~quassel@117.193.6.182) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-06-16 11:47:59 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-06-16 11:50:21 +0200zazaeil`(~user@199.203.122.185)
2023-06-16 11:51:35 +0200zazaeil(~user@91.234.25.217) (Ping timeout: 258 seconds)
2023-06-16 11:52:15 +0200 <zazaeil`> is the `ghci` de-facto standard Haskell debugger nowadays? are there alternatives worthy to give a try in a real world?
2023-06-16 11:53:27 +0200 <merijn> zazaeil`: The de facto standard is probably Debug.Trace, tbh :p
2023-06-16 11:53:32 +0200shailangsa(~shailangs@host86-186-142-69.range86-186.btcentralplus.com)
2023-06-16 11:53:41 +0200 <merijn> zazaeil`: It depends on the kinda debugging you're doing too
2023-06-16 11:59:54 +0200img_(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2023-06-16 12:00:53 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:e11c:bb81:f9a6:4c71)
2023-06-16 12:01:44 +0200 <int-e> `ghci` is great for testing small, pure, building blocks. I've never used the debugger (beyond a tiny bit of fooling around).
2023-06-16 12:03:21 +0200img(~img@user/img)
2023-06-16 12:04:15 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2023-06-16 12:05:00 +0200 <jade[m]1> trace is great
2023-06-16 12:05:17 +0200 <sm> ghci is the only working haskell debugger AFAIK. It has it's own REPL-style UI, but there's also a VS Code extension that lets you use it from VS Code, that kind of works
2023-06-16 12:05:42 +0200 <jade[m]1> this is one of the reasons why not having state and purity is great
2023-06-16 12:05:58 +0200 <jade[m]1> debugging becomes much much easier, because you can test small isolated blocks
2023-06-16 12:06:09 +0200 <int-e> Debug.Trace is quite powerful. (there's traceEvent too if stderr gets too crowded)
2023-06-16 12:06:52 +0200img(~img@user/img) (Client Quit)
2023-06-16 12:09:20 +0200 <sm> in the real world, adding trace statements and reloading in ghci is usually quickest. Laziness makes interactive debugging hard (though very instructive)
2023-06-16 12:09:48 +0200img(~img@user/img)
2023-06-16 12:10:10 +0200 <int-e> Yeah I imagine it's great for learning how lazy evaluation works.
2023-06-16 12:10:21 +0200 <sm> still, we probably underuse the GHCI debugger
2023-06-16 12:10:29 +0200 <sm> jscript has been doing that a lot lately
2023-06-16 12:10:35 +0200driib(~driib@176.57.184.141) (Quit: The Lounge - https://thelounge.chat)
2023-06-16 12:10:59 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 12:11:18 +0200 <int-e> But I did that without the debugger because it didn't exist... instead, I instrumented all functions of interest with Debug.Trace.trace. Well, on top of doing manual reductions on paper (and in text editors)
2023-06-16 12:11:56 +0200smis also a big fan of Debug.Trace (obligatory wave at the extra trace helpers in Hledger.Utils.Debug)
2023-06-16 12:11:58 +0200 <int-e> now if the ghci debugger could step back in time.......
2023-06-16 12:12:00 +0200laxmik(~user@cfeld-pcx40162.desy.de)
2023-06-16 12:12:03 +0200 <int-e> (sorry, too many dots)
2023-06-16 12:12:20 +0200 <sm> it has the trace feature, where you can review the last N steps
2023-06-16 12:12:42 +0200 <sm> (I think its called trace.. but not related to Debug.Trace)
2023-06-16 12:13:57 +0200 <int-e> It's not like Debug.Trace is an outlier; I believe that `printf` debugging is still going strong too.
2023-06-16 12:16:39 +0200mauke(~mauke@user/mauke)
2023-06-16 12:17:09 +0200 <zazaeil`> really eager to know how you gonna Debug.Trace a multithreaded app. a show one does not miss.
2023-06-16 12:17:29 +0200 <sm> you just do it, it's great
2023-06-16 12:17:41 +0200 <merijn> zazaeil`: I mean, I've done quite some debugging C and C++ multi-threaded runtimes with printf too :p
2023-06-16 12:17:51 +0200 <sm> helps you understand when things get evaluated
2023-06-16 12:20:04 +0200 <zazaeil`> then you have to take care that your `print`s are atomic too.
2023-06-16 12:20:39 +0200 <sm> they generally are if terminated with a newline, but even if not they're still useful
2023-06-16 12:20:51 +0200 <zazaeil`> agree
2023-06-16 12:21:28 +0200 <zazaeil`> but I wouldn't buy it as a primary mechanism, nah nah nah.
2023-06-16 12:21:30 +0200 <int-e> iinntteerrlleeaavveedd ddeebbuugg oouuttppuuttss aarree ffuunn!!
2023-06-16 12:22:18 +0200chomwitt(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1)
2023-06-16 12:23:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 12:23:33 +0200 <sm> there is also https://hackage.haskell.org/package/debug that's like trace + breakpoints
2023-06-16 12:23:36 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 12:24:51 +0200 <int-e> oh, elaborate
2023-06-16 12:26:14 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-16 12:26:19 +0200 <sm> I don't remember all the details but I think it traces and also gives you the option to have a quick look around interactively
2023-06-16 12:26:20 +0200 <sm> https://github.com/ndmitchell/debug#readme
2023-06-16 12:26:45 +0200 <sm> oh.. web ui, I don't remember that
2023-06-16 12:27:32 +0200 <sm> and support for https://github.com/MaartenFaddegon/Hoed
2023-06-16 12:28:28 +0200 <sm> https://hackage.haskell.org/package/Hoed .. seems to be a postmortem debugger
2023-06-16 12:31:43 +0200 <sm> and so is debug. Maybe I'm mixing it up with another
2023-06-16 12:32:49 +0200 <sm> ha yes, I was thinking of https://hackage.haskell.org/package/breakpoint . Sorry
2023-06-16 12:35:39 +0200kronicma1(user13639@neotame.csclub.uwaterloo.ca) (Server closed connection)
2023-06-16 12:35:56 +0200kronicma1(user40967@neotame.csclub.uwaterloo.ca)
2023-06-16 12:36:46 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 12:37:08 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 12:43:59 +0200dcoutts_dcoutts
2023-06-16 12:46:51 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 260 seconds)
2023-06-16 12:49:39 +0200Guest63(~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net)
2023-06-16 12:50:39 +0200Guest63(~Guest63@87-58-19-6-dynamic.dk.customer.tdc.net) (Client Quit)
2023-06-16 12:52:26 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 12:52:46 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 12:56:57 +0200__monty__(~toonn@user/toonn)
2023-06-16 12:57:21 +0200danse-nr3(~francesco@151.46.174.27) (Ping timeout: 260 seconds)
2023-06-16 12:58:25 +0200Co0kie(~Jura@145.224.73.17) (Ping timeout: 240 seconds)
2023-06-16 12:59:51 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-16 13:06:43 +0200cheater(~Username@user/cheater) (Ping timeout: 258 seconds)
2023-06-16 13:08:21 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 13:08:41 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 13:09:46 +0200xelxebar(~xelxebar@104.199.203.42) (Server closed connection)
2023-06-16 13:10:06 +0200xelxebar(~xelxebar@wilsonb.com)
2023-06-16 13:14:20 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-16 13:16:27 +0200zazaeil`(~user@199.203.122.185) (Remote host closed the connection)
2023-06-16 13:16:28 +0200Alex_test(~al_test@178.34.163.88)
2023-06-16 13:19:44 +0200remsen(ianremsen@tilde.team)
2023-06-16 13:21:04 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-06-16 13:21:35 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-06-16 13:22:14 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 13:22:35 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 13:23:32 +0200Momentum(momentum@tilde.team)
2023-06-16 13:24:20 +0200vulpine(xfnw@tilde.team)
2023-06-16 13:24:21 +0200zmt01(~zmt00@user/zmt00)
2023-06-16 13:24:46 +0200nullsh(nullsh@user/nexeq)
2023-06-16 13:25:24 +0200zxrom_(~zxrom@mm-185-0-212-37.vitebsk.dynamic.pppoe.byfly.by)
2023-06-16 13:25:29 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2023-06-16 13:26:45 +0200zxrom(~zxrom@mm-136-12-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 240 seconds)
2023-06-16 13:30:20 +0200 <kuribas> int-e: did you mean, interdebleavug ed outare fputs fun?
2023-06-16 13:35:05 +0200 <int-e> kuribas: unless the 'fputs' is a joke, I think you have one 'f' too many.
2023-06-16 13:35:27 +0200 <kuribas> right :)
2023-06-16 13:35:33 +0200 <int-e> kuribas: I thought about interleaving things in a more interesting way but I thought it would become impossible to read
2023-06-16 13:36:15 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 13:36:37 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 13:42:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2023-06-16 13:45:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 13:47:43 +0200ddrone(~ddrone@cpc160341-hari23-2-0-cust955.20-2.cable.virginm.net)
2023-06-16 13:49:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 240 seconds)
2023-06-16 13:52:36 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 13:52:58 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 13:53:50 +0200auri(~auri@fsf/member/auri) (Server closed connection)
2023-06-16 13:54:00 +0200auri(~auri@fsf/member/auri)
2023-06-16 13:55:25 +0200danse-nr3(~francesco@151.46.174.133)
2023-06-16 13:55:46 +0200danse-nr3(~francesco@151.46.174.133) (Remote host closed the connection)
2023-06-16 13:58:13 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-06-16 14:00:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-16 14:00:17 +0200kuribas(~user@ptr-17d51emp2e95l0xzud9.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-06-16 14:02:33 +0200cheater(~Username@user/cheater)
2023-06-16 14:03:51 +0200elain4(~textual@2601:5c0:8200:990:74bf:d62b:128c:c613)
2023-06-16 14:04:32 +0200elain4(~textual@2601:5c0:8200:990:74bf:d62b:128c:c613) (Client Quit)
2023-06-16 14:05:47 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-16 14:07:50 +0200driib(~driib@vmi931078.contaboserver.net) (Remote host closed the connection)
2023-06-16 14:08:11 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 14:08:52 +0200xff0x_(~xff0x@2405:6580:b080:900:c2fb:2920:de74:78c6)
2023-06-16 14:13:17 +0200ijqq_(uid603979@id-603979.helmsley.irccloud.com)
2023-06-16 14:16:43 +0200 <ijqq_> Hi, I am trying to get haskell language server setup for vim using this plugin https://github.com/yegappan/lsp. As soon as a launch a haskell file, my editor gives me the message 'LSP Server (hls) exited with status 0'.
2023-06-16 14:17:29 +0200SrPx_(sid108780@id-108780.uxbridge.irccloud.com) ()
2023-06-16 14:18:22 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2023-06-16 14:22:37 +0200acidjnk(~acidjnk@p200300d6e7072f393cd824ddc905386c.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2023-06-16 14:22:53 +0200 <ijqq_> Anyone who uses vim and haskell language server care to share their suggestions? I saw some links on reddit but both vim and haskell subreddits seem to be private.
2023-06-16 14:24:03 +0200driib(~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer)
2023-06-16 14:24:23 +0200driib(~driib@vmi931078.contaboserver.net)
2023-06-16 14:28:34 +0200natto(~natto@140.238.225.67) (Server closed connection)
2023-06-16 14:28:42 +0200 <jade[m]1> I use neovim which has an inbuilt LSP client
2023-06-16 14:28:56 +0200 <jade[m]1> when using the lsp-quickstart thingy which is the reccomended way, I have no issues
2023-06-16 14:30:19 +0200 <yushyin> i too use nvim (built-in lsp client) + nvim-cmp + cmp-nvim-lsp
2023-06-16 14:30:57 +0200natto(~natto@140.238.225.67)
2023-06-16 14:34:29 +0200 <ijqq_> Hmm I tried running haskell language server with log and the error seems to be `2023-06-16T12:29:43.778941Z | Error | Failed to parse message header:
2023-06-16 14:34:29 +0200 <ijqq_> : string
2023-06-16 14:34:29 +0200 <ijqq_> `
2023-06-16 14:34:39 +0200 <ijqq_> Maybe I should switch to neovim thne
2023-06-16 14:34:39 +0200dorin(~dorin@84.232.171.55)
2023-06-16 14:35:55 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-06-16 14:37:10 +0200dextaa(~DV@user/dextaa) (Server closed connection)
2023-06-16 14:37:36 +0200dextaa(~DV@user/dextaa)
2023-06-16 14:42:39 +0200random-jellyfish(~random-je@user/random-jellyfish)
2023-06-16 14:43:53 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
2023-06-16 14:47:36 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-06-16 14:48:43 +0200hugo(znc@verdigris.lysator.liu.se)
2023-06-16 14:49:53 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-16 14:52:05 +0200m1dnight_(~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 240 seconds)
2023-06-16 14:54:31 +0200m1dnight_(~christoph@78-22-4-67.access.telenet.be)
2023-06-16 14:55:16 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-16 15:00:42 +0200vpan(~0@mail.elitnet.lt) (Quit: Leaving.)
2023-06-16 15:03:07 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 265 seconds)
2023-06-16 15:04:31 +0200titibandit(~titibandi@user/titibandit)
2023-06-16 15:10:19 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-16 15:16:17 +0200danse-nr3(~francesco@151.44.209.30)
2023-06-16 15:16:24 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-06-16 15:17:24 +0200acidjnk(~acidjnk@p200300d6e7072f393cd824ddc905386c.dip0.t-ipconnect.de)
2023-06-16 15:17:26 +0200random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2023-06-16 15:18:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 15:23:11 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-06-16 15:31:05 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-06-16 15:33:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-06-16 15:38:11 +0200monoidal(~monoidal@2a01cb0801ce4b00078248f58ae5cdb2.ipv6.abo.wanadoo.fr)
2023-06-16 15:38:53 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-16 15:45:47 +0200wroathe(~wroathe@user/wroathe)
2023-06-16 15:47:01 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 15:47:54 +0200monoidal(~monoidal@2a01cb0801ce4b00078248f58ae5cdb2.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2023-06-16 15:48:47 +0200dorin(~dorin@84.232.171.55) (Ping timeout: 246 seconds)
2023-06-16 15:50:12 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net)
2023-06-16 15:50:42 +0200ddellaco1(~ddellacos@143.244.47.89) (Quit: WeeChat 3.8)
2023-06-16 15:51:08 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 240 seconds)
2023-06-16 15:51:45 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Ping timeout: 260 seconds)
2023-06-16 15:53:04 +0200titibandit(~titibandi@user/titibandit)
2023-06-16 15:53:28 +0200danse-nr3(~francesco@151.44.209.30) (Ping timeout: 258 seconds)
2023-06-16 15:54:37 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 258 seconds)
2023-06-16 15:55:17 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-16 15:56:50 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-06-16 15:57:14 +0200titibandit(~titibandi@user/titibandit) (Read error: Connection reset by peer)
2023-06-16 16:02:32 +0200danse-nr3(~francesco@151.44.209.30)
2023-06-16 16:05:11 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-16 16:05:26 +0200CalculusCats(NyaaTheKit@user/calculuscat) (Server closed connection)
2023-06-16 16:06:33 +0200CalculusCats(NyaaTheKit@user/calculuscat)
2023-06-16 16:06:36 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net)
2023-06-16 16:07:31 +0200chiselfuse(~chiselfus@user/chiselfuse) (Quit: leaving)
2023-06-16 16:08:14 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds)
2023-06-16 16:10:15 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-06-16 16:10:17 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2023-06-16 16:10:29 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-06-16 16:13:01 +0200elain4(~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Ping timeout: 258 seconds)
2023-06-16 16:13:21 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-06-16 16:17:34 +0200Pickchea(~private@user/pickchea)
2023-06-16 16:20:08 +0200gurkenglas(~user@dynamic-046-114-182-215.46.114.pool.telefonica.de) (Ping timeout: 252 seconds)
2023-06-16 16:23:12 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 16:41:08 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2023-06-16 16:43:57 +0200ddellacosta(~ddellacos@146.70.185.10)
2023-06-16 16:49:19 +0200chiselfuse(~chiselfus@user/chiselfuse) (Quit: leaving)
2023-06-16 16:50:26 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-06-16 16:54:36 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-06-16 16:57:32 +0200xff0x_(~xff0x@2405:6580:b080:900:c2fb:2920:de74:78c6) (Ping timeout: 240 seconds)
2023-06-16 16:57:56 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2023-06-16 16:58:13 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-06-16 16:58:27 +0200xff0x_(~xff0x@2405:6580:b080:900:c2fb:2920:de74:78c6)
2023-06-16 16:58:38 +0200zxrom_(~zxrom@mm-185-0-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 258 seconds)
2023-06-16 17:04:22 +0200DDR(~DDR@2604:3d08:4c7f:8250:4f2c:b738:d82e:1bc4) (Remote host closed the connection)
2023-06-16 17:05:29 +0200cawfee_cawfee
2023-06-16 17:15:02 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:a53f:2e0c:56a9:8152) (Quit: WeeChat 2.8)
2023-06-16 17:16:31 +0200laxmik(~user@cfeld-pcx40162.desy.de) (Quit: ERC (IRC client for Emacs 26.3))
2023-06-16 17:16:37 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-06-16 17:16:42 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-16 17:23:12 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-16 17:23:44 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-06-16 17:26:14 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (Server closed connection)
2023-06-16 17:26:23 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2023-06-16 17:27:09 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-16 17:27:30 +0200 <Axman6> ijqq_: have you seen https://haskell-language-server.readthedocs.io/en/latest/configuration.html#vim?
2023-06-16 17:33:14 +0200zxrom_(~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by)
2023-06-16 17:35:50 +0200Sgeo(~Sgeo@user/sgeo)
2023-06-16 17:39:18 +0200 <somerandomnick[m> the text editor should be a the text editor and run by the mail client to write mail
2023-06-16 17:40:04 +0200danse-nr3(~francesco@151.44.209.30) (Ping timeout: 252 seconds)
2023-06-16 17:40:56 +0200 <EvanR> any sufficiently advanced program gains the ability to read your email
2023-06-16 17:41:53 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 17:41:54 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2023-06-16 17:45:18 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 17:46:47 +0200gurkenglas(~user@dynamic-046-114-182-215.46.114.pool.telefonica.de)
2023-06-16 17:47:54 +0200sclv(sid39734@haskell/developer/sclv) (Server closed connection)
2023-06-16 17:48:04 +0200sclv(sid39734@haskell/developer/sclv)
2023-06-16 17:50:06 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 17:51:17 +0200ft(~ft@p508dbdef.dip0.t-ipconnect.de)
2023-06-16 17:51:19 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2023-06-16 17:53:06 +0200reverse(~inversed@188.220.172.130) (Server closed connection)
2023-06-16 17:58:20 +0200chromoblob(~user@37.113.180.121) (Ping timeout: 260 seconds)
2023-06-16 17:58:53 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 246 seconds)
2023-06-16 17:59:08 +0200jneira[m](~jneiramat@2001:470:69fc:105::d729)
2023-06-16 18:03:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection)
2023-06-16 18:06:12 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-16 18:09:34 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com) (Server closed connection)
2023-06-16 18:09:43 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2023-06-16 18:10:43 +0200end-end\
2023-06-16 18:11:18 +0200chromoblob(~user@37.113.180.121)
2023-06-16 18:14:56 +0200cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-16 18:17:18 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-16 18:17:59 +0200hexagoxel(~hexagoxel@2a01:4f8:c0c:e::2) (Server closed connection)
2023-06-16 18:18:09 +0200hexagoxel(~hexagoxel@2a01:4f8:c0c:e::2)
2023-06-16 18:19:52 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-06-16 18:21:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 18:27:01 +0200end\(~end^@user/end/x-0094621) (Remote host closed the connection)
2023-06-16 18:30:26 +0200raym(~ray@user/raym)
2023-06-16 18:31:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f) (Remote host closed the connection)
2023-06-16 18:35:48 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
2023-06-16 18:37:33 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-16 18:37:55 +0200end\(~end^@user/end/x-0094621)
2023-06-16 18:40:44 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-16 18:42:15 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:e11c:bb81:f9a6:4c71) (Remote host closed the connection)
2023-06-16 18:42:30 +0200laxmik(~laxmik@dynamic-077-003-220-189.77.3.pool.telefonica.de)
2023-06-16 18:44:59 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-16 18:50:06 +0200laxmik(~laxmik@dynamic-077-003-220-189.77.3.pool.telefonica.de) (Quit: Client closed)
2023-06-16 18:54:07 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net)
2023-06-16 18:57:14 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Server closed connection)
2023-06-16 18:58:44 +0200barcisz(~barcisz@79.191.31.13.ipv4.supernova.orange.pl)
2023-06-16 18:58:56 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2023-06-16 18:59:26 +0200 <ijqq_> okay I've got it working - sort of
2023-06-16 18:59:32 +0200 <ijqq_> what is a hie.yaml file?
2023-06-16 18:59:42 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-16 19:00:05 +0200 <ijqq_> i tried looking online but I couldn't figuire out out to generate or write one? i think its a sort of config file use for haskell lanugae server?
2023-06-16 19:00:11 +0200 <geekosaur> yes
2023-06-16 19:00:43 +0200 <ijqq_> geekosaur, would you happen to have an example of one? or know how I could genearte one?
2023-06-16 19:00:50 +0200 <geekosaur> https://paste.tomsmeding.com/WiyuLhf4
2023-06-16 19:01:01 +0200zeenk(~zeenk@2a02:2f04:a106:3c00::7fe) (Quit: Konversation terminated!)
2023-06-16 19:01:10 +0200Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com)
2023-06-16 19:01:21 +0200 <geekosaur> normally you don't need one and I think it's considered a bug these days if HLS can't work out a cradle without one
2023-06-16 19:01:35 +0200 <ijqq_> ah
2023-06-16 19:01:43 +0200 <geekosaur> I have one in that case so I can exclude some WIP things I don't want it to look at
2023-06-16 19:02:05 +0200 <geekosaur> and because HLS seems to get a little confused if I edit things in multiple projects at the same time
2023-06-16 19:02:15 +0200 <geekosaur> but that last might be fixed by now
2023-06-16 19:03:07 +0200ft(~ft@p508dbdef.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-06-16 19:03:08 +0200 <Umeaboy> What can I do to get rpmbuild to recognize the installed version of ghc if I have set the right PATH in $USER/.bashrc?
2023-06-16 19:03:21 +0200 <ijqq_> i am currently writing code in a Main.hs without any cabal or other stuff or dependencies, and I just want to use hls. In my editor plugin there is an option for single_file_mode but it only seems to work about half the time (i know, it's probably user error in setting it up).
2023-06-16 19:03:21 +0200 <ijqq_> But i was wondering if I can write a hie.yaml file to tell hls that I'm just working on my Main.hs
2023-06-16 19:03:25 +0200 <Umeaboy> I have double checked using echo $PATH and it's there.
2023-06-16 19:04:37 +0200 <Umeaboy> I'm trying to build an rpm package for alex in order to build the rpm's for ghc.
2023-06-16 19:04:44 +0200 <Umeaboy> I installed ghc using ghcup.
2023-06-16 19:04:52 +0200 <geekosaur> Umeaboy, don't OS builders want to use OS packages?
2023-06-16 19:05:20 +0200 <Umeaboy> geekosaur: Yes. What's your point? :)
2023-06-16 19:05:21 +0200 <geekosaur> they usually go to great lengths to *exclude* anything not installed via an OS package
2023-06-16 19:05:43 +0200 <geekosaur> my point is you'll lose that fight
2023-06-16 19:05:44 +0200 <Umeaboy> I could use some help if someone's willing to guide me.
2023-06-16 19:06:00 +0200 <Umeaboy> I have read the documentation.
2023-06-16 19:06:16 +0200 <geekosaur> rpmbuild is designed to prevent what you want to do
2023-06-16 19:06:18 +0200 <Umeaboy> I feel like I need to build Hadrian first. Right?
2023-06-16 19:07:17 +0200kritty(~crumb@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Leaving)
2023-06-16 19:07:42 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 19:09:32 +0200ft(~ft@p508dbdef.dip0.t-ipconnect.de)
2023-06-16 19:09:52 +0200 <Umeaboy> geekosaur: As I suspected then.
2023-06-16 19:10:42 +0200 <Umeaboy> That won't stop me from building it though. :)
2023-06-16 19:10:58 +0200 <Umeaboy> Obstacles are meant to be conquered. :)
2023-06-16 19:11:13 +0200 <Umeaboy> And I've got all the time in the world.
2023-06-16 19:12:56 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-16 19:13:26 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-16 19:14:19 +0200phaazon(~phaazon@2001:41d0:a:fe76::1) (Server closed connection)
2023-06-16 19:14:35 +0200phaazon(~phaazon@2001:41d0:a:fe76::1)
2023-06-16 19:17:44 +0200chomwitt(~chomwitt@2a02:587:7a0e:cf00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer)
2023-06-16 19:18:54 +0200 <EvanR> while you're at it can you figure out how to build hexchat from source
2023-06-16 19:19:12 +0200 <EvanR> for windows
2023-06-16 19:19:20 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-06-16 19:19:40 +0200 <EvanR> please conquer it
2023-06-16 19:19:57 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 19:20:06 +0200 <ijqq_> okay nevermind, i fixed it
2023-06-16 19:22:32 +0200erisco_(~erisco@d24-141-66-165.home.cgocable.net)
2023-06-16 19:22:44 +0200euandreh(~Thunderbi@189.6.18.7) (Quit: euandreh)
2023-06-16 19:22:46 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 258 seconds)
2023-06-16 19:22:57 +0200erisco_erisco
2023-06-16 19:24:41 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-06-16 19:26:55 +0200txaas(~txaas@user/jarlg)
2023-06-16 19:30:30 +0200raym(~ray@user/raym) (Ping timeout: 260 seconds)
2023-06-16 19:33:25 +0200shapr(~user@2600:1700:c640:3100:11cd:d5ec:6209:48bd)
2023-06-16 19:38:29 +0200AlexZenon(~alzenon@178.34.163.88) (Ping timeout: 258 seconds)
2023-06-16 19:39:06 +0200Alex_test(~al_test@178.34.163.88) (Ping timeout: 265 seconds)
2023-06-16 19:42:19 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 19:42:39 +0200Alex_test(~al_test@178.34.163.88)
2023-06-16 19:44:23 +0200AlexZenon(~alzenon@178.34.163.88)
2023-06-16 19:45:20 +0200enthropy(~enthropy@207.167.90.161)
2023-06-16 19:53:00 +0200justsomeguy(~justsomeg@user/justsomeguy)
2023-06-16 19:53:30 +0200codedmart(~codedmart@li335-49.members.linode.com) (Server closed connection)
2023-06-16 19:53:48 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2023-06-16 19:54:56 +0200myme(~myme@2a01:799:d60:e400:8cc9:2abe:579d:d46f) (Server closed connection)
2023-06-16 19:54:57 +0200thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-16 19:55:20 +0200myme(~myme@2a01:799:d60:e400:ee8f:45fa:6dfe:1e10)
2023-06-16 19:56:37 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 19:57:02 +0200 <Nosrep> is there an easy way to return a Nothing/some other default value from a mutable vector if the element is uninitializsed?
2023-06-16 19:58:03 +0200 <Nosrep> i guess i could just use catch but i'm not sure of the performance implications of it because it's gonna be accessing a LOT of uninitialized elements
2023-06-16 19:58:12 +0200 <EvanR> you could keep a parallel vector of Bools regarding it's initialization status and keep that updated
2023-06-16 19:58:40 +0200 <EvanR> you can't (really shouldn't?) be catching crashes due to bottom
2023-06-16 19:58:48 +0200 <geekosaur> or just explicitly initialize the whole thing to Nothing
2023-06-16 19:59:06 +0200 <EvanR> yes that is the simplest
2023-06-16 19:59:39 +0200 <Nosrep> yeah that's what im doing right now, but prof output (-hy) shows a significant part of the programs memory usage is just "Maybe"
2023-06-16 20:00:20 +0200 <EvanR> maybe a big vector of uninitialized data isn't the right data structure
2023-06-16 20:00:25 +0200 <pie_> Hi folks, I'm trying to figure out how to write a "simple" quick ui with brick
2023-06-16 20:00:35 +0200 <EvanR> what about IntMap
2023-06-16 20:00:38 +0200 <pie_> well its not simple or quick so far, given that I still dont understand a lot of "basics"
2023-06-16 20:00:40 +0200 <Nosrep> much too slow
2023-06-16 20:00:52 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-06-16 20:00:55 +0200 <EvanR> really
2023-06-16 20:01:03 +0200 <pie_> my current problem is that im having trouble implementing the event handler function for key presses
2023-06-16 20:01:28 +0200 <Nosrep> yes i switched *from* intmap, and later i'm gonna have the vector be accessed from multiple threads anyway
2023-06-16 20:01:29 +0200xff0x_(~xff0x@2405:6580:b080:900:c2fb:2920:de74:78c6) (Ping timeout: 258 seconds)
2023-06-16 20:01:32 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 240 seconds)
2023-06-16 20:01:40 +0200 <pie_> the function is supposed to be of type appHandleEvent :: BrickEvent n e -> EventM n s (),
2023-06-16 20:01:44 +0200 <EvanR> if you are using an unboxed vector, may you can sacrifice 1 value of your datatype to stand for "uninitialized", like -1
2023-06-16 20:01:52 +0200barcisz(~barcisz@79.191.31.13.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-06-16 20:02:06 +0200 <pie_> i take the brickevent in based on some examples, but I cant figure out from any examples how to access and return the state of the application
2023-06-16 20:02:34 +0200 <Nosrep> right now it's not unboxed, i was going to do that later though so i guess ill look into that when i get to it
2023-06-16 20:02:35 +0200 <Nosrep> thansk
2023-06-16 20:02:49 +0200 <ncf> pie_: MonadState s (EventM n s)
2023-06-16 20:03:06 +0200 <pie_> GHC says the type is:
2023-06-16 20:03:06 +0200 <pie_> newtype EventM n s a = brick-1.4:Brick.Types.EventM.EventM {brick-1.4:Brick.Types.EventM.runEventM :: ReaderT (brick-1.4:Brick.Types.Internal.EventRO n) (Control.Monad.Trans.State.Strict.StateT s (Control.Monad.Trans.State.Strict.StateT (brick-1.4:Brick.Types.Internal.EventState n) IO)) a}
2023-06-16 20:03:15 +0200xff0x_(~xff0x@ai098135.d.east.v6connect.net)
2023-06-16 20:03:19 +0200 <geekosaur> a lot of people seem to run into this… seems to me they need better examples
2023-06-16 20:03:46 +0200 <pie_> after thinking moderately hard how this could work, especially given that this is a "private" type or something, got as far as possibly figuring out that ok maybe i need to map a function into the record
2023-06-16 20:03:59 +0200enthropy(~enthropy@207.167.90.161) (Quit: Client closed)
2023-06-16 20:04:10 +0200 <pie_> is that correct?
2023-06-16 20:04:35 +0200 <ncf> brick kind of expects you to be familiar with mtl and lens already
2023-06-16 20:04:41 +0200hackyhacker(~hackyhack@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-06-16 20:04:55 +0200 <ncf> :t (%=)
2023-06-16 20:04:56 +0200 <lambdabot> MonadState s m => ASetter s s a b -> (a -> b) -> m ()
2023-06-16 20:05:52 +0200rando25892(~andor2985@user/rando25892) (Excess Flood)
2023-06-16 20:06:07 +0200rando25892(~andor2985@172.58.85.62)
2023-06-16 20:06:30 +0200Unode(~Unode@fg-ext-220.embl.de) (Server closed connection)
2023-06-16 20:07:07 +0200 <pie_> yeah I kind of wat to just half-ass this so it works :/ for ow
2023-06-16 20:07:08 +0200 <pie_> ow
2023-06-16 20:07:12 +0200Unode(~Unode@fg-ext-220.embl.de)
2023-06-16 20:07:25 +0200 <pie_> sorry, cliet issues, woe is me
2023-06-16 20:07:33 +0200enthropy(~enthropy@207.167.90.161)
2023-06-16 20:07:41 +0200 <pie_> ok my keys are back
2023-06-16 20:08:06 +0200 <pie_> my understanding seems to be that mtl and lenses are needed if you ever actually want to get anything done with haskell involving io :p
2023-06-16 20:08:07 +0200 <chromoblob> say "invented" without "n"s /s
2023-06-16 20:08:26 +0200 <pie_> and brick seems to be the recommended tui library so sigh
2023-06-16 20:08:32 +0200 <EvanR> the IO type is great
2023-06-16 20:08:35 +0200 <EvanR> by itself
2023-06-16 20:08:43 +0200 <pie_> i just want to navigate my crappy mandelbrot :p
2023-06-16 20:08:44 +0200 <pie_> anyway
2023-06-16 20:08:54 +0200 <EvanR> but many libraries create a bureaucratic universe around it
2023-06-16 20:09:02 +0200 <pie_> (haskell requires a good amount of machinery to Just anything)
2023-06-16 20:09:39 +0200 <pie_> anyway, assuming i want to do this myself and not involve mtl and lenses, does that require a large amount of boilerplate for this type?
2023-06-16 20:10:11 +0200 <pie_> and re: I dont understand how code uses this type if it cant access the runEventM function if its hidden?
2023-06-16 20:10:39 +0200 <pie_> or re: is it doing some kind of map / does that not require importing stuff?
2023-06-16 20:10:40 +0200 <ncf> you don't need to runEventM, brick does that for you
2023-06-16 20:10:46 +0200 <ncf> you only need to produce EventM computations
2023-06-16 20:10:53 +0200 <pie_> right
2023-06-16 20:11:09 +0200 <pie_> but I dont get any parameters that I can produce an EventM from?
2023-06-16 20:11:30 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-06-16 20:11:33 +0200 <ncf> i'd recommend spending the time to learn at least the basics of mtl and lens state operators, it will make your programs a lot nicer
2023-06-16 20:11:34 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2023-06-16 20:11:48 +0200 <pie_> I _will_ do it later
2023-06-16 20:11:54 +0200EvanR(~EvanR@user/evanr)
2023-06-16 20:12:02 +0200 <ncf> pie_: it implements MonadState so that's one source
2023-06-16 20:12:27 +0200 <ncf> you can basically treat it as State YourState
2023-06-16 20:12:37 +0200 <pie_> ok so I can construct a monadstate myself?
2023-06-16 20:12:44 +0200 <ncf> :t modify
2023-06-16 20:12:45 +0200 <lambdabot> MonadState s m => (s -> s) -> m ()
2023-06-16 20:13:16 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-16 20:13:19 +0200 <pie_> how does this end up compatible with the top level ReaderT in the newtype?
2023-06-16 20:14:01 +0200 <geekosaur> that's part of what mtl is doing for you
2023-06-16 20:14:03 +0200 <ncf> i don't think that's exposed at all
2023-06-16 20:14:26 +0200 <ncf> there's no MonadReader, that ReaderT is internal
2023-06-16 20:14:48 +0200 <sm> pie_: does none of the https://github.com/jtdaugherty/brick/tree/master/programs demos do what you want ?
2023-06-16 20:14:52 +0200 <ncf> anyway, another source of EventM's is https://hackage.haskell.org/package/brick-1.9/docs/Brick-Main.html#g:1
2023-06-16 20:15:28 +0200 <pie_> actually, newtypes are opaque arent they?
2023-06-16 20:15:58 +0200 <ncf> meaning?
2023-06-16 20:16:14 +0200 <pie_> I shouldnt expect something to match something inside the newtype?
2023-06-16 20:16:26 +0200 <pie_> because its wrapped?
2023-06-16 20:16:32 +0200 <pie_> and Im not using the wraper?
2023-06-16 20:17:02 +0200 <EvanR> modify works with any MonadState type
2023-06-16 20:17:08 +0200 <ncf> right, the constructor is not exposed
2023-06-16 20:17:45 +0200 <pie_> ok, some conceptual progress is happening :p
2023-06-16 20:18:11 +0200 <ncf> (i mean this particular constructor is not exposed, not all newtypes)
2023-06-16 20:18:38 +0200 <pie_> yeah I see that
2023-06-16 20:18:53 +0200 <pie_> i mean, even more specifically, these arent aliases, they are wrappers
2023-06-16 20:19:06 +0200 <pie_> I was treating it as an alias earlier and wondering why nothing helped
2023-06-16 20:20:13 +0200 <pie_> ok so I see in the havkage doc that monadstate is an instance of eventm, what does this mean?
2023-06-16 20:20:20 +0200 <pie_> isnt eventm a type and not a constraitn?
2023-06-16 20:20:27 +0200 <pie_> *hackate, constraint
2023-06-16 20:20:30 +0200 <pie_> yeesh
2023-06-16 20:20:32 +0200 <pie_> lern2spel
2023-06-16 20:20:36 +0200 <ncf> no, EventM s n is an instance of MonadState s
2023-06-16 20:20:43 +0200 <pie_> aha
2023-06-16 20:21:31 +0200 <pie_> i guess that magically makes everything work
2023-06-16 20:21:47 +0200 <pie_> so I dont think about what eventm is doing, it just has these get put and state ops on them and I can use them
2023-06-16 20:22:00 +0200 <ncf> yes
2023-06-16 20:22:12 +0200 <pie_> well ok but the problem is still that I need to construct an eventm, only afterwards can i use these
2023-06-16 20:22:34 +0200 <ncf> what do you want it to do?
2023-06-16 20:22:36 +0200 <pie_> I have specifically bound halt to the q key, but thats pretty limited :p<ncf> anyway, another source of EventM's is https://hackage.haskell.org/package/brick-1.9/docs/Brick-Main.html#g:1
2023-06-16 20:22:48 +0200 <pie_> I want to bind the arrow keys to changing some coordinates
2023-06-16 20:23:29 +0200 <pie_> so I want to fill this out for example: handleEvent (VtyEvent (V.EvKey V.KLeft [])) = undefined
2023-06-16 20:24:10 +0200 <pie_> some examples I looked at had the definition be something like runIdentity . execState ... or something like that, another one used some continue function that I couldnt find the definition of
2023-06-16 20:24:32 +0200 <ncf> continue is from an earlier version of brick, i think
2023-06-16 20:24:55 +0200 <pie_> ah.
2023-06-16 20:25:01 +0200 <ncf> anyway, you modify your application state using modify, and then probably call a brick function to refresh your display or whatever
2023-06-16 20:25:52 +0200 <pie_> i think i just use the state in the drawing function and it will call it itself
2023-06-16 20:25:59 +0200 <pie_> i just need to modify the state
2023-06-16 20:26:53 +0200 <pie_> wait
2023-06-16 20:26:59 +0200 <pie_> do i just...this?: get :: EventM n s s
2023-06-16 20:27:09 +0200 <EvanR> underappreciated pattern I think is to pass what to draw into the drawing function, whether it's "the state" or a piece of the state or something else
2023-06-16 20:27:14 +0200raym(~ray@user/raym)
2023-06-16 20:27:18 +0200 <pie_> oh hm
2023-06-16 20:27:31 +0200 <pie_> ok i think i might be realizing what i need to do with monadstate
2023-06-16 20:27:33 +0200 <EvanR> but get is how you get "the state" if you don't have it already
2023-06-16 20:27:54 +0200 <EvanR> also gets is handy
2023-06-16 20:27:56 +0200 <pie_> i need to pass the manipulation function to this state :: (s -> (a, s)) -> EventM n s a
2023-06-16 20:27:57 +0200 <EvanR> :t gets
2023-06-16 20:27:58 +0200 <lambdabot> MonadState s m => (s -> a) -> m a
2023-06-16 20:28:18 +0200 <pie_> i think i may have seen an example use state but i had no idea what was going on
2023-06-16 20:28:27 +0200 <EvanR> state is like a combination of get and put
2023-06-16 20:28:48 +0200 <ncf> and if a is () you can just use modify
2023-06-16 20:28:59 +0200mastarija(~mastarija@2a05:4f46:e03:6000:3e0d:288e:9ff8:9688)
2023-06-16 20:29:30 +0200 <mastarija> So, I have this type:
2023-06-16 20:29:32 +0200 <mastarija>   newtype A = A { aNumber :: Int } deriving (Show)
2023-06-16 20:29:40 +0200 <mastarija>   _aNumber :: Lens A A (Maybe Int) Int
2023-06-16 20:29:44 +0200 <mastarija>   _aNumber = lens (Just . aNumber) (\(A _) i -> A i)
2023-06-16 20:30:11 +0200 <mastarija> Why can't I do e.g. `A 42 ^. _aNumber`?
2023-06-16 20:31:00 +0200 <pie_> ok I think modify will work
2023-06-16 20:31:06 +0200 <mastarija> I have a lens that can maybe get a int and also set the int.
2023-06-16 20:31:18 +0200 <mastarija> Hm.. I'll try it out.
2023-06-16 20:31:46 +0200incertia(~incertia@209.122.71.127) (Server closed connection)
2023-06-16 20:32:32 +0200 <mastarija> pie_ what do you mean by modify? I want to view something :)
2023-06-16 20:32:50 +0200 <EvanR> parallel conversations
2023-06-16 20:32:51 +0200 <ncf> not talking to you
2023-06-16 20:32:56 +0200 <mastarija> Ah... sorry.
2023-06-16 20:34:07 +0200 <pie_> its initially a little confusion that EventM is an object hiding a function inside it somewhere
2023-06-16 20:34:10 +0200 <pie_> *confusing
2023-06-16 20:34:26 +0200 <pie_> but I realize this is normal
2023-06-16 20:34:38 +0200incertia(~incertia@209.122.71.127)
2023-06-16 20:35:19 +0200 <dolio> mastarija: (^.) takes a `Getting a s a`, which only matches `Lens s s a a`, I believe.
2023-06-16 20:35:25 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-06-16 20:35:39 +0200mastarija(~mastarija@2a05:4f46:e03:6000:3e0d:288e:9ff8:9688) (Quit: Client closed)
2023-06-16 20:35:54 +0200mastarija(~mastarija@2a05:4f46:e03:6000:3e0d:288e:9ff8:9688)
2023-06-16 20:35:59 +0200 <pie_> ok sweet it works :)
2023-06-16 20:36:05 +0200 <mastarija> Yeah. That seems to be the case. But does this means my lens is invalid? dolio
2023-06-16 20:36:30 +0200 <mastarija> I've been looking at the laws and it seems like it satisfies them.
2023-06-16 20:36:32 +0200 <dolio> It does look suspicious.
2023-06-16 20:36:57 +0200 <pie_> https://bpa.st/SEWR2 shows my state being modified properly
2023-06-16 20:37:55 +0200 <pie_> good ol folk knowledge stuff in haskell everywhere...
2023-06-16 20:38:12 +0200phma(~phma@host-67-44-208-54.hnremote.net) (Read error: Connection reset by peer)
2023-06-16 20:38:13 +0200 <mastarija> Hm... how can I then use the "getter" for my lens?
2023-06-16 20:38:14 +0200 <pie_> wouldnt notice modify reexported from brick
2023-06-16 20:38:39 +0200phma(~phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99)
2023-06-16 20:38:53 +0200 <mastarija> Like, it seems logical to want to have something that may get a value from `A` and then set it.
2023-06-16 20:38:58 +0200 <EvanR> yes don't overlook the haddocks listing type class instances under each type
2023-06-16 20:39:07 +0200 <EvanR> that is where a lot of functionality ends up being
2023-06-16 20:39:32 +0200 <dolio> Usually, the `s t a b` in a lens is not intended to be arbitrary. Rather, `s` and `t` are supposed to come from a common family, and so are `a` and `b`. So it is more like `Lens (whole i) (whole j) (part i) (part j)`.
2023-06-16 20:39:33 +0200 <EvanR> for instance how the hell from convert NominalDiffTime to a number, fromIntegral
2023-06-16 20:39:45 +0200 <EvanR> er, realToFrac
2023-06-16 20:39:50 +0200 <dolio> But that is much more annoying to actually write down and use in Haskell.
2023-06-16 20:40:07 +0200 <ncf> pie_: with lenses your code could just be `x -= 1`, `y += 1`, etc.
2023-06-16 20:40:18 +0200 <ncf> :t (+=)
2023-06-16 20:40:19 +0200 <lambdabot> (MonadState s m, Num a) => ASetter' s a -> a -> m ()
2023-06-16 20:41:22 +0200 <mastarija> I guess so.
2023-06-16 20:42:09 +0200mastarija(~mastarija@2a05:4f46:e03:6000:3e0d:288e:9ff8:9688) (Quit: Client closed)
2023-06-16 20:43:24 +0200 <ncf> i'm not sure why ^. is monomorphic, tbh
2023-06-16 20:44:00 +0200 <ncf> view' l s = getConst (l Const s)
2023-06-16 20:44:02 +0200 <dolio> Why do you 'get' a `Maybe Int` but can only put an `Int`? The Maybe doesn't appear to be actually involved in the lens, since you always get a Just.
2023-06-16 20:44:09 +0200 <ncf> view' :: ((a1 -> Const a1 b1) -> t -> Const a2 b2) -> t -> a2
2023-06-16 20:44:21 +0200 <ncf> view' _aNumber (A 42) ==> Just 42
2023-06-16 20:46:29 +0200thegeekinside(~thegeekin@189.217.90.138) (Remote host closed the connection)
2023-06-16 20:46:59 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 20:47:36 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-06-16 20:50:55 +0200pavonia(~user@user/siracusa)
2023-06-16 20:52:27 +0200 <pie_> any idea how Im supposed to do more than a single line with this? I guess an array of HorizLines? https://hackage.haskell.org/package/vty-4.4.0.0/docs/src/Graphics-Vty-Image.html
2023-06-16 20:54:59 +0200 <pie_> sorry, additional context: https://stackoverflow.com/questions/63662243/rgb-terminal-colors-with-haskell-and-brick#comment112…
2023-06-16 20:55:04 +0200 <jade[m]1> `<->` or `vertCat` where the latter is simply a fold using `<->`
2023-06-16 20:59:14 +0200Umeaboy(~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving)
2023-06-16 21:00:07 +0200taupiqueur3(~taupiqueu@2a02-842a-8180-4601-65cd-a4e6-e5ae-9615.rev.sfr.net)
2023-06-16 21:01:59 +0200taupiqueur2(~taupiqueu@2a02-842a-8180-4601-d145-30ad-2d63-7b2d.rev.sfr.net) (Ping timeout: 240 seconds)
2023-06-16 21:05:20 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-16 21:08:29 +0200mikko(~mikko@user/mikko) (Quit: WeeChat 3.8)
2023-06-16 21:12:01 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 258 seconds)
2023-06-16 21:13:10 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg)
2023-06-16 21:14:34 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-16 21:14:49 +0200 <pie_> thanks
2023-06-16 21:18:33 +0200 <pie_> *** Exception: row 4 now exceeds region width
2023-06-16 21:18:34 +0200 <pie_> yay xp
2023-06-16 21:19:41 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 21:21:39 +0200 <pie_> hm, and I cant even trace it, i assume its outputting to the alternate terminal that vty happens to be drawing on
2023-06-16 21:21:44 +0200 <pie_> (or idk)
2023-06-16 21:22:57 +0200 <pie_> (this thing https://en.wikipedia.org/wiki/ANSI_escape_code "Enable alternative screen buffer, from xterm ")
2023-06-16 21:24:36 +0200 <pie_> ok cool, yeah, dealt with that by switching in and out of the alternate buffer inline
2023-06-16 21:24:37 +0200 <pie_> (trace ("\x1b[?1049l" ++ (show str) ++ "\x1b[?1049h") str))
2023-06-16 21:24:45 +0200jero98772(~jero98772@2800:484:1d7f:5d36::2)
2023-06-16 21:27:32 +0200glguy(~glguy@libera/staff-emeritus/glguy) (Quit: Quit)
2023-06-16 21:29:01 +0200 <sm> I have a logging version of trace, but sometimes you can see enough of stdout to debug anyway
2023-06-16 21:33:55 +0200 <EvanR> haskell can't be debugged. Luckily if it compiles it has no bugs
2023-06-16 21:34:52 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-06-16 21:39:10 +0200 <pie_> ;)
2023-06-16 21:39:38 +0200 <pie_> EvanR: haskell has no io so debugging isnt necessary anyway
2023-06-16 21:40:27 +0200 <sm> cardano enters the chat...
2023-06-16 21:40:49 +0200 <pie_> cant have bugs if you dont see them
2023-06-16 21:41:32 +0200 <pie_> ....if a computes in a forest but there is no IO does it have any bugs? o.0
2023-06-16 21:41:33 +0200 <EvanR> Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
2023-06-16 21:41:36 +0200 <EvanR> is great
2023-06-16 21:41:54 +0200 <EvanR> unfortunately "debugging" missed that meeting of the awkward squad
2023-06-16 21:41:57 +0200 <pie_> now do this joke but actually funny <pie_> ....if a computes in a forest but there is no IO does it have any bugs? o.0
2023-06-16 21:42:44 +0200 <pie_> does it have any bugs / was anything computed?
2023-06-16 21:43:39 +0200 <pie_> if only RealFloat Rational existed, I could have swapped my mandelbrot code to arbitrary precision without any fiddling
2023-06-16 21:43:47 +0200 <EvanR> pie_, if you take two causal stream transducers and form them into a ring, and somehow get them to start eating each other's tails, no externally visible I/O but it may crash nonetheless, indicating 'something'
2023-06-16 21:44:10 +0200 <EvanR> that rationals don't have what it takes to be real is kind of the point of that
2023-06-16 21:44:24 +0200 <EvanR> maybe you could try CReal
2023-06-16 21:44:53 +0200 <EvanR> > sin 1 :: CReal
2023-06-16 21:44:54 +0200 <lambdabot> 0.8414709848078965066525023216302989996226
2023-06-16 21:45:58 +0200fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
2023-06-16 21:46:26 +0200 <EvanR> I expect a funny situation where by using an arbitrarily precise software real you might not be able to see as far as Double would let you see because of computation time
2023-06-16 21:46:59 +0200 <dolio> It'd probably take like a year to process a single point of the mandelbrot set with CReal. :þ
2023-06-16 21:47:29 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 21:48:49 +0200 <dolio> Or, I guess it's the points outside the set that are the problem.
2023-06-16 21:49:03 +0200 <pie_> ugh, people think hiding internal stuf fis good but actually its not xp
2023-06-16 21:49:19 +0200 <pie_> EvanR: re
2023-06-16 21:49:34 +0200 <pie_> dolio: well..thats why you set an iteration limit or..?
2023-06-16 21:49:41 +0200 <EvanR> waiting a minute, isn't the formula to iterate for mandlebrot set z^2 + c
2023-06-16 21:50:02 +0200 <EvanR> if you always start with "rational complex" you stay rational?
2023-06-16 21:51:22 +0200 <dolio> Usually you test magnitudes to detect divergence, though. But you can probably test square magnitudes instead.
2023-06-16 21:52:13 +0200 <EvanR> so yeah CReal would be overkill
2023-06-16 21:52:39 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds)
2023-06-16 21:52:41 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:4849:878d:c616:458f)
2023-06-16 22:00:22 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-16 22:08:06 +0200dsrt^(~dsrt@71.204.38.59) (Server closed connection)
2023-06-16 22:08:25 +0200dsrt^(~dsrt@c-71-204-38-59.hsd1.ga.comcast.net)
2023-06-16 22:11:42 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-16 22:16:34 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de) (Server closed connection)
2023-06-16 22:17:00 +0200Profpatsch(~Profpatsc@static.88-198-193-255.clients.your-server.de)
2023-06-16 22:18:49 +0200trev(~trev@user/trev) (Quit: trev)
2023-06-16 22:19:14 +0200 <pie_> I get stuck on such mundane things
2023-06-16 22:19:25 +0200 <pie_> cant fix my own problems in this language...
2023-06-16 22:19:33 +0200 <pie_> though this is a library issue...
2023-06-16 22:23:08 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 252 seconds)
2023-06-16 22:23:22 +0200 <EvanR> when you're writing an app and you create an App monad containing all the actions your app will need, it's pretty straightforward
2023-06-16 22:23:32 +0200 <pie_> rendering problems
2023-06-16 22:23:56 +0200 <EvanR> when you get a library that has it's own monad that needs to be integrated into your app, then it gets technical
2023-06-16 22:24:21 +0200 <EvanR> or combining multiple "library app monads"
2023-06-16 22:24:50 +0200 <EvanR> making that possible is part of why you have all these machinery
2023-06-16 22:24:56 +0200 <pie_> ghci> interactive
2023-06-16 22:24:56 +0200 <pie_> 525252525252525252525252525252525252525252525252525252525252525252525252525252525252525252525252525252*** Exception: row 9 now exceeds region width
2023-06-16 22:24:56 +0200 <pie_> CallStack (from HasCallStack):
2023-06-16 22:24:56 +0200 <pie_> error, called at src/Graphics/Vty/PictureToSpans.hs:347:16 in vty-5.37-DdQWc79tNXWJpSkxmXck6C:Graphics.Vty.PictureToSpans
2023-06-16 22:25:01 +0200 <pie_> those 52-s are the line lengths
2023-06-16 22:25:10 +0200 <pie_> so no idea what it's problem is, because that should fit
2023-06-16 22:25:11 +0200 <EvanR> 25? xD
2023-06-16 22:25:51 +0200 <EvanR> it's almost like you need a 2nd terminal to see debug output
2023-06-16 22:26:20 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-06-16 22:26:49 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-06-16 22:27:16 +0200 <pie_> well that part i managed to work around
2023-06-16 22:28:13 +0200 <fweht> sorry if offtopic but whats the best way to install a recent version of agda? using cabal i get "Agda-2.6.3-IzS9AozOsqRLb4ddJdrEuI failed during the configure step. The exception was: ExitFailure 1" im on github codespaces with ubuntu 20.04.6...
2023-06-16 22:29:02 +0200 <dolio> I use cabal to install it.
2023-06-16 22:29:30 +0200stefan-_(~cri@42dots.de) (Server closed connection)
2023-06-16 22:29:32 +0200 <dolio> That error message isn't enough information to know what's wrong, though.
2023-06-16 22:29:45 +0200stefan-_(~cri@42dots.de)
2023-06-16 22:30:23 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-16 22:31:53 +0200 <hpc> surely there's more to the error than just "ExitFailure 1"
2023-06-16 22:32:14 +0200 <fweht> this is what it printed out but ill try again!
2023-06-16 22:32:30 +0200 <hpc> is that the only thing it printed?
2023-06-16 22:32:51 +0200ijqq_(uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-16 22:33:10 +0200 <fweht> as far as i remember but ill try again!
2023-06-16 22:34:01 +0200zxrom__(~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by)
2023-06-16 22:34:31 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2023-06-16 22:35:26 +0200zxrom__zxrom
2023-06-16 22:35:45 +0200 <EvanR> "nothing but ExitFailure 1" is a thing
2023-06-16 22:35:52 +0200 <EvanR> in general
2023-06-16 22:36:00 +0200zxrom_(~zxrom@mm-144-32-212-37.vitebsk.dynamic.pppoe.byfly.by) (Ping timeout: 260 seconds)
2023-06-16 22:36:13 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-06-16 22:36:15 +0200 <hpc> sure, but i have never seen that with cabal
2023-06-16 22:36:56 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-16 22:38:59 +0200mei(~mei@user/mei) (Ping timeout: 240 seconds)
2023-06-16 22:39:20 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2023-06-16 22:40:14 +0200 <fweht> maybe it ran out of memory because the codespaces virtual machine is not well equipped
2023-06-16 22:41:56 +0200 <dolio> Oh, I suppose that's possible.
2023-06-16 22:42:09 +0200 <dolio> I do think compiling Agda might take a lot of memory.
2023-06-16 22:42:25 +0200 <dolio> Also running it takes a lot of memory, typically.
2023-06-16 22:42:57 +0200 <fweht> thanks! i didnt know that!
2023-06-16 22:43:19 +0200 <pie_> here is my non minimal reproducing example https://github.com/jtdaugherty/brick/issues/471
2023-06-16 22:44:17 +0200 <fweht> this is the error message... https://www.irccloud.com/pastebin/OEfYadAY/
2023-06-16 22:45:58 +0200gmg(~user@user/gehmehgeh)
2023-06-16 22:46:32 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-06-16 22:46:33 +0200mei(~mei@user/mei)
2023-06-16 22:55:34 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Server closed connection)
2023-06-16 22:55:42 +0200 <hpc> you need to install alex
2023-06-16 22:56:00 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2023-06-16 22:56:41 +0200 <hpc> to build agda, it needs to be able to execute alex
2023-06-16 22:57:17 +0200 <hpc> and if you read https://hackage.haskell.org/package/Agda-2.6.3/Agda.cabal (search for build-tools), you'll need to do the same for happy
2023-06-16 22:58:43 +0200 <hpc> happy/alex are a parser generator tool - you define the language you want to parse using their DSL
2023-06-16 22:59:26 +0200 <hpc> and then it outputs a working parser - in this case almost certainly so the Agda package can parse agda code
2023-06-16 22:59:45 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!)
2023-06-16 22:59:47 +0200 <hpc> (and maybe some other random stuff? either way, it's essential)
2023-06-16 22:59:48 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-06-16 23:00:31 +0200gmg(~user@user/gehmehgeh)
2023-06-16 23:01:04 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-06-16 23:01:06 +0200 <fweht> hpc: thanks!!!!!
2023-06-16 23:05:42 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz) (Client Quit)
2023-06-16 23:05:48 +0200cheater_(~Username@user/cheater)
2023-06-16 23:05:58 +0200taupiqueur3(~taupiqueu@2a02-842a-8180-4601-65cd-a4e6-e5ae-9615.rev.sfr.net) (Quit: WeeChat 3.8)
2023-06-16 23:06:40 +0200 <EvanR> alex is also use in GHC (aiui). So to compile GHC you need alex, to get alex you need to compile it with GHC, ...
2023-06-16 23:06:57 +0200falafel(~falafel@2607:fb91:86c:d890:704f:c69b:12cd:87f5)
2023-06-16 23:07:35 +0200remedan(~remedan@ip-94-112-0-18.bb.vodafone.cz)
2023-06-16 23:08:00 +0200 <geekosaur> but to compile ghc you need ghc anyway 🙂
2023-06-16 23:08:10 +0200cheater(~Username@user/cheater) (Ping timeout: 258 seconds)
2023-06-16 23:08:13 +0200cheater_cheater
2023-06-16 23:08:48 +0200 <EvanR> the feeling of standing on a tower a mile high, which has no base
2023-06-16 23:10:14 +0200 <fweht> i didnt compile ghc, i installed it via apt
2023-06-16 23:10:16 +0200 <Nosrep> if you keep building fast enough you won't fall
2023-06-16 23:10:35 +0200 <fweht> but the agda version in the apt repository is not the current one :(
2023-06-16 23:10:56 +0200 <geekosaur> iirc there really is no base
2023-06-16 23:12:03 +0200 <pie_> ok even if it used to work i think what im trying to do just might not work in the current brick
2023-06-16 23:12:10 +0200 <EvanR> GHC versions are like tetris
2023-06-16 23:12:21 +0200 <pie_> i got it to work by throwing bigger numbers at the length values but theres rendering bugs and idk why
2023-06-16 23:12:26 +0200 <EvanR> at some point the bottom level is cleared xD
2023-06-16 23:12:28 +0200 <pie_> (shees, rendering bugs, in terminals :P)
2023-06-16 23:13:07 +0200 <pie_> use nix <fweht> but the agda version in the apt repository is not the current one :(
2023-06-16 23:13:25 +0200 <geekosaur> but then you have to learn nix
2023-06-16 23:13:29 +0200 <pie_> not exactly
2023-06-16 23:13:36 +0200 <pie_> not until you need to touch something
2023-06-16 23:13:36 +0200 <Clint> use an OS that isn't from 2020
2023-06-16 23:13:41 +0200 <pie_> which might come sooner than you expect but
2023-06-16 23:13:49 +0200 <pie_> nix-shell -p ghc
2023-06-16 23:13:50 +0200 <fweht> arch also has the current one but i wanted to work in github codespaces with minimal friction
2023-06-16 23:13:56 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-06-16 23:14:00 +0200 <monochrom> "fail early, fail often, fail every time" >:)
2023-06-16 23:14:08 +0200 <pie_> never stop failing
2023-06-16 23:14:18 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-06-16 23:14:30 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-06-16 23:14:35 +0200 <fweht> https://repology.org/project/agda/versions actually surprisingly many repos are up to date :)
2023-06-16 23:14:58 +0200 <pie_> haskell is like, first, learn how to scale a cliff
2023-06-16 23:15:06 +0200 <pie_> something something everything everywhere all at once movie
2023-06-16 23:15:16 +0200 <hpc> still easier than baking an apple pie from scratch
2023-06-16 23:15:32 +0200 <monochrom> I thought that was concurrent programming.
2023-06-16 23:15:44 +0200 <pie_> getting sand to think is easier than inventing the apple universe
2023-06-16 23:16:09 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-16 23:16:12 +0200 <monochrom> I thought we got sand to think.
2023-06-16 23:16:44 +0200 <Clint> no, we just got sand to outsmart a bunch of people
2023-06-16 23:16:56 +0200 <monochrom> Unpopular opinion: ChatGPT is silcon-based life form. Or at least, Bing is. :)
2023-06-16 23:17:29 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142)
2023-06-16 23:17:31 +0200 <EvanR> not until it can replicate
2023-06-16 23:17:34 +0200 <EvanR> itself
2023-06-16 23:17:40 +0200 <segfaultfizzbuzz> i asked bard to write a haskell compiler in rust and it made this: https://paste.rs/auOqV.rs lol
2023-06-16 23:17:56 +0200 <monochrom> So this is why Bing is trying to ask its users out for dinner!
2023-06-16 23:18:02 +0200 <EvanR> chatGPT + virus
2023-06-16 23:18:44 +0200 <segfaultfizzbuzz> instead of GHC you folks should use haskell::compiler::Compiler ! duhh
2023-06-16 23:19:00 +0200 <EvanR> what is that
2023-06-16 23:19:05 +0200 <segfaultfizzbuzz> it doesn't exist lol
2023-06-16 23:20:55 +0200mcglk(~mcglk@131.191.19.145) (Ping timeout: 268 seconds)
2023-06-16 23:20:55 +0200 <sm> in other news, Microsoft is working with Mercedes-Benz to add chatgpt to cars
2023-06-16 23:21:17 +0200 <Rembane> "Follow that car!"
2023-06-16 23:21:20 +0200 <segfaultfizzbuzz> so you can write code while driving to work
2023-06-16 23:21:22 +0200 <jade[m]1> oh box
2023-06-16 23:21:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-16 23:21:31 +0200 <jade[m]1> we're living in a dystopia
2023-06-16 23:21:36 +0200 <jade[m]1> s/x/y
2023-06-16 23:21:43 +0200 <EvanR> notorious for not having spatial awareness, put in a car
2023-06-16 23:21:45 +0200 <segfaultfizzbuzz> "you are a world-class programmer. here are my assigned bugs. fix bugs and push commits."
2023-06-16 23:22:06 +0200phma(~phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99) (Quit: Konversation terminated!)
2023-06-16 23:22:12 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-06-16 23:22:15 +0200 <pie_> well, my program works now but it would be so much more satisfying if it wasnt a giant walking rendering bug :(
2023-06-16 23:22:55 +0200 <sm> you are a F1 car. A red bull F1 car. Now get me to work on time and in one piece.
2023-06-16 23:23:00 +0200phma(~phma@2001:5b0:211c:2af8:fd91:2419:befa:6d99)
2023-06-16 23:23:22 +0200 <EvanR> a 1996 giant walking rendering bug known as pokemon made a zillion dollars
2023-06-16 23:24:48 +0200mcglk(~mcglk@131.191.19.145)
2023-06-16 23:25:23 +0200 <darkling> Bugs don't matter. How good is your marketing? Would you lke ChatGPT to help with your marketing? [Y/N]
2023-06-16 23:26:45 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-16 23:26:58 +0200 <segfaultfizzbuzz> wow bard is like a student trying to trick you into getting credit for nonsense
2023-06-16 23:27:38 +0200 <darkling> That's been my impression of all of them from the outset.
2023-06-16 23:28:20 +0200 <segfaultfizzbuzz> ...well, when i asked chatgpt to write tictactoe in python and in rust, those actually compiled (i had to fix a couple of syntax errors)
2023-06-16 23:28:28 +0200 <darkling> We already have enough students that don't understand things and are just trying to fill space.
2023-06-16 23:28:35 +0200 <segfaultfizzbuzz> not only did it compile but it was feature complete and worked
2023-06-16 23:28:54 +0200 <segfaultfizzbuzz> bard on the other hand,... it compiled with a couple of fixes but then there was only one player
2023-06-16 23:28:57 +0200 <dolio> This channel isn't about you talking to neural networks.
2023-06-16 23:29:02 +0200 <segfaultfizzbuzz> ya sorry lol
2023-06-16 23:30:05 +0200 <EvanR> unless they equip the thing with an IRC client and then joins here
2023-06-16 23:30:24 +0200 <EvanR> and sticks to the topic
2023-06-16 23:30:36 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-06-16 23:31:10 +0200 <lambdabot> Welcome to ChatGPTHaskell, your extremely confident source of all errors.
2023-06-16 23:31:27 +0200 <EvanR> @botsnack
2023-06-16 23:31:27 +0200 <lambdabot> :)
2023-06-16 23:31:49 +0200 <pie_> its kind of a pain that brick deliberately might be avoiding giving raw ansi sequence support
2023-06-16 23:32:04 +0200Pickchea(~private@user/pickchea)
2023-06-16 23:34:41 +0200 <int-e> It's based on vty, which uses terminfo? Raw ansi sequences may simply not work on the terminal you're using.
2023-06-16 23:34:49 +0200 <pie_> no they work
2023-06-16 23:34:59 +0200 <ddrone> Any chance there's something like a GHC parse tree explorer?
2023-06-16 23:35:05 +0200 <pie_> its just not supported and i have graphical glitches i dont know how to fix
2023-06-16 23:35:21 +0200 <pie_> int-e: going off of this dialog https://github.com/jtdaugherty/brick/issues/181
2023-06-16 23:35:24 +0200 <ddrone> Basically I want some web UI to chuck in Haskell source and see its parse tree
2023-06-16 23:35:35 +0200 <sm> pie_: why do you have glitches ?
2023-06-16 23:36:35 +0200 <pie_> let me see if i can screenshot it
2023-06-16 23:36:56 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-06-16 23:37:34 +0200mcglk(~mcglk@131.191.19.145) (Ping timeout: 252 seconds)
2023-06-16 23:39:55 +0200 <pie_> here's my code http://ix.io/4yrj
2023-06-16 23:43:07 +0200gmg(~user@user/gehmehgeh)
2023-06-16 23:44:33 +0200 <pie_> roughly what is should look like https://files.catbox.moe/vk3t59.png
2023-06-16 23:44:47 +0200 <pie_> what it looks like when you move around https://files.catbox.moe/g1ebgk.PNG
2023-06-16 23:45:10 +0200 <pie_> the repetition is the glitching, the interval is the size of the steps
2023-06-16 23:45:14 +0200 <EvanR> ansibrot
2023-06-16 23:45:25 +0200 <sm> nifty!
2023-06-16 23:45:33 +0200 <pie_> well it would feel good if it actually worked
2023-06-16 23:46:02 +0200 <pie_> i had to add a space to the beginning of each line because for some reason the \x1b in the color codes was getting cut off or something
2023-06-16 23:46:12 +0200 <sm> there's some reason for the glitches, but I don't think changes to brick will be needed to fix it
2023-06-16 23:46:32 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-06-16 23:46:41 +0200 <sm> oh yes.. ANSI codes will horribly confuse it I expect
2023-06-16 23:46:48 +0200smtakes it back
2023-06-16 23:47:06 +0200ec_(~ec@gateway/tor-sasl/ec)
2023-06-16 23:47:12 +0200 <pie_> :P :(
2023-06-16 23:47:21 +0200 <pie_> i mean, the widget takes two size parameters
2023-06-16 23:47:33 +0200 <pie_> so idk what its even trying to do internall
2023-06-16 23:47:50 +0200 <pie_> though i guess blitting routines need to work with the real string size if its doing something like that :/
2023-06-16 23:48:09 +0200 <sm> don't use raw ANSI for colors, use https://hackage.haskell.org/package/vty-5.38/docs/Graphics-Vty-Attributes-Color.html ?
2023-06-16 23:48:19 +0200 <pie_> ok blitting is not the correct term
2023-06-16 23:48:28 +0200 <pie_> that doesnt support rgb colors though
2023-06-16 23:48:52 +0200 <pie_> i dont want to implement color maping
2023-06-16 23:48:56 +0200 <sm> does
2023-06-16 23:49:09 +0200 <pie_> oh well there is this rgb240 thing
2023-06-16 23:49:13 +0200 <pie_> meh, hm.
2023-06-16 23:49:29 +0200 <sm> right
2023-06-16 23:49:54 +0200 <pie_> i hope this doesnt mean i now have to create an attribute set with every color i want to use
2023-06-16 23:50:18 +0200mcglk(~mcglk@131.191.19.145)
2023-06-16 23:50:56 +0200 <sm> I'm not sure what that is, but this is a pretty solid well thought out API to the madness of doing layout with colour in terminals I think
2023-06-16 23:51:35 +0200 <pie_> i exect i cant just use brick for the event loop and do all the drawing myself? :/
2023-06-16 23:52:30 +0200 <jade[m]1> what do you mean
2023-06-16 23:53:00 +0200 <jade[m]1> you can define a custom widget and use the RenderM monad transformer
2023-06-16 23:53:34 +0200 <sm> vty seems to support full 24 bit color since 5.35, https://hackage.haskell.org/package/vty-5.38/changelog
2023-06-16 23:54:16 +0200 <pie_> jade[m]1: that seems like a start
2023-06-16 23:54:35 +0200 <pie_> jade[m]1: it just like to print strings with ansi codes, do you know how to do that?
2023-06-16 23:54:38 +0200 <pie_> *id just
2023-06-16 23:54:50 +0200 <pie_> i dont have to do any fancy layout, just that and clearing the screen
2023-06-16 23:54:53 +0200 <pie_> and redrawing
2023-06-16 23:54:54 +0200 <jade[m]1> I reccomend you use attributes instead
2023-06-16 23:54:56 +0200 <sm> at that point, it seems simpler to avoid brick
2023-06-16 23:55:08 +0200 <jade[m]1> sm: also yes, this ^
2023-06-16 23:55:14 +0200 <geekosaur> isn't this more like ansi-terminal?
2023-06-16 23:55:26 +0200 <sm> ansi-terminal-game might also be of interest
2023-06-16 23:57:06 +0200 <sm> it's lower-level and much simpler than brick
2023-06-16 23:57:31 +0200 <sm> and, works on windows
2023-06-16 23:57:48 +0200foul_owl(~kerry@71.212.137.212) (Ping timeout: 255 seconds)
2023-06-16 23:58:07 +0200 <EvanR> i recall clearing the screen and changing the cursor position and recognizing arrow keys being accomplishable with a few awful looking lines of code. Not sure how portable it was though
2023-06-16 23:59:00 +0200 <EvanR> by just using control codes directly
2023-06-16 23:59:17 +0200segfaultfizzbuzz(~segfaultf@12.172.217.142) (Quit: segfaultfizzbuzz)