Home liberachat/#haskell: Logs Calendar

Logs on 2022-04-09 (liberachat/#haskell)

00:00:35 × hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection)
00:03:45 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
00:04:16 → chenqisu1 joins (~chenqisu1@183.217.200.239)
00:06:35 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds)
00:08:09 → xff0x joins (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
00:08:44 → hololeap joins (~hololeap@user/hololeap)
00:10:30 → redb joins (~nmh@136.49.49.211)
00:12:00 × epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
00:15:05 × redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds)
00:16:28 × gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
00:17:21 × xff0x quits (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 256 seconds)
00:17:22 → harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
00:22:15 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
00:22:43 → rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
00:36:45 → redb joins (~nmh@136.49.49.211)
00:39:07 → lainon joins (~lainon@2601:7c0:c500:4d20::484e)
00:41:00 × lainon quits (~lainon@2601:7c0:c500:4d20::484e) (Client Quit)
00:49:12 [_] is now known as [itchyjunk]
00:56:09 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
00:57:35 × slack1256 quits (~slack1256@191.125.227.86) (Ping timeout: 256 seconds)
00:59:33 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection)
00:59:59 → rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
01:05:42 → rawley joins (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca)
01:05:56 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
01:08:13 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
01:10:46 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:11:07 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
01:12:56 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds)
01:13:07 <abastro[m]> Depending on packages in other languages is scary?
01:16:15 → machinedgod joins (~machinedg@24.105.81.50)
01:16:31 → redb joins (~nmh@136.49.49.211)
01:16:53 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:17:36 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
01:17:58 → jpds joins (~jpds@gateway/tor-sasl/jpds)
01:18:08 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
01:19:06 × mvk quits (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds)
01:20:39 × neurocyte8614492 quits (~neurocyte@user/neurocyte) (Ping timeout: 246 seconds)
01:20:57 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
01:24:09 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
01:24:23 <ornxka> abastro[m]: it is always scary in every language, so i try to minimize them if possible
01:24:37 → redb joins (~nmh@136.49.49.211)
01:25:36 <ornxka> even glibc breaks things occasionally, they have some stupid linker trick where programs compiled against a certain version of glibc will fail to dynamically load sufficiently newer versions of glibc
01:27:46 → mvk joins (~mvk@2607:fea8:5ce3:8500::9d5a)
01:32:03 × redb quits (~nmh@136.49.49.211) (Ping timeout: 268 seconds)
01:32:58 × napping quits (~brandon@65.128.49.110) (Quit: leaving)
01:34:52 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
01:39:31 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
01:43:04 → redb joins (~nmh@136.49.49.211)
01:50:45 × Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
01:51:35 × redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds)
01:53:15 × littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
01:54:26 → redb joins (~nmh@136.49.49.211)
01:59:03 × redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds)
02:00:37 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
02:01:39 <monochrom> containers has a small graph library under Data.Graph. It comes with GHC. It's pretty small though.
02:02:50 <monochrom> fgl doesn't bring in a lot of transitive dependency though.
02:05:13 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
02:06:04 <abastro[m]> ornxka: Ye, makes sense
02:07:38 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
02:08:57 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
02:11:31 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
02:12:11 → redb joins (~nmh@136.49.49.211)
02:14:28 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
02:14:33 → Guest8496 joins (~Guest84@23.191.80.16)
02:14:50 dons waves
02:14:54 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
02:15:31 × Guest8496 quits (~Guest84@23.191.80.16) (Client Quit)
02:16:28 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
02:16:36 × justOkay quits (~justache@user/justache) (Remote host closed the connection)
02:17:32 → justOkay joins (~justache@user/justache)
02:18:45 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
02:21:54 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
02:23:23 <abastro[m]> Btw why is there no cabal gc library where you could specify cabal files to keep dependency of?
02:28:02 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
02:29:34 <abastro[m]> cabalgc fails to remove many dangling dependencies
02:35:29 → redb joins (~nmh@136.49.49.211)
02:36:46 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:36:47 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:36:47 finn_elija is now known as FinnElija
02:37:55 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection)
02:39:11 → rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com)
02:39:53 × redb quits (~nmh@136.49.49.211) (Ping timeout: 268 seconds)
02:43:35 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
02:47:26 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
02:53:33 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
02:54:20 × hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection)
02:54:49 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
02:55:41 → hololeap joins (~hololeap@user/hololeap)
02:58:20 × avpx quits (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
02:58:21 → redb joins (~nmh@136.49.49.211)
02:58:39 → avpx joins (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com)
03:01:07 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
03:03:11 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
03:07:11 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
03:20:36 → Cheveride joins (~jackjp3@pool-71-164-77-123.albyny.east.verizon.net)
03:20:38 ← Cheveride parts (~jackjp3@pool-71-164-77-123.albyny.east.verizon.net) ()
03:24:21 <janus> @tell napping how is your adventure with hypertypes going?
03:24:21 <lambdabot> Consider it noted.
03:31:41 × mvk quits (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds)
03:36:45 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
03:38:24 × rawley quits (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection)
03:55:14 → wideEyedPupil joins (~wideEyedP@124.189.229.219)
03:58:25 <wideEyedPupil> beginner here. having some install issues. pointfree & Hlint won't install on my M1 Mac mini b/c Haskell version that is AS M1 compatible isn't compatible with them (I'm told). So tried on an older intel Mac. GHC installed but "ghcup tui" just errors. ghci works. installed point free but involving the command on the command line or inside GHCi as
03:58:25 <wideEyedPupil> per documentation `>pointfree "sum xs = foldr (+) 0 xs" just errors.
03:58:49 <wideEyedPupil> involving -> inkvoking
03:58:55 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
04:00:21 <wideEyedPupil> @free sum xs = foldr (+) 0 xs
04:00:21 <lambdabot> Extra stuff at end of line
04:00:28 <wideEyedPupil> don't work here either…
04:01:42 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
04:03:01 <wideEyedPupil> Uploaded file: https://uploads.kiwiirc.com/files/ed6468e652621bb8736d9f0e4e51fd8f/ZaWuwniP.tar
04:10:47 <abastro[m]> Eh, ghcup should work on Mac M1 chip as well
04:10:52 <abastro[m]> That was what I was told
04:12:28 <wideEyedPupil> yes it does. I have ghcup working on an M1 Mac mini ATM. I used the same install command on an intel MBP and it didn't seem to work, I mean GHCi works fine, maybe it's the $PATH variable needs to be updated? It doesn't recognise the ghcup command.
04:13:08 × toulene quits (~toulene@user/toulene) (Read error: Connection reset by peer)
04:13:15 → toulene joins (~toulene@user/toulene)
04:14:03 <abastro[m]> Oh, it works on M1 but not on Intel mac?
04:14:25 → littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo)
04:15:16 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
04:15:40 <abastro[m]> Btw I think Hlint should be OS-agnostic
04:18:06 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
04:21:17 → cdman joins (~dcm@user/dmc/x-4369397)
04:23:51 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
04:25:29 × wideEyedPupil quits (~wideEyedP@124.189.229.219) (Ping timeout: 248 seconds)
04:28:53 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
04:33:58 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
04:38:49 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
04:53:06 <sm> wideEyedPupil: it's often a PATH problem. Use `type -a PROG` to see what is in your path and `PROG --version` to see what version it is. Eg `type -a ghcup; ghcup --version`
04:54:02 <sm> you can also do `ls -l PATH/TO/PROG` to see when it was installed
05:03:23 <sm> FYI both packages gave trouble with GHC 9.x here, but `stack install pointfree hlint --resolver lts-18.28` works on m1
05:06:37 → abastro joins (~abab9579@220.75.216.63)
05:08:20 <sm> (using the m1-compatible stack/ghcs installed by ghcup)
05:15:12 → benin joins (~benin@183.82.204.110)
05:20:57 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
05:21:31 → redb joins (~nmh@136.49.49.211)
05:24:00 → fef joins (~thedawn@user/thedawn)
05:27:45 → frost joins (~frost@user/frost)
05:27:56 × frost quits (~frost@user/frost) (Write error: Broken pipe)
05:28:51 × rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
05:35:49 → razetime joins (~quassel@117.254.35.170)
05:37:54 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
05:41:01 <janus> sm: using the newest stack, is it still necessary to use 'system-ghc'?
05:41:41 → fr33domlover joins (~fr33@5.102.204.220)
05:42:01 <sm> janus: if you want it to use the system ghc ? yes
05:42:38 <janus> oh, i just thought you used the system ghc because it wasn't able to install the ghc for M1 previously
05:42:49 <janus> but it sounds like there might be another reason?
05:46:37 <sm> janus: no you're right, that's the reason
05:48:02 <janus> i ask because i am wondering whether there is still something missing in stack 2.7.5. because the changelog suggests that it should be able to install itself now
05:51:26 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
05:52:01 → frost joins (~frost@user/frost)
05:53:56 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
05:54:00 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
06:24:47 → acidjnk joins (~acidjnk@pd9e0b763.dip0.t-ipconnect.de)
06:27:18 <Axman6> (asking here too because #ghc is quiet on weekends) I was listening to the Signals & Threads podcast a while ago, and they mentioned an interesting improvement that had been added to the OCaml garbage collector. They use a queue of objects to be fetched, with a prefetch issued when the object is added to the queue (see https://signalsandthreads.com/memory-management/, sound 00:32:06 in the transscript). Has anyone considered a similar thing in GHC's GC(s)?
06:27:28 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:28:38 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
06:29:44 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
06:36:36 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
06:37:11 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
06:38:06 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
06:41:35 × zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving)
06:43:13 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
06:43:22 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
06:45:02 → zmt00 joins (~zmt00@user/zmt00)
06:47:47 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
06:52:52 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
07:01:23 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
07:04:17 → abastro joins (~abab9579@220.75.216.63)
07:05:03 × razetime quits (~quassel@117.254.35.170) (Ping timeout: 268 seconds)
07:06:07 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
07:08:08 × fr33domlover quits (~fr33@5.102.204.220) (Ping timeout: 268 seconds)
07:09:12 → fr33domlover joins (~fr33@2.53.24.182)
07:09:19 → odnes joins (~odnes@5-203-172-196.pat.nym.cosmote.net)
07:10:52 <abastro> I wonder if sub0 is/will be here
07:15:06 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
07:15:41 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
07:17:42 <pavonia> Is there a list of all commands supported by haskeline's config files?
07:20:39 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
07:22:55 × redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds)
07:23:27 → redb joins (~nmh@136.49.49.211)
07:30:00 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
07:30:50 <pavonia> Found https://github.com/judah/haskeline/wiki/KeyBindings
07:38:55 → razetime joins (~quassel@117.254.35.170)
07:40:06 → coot joins (~coot@213.134.190.95)
07:44:16 → zer0bitz joins (~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399)
07:48:48 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
07:49:45 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
07:57:47 × derelict quits (~derelict@user/derelict) (Quit: bye)
08:01:22 → redb joins (~nmh@136.49.49.211)
08:02:53 → epolanski joins (uid312403@id-312403.helmsley.irccloud.com)
08:05:45 × razetime quits (~quassel@117.254.35.170) (Remote host closed the connection)
08:06:13 × dextaa quits (~dextaa@user/dextaa) (Remote host closed the connection)
08:06:39 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
08:08:49 → dextaa joins (~dextaa@user/dextaa)
08:10:21 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
08:10:33 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
08:12:05 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
08:13:39 → razetime joins (~quassel@117.254.35.170)
08:16:52 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:18:53 → redb joins (~nmh@136.49.49.211)
08:23:06 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
08:24:20 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:28:50 → derelict joins (~derelict@user/derelict)
08:31:30 × derelict quits (~derelict@user/derelict) (Client Quit)
08:34:51 × coot quits (~coot@213.134.190.95) (Quit: coot)
08:35:26 → coot joins (~coot@213.134.190.95)
08:35:43 → derelict joins (~derelict@user/derelict)
08:36:11 → _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl)
08:40:25 × coot quits (~coot@213.134.190.95) (Ping timeout: 248 seconds)
08:40:39 → chomwitt joins (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc)
08:41:07 × razetime quits (~quassel@117.254.35.170) (Ping timeout: 256 seconds)
08:44:12 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
08:44:12 → slack1256 joins (~slack1256@191.126.227.197)
08:47:16 → redb joins (~nmh@136.49.49.211)
08:51:37 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
08:51:37 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
08:52:32 → ehammarstrom joins (~ehammarst@62-20-203-39-no182.tbcn.telia.com)
08:54:26 → alp_ joins (~alp@user/alp)
08:57:25 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:00:37 → chddr joins (~Thunderbi@91.226.34.187)
09:02:13 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
09:04:35 × chomwitt quits (~chomwitt@2a02:587:dc0e:4f00:6a98:c6e0:4152:29dc) (Remote host closed the connection)
09:04:51 → mikoto-chan joins (~mikoto-ch@213.177.151.239)
09:05:21 → mastarija joins (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1)
09:07:35 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:09:37 × ehammarstrom quits (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (Ping timeout: 268 seconds)
09:10:35 × abastro quits (~abab9579@220.75.216.63) (Ping timeout: 256 seconds)
09:12:06 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
09:14:20 → zeenk joins (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
09:17:44 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:17:51 → redb joins (~nmh@136.49.49.211)
09:19:48 × dextaa quits (~dextaa@user/dextaa) (Remote host closed the connection)
09:20:31 → __monty__ joins (~toonn@user/toonn)
09:20:34 × chenqisu1 quits (~chenqisu1@183.217.200.239) (Quit: Leaving)
09:20:39 → dextaa joins (~dextaa@user/dextaa)
09:21:51 × dextaa quits (~dextaa@user/dextaa) (Remote host closed the connection)
09:21:54 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
09:22:29 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
09:27:54 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:28:15 → dextaa joins (~dextaa@user/dextaa)
09:32:41 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
09:32:49 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
09:35:53 × alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds)
09:37:53 → slac26216 joins (~slack1256@186.11.100.14)
09:38:03 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:39:09 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
09:39:23 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
09:39:31 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
09:39:45 × slack1256 quits (~slack1256@191.126.227.197) (Ping timeout: 246 seconds)
09:42:33 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
09:44:06 → robosexual joins (~spaceoyst@77.223.90.202)
09:47:31 → DNH joins (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819)
09:48:12 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
09:48:21 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:49:32 → redb joins (~nmh@136.49.49.211)
09:50:41 → gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
09:53:18 × robosexual quits (~spaceoyst@77.223.90.202) (Quit: Konversation terminated!)
09:53:45 × redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds)
09:54:01 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
09:56:17 × mastarija quits (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving)
09:57:38 → xff0x joins (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp)
09:57:48 × dextaa quits (~dextaa@user/dextaa) (Remote host closed the connection)
09:58:41 → dextaa joins (~dextaa@user/dextaa)
10:12:35 × littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
10:16:51 × fr33domlover quits (~fr33@2.53.24.182) (Ping timeout: 246 seconds)
10:17:23 → fr33domlover joins (~fr33@2.53.60.247)
10:17:53 × fef quits (~thedawn@user/thedawn) (Remote host closed the connection)
10:18:28 → fef joins (~thedawn@user/thedawn)
10:20:15 → redb joins (~nmh@136.49.49.211)
10:24:25 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
10:27:05 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 248 seconds)
10:29:42 × slac26216 quits (~slack1256@186.11.100.14) (Remote host closed the connection)
10:31:16 → redb joins (~nmh@136.49.49.211)
10:35:16 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
10:35:24 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:35:38 → califax joins (~califax@user/califx)
10:35:57 × redb quits (~nmh@136.49.49.211) (Ping timeout: 268 seconds)
10:36:27 × benin quits (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat)
10:40:57 × gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
10:41:34 × kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 272 seconds)
10:44:07 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
10:46:23 → pretty_d1 joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
10:46:28 × pretty_d1 quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
10:48:00 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds)
10:49:20 → redb joins (~nmh@136.49.49.211)
10:52:38 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
10:53:00 → kaph_ joins (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
10:53:43 × redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds)
10:54:40 × zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer)
11:01:00 → michalz joins (~michalz@185.246.204.101)
11:01:50 × shailangsa quits (~shailangs@host86-162-150-212.range86-162.btcentralplus.com) (Ping timeout: 272 seconds)
11:03:49 × typetetris quits (sid275937@id-275937.tinside.irccloud.com) (Quit: Connection closed for inactivity)
11:04:19 × kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds)
11:18:17 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds)
11:18:39 → zincy joins (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53)
11:20:00 → Neuromancer joins (~Neuromanc@user/neuromancer)
11:21:35 × cosimone quits (~user@93-47-228-79.ip115.fastwebnet.it) (Read error: Connection reset by peer)
11:22:23 → cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
11:23:28 × cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer)
11:24:17 → redb joins (~nmh@136.49.49.211)
11:28:25 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
11:33:03 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
11:35:16 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
11:36:26 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
11:40:09 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
11:40:24 → redb joins (~nmh@136.49.49.211)
11:40:39 × sndr quits (~sander@user/sander) (Quit: So long! :))
11:40:45 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
11:41:45 × acidjnk quits (~acidjnk@pd9e0b763.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
11:43:33 → sander joins (~sander@user/sander)
11:44:55 sander is now known as sndr
11:45:42 → shailangsa joins (~shailangs@host86-186-142-63.range86-186.btcentralplus.com)
11:47:30 × elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 246 seconds)
11:47:45 → elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
11:48:46 → gustik joins (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a)
11:49:04 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
11:53:59 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
11:55:43 → cosimone joins (~user@93-47-228-79.ip115.fastwebnet.it)
11:57:45 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
12:01:42 → machinedgod joins (~machinedg@24.105.81.50)
12:03:05 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:03:28 → CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
12:04:21 → littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo)
12:06:00 × cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving)
12:07:27 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
12:08:27 × CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
12:08:27 → cdman joins (~dcm@user/dmc/x-4369397)
12:09:18 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
12:10:54 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
12:12:04 × Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
12:12:18 → Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
12:13:15 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:14:04 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
12:15:53 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
12:16:03 → alp_ joins (~alp@user/alp)
12:17:36 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
12:21:45 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
12:23:24 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:23:31 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
12:25:08 × xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer)
12:28:01 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
12:28:11 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
12:30:16 × dextaa quits (~dextaa@user/dextaa) (Read error: Connection reset by peer)
12:32:17 → dextaa joins (~dextaa@user/dextaa)
12:32:58 → coot joins (~coot@213.134.190.95)
12:33:33 → acidjnk joins (~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de)
12:33:34 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:33:45 × odnes quits (~odnes@5-203-172-196.pat.nym.cosmote.net) (Read error: Connection reset by peer)
12:34:00 → odnes joins (~odnes@5-203-172-196.pat.nym.cosmote.net)
12:35:51 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
12:37:23 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
12:37:34 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
12:37:59 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
12:40:24 → kaph_ joins (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
12:41:57 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
12:42:33 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
12:42:41 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:43:44 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:46:07 → jgeerds joins (~jgeerds@d5364b87.access.ecotel.net)
12:48:03 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
12:51:35 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
12:53:54 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
12:59:15 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
13:08:54 ← jakalx parts (~jakalx@base.jakalx.net) ()
13:11:17 → jakalx joins (~jakalx@base.jakalx.net)
13:12:40 × epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
13:16:34 → mc47 joins (~mc47@xmonad/TheMC47)
13:18:43 × Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
13:19:39 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
13:21:11 × coot quits (~coot@213.134.190.95) (Quit: coot)
13:23:00 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
13:31:25 → fockerized joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
13:33:59 → razetime joins (~quassel@117.254.35.170)
13:34:10 × Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
13:36:34 → Vajb joins (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
13:38:01 × odnes quits (~odnes@5-203-172-196.pat.nym.cosmote.net) (Ping timeout: 248 seconds)
13:39:30 × zyklotomic quits (~ethan@res388d-128-61-94-65.res.gatech.edu) (Ping timeout: 246 seconds)
13:40:31 → ubert joins (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de)
13:41:12 × zeenk quits (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
13:41:38 → zyklotomic joins (~ethan@r4-128-61-95-166.res.gatech.edu)
13:48:50 → ishaan joins (~ishaan@122.161.51.93)
13:49:22 → alx741 joins (~alx741@host-181-198-243-150.netlife.ec)
13:49:35 × mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds)
13:50:45 <ishaan> Hi! I will be participating in GSoC 2022 and I really want to work on Haskell. I'm gravitating towards "Support more LSP Features in HLS" but it doesn't mention on the ideas page what the required skills for this project  are. Can someone give me an approximation regarding the required level of Haskell experience?
13:51:25 → mikoto-chan joins (~mikoto-ch@213.177.151.239)
13:53:24 <maerwald[m]> ishaan: also check out #haskell-language-server
13:53:43 <maerwald[m]> I don't know at the moment who's responsible for the GSoC stuff
13:55:08 × alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 268 seconds)
13:56:16 <ishaan> Okay thanks maerwald[m]. I guess I'll directly email the listed mentor.
13:56:45 × foul_owl quits (~kerry@23.82.193.88) (Ping timeout: 256 seconds)
13:57:45 → odnes joins (~odnes@5-203-130-98.pat.nym.cosmote.net)
13:58:27 → alx741 joins (~alx741@host-181-198-243-150.netlife.ec)
13:58:30 <maerwald[m]> ishaan: who's that?
13:58:52 <ishaan> for this particular project, it's Michael Peyton Jones
13:59:14 <maerwald[m]> Oh, he's on the hls channel
13:59:27 <maerwald[m]> And on matrix
14:00:48 <ishaan> d
14:01:55 × DNH quits (~DNH@2a02:8108:1100:16d8:c02d:dd64:a284:8819) (Quit: Textual IRC Client: www.textualapp.com)
14:03:16 → abastro joins (~abab9579@220.75.216.63)
14:03:39 × alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
14:05:50 → alx741 joins (~alx741@host-181-198-243-150.netlife.ec)
14:07:39 → liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com)
14:07:43 → haskellberry joins (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
14:09:47 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 256 seconds)
14:10:20 × abastro quits (~abab9579@220.75.216.63) (Remote host closed the connection)
14:10:25 <maerwald[m]> dminuoso_: https://www.openssh.com/releasenotes.html
14:10:30 → abastro joins (~abab9579@220.75.216.63)
14:10:49 <maerwald[m]> "use the hybrid Streamlined NTRU Prime + x25519 key
14:10:49 <maerwald[m]> exchange method by default"
14:11:40 × odnes quits (~odnes@5-203-130-98.pat.nym.cosmote.net) (Read error: Connection reset by peer)
14:11:50 → odnes joins (~odnes@5-203-130-98.pat.nym.cosmote.net)
14:12:39 → foul_owl joins (~kerry@23.82.193.88)
14:14:30 × alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
14:15:06 <abastro> Why ppl dislike lazy IO when I quite like it :<
14:15:35 <abastro> Like, how many times should you care about when certain effects happen
14:16:45 → alx741 joins (~alx741@host-181-198-243-150.netlife.ec)
14:18:13 × acidjnk quits (~acidjnk@p200300d0c7049f84a0b6f4c4560feda0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
14:19:57 <maerwald[m]> abastro: because resource management is borked and it's literally using unsafeInterleaveIO
14:20:11 × mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
14:21:25 <maerwald[m]> http://newartisans.com/2013/05/three-examples-of-problems-with-lazy-io/
14:22:53 <abastro> Eh IIRC source of exception is always unclear in haskell
14:23:19 <maerwald[m]> Excellent example of how "correctness" isn't as popular in Haskell as people think :p
14:23:23 × alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
14:23:51 <abastro> Well yea they perhaps prefer masochism of being restrained by types
14:24:31 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
14:24:35 <abastro> Also in the end, lazy IO's problem also exists for laziness itself
14:24:46 <maerwald[m]> Yeah, correctness is mostly considered to be a property of the type system
14:24:47 <abastro> But if you don't like laziness, there is next to no reason to use haskell
14:24:54 <maerwald[m]> Which I largely disagree with
14:24:58 <abastro> Why
14:25:03 → bontaq joins (~user@ool-45779fe5.dyn.optonline.net)
14:25:08 <abastro> Oh
14:25:16 <abastro> You mean correctness is not a property of type system
14:25:30 <abastro> Yeah, low-level correctness is often more important I heard
14:25:38 → alx741 joins (~alx741@host-181-198-243-150.netlife.ec)
14:25:41 × alx741 quits (~alx741@host-181-198-243-150.netlife.ec) (Client Quit)
14:25:49 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer)
14:26:13 <abastro> I guess finally I see that type system could be quite useless
14:26:45 <abastro> Well, for practical programming, that is
14:28:26 × alp_ quits (~alp@user/alp) (Ping timeout: 268 seconds)
14:28:43 <abastro> (..then I always forget that laziness is not only non-strict evaluation scheme. Duh)
14:29:53 × werdnA quits (~andrew@114.88.181.56) (Ping timeout: 260 seconds)
14:30:37 → werdnA joins (~andrew@114.88.181.56)
14:30:51 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
14:31:21 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
14:32:09 → coot joins (~coot@213.134.190.95)
14:35:11 → zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
14:35:11 × zincy quits (~zincy@2a00:23c8:970c:4801:dc35:500f:d0de:de53) (Read error: Connection reset by peer)
14:38:07 × odnes quits (~odnes@5-203-130-98.pat.nym.cosmote.net) (Ping timeout: 256 seconds)
14:38:54 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
14:42:52 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
14:43:03 → notzmv joins (~zmv@user/notzmv)
14:43:05 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
14:45:32 <maerwald[m]> You're jumping to a lot of conclusions here
14:45:47 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
14:47:21 → zebrag joins (~chris@user/zebrag)
14:49:01 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
14:50:01 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds)
14:50:01 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds)
14:56:01 <abastro> Wdym jumping conclusions?
14:57:56 × ishaan quits (~ishaan@122.161.51.93) (Quit: Client closed)
14:58:55 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
14:59:31 → alp_ joins (~alp@user/alp)
14:59:39 → gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
15:00:21 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
15:02:43 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
15:03:46 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
15:04:31 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
15:06:03 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds)
15:06:06 → bahamas joins (~lucian@84.232.140.158)
15:07:53 → lambdabot joins (~lambdabot@silicon.int-e.eu)
15:07:53 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
15:07:53 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
15:09:04 × frost quits (~frost@user/frost) (Quit: Client closed)
15:09:36 × Vajb quits (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
15:09:51 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
15:10:59 × bahamas quits (~lucian@84.232.140.158) (Ping timeout: 268 seconds)
15:11:05 → Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
15:11:22 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
15:13:31 × ubert quits (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Quit: ubert)
15:14:37 → Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
15:15:47 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:16:53 × kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer)
15:18:50 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
15:19:44 → mc47 joins (~mc47@xmonad/TheMC47)
15:23:27 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
15:25:28 <haskellberry> In recursive data structures such as Tree, how to refer to the parent node?
15:25:37 <haskellberry> do we have to use things like a Zipper?
15:26:13 <geekosaur> or "tying the knot"
15:26:42 <haskellberry> geekosaur: meaning?
15:27:14 <geekosaur> it's a technique for lazily making self-referential data structures
15:27:38 <geekosaur> https://wiki.haskell.org/Tying_the_Knot
15:27:49 <haskellberry> thx let me check
15:29:00 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
15:29:02 <geekosaur> you can also do a web search for "tying the knot laziness" for more details
15:29:24 → cheater joins (~Username@user/cheater)
15:30:19 <haskellberry> nice usage of laziness...i can never think of it by myself
15:31:09 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
15:31:37 <haskellberry> not too readable though
15:31:49 <haskellberry> without proper training first
15:33:31 <c_wraith> in general you don't want circular references in data structures anyway
15:33:39 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
15:34:01 <c_wraith> they prevent doing efficient updates
15:35:21 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
15:37:09 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
15:39:09 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
15:44:06 → hololeap_ joins (~hololeap@user/hololeap)
15:44:59 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
15:45:42 × hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer)
15:46:35 → kayvank joins (~user@52-119-115-185.PUBLIC.monkeybrains.net)
15:46:44 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
15:46:46 × cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving)
15:47:08 × oats quits (~thomas@user/oats) (Quit: until later, my friends)
15:48:31 → oats joins (~thomas@user/oats)
15:48:36 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
15:49:41 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
15:51:14 → odnes joins (~odnes@5-203-221-3.pat.nym.cosmote.net)
15:52:46 × oats quits (~thomas@user/oats) (Client Quit)
15:53:32 × kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds)
15:54:00 → oats joins (~thomas@user/oats)
15:54:15 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
16:02:15 → kayvank joins (~user@52-119-115-185.PUBLIC.monkeybrains.net)
16:03:07 × jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 256 seconds)
16:05:48 <monochrom> You can just go ahead and write like "mytree = Node mytree mytree".
16:07:36 <monochrom> But "can do it without training" is in conflict with "but programming is a profession, should even be called engineering". Make up your mind, pick one already.
16:07:53 × redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds)
16:08:34 <monochrom> Even Greg Wilson's "no no, programming is a craft", well craft implies training too.
16:09:48 × stefan-_ quits (~cri@42dots.de) (Ping timeout: 240 seconds)
16:10:48 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 268 seconds)
16:12:39 × abastro quits (~abab9579@220.75.216.63) (Ping timeout: 268 seconds)
16:13:16 × haskellberry quits (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
16:13:25 <abastro[m]> (I wish programming were a proper profession, but nowadays it seems more like an opportunity for those not faring well)
16:14:02 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
16:14:03 → stefan-_ joins (~cri@42dots.de)
16:15:35 × cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds)
16:16:26 <maerwald> what? :D
16:16:51 × Alleria quits (~textual@user/alleria) (Read error: Connection reset by peer)
16:17:03 → benin joins (~benin@183.82.204.110)
16:17:07 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
16:19:31 → jakalx joins (~jakalx@base.jakalx.net)
16:22:13 → vicfred joins (~vicfred@user/vicfred)
16:22:57 × razetime quits (~quassel@117.254.35.170) (Ping timeout: 256 seconds)
16:23:56 → cheater joins (~Username@user/cheater)
16:27:11 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
16:27:37 × kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 248 seconds)
16:29:14 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
16:29:27 → kayvank joins (~user@52-119-115-185.PUBLIC.monkeybrains.net)
16:38:51 <maerwald> I don't know any university teaching programming. It's usually CS and you're expected to learn programming yourself.
16:39:51 <maerwald> That may be, because most teachers either don't have extensive practical experience or aren't even that interested in doing *thorough* code reviews beyond the assignment scope.
16:40:21 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:40:52 <maerwald> People usually learned that through open source commitments or get a really cold shower in their first month of their first job.
16:41:08 <maerwald> when the first real review hits them like a truck
16:44:31 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
16:44:37 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
16:45:35 → zaquest joins (~notzaques@5.130.79.72)
16:53:00 → redb joins (~nmh@136.49.49.211)
16:54:24 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
16:56:46 → ubert joins (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de)
16:57:29 × werdnA quits (~andrew@114.88.181.56) (Ping timeout: 248 seconds)
16:58:29 → werdnA joins (~andrew@114.88.181.56)
16:58:56 × ubert quits (~Thunderbi@p200300ecdf158822984ffad2347eabc0.dip0.t-ipconnect.de) (Client Quit)
16:59:13 → MajorBiscuit joins (~MajorBisc@62.233.220.137)
16:59:56 <sshine> I learned of good feedback and high version control standards ~3 years into my full-time work life when I decided to contribute to the right open-source project.
17:00:24 → notzmv joins (~zmv@user/notzmv)
17:04:55 → vicfred joins (~vicfred@user/vicfred)
17:07:51 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
17:08:16 → geekosaur joins (~geekosaur@xmonad/geekosaur)
17:11:57 <dsal> I've learned that most work places have really bad version control usage. Especially the ones who use github and follow github's defaults.
17:13:59 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
17:15:39 × MajorBiscuit quits (~MajorBisc@62.233.220.137) (Ping timeout: 256 seconds)
17:18:09 × mikoto-chan quits (~mikoto-ch@213.177.151.239) (Quit: mikoto-chan)
17:19:38 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
17:19:45 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
17:19:59 × derelict quits (~derelict@user/derelict) (Quit: bye)
17:20:15 → geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca)
17:21:25 × kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Quit: WeeChat 3.3)
17:23:23 → derelict joins (~derelict@user/derelict)
17:25:25 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
17:25:43 → prolic joins (~prolic@170.51.49.166)
17:26:19 <prolic> hello, I ran into a problem parsing a json array with haskell
17:26:40 <prolic> maybe someone could help me out a bit
17:26:59 → jgeerds joins (~jgeerds@d5364b87.access.ecotel.net)
17:27:15 <dolio> You'll need to be more specific for someone to help you.
17:27:21 → econo joins (uid147250@user/econo)
17:28:00 <prolic> the json string looks like this:
17:28:00 <prolic> "[\"EVENT\",\"1dd639b12433183604485d7a550e4ee2751d62202073cbf1c0bb139c6d49af7b\",{\"id\":\"594bb1034c7e737b9014c86d5ccea40497c68e09520b9f4db407f481c90f4fbe\",\"pubkey\":\"1901ca365606eb68050fd4231d4b0b8ddb157f89d43db1b8c622b6b700b5ff17\",\"created_at\":1649520865,\"kind\":1,\"tags\":[],\"content\":\"\",\"sig\":\"98b0f1ec6a73d69bf0b7355ef64f33001544
17:28:01 <prolic> fb44e123406e194408546fe36be414e2075d5db3fe67c7a3b8a1239b91d6e40b85d22424f9e8b709032ea7cb15d6\"}]"
17:28:01 <prolic> first is the string "EVENT", follow by some other string as identifier, followed by a json object representing a event
17:28:02 <prolic> the event itself I can decode, but I'm stuck parsing the whole thing
17:28:45 <prolic> instance FromJSON ServerResponse where
17:28:46 <prolic>     parseJSON = withArray "ServerResponse Event" $ \arr -> do
17:28:46 <prolic>         t <- parseJSON $ arr V.! 0
17:28:47 <prolic>         f <- parseJSON $ arr V.! 1
17:28:47 <prolic>         e <- parseJSON $ arr V.! 2
17:28:48 <prolic>         return $ ServerResponse <$> parseJSON (arr V.! 1) <*> parseJSON (arr V.! 2)
17:28:48 <prolic> is my current try, which doesn't work
17:28:51 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
17:29:16 <prolic> i also tried this:
17:29:16 <prolic>     parseJSON (Array v)
17:29:17 <prolic>         | V.length v == 3 = do
17:29:17 <prolic>           case v V.! 0 of
17:29:18 <prolic>             String "EVENT" ->
17:29:18 <prolic>                 withArray "ServerResponse Event" $ \arr -> do
17:29:19 <prolic>                     f <- parseJSON $ arr V.! 1
17:29:19 <prolic>                     e <- parseJSON $ arr V.! 2
17:29:20 <prolic>                     return $ ServerResponse f e
17:29:20 <prolic>             _ -> mzero
17:29:21 <prolic>         | otherwise = mzero
17:29:21 <prolic>     parseJSON _ = mzero
17:29:28 <dolio> You should use a pastebin for code.
17:29:38 <prolic> sorry
17:29:43 <dolio> @paste
17:29:43 <lambdabot> A pastebin: https://paste.debian.net/
17:30:15 <dolio> @where paste
17:30:15 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
17:30:21 × fef quits (~thedawn@user/thedawn) (Remote host closed the connection)
17:30:44 <prolic> https://paste.debian.net/1237398/
17:31:04 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
17:31:59 <prolic> again here with the input data: https://paste.debian.net/1237399/
17:33:48 <dolio> I think your problem might be that `withArray` takes another argument that you aren't giving.
17:34:17 <prolic> the code compiles, the result is just always "Nothing" instead of "Just"
17:34:19 <dolio> Oh, perhaps not.
17:35:16 <prolic> data ServerResponse = ServerResponse Text Event
17:35:17 <prolic> this is what my haskell type looks like
17:37:38 <dolio> There are multiple strange things here, although I'm not a JSON expert.
17:38:06 <prolic> I'm open for any suggestions, don't worry if it's not working
17:39:08 <dolio> Your line 25 in the paste seems wrong, because it has `return` around `f <$> x <*> y`, which seems like double wrapping. It also doesn't use any of the things you parsed on previous lines.
17:39:53 <monochrom> dolio, there was an eta from "parseJSON v = withArray msg func v" to "parseJSON = withArray msg func" and then insert a $ so func can be a lambda. That one is OK.
17:39:59 <dsal> `return` confuses people and basically shouldn't be used.
17:40:18 <dolio> Yeah, I realized that after my comment.
17:41:17 <monochrom> Though, I'm surpised that "return $ ServerResponse <$> ..." is not a type error.
17:41:49 <prolic> https://paste.debian.net/1237400/
17:41:50 <prolic> this one compiles, but returns "Nothing"
17:42:12 <dolio> Considering the output is just `Nothing` though, the problem might be in the `Event` parser, too.
17:42:30 <prolic> as I said, I verified the event parser and it's working perfectly
17:42:31 <monochrom> Yeah.
17:43:33 × jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds)
17:43:58 <prolic> also the event parser is pretty complex, with lots of custom types, so I didn't want to throw tons of code at you
17:45:13 <dolio> Oh, maybe the case statement is wrong? `t` is parsed output, but you're matching on a JSON value. What does parsing a JSON value do?
17:46:14 <dolio> Is that expecting `arr ! 0` to be a string that represents a JSON value, maybe?
17:46:26 <dolio> Like, double encoded.
17:46:41 <monochrom> Ah.
17:46:52 <prolic> I have a kind of similar parser that works, I can share that with you if that helps
17:47:36 <dolio> No, that guess is wrong, too. `parseJSON :: Value -> Parser Value` is just `pure`.
17:48:35 <prolic> https://paste.debian.net/1237401/
17:48:59 <prolic> this one works, but it's a slightly different use case
17:51:38 <dolio> I'm out of ideas, at least.
17:51:39 <janus> hey prolic! you are the author of that aeson library on hackage no?
17:51:40 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:52:00 <prolic> if I would be the author of aeson, i wouldn't ask I guess :)
17:52:13 <janus> no, i mean the library built on top of aeson, i forgot the name
17:52:29 <janus> kinda like autodocodec but a bit older
17:52:36 <prolic> no, what I build is not yet on hackage
17:52:51 <janus> hmm i must be confusing you with someone then.. hmm sorry
17:53:26 <prolic> I built a schnorr lib for haskell, https://github.com/prolic/secp256k1-schnorr/ - I guess that's where you know my name from
17:53:47 <janus> aaah right, sorry :P
17:54:02 <janus> are you making progress?
17:54:25 → neurocyte8614492 joins (~neurocyte@IP-094046070107.dynamic.medianet-world.de)
17:54:25 × neurocyte8614492 quits (~neurocyte@IP-094046070107.dynamic.medianet-world.de) (Changing host)
17:54:25 → neurocyte8614492 joins (~neurocyte@user/neurocyte)
17:54:27 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
17:54:27 <prolic> this is more or less done, I didn't publish it on hackage yet, because it's maybe not stable enough
17:54:41 <janus> one frustration i always had with secp256k1-haskell is that it is linked to the system library
17:54:42 <prolic> working on a nostr client that uses schnorr signatures
17:55:00 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
17:55:10 <janus> did you consider vendoring libsecp256k1?
17:55:40 <prolic> not sure what you mean
17:55:55 <janus> i mean including the c sources in the source distribution of the haskell package
17:56:15 <janus> that way, you won't need to require that users install a compatible version of secp256k1 independently
17:56:39 <prolic> ah, I don't know how that works exactly, so I put in the readme how to compile secp256k1 manually with schnorr sig enabled
17:56:41 × oats quits (~thomas@user/oats) (Quit: until later, my friends)
17:56:53 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
17:57:05 <janus> you can include 'cbits', many libraries have this. for example cryptonite that everybody loves to hate on
17:57:10 <prolic> but the final haskell binary doesn't require you to have the C lib installed on your machine
17:57:33 <prolic> thanks, I'll make a note and try to get back to it
17:57:35 × motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 256 seconds)
17:57:41 → oats joins (~thomas@user/oats)
17:57:50 <janus> well if the library is required to be installed separately on compilation, it doesn't help much that it is statically linked...
17:58:36 <prolic> yes, but I am the only user of that lib at the moment :)
17:59:01 <janus> nostr looks interesting.. i remember you told me that this wasn't for a cryptocurrency but i didn't really believe you lol
18:00:10 <prolic> lol
18:00:17 <prolic> no worries
18:00:33 → sloorush joins (~sloorush@136.233.9.99)
18:00:50 <prolic> there's just ONE cryptocurrency, it's called bitcoin, the rest will be worth 0
18:00:59 <prolic> but that's offtopic
18:01:12 <prolic> still need to figure out how to parse that damn json string
18:02:19 <janus> you can devide down the problem by making smaller types and test their parsing independently. divide and conquer...
18:03:01 <janus> we have massive haskell codebases at work and we never have two 'with...' calls in one instance definition
18:03:31 <janus> instead we have stuff like 'data MegaType = OptionA AContents | OptionB BContents'
18:04:04 × Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
18:04:15 → Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
18:04:23 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
18:04:29 <prolic> you confuse me with someone you knows haskell, lol
18:04:29 <prolic> I'm an absolute beginner, trying to work through the stuff, banging my head against the wall until I succeed
18:04:41 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 248 seconds)
18:05:08 <janus> typically the 'with...' call is at the very beginning of the instance definition
18:05:18 × fr33domlover quits (~fr33@2.53.60.247) (Quit: fr33domlover)
18:05:32 <janus> so when i see how you're calling 'with...' inside a case block, that seems off to me
18:05:44 <prolic> that's what I have here, https://paste.debian.net/1237400/, still doesn't work for me
18:07:14 <janus> what is the problem with it?
18:07:25 <prolic> it compiles, but returns "Nothing"
18:08:09 <janus> well you still have the parseJSON calls in there, dolio told you how Parsing a Value to a Value is 'pure'
18:09:03 <janus> why are you using 'mzero'? why not 'fail "Invalid ServerResponse did not have EVENT"'
18:10:22 <janus> there shouldn't be Maybes involved at all, since that is not the result of an Aeson parse
18:10:23 × oats quits (~thomas@user/oats) (Quit: until later, my friends)
18:11:50 <prolic> so what do I need to do?
18:12:13 → oats joins (~thomas@user/oats)
18:13:27 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
18:13:41 <janus> oh, are you using `decode`? try `eitherDecode` instead, that lets you see the error
18:15:17 → Sgeo joins (~Sgeo@user/sgeo)
18:16:13 <prolic> ok, one sec
18:16:53 <prolic> `Left "Error in $: key \"pubKey\" not found"`
18:17:18 <prolic> which points me to something is wrong with my event parser
18:17:26 <prolic> which I tested that it works, very strange
18:17:29 × raym quits (~raym@user/raym) (Ping timeout: 248 seconds)
18:17:35 <prolic> I eat something first, will be back soon
18:17:40 <janus> bye
18:18:57 → nuh^ joins (~nuh@c-24-99-107-170.hsd1.ga.comcast.net)
18:19:10 → raym joins (~raym@user/raym)
18:22:02 × prolic quits (~prolic@170.51.49.166) (Ping timeout: 250 seconds)
18:25:35 → jpds1 joins (~jpds@gateway/tor-sasl/jpds)
18:27:15 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
18:30:20 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer)
18:31:15 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
18:33:11 → Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com)
18:33:37 × chddr quits (~Thunderbi@91.226.34.187) (Read error: Connection reset by peer)
18:34:03 → chddr joins (~Thunderbi@91.226.34.187)
18:34:43 → fef joins (~thedawn@user/thedawn)
18:34:56 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection)
18:35:07 → deadmarshal_ joins (~deadmarsh@95.38.117.122)
18:35:56 × kayvank quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
18:37:12 × coot quits (~coot@213.134.190.95) (Ping timeout: 272 seconds)
18:38:39 → motherfsck joins (~motherfsc@user/motherfsck)
18:39:21 → coot joins (~coot@213.134.190.95)
18:39:27 × deadmarshal_ quits (~deadmarsh@95.38.117.122) (Ping timeout: 246 seconds)
18:40:00 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
18:41:59 → xkuru joins (~xkuru@user/xkuru)
18:43:28 → jpds1 joins (~jpds@gateway/tor-sasl/jpds)
18:44:41 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
18:45:45 → yauhsien joins (~yauhsien@61-231-21-149.dynamic-ip.hinet.net)
18:50:33 × yauhsien quits (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
18:50:33 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
18:50:33 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
18:50:33 → wroathe joins (~wroathe@user/wroathe)
18:50:45 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
18:51:04 → wootehfoot joins (~wootehfoo@user/wootehfoot)
18:52:43 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
18:52:57 → chexum joins (~quassel@gateway/tor-sasl/chexum)
18:52:59 × mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
18:54:29 → mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475)
18:56:55 × fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds)
19:00:46 → prolic joins (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0)
19:02:50 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
19:02:58 → jpds2 joins (~jpds@gateway/tor-sasl/jpds)
19:05:22 × prolic quits (~prolic@2800:c70:83:504f:82f:a00d:7059:9ed0) (Ping timeout: 250 seconds)
19:06:52 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
19:10:52 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:11:11 → prolic joins (~prolic@170.51.49.166)
19:11:15 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
19:11:53 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
19:12:10 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
19:15:06 × [exa] quits (exa@user/exa/x-3587197) (Remote host closed the connection)
19:17:13 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
19:18:20 → kaph joins (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
19:19:15 × liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal)
19:21:27 × kilolympus quits (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
19:21:33 → alphabeta joins (~kilolympu@31.205.200.235)
19:22:01 × nuh^ quits (~nuh@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection)
19:23:31 × johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
19:24:00 × sloorush quits (~sloorush@136.233.9.99) (Ping timeout: 250 seconds)
19:27:07 × alphabeta quits (~kilolympu@31.205.200.235) (Ping timeout: 256 seconds)
19:28:37 → haskellberry joins (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
19:30:58 → kilolympus joins (~kilolympu@31.205.200.235)
19:31:04 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:34:01 × prolic quits (~prolic@170.51.49.166) (Quit: Client closed)
19:42:06 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
19:45:49 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
19:51:10 × odnes quits (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving)
19:55:10 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
19:56:02 × coot quits (~coot@213.134.190.95) (Quit: coot)
20:00:52 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:01:01 → sloorush joins (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055)
20:01:26 × zyklotomic quits (~ethan@r4-128-61-95-166.res.gatech.edu) (Ping timeout: 268 seconds)
20:02:42 × _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
20:03:08 → zyklotomic joins (~ethan@res388d-128-61-94-217.res.gatech.edu)
20:03:58 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
20:05:12 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
20:05:52 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
20:10:44 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
20:10:46 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:10:50 × zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
20:12:05 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
20:12:25 → mc47 joins (~mc47@xmonad/TheMC47)
20:14:30 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
20:15:20 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
20:15:21 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
20:15:21 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit)
20:16:26 × sloorush quits (~sloorush@2401:4900:2348:df74:c1c2:47b2:6cfe:f055) (Ping timeout: 250 seconds)
20:16:37 → ishaan joins (~ishaan@122.161.51.93)
20:17:48 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds)
20:19:01 → zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com)
20:19:41 → Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com)
20:20:41 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:21:18 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
20:22:32 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
20:24:48 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Ping timeout: 246 seconds)
20:25:09 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
20:25:20 × michalz quits (~michalz@185.246.204.101) (Remote host closed the connection)
20:25:57 → ehammarstrom joins (~ehammarst@62-20-203-39-no182.tbcn.telia.com)
20:26:42 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
20:26:55 → Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com)
20:29:34 × zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
20:30:35 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:31:51 → Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net)
20:35:07 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
20:37:22 → hololeap joins (~hololeap@user/hololeap)
20:38:23 × hololeap_ quits (~hololeap@user/hololeap) (Read error: Connection reset by peer)
20:40:30 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:43:33 → ss- joins (~ss-@187.83.249.216.dyn.smithville.net)
20:45:11 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:45:19 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
20:46:16 ← jakalx parts (~jakalx@base.jakalx.net) ()
20:47:27 → jakalx joins (~jakalx@base.jakalx.net)
20:49:34 → acidjnk joins (~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de)
20:50:41 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
20:51:47 → son0p joins (~ff@181.136.122.143)
20:52:44 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds)
20:55:21 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
20:58:33 × Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
20:58:43 → coot joins (~coot@213.134.190.95)
21:08:37 × son0p quits (~ff@181.136.122.143) (Read error: Connection reset by peer)
21:10:05 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
21:13:08 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
21:13:49 → wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com)
21:13:49 × wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
21:13:49 → wroathe joins (~wroathe@user/wroathe)
21:18:04 × bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds)
21:18:49 × alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds)
21:19:05 → y04nn joins (~y04nn@2001:ac8:28:93::a15e)
21:19:41 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
21:20:42 → son0p joins (~ff@181.136.122.143)
21:23:10 × ishaan quits (~ishaan@122.161.51.93) (Ping timeout: 250 seconds)
21:26:53 × ss- quits (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
21:30:40 → yauhsien joins (~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
21:32:13 × chddr quits (~Thunderbi@91.226.34.187) (Ping timeout: 260 seconds)
21:35:45 × yauhsien quits (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
21:37:25 → akegalj joins (~akegalj@141-136-234-56.dsl.iskon.hr)
21:39:37 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
21:43:15 × wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
21:47:24 × Dorkside6 quits (~dorkside@208.190.197.222) (Ping timeout: 246 seconds)
21:47:46 → Dorkside6 joins (~dorkside@208.190.197.222)
21:48:49 × coot quits (~coot@213.134.190.95) (Quit: coot)
21:49:59 × y04nn quits (~y04nn@2001:ac8:28:93::a15e) (Ping timeout: 260 seconds)
21:53:29 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds)
21:53:48 × inversed quits (~inversed@94.13.111.159) (Quit: Connection error?!)
21:54:06 × akegalj quits (~akegalj@141-136-234-56.dsl.iskon.hr) (Quit: leaving)
21:55:16 → wyrd joins (~wyrd@gateway/tor-sasl/wyrd)
21:58:36 → inversed joins (~inversed@94.13.111.159)
22:01:08 <avpx> Hi all, I'm trying to load a module (Game.Chess.Internal from chessIO) in ghci for debugging. But every time I try to load it, ghci tries to compile it first, so I can't set breakpoints/debug: https://paste.tomsmeding.com/Sj3vvBjl
22:02:47 <avpx> I'm wondering if there is something about this module (e.g. its use of {-# INLINE #-} or some other compiler hint) is preventing the module from being interpreted
22:06:24 <sm> does it use QuasiQuote or TemplateHaskell ?
22:06:54 <sm> does recompilation clear your breakpoints ?
22:07:29 <avpx> Do you mean directly? I know TH is used in the project but I don't see it in this particular module: https://hackage.haskell.org/package/chessIO-0.9.3.0/docs/src/Game.Chess.Internal.html
22:08:01 <avpx> I'm not able to set breakpoints since the code is compiled: "cannot set breakpoint on unsafeDoPly': module Game.Chess.Internal is not interpreted"
22:08:14 <sm> interesting
22:09:03 <sm> what if you do :m +*Game.Chess.Internal manually
22:09:25 <geekosaur> looks to me like it's simply not an externally visible module
22:09:44 <sm> yes it seems like cabal repl is choosing not to interpret it because of some reason like that
22:10:08 <avpx> geekosaur: What's weird is that I tried rearranging the cabal file so it was the only externally visible module, and that didn't help either
22:10:34 <avpx> sm: it complains that the module is compiled and not interpreted, suggesting I try the :add *... command again
22:11:32 <geekosaur> hm. actually the cabal file should not directly affect ghci (ghci doesn't know about cabaland cabal repl has to play tricks on it to work at all)
22:11:44 <sclv> I bet repl is picking the executable not the library
22:11:50 → hololeap_ joins (~hololeap@user/hololeap)
22:11:59 <sclv> You need to give the library as the argument to repl
22:12:35 × hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds)
22:12:38 <sm> I was wondering that.. the output doesn't suggest it
22:13:04 <geekosaur> you can't really tell from the paste
22:13:33 <avpx> sclv: That makes sense. How do you tell the library name from this cabal file? I just see a section called "library" but the executable sections have names
22:13:37 <avpx> https://github.com/mlang/chessIO/blob/master/chessIO.cabal
22:14:05 <sclv> the lib name is the same as the package name
22:14:19 <sclv> you say lib:chessIO
22:14:25 <sclv> or whatever
22:15:44 <avpx> https://paste.tomsmeding.com/J2JomgU7
22:15:45 → machinedgod joins (~machinedg@24.105.81.50)
22:16:02 <avpx> Doesn't seem to have changed anything. The weird thing is that the Game.Chess module does appear to be loaded as interpreted
22:16:22 <sm> is it exposed also ?
22:16:33 <avpx> By default it is exposed but .Internal is not
22:16:40 × mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
22:16:53 <sm> that's what I mean, try exposing Internal ?
22:16:54 <avpx> But even if I change the .cabal file so that the .Internal is exposed, and delete all the actual externally facing stuff, it still doesn't show up with a *
22:17:08 → yauhsien joins (~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
22:17:17 → Pickchea joins (~private@user/pickchea)
22:17:49 → hololeap joins (~hololeap@user/hololeap)
22:18:08 <avpx> when it boots up ghci just shows me this, with no asterisk:
22:18:09 <avpx> Ok, 8 modules loaded.
22:18:10 <avpx> Prelude Game.Chess.Internal>
22:18:21 <avpx> That's what makes me think it's something about the contents of this module
22:18:32 <sm> so just to make sure, you have tried both `cabal repl lib:chessIO` and exposed .Internal at the same time
22:18:35 × hololeap_ quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds)
22:19:13 <avpx> Yup
22:19:13 <sclv> you can also just like :load a .hs file and then it should definitely interpret everything
22:19:36 <avpx> Yeah I was trying that but there were some external dependencies it was breaking on, e.g. Data.Vector
22:19:44 <sclv> or maybe you need a “cabal clean” after the changes to the file
22:19:46 <sm> and.. those two followed by :m +*Game.Chess.Internal ? no different ?
22:20:03 <sclv> i mean run cabal repl, then :load within that
22:20:34 <avpx> sm: same thing:
22:20:35 <avpx> Prelude Game.Chess.Internal> :m + *Game.Chess.Internal
22:20:35 <avpx> module 'Game.Chess.Internal' is not interpreted; try ':add *Game.Chess.Internal' first
22:20:45 <sm> pesky thing
22:21:05 <geekosaur> right, and that not working is what makes me think this is related to ghc(i), not cabal
22:21:37 → lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
22:21:38 <geekosaur> :add should work regardless, cabal can't affect it (nor stack for that matter), it's all ghc
22:21:48 <avpx> Yeah
22:22:13 <avpx> This is code for a bitboard implementation so there's a fair amount of stuff in here about how the structures get laid out in memory, strictness etc
22:22:23 <avpx> I wonder if there's something where the interpreter just bails out and says, nope can't handle that pragma
22:22:48 <geekosaur> the pragmas are what are supposed to bail out
22:22:49 × raym quits (~raym@user/raym) (Ping timeout: 248 seconds)
22:23:00 <geekosaur> and that's how it's documented to work
22:23:02 <avpx> I didn't see anything in the output of ghci -v that suggested it was giving up on interpreting the file tho
22:23:16 <avpx> geekosaur: I'm not following, can you explain/
22:23:42 <geekosaur> pragmas like INLINE and UNPACK don't fire in interpreted mode
22:23:54 → raym joins (~raym@user/raym)
22:24:05 <geekosaur> although… you did run ghci with -O1,I wonder if that's forcing -fobject-code?
22:24:20 <geekosaur> (optimization doesn't work in interpreted mode)
22:25:44 → y04nn joins (~y04nn@2001:ac8:28:93::a15e)
22:26:26 <avpx> Do you know off hand how to change that? I don't see a way to tell cabal which option to pass here
22:27:19 <sm> it's working here with the unmodified source and ghc 9.2: https://termbin.com/f5qh
22:27:52 <avpx> sm: Thanks for validating. This is with plain "cabal repl"?
22:28:12 <sm> yes:
22:28:12 <sm> ~/chessIO-0.9.3.0$ cabal repl lib:chessIO
22:28:12 <sm> Build profile: -w ghc-9.2.2 -O1
22:28:46 <geekosaur> mm, 9.2.2 might actually supportoptimization,the longstanding unboxed tuple bug has supposedly been fixed
22:30:02 <avpx> Fascinating. I will try to figure out how to remove this -O1 and see if that fixes it
22:30:19 <sm> I did notice a bunch of -O2's in the cabal file
22:30:49 × yauhsien quits (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
22:31:48 → yauhsien joins (~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
22:32:48 → Guest27 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9)
22:36:45 × yauhsien quits (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
22:38:37 → d34df00d joins (~d34df00d@2600:1700:8c60:3a10::46)
22:38:49 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
22:39:47 <avpx> Couple more data points: on another machine, also running ghc 8.10.7 (but different arch), same issue occurs. Also, changing to -O0 in chessIO.cabal apparently has no effect
22:40:08 <geekosaur> ok, so it'snot that. any interesting -f flags?
22:40:29 <geekosaur> (-funbox-strict-fields comes to mind but there may be others)
22:40:32 <sm> I confirm the same procedure with ghc 9.0 loads all three Internal modules non-interpreted
22:40:36 <d34df00d> What does it mean if a type family associated with a class doesn't mention all type variables?
22:40:55 <avpx> geekosaur: Nothing in the .cabal file
22:41:12 × gustik quits (~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) (Quit: Leaving)
22:41:15 <d34df00d> How much sense is in `class Ctr px => Context px a where type Ouptut a :: px -> Type`?
22:41:17 <avpx> Sounds like I should try to build a more recent ghc and try that
22:41:24 <d34df00d> Hm, I think none.
22:42:06 <monochrom> Wait, is that also a multi-param type class?
22:42:47 <geekosaur> d34df00d, looks to me like it doesmention them, via the associated type?
22:43:27 → vicfred joins (~vicfred@user/vicfred)
22:43:53 <avpx> I ran cabal v2-repl -v and it didn't show any weird arguments to ghc. sm's results on GHC 9.0 make me think this is some kind of bug or limitation with GHC 8.10.7
22:44:12 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
22:45:08 sm asks #ghc
22:45:08 <sm> no, it's a limitation of GHC < 9.2 I think
22:45:09 <geekosaur> at least I think that's enough for ghc to do typeinference
22:46:38 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
22:47:47 <avpx> sm: Hmm I'm scanning the changelog for GHC 9.2.1 to try to understand why
22:48:07 → dsrt^ joins (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net)
22:49:16 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
22:50:24 × lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
22:51:05 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds)
22:51:40 <geekosaur> I'mkinda confused because objects with those names to /tmp (well, OS X equivalent) are usually foreign import/export stubs, not regular object code
22:53:10 jpds2 is now known as jpds
22:54:23 × acidjnk quits (~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
22:54:27 <d34df00d> geekosaur: ah, you mean on the rhs after the ::?
22:54:34 <d34df00d> Hmm, that makes sense.
22:56:49 <geekosaur> an associated type family acts somewhat like a functional dependency, so it here associates the `a` with the `px`
22:57:17 <geekosaur> and has to be unique on `a` like a fundep would be, because otherwise it would be an incoherent type family
22:58:40 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
23:00:10 <geekosaur> there's a better discussion of associated type families in the ghc user guide
23:10:49 → ishaan joins (~ishaan@122.161.51.93)
23:14:36 × haskellberry quits (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
23:17:34 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
23:19:40 → yauhsien joins (~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
23:21:05 → Macbethwin joins (~chargen@D964062A.static.ziggozakelijk.nl)
23:23:25 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
23:24:33 × yauhsien quits (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
23:27:49 × redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds)
23:28:33 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
23:33:06 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
23:35:46 × Guest27 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds)
23:37:55 × hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds)
23:38:02 × ishaan quits (~ishaan@122.161.51.93) (Quit: Client closed)
23:38:43 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
23:39:03 → hololeap joins (~hololeap@user/hololeap)
23:42:41 → catch22 joins (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74)
23:43:57 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
23:47:11 → abhixec_ joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
23:48:36 × catch22 quits (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) (Remote host closed the connection)
23:49:16 → seydar joins (~seydar@154-27-113-252.starry-inc.net)
23:49:35 → redb joins (~nmh@136.49.49.211)
23:51:30 <abastro[m]> Is quasiquotes part of template haskell
23:54:32 × redb quits (~nmh@136.49.49.211) (Ping timeout: 268 seconds)
23:54:32 × seydar quits (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
23:56:46 × Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection)
23:57:25 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:58:21 <geekosaur> yes
23:58:44 → Techcable joins (~Techcable@user/Techcable)
23:59:26 → seydar joins (~seydar@154-27-113-252.starry-inc.net)

All times are in UTC on 2022-04-09.