IRCBrowse

2022/12/20

2022-12-20 00:02:24 +0100ponysmol-hors
2022-12-20 00:03:47 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-20 00:06:42 +0100fizbin_(~fizbin@user/fizbin)
2022-12-20 00:07:00 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-12-20 00:07:39 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2022-12-20 00:19:57 +0100beefbambi(~beefbambi@183.82.30.144) (Ping timeout: 256 seconds)
2022-12-20 00:20:16 +0100beefbambi(~beefbambi@183.82.30.144)
2022-12-20 00:20:17 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds)
2022-12-20 00:20:28 +0100ubert(~Thunderbi@p200300ecdf264e7e72c65d11ee5c445f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-12-20 00:20:29 +0100ubert1(~Thunderbi@p200300ecdf264e518eb9d3d0ff313a22.dip0.t-ipconnect.de)
2022-12-20 00:22:46 +0100ubert1ubert
2022-12-20 00:37:24 +0100mikoto-chan(~mikoto-ch@85-76-117-48-nat.elisa-mobile.fi) (Ping timeout: 260 seconds)
2022-12-20 00:38:35 +0100kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-12-20 00:38:47 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2022-12-20 00:41:25 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-12-20 00:43:23 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-12-20 00:44:23 +0100manwithluck(~manwithlu@2a09:bac1:5bc0:20::49:125) (Ping timeout: 260 seconds)
2022-12-20 00:46:05 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-12-20 00:47:06 +0100ddellacosta(~ddellacos@89.45.224.220)
2022-12-20 00:49:23 +0100beefbambi(~beefbambi@183.82.30.144) (Read error: Connection reset by peer)
2022-12-20 00:49:33 +0100beefbambi(~beefbambi@183.82.30.144)
2022-12-20 00:56:46 +0100Red_Swan(~jared@174-23-134-43.slkc.qwest.net) (Ping timeout: 252 seconds)
2022-12-20 00:57:37 +0100Red_Swan(~jared@174-23-134-43.slkc.qwest.net)
2022-12-20 01:00:50 +0100ddellacosta(~ddellacos@89.45.224.220) (Ping timeout: 272 seconds)
2022-12-20 01:00:58 +0100tvandinther(~tvandinth@203.34.100.2) (Ping timeout: 260 seconds)
2022-12-20 01:04:00 +0100MajorBiscuit(~MajorBisc@31-23-159.netrun.cytanet.com.cy) (Ping timeout: 272 seconds)
2022-12-20 01:04:37 +0100cross(~cross@spitfire.i.gajendra.net)
2022-12-20 01:17:45 +0100Inst_(~Inst@2601:6c4:4081:54f0:7095:a698:8ea8:7bc6) (Ping timeout: 256 seconds)
2022-12-20 01:17:52 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-20 01:20:28 +0100 <talismanick> How can I disable the "add informative comments" prompt when calling `cabal init` interactively?
2022-12-20 01:21:05 +0100 <talismanick> Presumably it's another field in ~/.cabal/config, under "init", but I haven't found it in the docs
2022-12-20 01:22:51 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-12-20 01:27:40 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-20 01:27:40 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-20 01:27:40 +0100wroathe(~wroathe@user/wroathe)
2022-12-20 01:28:19 +0100ddellacosta(~ddellacos@143.244.47.75)
2022-12-20 01:29:45 +0100Deide_(~Deide@wire.desu.ga)
2022-12-20 01:36:12 +0100Deide(~deide@user/deide) (Quit: issued !quit command)
2022-12-20 01:36:27 +0100Deide_Deide
2022-12-20 01:37:17 +0100Deide(~Deide@wire.desu.ga) (Changing host)
2022-12-20 01:37:17 +0100Deide(~Deide@user/deide)
2022-12-20 01:39:12 +0100 <glguy> talismanick: does: cabal init --no-comments do it?
2022-12-20 01:41:28 +0100 <glguy> I don't see anything about setting that in a config-file, however
2022-12-20 01:41:31 +0100fizbin_(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-20 01:41:50 +0100fizbin_(~fizbin@user/fizbin)
2022-12-20 01:51:38 +0100 <talismanick> glguy: It does work. Too bad no one can find the config field, though.
2022-12-20 01:51:39 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-12-20 01:55:28 +0100Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2022-12-20 01:56:21 +0100 <geekosaur> strings suggests there isn't one
2022-12-20 01:56:24 +0100Deide_(~Deide@wire.desu.ga)
2022-12-20 01:57:31 +0100Deide_(~Deide@wire.desu.ga) (Client Quit)
2022-12-20 01:57:48 +0100Deide_(~Deide@wire.desu.ga)
2022-12-20 01:59:04 +0100Deide_(~Deide@wire.desu.ga) ()
2022-12-20 02:04:11 +0100jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-12-20 02:04:12 +0100Deide_(~Deide@wire.desu.ga)
2022-12-20 02:05:11 +0100jludwig(~justin@li657-110.members.linode.com)
2022-12-20 02:09:29 +0100ddellacosta(~ddellacos@143.244.47.75) (Ping timeout: 246 seconds)
2022-12-20 02:09:52 +0100Deide(~deide@user/deide)
2022-12-20 02:10:43 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-12-20 02:12:24 +0100fizbin_(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-20 02:12:29 +0100xff0x(~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 260 seconds)
2022-12-20 02:12:43 +0100acidjnk(~acidjnk@p200300d6e7137a97c81a3694893f5e3e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-12-20 02:13:12 +0100 <hpc> they probably just expect you to write the whole cabal file yourself if you want to skip that stuff?
2022-12-20 02:14:35 +0100Deide_(~Deide@wire.desu.ga) (o/)
2022-12-20 02:14:37 +0100fizbin_(~fizbin@user/fizbin)
2022-12-20 02:16:05 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-12-20 02:16:49 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-12-20 02:19:50 +0100 <sclv> nobody expects anyone to write the whole file by yourself
2022-12-20 02:20:19 +0100 <sclv> there's just not a way to set your .config file to default all the preferences to cabal init
2022-12-20 02:23:52 +0100fizbin_fizbin
2022-12-20 02:24:59 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds)
2022-12-20 02:28:18 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-12-20 02:29:15 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-12-20 02:30:48 +0100mncheck(~mncheck@193.224.205.254) (Ping timeout: 260 seconds)
2022-12-20 02:41:12 +0100bodisiw(~bodiskw@cpe-74-138-114-237.kya.res.rr.com)
2022-12-20 02:43:31 +0100tvandinther(~tvandinth@203.34.100.2)
2022-12-20 02:44:03 +0100 <tvandinther> Is it possible to cross-compile an app written in Haskell?
2022-12-20 02:44:31 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 02:45:14 +0100 <iqubic> What platforms and architectures are you targetting?
2022-12-20 02:45:34 +0100 <sclv> the answer is "sometimes, and with great difficulty"
2022-12-20 02:45:57 +0100bodisiw(~bodiskw@cpe-74-138-114-237.kya.res.rr.com) (Client Quit)
2022-12-20 02:48:58 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 252 seconds)
2022-12-20 02:49:44 +0100slack1256(~slack1256@186.11.29.188)
2022-12-20 02:52:45 +0100dsrt^(~dsrt@76.145.185.103)
2022-12-20 02:53:36 +0100 <sclv> tvandinther: ^^ ?
2022-12-20 02:56:02 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-12-20 02:56:24 +0100 <tvandinther> Using linux, I want to target macOS (x86_64 and ARM64) and Windows (x86_64)
2022-12-20 02:57:31 +0100 <tvandinther> I'm currently settling for only x86 and using the different runners in github actions to compile the different binaries. Would be nice to do it all from linux to save the 10x minutes price on the macos runner :O
2022-12-20 02:58:48 +0100drvitek(~drvitek@2601:85:c300:7940:6d22:5284:fc40:3019) (Quit: Konversation terminated!)
2022-12-20 02:59:40 +0100 <sm> I don't think there's a way to run macos on linux, but I could be wrong
2022-12-20 02:59:58 +0100 <sm> I use github, like you
2022-12-20 03:01:05 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th)
2022-12-20 03:08:28 +0100 <iqubic> What's the difference between `rseq` and `rdeepseq` in Control.Parallel.Strategies?
2022-12-20 03:10:54 +0100 <jackdk> https://hackage.haskell.org/package/parallel-3.2.2.0/docs/Control-Parallel-Strategies.html#v:rseq : rseq evaluates its argument to weak head normal form. rdeepseq fully evaluates its argument.
2022-12-20 03:11:37 +0100 <iqubic> What is `weak head normal form`?
2022-12-20 03:15:06 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-12-20 03:16:10 +0100 <c_wraith> for data, it means that the value is evaluated to the top-level constructor. For functions, it means that it's evaluated until it actually can be applied to a value.
2022-12-20 03:16:27 +0100 <iqubic> Ah.
2022-12-20 03:17:11 +0100 <iqubic> So if I have a list, finding the length requires evaluating it to weak head normal form?
2022-12-20 03:17:25 +0100 <c_wraith> finding the length requires a lot more than head-normal form
2022-12-20 03:17:32 +0100 <EvanR> is (*) in weak head normal form? can it be applied? xD
2022-12-20 03:17:41 +0100 <c_wraith> determining if the list is [] or (:) is head-normal form
2022-12-20 03:19:58 +0100 <dsal> WHNF is approximately "is this a thunk?" rseq will ensure that it's not. rdeepseq should ensure that it doesn't *contain* a thunk.
2022-12-20 03:20:50 +0100 <c_wraith> EvanR: (*) is in WHNF. ((\x -> if even x then (*) else (+)) 7) is not in in WHNF.
2022-12-20 03:21:26 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 272 seconds)
2022-12-20 03:24:52 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 03:26:36 +0100 <Guest25> Hi 👋 Anybody using hls with vim and coc?
2022-12-20 03:26:46 +0100 <Guest25> When I complete eg `IndexOutOfBounds` then it completes to `IndexOutOfBounds String`
2022-12-20 03:27:53 +0100 <Guest25> Have you seen this before?
2022-12-20 03:28:01 +0100 <Guest25> 1. How can I prevent this, instead only getting `IndexOutOfBounds`
2022-12-20 03:28:02 +0100 <Guest25> 2. Is there a reason this happens? How can I profit from it?
2022-12-20 03:31:03 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-12-20 03:33:09 +0100slack1256(~slack1256@186.11.29.188) (Remote host closed the connection)
2022-12-20 03:33:24 +0100slack1256(~slack1256@186.11.29.188)
2022-12-20 03:34:24 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2022-12-20 03:37:16 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf)
2022-12-20 03:37:28 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th) (Quit: Client closed)
2022-12-20 03:43:02 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-20 03:44:39 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 03:44:42 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th)
2022-12-20 03:44:53 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-12-20 03:45:30 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-20 03:47:12 +0100Guest25_(~Guest25_@cm-171-101-20-84.revip11.asianet.co.th)
2022-12-20 03:49:46 +0100 <iqubic> c_wraith: I see.
2022-12-20 03:52:15 +0100 <iqubic> So, if I'm doing something like `parMap _ lengthyComputation xs` how can I decide what's best in the underscore location between rseq and rdeepseq?
2022-12-20 03:53:19 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-20 03:53:29 +0100 <iqubic> Or are there other options I should be considering?
2022-12-20 03:59:44 +0100vulpine(xfnw@tilde.team) (Quit: Connection reset by purr)
2022-12-20 04:01:53 +0100vulpine(xfnw@tilde.team)
2022-12-20 04:01:55 +0100razetime(~quassel@49.207.230.181)
2022-12-20 04:03:25 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 04:10:34 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-20 04:11:07 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-12-20 04:17:47 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th) (Quit: Client closed)
2022-12-20 04:17:51 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-12-20 04:17:51 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-12-20 04:17:51 +0100finn_elijaFinnElija
2022-12-20 04:19:03 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th)
2022-12-20 04:20:45 +0100jargon(~jargon@174-22-192-24.phnx.qwest.net) (Remote host closed the connection)
2022-12-20 04:23:19 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-12-20 04:26:45 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th) (Quit: Client closed)
2022-12-20 04:27:50 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-12-20 04:30:54 +0100td_(~td@83.135.9.40) (Ping timeout: 252 seconds)
2022-12-20 04:32:41 +0100td_(~td@83.135.9.60)
2022-12-20 04:33:04 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-12-20 04:35:06 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th)
2022-12-20 04:35:25 +0100Guest25(~Guest25@cm-171-101-20-84.revip11.asianet.co.th) (Client Quit)
2022-12-20 04:35:38 +0100 <albet70> what's easy way to dectect if a string in another string?
2022-12-20 04:35:50 +0100 <albet70> :t elem
2022-12-20 04:35:52 +0100 <lambdabot> (Foldable t, Eq a) => a -> t a -> Bool
2022-12-20 04:36:19 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-12-20 04:36:20 +0100 <albet70> this elem is Char -> [Char] , but I want [Char] -> [Char] -> Bool
2022-12-20 04:37:54 +0100 <albet70> isInfixOf?
2022-12-20 04:41:55 +0100manwithluck(~manwithlu@194.177.28.176)
2022-12-20 04:45:35 +0100codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 246 seconds)
2022-12-20 04:46:00 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 04:49:34 +0100jargon(~jargon@174-22-192-24.phnx.qwest.net)
2022-12-20 04:50:20 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2022-12-20 04:51:32 +0100wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-12-20 04:55:10 +0100blinkhard(~blinkhard@pool-72-88-174-206.nwrknj.fios.verizon.net)
2022-12-20 04:55:12 +0100 <glguy> Yes, isInfixOf
2022-12-20 04:55:48 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 272 seconds)
2022-12-20 04:55:49 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-12-20 04:58:58 +0100beefbambi(~beefbambi@183.82.30.144) (Read error: Connection reset by peer)
2022-12-20 04:59:42 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-20 05:00:38 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-20 05:00:57 +0100beefbambi(~beefbambi@183.82.30.144)
2022-12-20 05:06:43 +0100beefbambi(~beefbambi@183.82.30.144) (Read error: Connection reset by peer)
2022-12-20 05:10:11 +0100beefbambi(~beefbambi@183.82.30.144)
2022-12-20 05:15:46 +0100 <dsal> albet70: If you're doing a lot with text, you might consider using `Text` instead.
2022-12-20 05:15:53 +0100blinkhard(~blinkhard@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds)
2022-12-20 05:18:03 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-20 05:18:24 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-12-20 05:18:24 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-12-20 05:18:24 +0100wroathe(~wroathe@user/wroathe)
2022-12-20 05:20:41 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 05:23:20 +0100quazimodo(~quazimodo@122-199-39-221.ip4.superloop.com) (Ping timeout: 252 seconds)
2022-12-20 05:23:21 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-12-20 05:23:35 +0100quazimodo(~quazimodo@45.132.226.250)
2022-12-20 05:24:04 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection)
2022-12-20 05:25:04 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-12-20 05:25:12 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-12-20 05:28:36 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 255 seconds)
2022-12-20 05:29:56 +0100quazimodo(~quazimodo@45.132.226.250) (Ping timeout: 252 seconds)
2022-12-20 05:31:33 +0100smol-hors(sid524992@smol/hors) ()
2022-12-20 05:31:45 +0100quazimodo(~quazimodo@122-199-39-221.ip4.superloop.com)
2022-12-20 05:36:18 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-12-20 05:38:49 +0100shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-12-20 05:40:38 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-12-20 05:45:10 +0100instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-12-20 05:46:18 +0100codaraxis(~codaraxis@user/codaraxis)
2022-12-20 05:49:59 +0100fizbin(~fizbin@user/fizbin)
2022-12-20 05:55:20 +0100beefbambi(~beefbambi@183.82.30.144) (Ping timeout: 272 seconds)
2022-12-20 05:55:46 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377)
2022-12-20 05:58:12 +0100Vajb(~Vajb@2001:999:250:c9:8588:6e93:7809:7816) (Read error: Connection reset by peer)
2022-12-20 05:58:45 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
2022-12-20 05:59:50 +0100johnw(~johnw@2600:1700:cf00:db0:c0a7:cf05:c926:15f4) (Quit: ZNC - http://znc.in)
2022-12-20 06:00:24 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-12-20 06:01:46 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-20 06:08:58 +0100tvandinther(~tvandinth@203.34.100.2) (Ping timeout: 260 seconds)
2022-12-20 06:10:32 +0100slack1256(~slack1256@186.11.29.188) (Ping timeout: 272 seconds)
2022-12-20 06:17:33 +0100 <Clinton[m]> I'm obviously missing something here, but is there a simpler equivalent to MaybeT (pure Nothing) :: MaybeT m a?
2022-12-20 06:18:09 +0100 <Clinton[m]> `fail ""` works but seems ugly
2022-12-20 06:20:57 +0100pavonia(~user@user/siracusa)
2022-12-20 06:23:18 +0100Vajb(~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-12-20 06:23:56 +0100Vajb(~Vajb@2001:999:250:c9:8588:6e93:7809:7816)
2022-12-20 06:24:54 +0100 <[Leary]> Clinton[m]: `empty`
2022-12-20 06:26:25 +0100 <Clinton[m]> [Leary]: oh silly me!
2022-12-20 06:26:39 +0100 <Clinton[m]> Thanks!
2022-12-20 06:31:49 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-12-20 06:32:02 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-12-20 07:09:19 +0100Red_Swan(~jared@174-23-134-43.slkc.qwest.net) (Quit: Konversation terminated!)
2022-12-20 07:11:44 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-20 07:19:19 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2022-12-20 07:19:36 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-12-20 07:30:11 +0100codaraxis(~codaraxis@user/codaraxis) (Quit: Leaving)
2022-12-20 07:30:46 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving)
2022-12-20 07:31:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-20 07:32:25 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-20 07:33:26 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-12-20 07:36:24 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving)
2022-12-20 07:36:51 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Ping timeout: 256 seconds)
2022-12-20 07:38:00 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-20 07:39:41 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-12-20 07:40:51 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-20 07:42:29 +0100wernetawerneta_
2022-12-20 07:43:01 +0100werneta_werneta
2022-12-20 07:45:04 +0100paulpaul1076(~textual@95-29-5-111.broadband.corbina.ru)
2022-12-20 07:45:22 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-20 07:46:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 07:48:20 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving)
2022-12-20 07:48:36 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-20 07:51:35 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-12-20 07:57:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 08:05:51 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-20 08:16:55 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-12-20 08:16:59 +0100manwithluck(~manwithlu@194.177.28.176) (Quit: ZNC 1.8.2 - https://znc.in)
2022-12-20 08:17:59 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-12-20 08:18:49 +0100manwithluck(~manwithlu@194.177.28.176)
2022-12-20 08:23:24 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 08:25:36 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-12-20 08:27:43 +0100MajorBiscuit(~MajorBisc@31-23-159.netrun.cytanet.com.cy)
2022-12-20 08:29:20 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-12-20 08:32:13 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2022-12-20 08:33:54 +0100Major_Biscuit(~MajorBisc@c-001-007-014.client.tudelft.eduvpn.nl)
2022-12-20 08:37:23 +0100MajorBiscuit(~MajorBisc@31-23-159.netrun.cytanet.com.cy) (Ping timeout: 264 seconds)
2022-12-20 08:50:44 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-12-20 08:56:29 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:cd68:fed:5456:432f)
2022-12-20 09:00:07 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-20 09:01:08 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-20 09:01:55 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host)
2022-12-20 09:01:55 +0100Me-me(~Me-me@user/me-me)
2022-12-20 09:04:41 +0100jonathanx(~jonathan@c-5eea657a-74736162.cust.telenor.se)
2022-12-20 09:04:42 +0100jonathanx(~jonathan@c-5eea657a-74736162.cust.telenor.se) (Read error: Connection reset by peer)
2022-12-20 09:04:59 +0100akegalj(~akegalj@78-3-46-217.adsl.net.t-com.hr)
2022-12-20 09:05:52 +0100jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
2022-12-20 09:17:00 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-20 09:22:52 +0100jinsl(~jinsl@2408:8207:2558:2b10:211:32ff:fec8:6aea)
2022-12-20 09:22:54 +0100jinsl-(~jinsl@2408:8207:2554:1a50:211:32ff:fec8:6aea) (Ping timeout: 265 seconds)
2022-12-20 09:23:34 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi)
2022-12-20 09:25:57 +0100pip[m](~wyb-pipma@2001:470:69fc:105::2:d2f8)
2022-12-20 09:25:58 +0100pip[m](~wyb-pipma@2001:470:69fc:105::2:d2f8) ()
2022-12-20 09:27:11 +0100zer0bitz(~zer0bitz@196.244.192.58) (Ping timeout: 264 seconds)
2022-12-20 09:31:28 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-12-20 09:48:40 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-20 09:56:48 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-12-20 09:57:25 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-20 09:58:07 +0100 <MangoIV[m]> Hi, I have a question with the following szenario:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/196b3983e894e559fe9d61b1ae34403d9791…>)
2022-12-20 10:00:15 +0100 <c_wraith> there's no such thing
2022-12-20 10:01:01 +0100 <c_wraith> that set of performance constraints + immutable can't be solved.
2022-12-20 10:01:31 +0100 <c_wraith> Though I'd also note your set of performance constraints is inconsistent.
2022-12-20 10:02:01 +0100johnw(~johnw@2600:1700:cf00:db0:c0c5:4436:64e9:c855)
2022-12-20 10:02:06 +0100 <c_wraith> your rejection of Seq is because it has O(log n) lookup, but doubly linked lists have O(n) lookup
2022-12-20 10:02:20 +0100 <MangoIV[m]> thank you, so my only way out is implementing one with STRefs?
2022-12-20 10:02:36 +0100 <MangoIV[m]> c_wraith: what do you mean?
2022-12-20 10:04:16 +0100 <MangoIV[m]> c_wraith: did you read that this is *given an index into the structure, read reference or pointer*?
2022-12-20 10:04:17 +0100 <c_wraith> If you're comparing indexing into Seq, it's important to note you're always starting with the fingers of the finger tree. That's equivalent to starting looking around a doubly linked list from the ends.
2022-12-20 10:05:08 +0100 <MangoIV[m]> this is indeed O(1) as it merely requires following the pointer.
2022-12-20 10:05:34 +0100 <c_wraith> it only takes 1 pointer to reach the 5th element of a doubly linked lists when all you have is the ends?
2022-12-20 10:06:06 +0100 <c_wraith> It's worth comparing like with like.
2022-12-20 10:06:16 +0100 <MangoIV[m]> no, this is a given
2022-12-20 10:06:25 +0100 <MangoIV[m]> I do already have an index.
2022-12-20 10:06:42 +0100 <MangoIV[m]> i.e. the address of the element.
2022-12-20 10:07:00 +0100 <c_wraith> but that's not the operation you're comparing to in Seq when you say Seq isn't good enough
2022-12-20 10:07:23 +0100 <MangoIV[m]> c_wraith: I'm not arguing that `Seq` is a bad datastructure or want to make performance comparisons; `Seq` cannot accomplish what I need here, that's the only thing that's important to me.
2022-12-20 10:07:47 +0100 <MangoIV[m]> c_wraith: right, but there is no equivalent operations in `Seq`
2022-12-20 10:07:50 +0100 <c_wraith> If you stopped pre-rejecting it, maybe there's a solution
2022-12-20 10:07:56 +0100 <c_wraith> get creative
2022-12-20 10:08:05 +0100 <c_wraith> have you heard of zippers?
2022-12-20 10:08:16 +0100 <MangoIV[m]> so I have to compare to the operations that would be equivalent
2022-12-20 10:08:26 +0100 <c_wraith> right. so have you heard of zippers?
2022-12-20 10:08:33 +0100 <MangoIV[m]> c_wraith: yes, I could not come up with a spine that allows for this
2022-12-20 10:09:06 +0100 <c_wraith> typical list zippers do everything except O(1) cons/snoc, right?
2022-12-20 10:09:14 +0100 <c_wraith> so replace the lists with Seq
2022-12-20 10:09:22 +0100 <c_wraith> And there you are.
2022-12-20 10:09:29 +0100 <MangoIV[m]> c_wraith: they do have `O(1)` insertion?
2022-12-20 10:09:43 +0100 <c_wraith> they have O(1) cons and snoc
2022-12-20 10:09:52 +0100 <MangoIV[m]> no i mean list-zippers
2022-12-20 10:10:00 +0100 <c_wraith> sure.
2022-12-20 10:10:02 +0100 <[Leary]> Assuming you want to insert/delete/update at the cursor.
2022-12-20 10:10:41 +0100 <c_wraith> That's actually the entire point of zippers.
2022-12-20 10:10:51 +0100 <c_wraith> efficient access at the cursor.
2022-12-20 10:10:56 +0100 <MangoIV[m]> c_wraith: so I just store the zipper at the cursor? and then how do I propagate that change?
2022-12-20 10:11:31 +0100 <MangoIV[m]> c_wraith: yeah, I'm aware but I do not only need one access, I need to jump within the zipper, if you will
2022-12-20 10:11:51 +0100 <MangoIV[m]> and therefore it will be linear because I need to roll up the zipper
2022-12-20 10:12:12 +0100 <c_wraith> moving the cursor one step in a zipper is O(1), just like moving the focus in a double linked list is one step.
2022-12-20 10:12:44 +0100 <c_wraith> Or do you have an additional constraint, that you need random access between multiple focused positions/
2022-12-20 10:13:30 +0100 <MangoIV[m]> c_wraith: basically, yeah, I thought that was implied by `O(1)` deletion, indexing and updating given a reference.
2022-12-20 10:13:36 +0100acidjnk(~acidjnk@p200300d6e7137a9711be15487ebf2b38.dip0.t-ipconnect.de)
2022-12-20 10:13:39 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2022-12-20 10:14:08 +0100 <c_wraith> It's ambiguous when you've previously talked about having a distinguished point in the list that you want to traverse from.
2022-12-20 10:14:24 +0100 <c_wraith> You never mentioned having *multiples* of them.
2022-12-20 10:14:56 +0100 <c_wraith> Well now you're off into aliasing-land and all the bugs it brings.
2022-12-20 10:14:56 +0100 <MangoIV[m]> c_wraith: right, then please excuse me, I will have a ton of them
2022-12-20 10:15:08 +0100 <[Leary]> Moving n places in the Seq zipper would be O(log n). And frankly, programmers should not waste brain-space distinguishing between O(log n) and O(1). In reality, the latter is often worse.
2022-12-20 10:15:58 +0100 <c_wraith> You're back to the full set of operations requiring mutable refs. And giving yourself all the aliasing headaches normally reserved for C programmers.
2022-12-20 10:16:22 +0100 <c_wraith> At this point, I'd probably reconsider whether all these operations are actually necessary, or if you can do something simpler.
2022-12-20 10:16:39 +0100 <MangoIV[m]> [Leary]: that's surely true but the whole point of the algorithm I'm looking at is `O(n)` time complexity and that requires for the operation I'm talking and asking about to be `O(1)` time, if that's not the case then the algorithm would not be useful.
2022-12-20 10:17:18 +0100 <MangoIV[m]> c_wraith: that's what I'm trying to find out, yeah, I cannot be implementing a C style linked list in Haskell, that'd be horrific.
2022-12-20 10:18:01 +0100 <c_wraith> You can, but it's very pessimal for the GC algorithms
2022-12-20 10:18:14 +0100 <c_wraith> and it's pretty terrible for the ergonomics of writing the code.
2022-12-20 10:19:24 +0100 <MangoIV[m]> that both is very true which is why I'm trying to avoid it and why I'm asking here, I've been biting on granite with this.
2022-12-20 10:21:15 +0100 <c_wraith> You can probably do something a lot cleaner than a ton of refs with a mutable array and some index arithmetic. (look at how high-performance queues are stored in arrays, for instance)
2022-12-20 10:21:30 +0100 <c_wraith> Oh, nevermind. deleting. That's the one that still gets you
2022-12-20 10:22:07 +0100 <c_wraith> Honestly, this sounds like a mess anyway. Those constraints mean you're liable to delete an entry in the list that some other place is holding on to.
2022-12-20 10:22:10 +0100 <MangoIV[m]> yeah, this is a pity, my professor suggested dynamic arrays but deleting still bites me
2022-12-20 10:22:26 +0100 <c_wraith> And that's a fast track to corrupt the list.
2022-12-20 10:22:58 +0100 <MangoIV[m]> c_wraith: why? deleting should always be safe?
2022-12-20 10:24:39 +0100 <MangoIV[m]> the view on the list for an element would be something like
2022-12-20 10:24:39 +0100 <MangoIV[m]> ```haskell
2022-12-20 10:24:39 +0100 <MangoIV[m]> data Node a = MkNode { val :: a, n :: STRef (Maybe (Node a)), p :: STRef (Maybe (Node a)) }
2022-12-20 10:24:39 +0100 <MangoIV[m]> ```
2022-12-20 10:24:41 +0100 <c_wraith> So let's say you're holding on to to refs, A and B. (not Haskell code, clearly.) You do some operations with them such that they move around a bit and eventually end up pointing to the same entry. Then the holder of A decides to delete it. B is no longer pointed to an entry in the list.
2022-12-20 10:24:56 +0100 <c_wraith> that's the standard aliasing problem
2022-12-20 10:25:29 +0100 <MangoIV[m]> c_wraith: this can never happen in my algorithm, afaict
2022-12-20 10:26:03 +0100 <c_wraith> that's great once it's working, but it's hell while you're debugging.
2022-12-20 10:26:09 +0100 <MangoIV[m]> or rather it could but it's explicit on how to avoid it.
2022-12-20 10:27:16 +0100 <MangoIV[m]> yeah, even writing the operations on the list in ST is not fun, especially something like the empty list which requires making an STRef that holds error for a while :D
2022-12-20 10:29:39 +0100 <MangoIV[m]> I think my way forward is to try and find out an alternative to the datastructures in the algorithm, I cannot for the life of me imagine that implementing an ST mutable linked list in Haskell is already the perfect solution. Thank you for the input though.
2022-12-20 10:31:58 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 10:35:27 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-12-20 10:36:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 255 seconds)
2022-12-20 10:40:55 +0100ubert(~Thunderbi@p200300ecdf264e518eb9d3d0ff313a22.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-12-20 10:47:46 +0100chele(~chele@user/chele)
2022-12-20 10:49:47 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2022-12-20 10:50:26 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-20 10:50:38 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-12-20 10:58:47 +0100hsw_(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net)
2022-12-20 10:58:52 +0100hsw_(~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection)
2022-12-20 11:00:03 +0100cfricke(~cfricke@user/cfricke)
2022-12-20 11:01:34 +0100ubert(~Thunderbi@2a02:8109:abc0:6434:a232:e27a:d124:90ec)
2022-12-20 11:06:23 +0100akegalj(~akegalj@78-3-46-217.adsl.net.t-com.hr) (Quit: leaving)
2022-12-20 11:06:50 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2022-12-20 11:15:39 +0100sus(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2022-12-20 11:19:00 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-12-20 11:20:31 +0100freeside(~mengwong@213.86.11.74)
2022-12-20 11:22:15 +0100thegeekinside(~thegeekin@189.128.148.159) (Ping timeout: 268 seconds)
2022-12-20 11:24:42 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-12-20 11:24:42 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2022-12-20 11:25:58 +0100Lord_of_Life_Lord_of_Life
2022-12-20 11:28:15 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-20 11:29:30 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-20 11:30:49 +0100zer0bitz_(~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) ()
2022-12-20 11:32:43 +0100zer0bitz(~zer0bitz@196.244.192.57)
2022-12-20 11:35:59 +0100trev(~trev@user/trev)
2022-12-20 11:40:23 +0100 <Profpatsch> I think I’ve created something truly horrible
2022-12-20 11:40:27 +0100 <Profpatsch> define newtype Label (label :: Symbol) value = Label value
2022-12-20 11:40:34 +0100 <Profpatsch> Make a HasField instance
2022-12-20 11:40:42 +0100 <Profpatsch> define data T2 (l1 :: Symbol) t1 (l2 :: Symbol) t2 = T2 (Label l1 t1) (Label l2 t2)
2022-12-20 11:40:48 +0100 <Profpatsch> Make 2 HasField instances
2022-12-20 11:41:46 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2022-12-20 11:41:48 +0100 <Profpatsch> anonymous tuples with accessible-by-name fields that do not require to type out an extra record
2022-12-20 11:43:01 +0100 <MangoIV[m]> Just use NP with a functor that is labelled
2022-12-20 11:44:58 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-12-20 11:52:12 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-20 11:53:18 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-20 11:56:52 +0100__monty__(~toonn@user/toonn)
2022-12-20 12:01:08 +0100xff0x(~xff0x@ai071162.d.east.v6connect.net)
2022-12-20 12:04:16 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-12-20 12:06:57 +0100eikke(~NicolasT@user/NicolasT)
2022-12-20 12:07:43 +0100son0p(~ff@2604:3d08:5b7f:5540::e96e) (Ping timeout: 260 seconds)
2022-12-20 12:08:12 +0100 <eikke> I seem to remember there's a way (in context of DataKinds) to specify some data type should actually only create a kind, and hence no constructor shall ever be used at the data-level. Am I wrong? Can't seem to find relevant docs.
2022-12-20 12:11:06 +0100 <MangoIV[m]> That is a new feature iirc, it’s currently being implemented or has just been implemented. Maybe it’s in HEAD of GHC
2022-12-20 12:14:27 +0100 <MangoIV[m]> TypeData I think is the name of the extension
2022-12-20 12:15:58 +0100freeside(~mengwong@213.86.11.74) (Ping timeout: 272 seconds)
2022-12-20 12:18:29 +0100acidjnk(~acidjnk@p200300d6e7137a9711be15487ebf2b38.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2022-12-20 12:18:55 +0100jargon(~jargon@174-22-192-24.phnx.qwest.net) (Remote host closed the connection)
2022-12-20 12:19:46 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-12-20 12:22:30 +0100 <eikke> MangoIV[m]: Thanks!
2022-12-20 12:24:10 +0100Wstfgl0(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net)
2022-12-20 12:25:18 +0100 <__monty__> I have an Advent of Code solution that runs out of memory. Is there an easy way to check whether something I wrote is too lazy?
2022-12-20 12:27:37 +0100Wstfgl0(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Client Quit)
2022-12-20 12:32:45 +0100son0p(~ff@2604:3d08:5b7f:5540::e96e)
2022-12-20 12:34:31 +0100dextaa6(~DV@user/dextaa)
2022-12-20 12:35:37 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-12-20 12:36:37 +0100dextaa(~DV@user/dextaa) (Ping timeout: 256 seconds)
2022-12-20 12:36:37 +0100dextaa6dextaa
2022-12-20 12:37:30 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-12-20 12:37:32 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-20 12:40:52 +0100Me-me(~Me-me@user/me-me) (Quit: Going offline, see ya! (www.adiirc.com))
2022-12-20 12:40:59 +0100foul_owl(~kerry@193.29.61.234) (Ping timeout: 264 seconds)
2022-12-20 12:41:09 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt)
2022-12-20 12:44:27 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-12-20 12:44:29 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-12-20 12:44:32 +0100allbery_bgeekosaur
2022-12-20 12:51:24 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds)
2022-12-20 12:53:30 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-12-20 12:56:17 +0100foul_owl(~kerry@157.97.134.157)
2022-12-20 12:59:25 +0100CiaoSen(~Jura@p200300c95715c4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-12-20 13:01:33 +0100eikke(~NicolasT@user/NicolasT) (Ping timeout: 256 seconds)
2022-12-20 13:02:35 +0100ulvarrefr(~user@188.124.56.153) (Read error: Connection reset by peer)
2022-12-20 13:05:58 +0100raym(~ray@user/raym) (Read error: Connection reset by peer)
2022-12-20 13:11:54 +0100raym(~ray@user/raym)
2022-12-20 13:20:38 +0100ulvarrefr(~user@188.124.56.153)
2022-12-20 13:29:50 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:cd68:fed:5456:432f) (Ping timeout: 246 seconds)
2022-12-20 13:34:48 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 13:39:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 260 seconds)
2022-12-20 13:39:34 +0100eikke(~NicolasT@user/NicolasT)
2022-12-20 13:44:07 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-12-20 13:49:42 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2022-12-20 13:50:46 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-12-20 13:53:18 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-12-20 13:54:46 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2022-12-20 14:02:50 +0100slack1256(~slack1256@186.11.31.124)
2022-12-20 14:16:45 +0100eikke(~NicolasT@user/NicolasT) (Ping timeout: 260 seconds)
2022-12-20 14:17:39 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-12-20 14:25:24 +0100andreas303(andreas303@ip227.orange.bnc4free.com) (Quit: fBNC - https://bnc4free.com)
2022-12-20 14:26:39 +0100xacktm(~xacktm@user/xacktm) (Ping timeout: 260 seconds)
2022-12-20 14:27:36 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-12-20 14:30:40 +0100 <codedmart> When using `-hT` can I specify where to output the *.hp file?
2022-12-20 14:32:36 +0100razetime(~quassel@49.207.230.181) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-12-20 14:35:03 +0100burakcank(burakcank@has.arrived.and.is.ready-to.party) (Killed (NickServ (GHOST command used by burakcank_!B438@free.znc.bg)))
2022-12-20 14:35:27 +0100burakcank(~burakcank@has.arrived.and.is.ready-to.party)
2022-12-20 14:36:47 +0100CiaoSen(~Jura@p200300c95715c4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-12-20 14:39:27 +0100kenran(~user@user/kenran)
2022-12-20 14:39:34 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 252 seconds)
2022-12-20 14:41:10 +0100wei2912(~wei2912@138.75.131.197)
2022-12-20 14:43:10 +0100tabemann_(~tabemann@2600:1700:7990:24e0:a525:f2f6:8a3c:81c2) (Remote host closed the connection)
2022-12-20 14:43:23 +0100tabemann_(~tabemann@2600:1700:7990:24e0:b44:a3db:aa8e:8d3c)
2022-12-20 14:44:31 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-12-20 14:46:01 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-20 14:46:17 +0100vpan(~0@212.117.1.172)
2022-12-20 14:47:10 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 14:48:04 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 14:51:13 +0100CiaoSen(~Jura@p200300c95715c4002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-12-20 14:51:27 +0100 <geekosaur> doesn't look like it
2022-12-20 14:56:00 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-12-20 14:57:06 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu)
2022-12-20 14:58:08 +0100mestre(~mestre@191.177.185.178)
2022-12-20 15:01:19 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 260 seconds)
2022-12-20 15:09:12 +0100coot(~coot@213.134.171.3)
2022-12-20 15:12:40 +0100xacktm(~xacktm@user/xacktm)
2022-12-20 15:14:58 +0100andreas303(andreas303@ip227.orange.bnc4free.com)
2022-12-20 15:15:00 +0100SIben(~SIben@ns3106586.ip-5-135-191.eu) (Read error: Connection reset by peer)
2022-12-20 15:23:41 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-12-20 15:24:56 +0100danza(~francesco@rm-19-51-26.service.infuturo.it)
2022-12-20 15:25:19 +0100eikke(~NicolasT@user/NicolasT)
2022-12-20 15:27:20 +0100thegeekinside(~thegeekin@189.128.148.159)
2022-12-20 15:27:27 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-20 15:30:32 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-12-20 15:32:00 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2022-12-20 15:32:30 +0100danza(~francesco@rm-19-51-26.service.infuturo.it) (Read error: Connection reset by peer)
2022-12-20 15:32:39 +0100waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Quit: WeeChat 3.7.1)
2022-12-20 15:35:45 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:559e:1a52:b1a:4fff)
2022-12-20 15:36:19 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 15:38:10 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
2022-12-20 15:40:43 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 248 seconds)
2022-12-20 15:42:59 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1)
2022-12-20 16:00:22 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-12-20 16:01:49 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 16:02:25 +0100Sgeo(~Sgeo@user/sgeo)
2022-12-20 16:03:57 +0100 <jean-paul[m]> cabal init offers me up to cabal format 3.4 but defaults to 3.0. why wouldn't I want to bump up to 3.4?
2022-12-20 16:07:23 +0100 <geekosaur> https://cabal.readthedocs.io/en/3.8/file-format-changelog.html#cabal-version-3-4
2022-12-20 16:07:41 +0100 <geekosaur> the second point seems like it might be a breaking change
2022-12-20 16:09:54 +0100 <jean-paul[m]> Okay. I guess that might bug me if I were upgrading an existing project to 3.4 (or if I had strong opinions about sublibraries - whatever those are!). It seems kind of minor though, so maybe 3.4 is fine for my new project where I don't have any such strong opinions... Thanks
2022-12-20 16:09:59 +0100freeside(~mengwong@213.86.11.74)
2022-12-20 16:11:00 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2022-12-20 16:12:42 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 252 seconds)
2022-12-20 16:15:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 16:15:09 +0100 <jean-paul[m]> But maybe cabal2nix has strong opinions since it's giving me a parse error now ...
2022-12-20 16:15:28 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-12-20 16:17:46 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2022-12-20 16:17:56 +0100 <jean-paul[m]> Too bad cabal2nix doesn't say right on it what versions of cabal format it supports
2022-12-20 16:19:08 +0100 <jean-paul[m]> eh 3.0 and 3.4 formats don't look so different that they should break any parsing though ...
2022-12-20 16:19:25 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 16:19:48 +0100jakalx(~jakalx@base.jakalx.net)
2022-12-20 16:20:12 +0100 <geekosaur> would break dependency stuff, but I wouldn't be surprised if they handle Cabal-version as part of parsing
2022-12-20 16:21:42 +0100 <geekosaur> (since it might change parsing, although it doesn't in this case. but see for example Cabal-version 3.8)
2022-12-20 16:22:16 +0100 <jean-paul[m]> Oh, cabal init lets you type syntactically invalid values in for some fields
2022-12-20 16:22:34 +0100 <jean-paul[m]> and I did. so the cabal file is actually syntactically invalid.
2022-12-20 16:27:44 +0100freeside(~mengwong@213.86.11.74) (Ping timeout: 252 seconds)
2022-12-20 16:29:09 +0100raym(~ray@user/raym) (Read error: Connection reset by peer)
2022-12-20 16:31:31 +0100beefbambi(~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer)
2022-12-20 16:31:56 +0100beefbambi(~beefbambi@183.82.207.16)
2022-12-20 16:34:20 +0100 <jean-paul[m]> aha. So that lets it get further. But then it still fails with a parse error, this time explicitly stating that 3.4 is unsupported :p
2022-12-20 16:34:23 +0100raym(~ray@user/raym)
2022-12-20 16:36:42 +0100nschoe(~q@141.101.51.197)
2022-12-20 16:37:32 +0100motherfsck(~motherfsc@user/motherfsck)
2022-12-20 16:38:44 +0100Guest25_(~Guest25_@cm-171-101-20-84.revip11.asianet.co.th) (Quit: Client closed)
2022-12-20 16:43:31 +0100jonathanx(~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Remote host closed the connection)
2022-12-20 16:45:08 +0100quazimodo(~quazimodo@122-199-39-221.ip4.superloop.com) (Ping timeout: 272 seconds)
2022-12-20 16:47:06 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-20 16:53:48 +0100wei2912(~wei2912@138.75.131.197) (Remote host closed the connection)
2022-12-20 16:56:20 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-20 16:57:49 +0100mestre(~mestre@191.177.185.178) (Quit: Lost terminal)
2022-12-20 17:01:12 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 17:09:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 17:10:48 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-20 17:13:00 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-12-20 17:14:17 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-20 17:14:43 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-12-20 17:15:51 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving)
2022-12-20 17:18:35 +0100notzmv(~zmv@user/notzmv)
2022-12-20 17:18:49 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-12-20 17:31:41 +0100ubert(~Thunderbi@2a02:8109:abc0:6434:a232:e27a:d124:90ec) (Remote host closed the connection)
2022-12-20 17:33:05 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:559e:1a52:b1a:4fff) (Quit: WeeChat 2.8)
2022-12-20 17:35:16 +0100jao(~jao@140.68.79.188.dynamic.jazztel.es)
2022-12-20 17:41:30 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 272 seconds)
2022-12-20 17:45:11 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-12-20 17:46:32 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 265 seconds)
2022-12-20 17:47:06 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 17:49:13 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 17:54:00 +0100motherfsck(~motherfsc@user/motherfsck)
2022-12-20 17:55:26 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 272 seconds)
2022-12-20 17:56:56 +0100tomokojun(~tomokojun@75.164.24.44)
2022-12-20 17:58:52 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 17:59:33 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2022-12-20 18:01:46 +0100jao(~jao@140.68.79.188.dynamic.jazztel.es) (Ping timeout: 272 seconds)
2022-12-20 18:02:25 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-12-20 18:03:14 +0100Major_Biscuit(~MajorBisc@c-001-007-014.client.tudelft.eduvpn.nl) (Ping timeout: 246 seconds)
2022-12-20 18:07:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-12-20 18:08:41 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-20 18:14:48 +0100eikke(~NicolasT@user/NicolasT) (Ping timeout: 252 seconds)
2022-12-20 18:16:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Remote host closed the connection)
2022-12-20 18:18:08 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-20 18:24:44 +0100emad(~emad@102.42.147.181)
2022-12-20 18:25:22 +0100emad(~emad@102.42.147.181) (Remote host closed the connection)
2022-12-20 18:25:23 +0100tomokojun(~tomokojun@75.164.24.44) (Quit: じゃあね〜。)
2022-12-20 18:28:02 +0100econo(uid147250@user/econo)
2022-12-20 18:28:16 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 18:29:13 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-12-20 18:30:32 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-12-20 18:31:14 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2022-12-20 18:31:54 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-12-20 18:32:54 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 18:33:22 +0100nschoe(~q@141.101.51.197) (Quit: Switching off)
2022-12-20 18:37:07 +0100eikke(~NicolasT@user/NicolasT)
2022-12-20 18:39:12 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-12-20 18:40:19 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Remote host closed the connection)
2022-12-20 18:41:56 +0100Xeroine_(~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2022-12-20 18:42:06 +0100beteigeuze(~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Remote host closed the connection)
2022-12-20 18:42:16 +0100Xeroine(~Xeroine@user/xeroine)
2022-12-20 18:46:22 +0100trev(~trev@user/trev) (Remote host closed the connection)
2022-12-20 18:52:53 +0100onosendi(sid552923@user/onosendi) (WeeChat 3.7.1)
2022-12-20 18:53:04 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 272 seconds)
2022-12-20 18:56:48 +0100[exa](~exa@user/exa/x-3587197)
2022-12-20 18:57:41 +0100iqubic(~avi@2601:602:9502:c70:98f0:c0ba:f8c9:e2cc) (Ping timeout: 255 seconds)
2022-12-20 18:58:52 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 19:00:40 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 272 seconds)
2022-12-20 19:01:03 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-12-20 19:02:53 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-12-20 19:03:12 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2022-12-20 19:04:21 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 19:11:07 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 265 seconds)
2022-12-20 19:12:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-12-20 19:17:28 +0100lbseale_(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-12-20 19:18:00 +0100lbseale(~quassel@user/ep1ctetus)
2022-12-20 19:18:07 +0100lbseale(~quassel@user/ep1ctetus) (Client Quit)
2022-12-20 19:18:37 +0100lbseale(~quassel@user/ep1ctetus)
2022-12-20 19:18:53 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 19:23:43 +0100lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-12-20 19:24:05 +0100lbseale(~quassel@user/ep1ctetus)
2022-12-20 19:33:23 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 260 seconds)
2022-12-20 19:33:58 +0100CiaoSen(~Jura@p200300c95715c4002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-12-20 19:37:17 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 19:40:49 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 19:45:25 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 252 seconds)
2022-12-20 19:58:20 +0100bjourne(~bjorn@94.191.153.8)
2022-12-20 20:01:22 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net)
2022-12-20 20:03:09 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2022-12-20 20:03:29 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-12-20 20:03:56 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds)
2022-12-20 20:04:29 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-12-20 20:05:22 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-12-20 20:05:59 +0100morb(~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2022-12-20 20:07:56 +0100chele(~chele@user/chele) (Remote host closed the connection)
2022-12-20 20:15:05 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds)
2022-12-20 20:15:42 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-20 20:16:56 +0100fizbin(~fizbin@user/fizbin)
2022-12-20 20:20:40 +0100fizbin(~fizbin@user/fizbin) (Read error: Connection reset by peer)
2022-12-20 20:23:51 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-12-20 20:25:56 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-12-20 20:28:07 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-12-20 20:30:36 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 20:31:48 +0100motherfsck(~motherfsc@user/motherfsck)
2022-12-20 20:33:42 +0100fizbin(~fizbin@user/fizbin)
2022-12-20 20:41:44 +0100Topsi(~Topsi@dyndsl-091-096-146-006.ewe-ip-backbone.de)
2022-12-20 20:41:57 +0100codaraxis(~codaraxis@user/codaraxis)
2022-12-20 20:42:11 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-12-20 20:42:55 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Remote host closed the connection)
2022-12-20 20:43:13 +0100acidjnk(~acidjnk@p54ad5adb.dip0.t-ipconnect.de)
2022-12-20 20:46:35 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 20:47:07 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host)
2022-12-20 20:47:07 +0100Me-me(~Me-me@user/me-me)
2022-12-20 20:51:42 +0100unit73e(~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36)
2022-12-20 20:52:40 +0100motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 268 seconds)
2022-12-20 20:54:49 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2022-12-20 21:00:03 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Remote host closed the connection)
2022-12-20 21:06:01 +0100ec(~ec@gateway/tor-sasl/ec)
2022-12-20 21:06:02 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-20 21:10:08 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:ded3:12eb:7e61:b24d)
2022-12-20 21:15:37 +0100iqubic(~avi@2601:602:9502:c70:ddf2:fbad:a58:4a0b)
2022-12-20 21:30:22 +0100freeside(~mengwong@88.128.92.124)
2022-12-20 21:31:28 +0100kenran(~user@user/kenran)
2022-12-20 21:32:11 +0100kenran(~user@user/kenran) (Remote host closed the connection)
2022-12-20 21:32:44 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 265 seconds)
2022-12-20 21:37:35 +0100elevenkb(~elevenkb@105.224.37.128)
2022-12-20 21:39:50 +0100mikoto-chan(~mikoto-ch@85-76-117-13-nat.elisa-mobile.fi)
2022-12-20 21:46:10 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-12-20 21:46:54 +0100 <phileasfogg> Beginner question here. I defined my own data type, and trying to redefine that type's multiplication and add/sub using the hmatrix.
2022-12-20 21:47:06 +0100 <phileasfogg> basically, here's what I'm doing right now:
2022-12-20 21:48:04 +0100 <phileasfogg> https://paste.tomsmeding.com/rUB87wUg
2022-12-20 21:48:54 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-12-20 21:49:31 +0100 <phileasfogg> due to my lack of understanding, I don't know why this is not working. ghci says that '+' is not "visible" from the Matrix type.
2022-12-20 21:50:04 +0100 <phileasfogg> however, I can naturally use all the +,-,* operators with hmatrix
2022-12-20 21:50:24 +0100 <phileasfogg> why it's not working when I make an instance?
2022-12-20 21:50:51 +0100fizbin(~fizbin@user/fizbin) (Remote host closed the connection)
2022-12-20 21:50:56 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-12-20 21:51:09 +0100fizbin(~fizbin@user/fizbin)
2022-12-20 21:51:56 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-20 21:52:40 +0100 <geekosaur> hnatrix does not use its own definitions, it uses the standard numeric classes (Num and subclasses)
2022-12-20 21:52:47 +0100 <geekosaur> *hmatrix
2022-12-20 21:54:53 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Quit: leaving)
2022-12-20 22:00:44 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 260 seconds)
2022-12-20 22:01:47 +0100 <phileasfogg> In that case, what would be the reasonable approach to build my on +-* definitions, but still sticking with hmatrix?
2022-12-20 22:01:49 +0100ft(~ft@p4fc2a257.dip0.t-ipconnect.de)
2022-12-20 22:04:33 +0100 <geekosaur> you want to instance Num. hmatrix should still work
2022-12-20 22:04:50 +0100 <geekosaur> (I'm on the phone now, hopefully someone else can help)
2022-12-20 22:05:53 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-12-20 22:05:55 +0100 <dsal> Is Matrix a class?
2022-12-20 22:06:29 +0100gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2022-12-20 22:06:44 +0100 <dsal> I don't know hmatrix, but in browsing around, it looks like Matrix is a concrete type.
2022-12-20 22:08:15 +0100 <phileasfogg> Oh, so I think I should know how to instance the type A but still use the type B as my type’s value
2022-12-20 22:09:21 +0100 <dsal> Your type can have an instance of a class, but it can't have an instance of a type.
2022-12-20 22:10:17 +0100freeside(~mengwong@88.128.92.124) (Ping timeout: 246 seconds)
2022-12-20 22:10:36 +0100 <phileasfogg> phileasfogg Oh, sorry. Please think of Type A and B as classes.
2022-12-20 22:12:12 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-12-20 22:12:43 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net)
2022-12-20 22:14:00 +0100 <dsal> I don't know this package, but it defines a `Matrix t` and has a lot of functions like `luSolve' :: (Fractional t, Container Vector t) => LU t -> Matrix t -> Matrix t` which work with any `Matrix t` as long as that `t` is a `Fractional` instance and a `Container Vector` instance.
2022-12-20 22:14:55 +0100 <dsal> `Fractional` requires `Num` so your `t` here has to have a `Num` instance and a `Fractional` instance to call that function.
2022-12-20 22:15:34 +0100 <dsal> I don't know what functions you're calling, though. If you provide a specific bit of code you're trying to use, it'd be clearer.
2022-12-20 22:16:52 +0100isovector(~isovector@172.103.253.106)
2022-12-20 22:17:24 +0100 <isovector> is there some trick for putting a type of the form `c => t` as the RHS of a type family?
2022-12-20 22:19:25 +0100 <phileasfogg> https://paste.tomsmeding.com/1bPYpG2Q
2022-12-20 22:19:35 +0100 <phileasfogg> This is basically what I'm trying right now
2022-12-20 22:19:56 +0100 <dsal> That's what you're doing. It's not clear why you're doing this.
2022-12-20 22:20:01 +0100 <dsal> Where is `class Matrix` defined?
2022-12-20 22:20:10 +0100jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-12-20 22:20:25 +0100 <dsal> Also, those {}s look really weird there.
2022-12-20 22:21:08 +0100jludwig(~justin@li657-110.members.linode.com)
2022-12-20 22:24:06 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-12-20 22:24:23 +0100 <phileasfogg> https://paste.tomsmeding.com/If5qEFkx
2022-12-20 22:24:29 +0100 <phileasfogg> Which {}s?
2022-12-20 22:25:10 +0100 <dsal> `{ x; }` should be written `x`
2022-12-20 22:25:23 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-20 22:25:38 +0100jludwig(~justin@li657-110.members.linode.com) (Client Quit)
2022-12-20 22:25:58 +0100Guest8974(~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2022-12-20 22:26:18 +0100 <phileasfogg> oh, so just like Ket x :: String ?
2022-12-20 22:26:50 +0100 <dsal> No, that one is defining a record. It's all the rest of them with the {} and ; in the bodies. Minor thing.
2022-12-20 22:27:19 +0100 <phileasfogg> got it.
2022-12-20 22:27:32 +0100 <dsal> So you're defining your own `Matrix` class. I think defining a class with `(+)` and `(-)` is going to be painful, but it's doable. It's not clear what you mean by `instance Matrix t Ket where` or why the compiler is accepting that.
2022-12-20 22:27:59 +0100freeside(~mengwong@ip165.ip-51-38-214.eu)
2022-12-20 22:28:39 +0100 <dsal> I think you mean `instance Matrix Ket where` since `Matrix` only has one parameter. But your next error will be confusion around what those two different `(+)` functions do.
2022-12-20 22:29:33 +0100bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2022-12-20 22:30:23 +0100 <dsal> Though there's also no `Num` instance for `String` so you won't be able to `(+)` them anyway.
2022-12-20 22:30:24 +0100freeside(~mengwong@ip165.ip-51-38-214.eu) (Read error: Connection reset by peer)
2022-12-20 22:30:25 +0100 <dsal> :t (+)
2022-12-20 22:30:26 +0100 <lambdabot> Num a => a -> a -> a
2022-12-20 22:30:59 +0100 <dsal> I'm having a bit of trouble understanding what you're trying to do. I can see what you're doing and tell you why it won't work, but I can't tell you how to get where you're going because I don't understand where you're going.
2022-12-20 22:32:10 +0100 <phileasfogg> okay, so I thought the hmatrix is allowing me to simply do some dot product and such with their data, so I simply made an instance of it so that I can basically build an "expanded" version of matrix type.
2022-12-20 22:32:23 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-12-20 22:32:50 +0100 <dsal> You're not using anything related to hmatrix in this sample.
2022-12-20 22:32:50 +0100 <phileasfogg> Since Bra-Ket notation is pretty handy, I wanted to implement that
2022-12-20 22:33:57 +0100 <phileasfogg> Reason I made an instance was to define the "show" instance later as well so that I can make it show the result in the right notation instad of evaluating every matrix calculations.
2022-12-20 22:34:30 +0100 <dsal> You generally don't want to do that with a Show instance, but that's a different problem.
2022-12-20 22:34:46 +0100 <phileasfogg> Ok, noted.
2022-12-20 22:35:18 +0100 <phileasfogg> sorry about omitting it in the first place, but "import Numeric.LinearAlgebra" is on the top
2022-12-20 22:35:56 +0100 <dsal> There's nothing in here that's doing anything that requires anything other than prelude, though.
2022-12-20 22:36:10 +0100 <dsal> (except wherever `Ket` is defined)
2022-12-20 22:37:01 +0100tabaqui(~root@88.231.57.48)
2022-12-20 22:37:05 +0100 <dsal> Er, that's defined here. Yeah, this is showing me all the things.
2022-12-20 22:37:24 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-12-20 22:37:24 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-12-20 22:37:27 +0100 <dsal> I don't know why you're getting that particular error -- there are a few different errors I'd expect from this code.
2022-12-20 22:37:59 +0100 <dsal> But I don't know what you're trying to satisfy. I can see you're attempting to write some code, and I could probably make some code compile, but it may not be related to what you're trying to do.
2022-12-20 22:37:59 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-12-20 22:38:11 +0100 <dsal> e.g., I don't know what you mean when you have `aString + anotherString`
2022-12-20 22:38:21 +0100 <dsal> > "a" + "b"
2022-12-20 22:38:23 +0100 <lambdabot> error:
2022-12-20 22:38:23 +0100 <lambdabot> • No instance for (Num [Char]) arising from a use of ‘+’
2022-12-20 22:38:23 +0100 <lambdabot> • In the expression: "a" + "b"
2022-12-20 22:39:45 +0100 <phileasfogg> hmm
2022-12-20 22:39:47 +0100 <dsal> Or maybe stoket does something… but stoket would have to take s string and return something that's a matrix. I guess that's what you mean.
2022-12-20 22:39:50 +0100 <phileasfogg> stoket :: String -> Matrix R
2022-12-20 22:40:25 +0100 <dsal> Oh. Yeah, OK. So your `+` can't change the type.
2022-12-20 22:40:41 +0100 <dsal> You might try just doing this without the class first.
2022-12-20 22:40:58 +0100 <phileasfogg> Okay, I'll comment out the class.
2022-12-20 22:41:01 +0100 <dsal> Can you write a function `Ket -> Ket -> Matrix R` ?
2022-12-20 22:41:21 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-12-20 22:42:07 +0100 <phileasfogg> I can. It's just a simple mat multiplication
2022-12-20 22:42:13 +0100 <phileasfogg> wait a sec
2022-12-20 22:42:16 +0100quazimodo(~quazimodo@122-199-39-221.ip4.superloop.com)
2022-12-20 22:42:29 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:ded3:12eb:7e61:b24d) (Quit: WeeChat 2.8)
2022-12-20 22:42:47 +0100 <dsal> Matrix can be a Functor which will allow `fmap (Ket -> R)` be a function `Matrix Ket -> Matrix R`
2022-12-20 22:42:58 +0100isovector(~isovector@172.103.253.106) (Ping timeout: 260 seconds)
2022-12-20 22:45:28 +0100 <phileasfogg> wait, the function is actually too simple
2022-12-20 22:45:30 +0100 <phileasfogg> matmul A B = A <> B
2022-12-20 22:45:54 +0100 <phileasfogg> this time using the hmatrix properly, I assume
2022-12-20 22:46:02 +0100gmg(~user@user/gehmehgeh)
2022-12-20 22:46:02 +0100jludwig(~justin@li657-110.members.linode.com)
2022-12-20 22:46:26 +0100 <EvanR> I wish I knew functional programming with types when I learned bra-ket notation
2022-12-20 22:47:07 +0100 <dsal> So you just need a semigroup instance?
2022-12-20 22:47:11 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds)
2022-12-20 22:48:45 +0100 <phileasfogg> it is just hmatrix one I guess
2022-12-20 22:48:48 +0100 <phileasfogg> https://dis.um.es/~alberto/hmatrix/hmatrixtut.html
2022-12-20 22:49:02 +0100 <phileasfogg> it's the dot product
2022-12-20 22:49:36 +0100 <phileasfogg> wait
2022-12-20 22:49:38 +0100 <EvanR> dot product is between two vectors right
2022-12-20 22:49:41 +0100 <dsal> (<>) :: Numeric t => Matrix t -> Matrix t -> Matrix t infixr 8 -- Oh. That's kind of gross.
2022-12-20 22:49:48 +0100daveakre[m](~daveakrem@2001:470:69fc:105::1:88b7)
2022-12-20 22:49:59 +0100 <darkling> EvanR: Yes, two vectors to a scalar.
2022-12-20 22:50:18 +0100 <EvanR> does it even make sense with two matrices
2022-12-20 22:50:19 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-12-20 22:50:32 +0100 <phileasfogg> EvanR: sorry, dot product is <.>. this one is just a matmul
2022-12-20 22:50:52 +0100 <EvanR> or matrix multiplication is treated as a generalization of dot
2022-12-20 22:50:56 +0100 <darkling> Not as far as I know, but it's 30 years since I went near that sort of thing.
2022-12-20 22:51:23 +0100sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-12-20 22:51:44 +0100 <darkling> (I mean, I can do vector dot products, but there's a pile of funkier stuff in higher-dimensional structures like tensors that I know nothing about)
2022-12-20 22:51:49 +0100 <phileasfogg> dsal: I know, it's kinda gross. If there's any better matrix calc library I'd use that
2022-12-20 22:52:33 +0100 <dsal> I just mean it's gross that they made something that looks like Semigroup that isn't a Semigroup instance for some reason.
2022-12-20 22:52:59 +0100 <phileasfogg> darkling: tensors are difficult when you try to gain a deep understanding, probably
2022-12-20 22:53:08 +0100 <phileasfogg> dsal: yes, I meant that
2022-12-20 22:53:08 +0100jludwig(~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in)
2022-12-20 22:53:32 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-12-20 22:53:54 +0100 <darkling> phileasfogg: There's a reason I'm no longer a mathematician. :)
2022-12-20 22:54:56 +0100 <probie> It's worth remembering that hmatrix pre-dates semigroup being in base
2022-12-20 22:57:26 +0100 <phileasfogg> https://paste.tomsmeding.com/FAZ3WIsV
2022-12-20 22:58:26 +0100 <phileasfogg> okay, so this is pretty much everything, except stobra (which is extreamly simple as well)
2022-12-20 22:59:36 +0100isovector(~isovector@172.103.253.106)
2022-12-20 23:00:00 +0100kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-12-20 23:00:02 +0100kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Client Quit)
2022-12-20 23:00:36 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-12-20 23:00:45 +0100 <dsal> That still has all the stuff I mentioned above.
2022-12-20 23:01:26 +0100 <dsal> What does `Matrix t Ket` mean?
2022-12-20 23:02:24 +0100jludwig(~justin@li657-110.members.linode.com)
2022-12-20 23:03:12 +0100 <monochrom> "instance Matrix" looks illegal in the first place, given that Matrix is not a class.
2022-12-20 23:03:27 +0100 <monochrom> No one writes "instance Bool Foo Bar" for example.
2022-12-20 23:03:37 +0100 <dsal> One of the previous pastes defined a `class Matrix a`
2022-12-20 23:03:38 +0100 <monochrom> So, very wrong concept?
2022-12-20 23:03:52 +0100 <monochrom> Ah OK so what's hmatrix doing here?
2022-12-20 23:04:16 +0100 <Hecate> The "Ket" raises more questions
2022-12-20 23:06:02 +0100 <phileasfogg> sorry, I just edited on the old revision of the pastebin, but I just wanted to show you the stoket function.
2022-12-20 23:07:01 +0100 <phileasfogg> https://paste.tomsmeding.com/tc0Pnoga
2022-12-20 23:07:35 +0100 <phileasfogg> maybe I should eliminate every Matrix "R", since it makes no sense
2022-12-20 23:08:06 +0100 <dsal> instance Matrix Ket where (Ket a) + (Ket b) = stoket b + stoket b
2022-12-20 23:08:24 +0100 <dsal> So, one of the problems you have is that those two `+` functions have different types.
2022-12-20 23:08:40 +0100 <phileasfogg> Ah, I got it
2022-12-20 23:08:59 +0100 <phileasfogg> I was worried about it in a very vague form, but I couldn't explain it well
2022-12-20 23:09:15 +0100 <monochrom> Then I reinstate what I said. There is no way both "String -> Matrix R" (so Matrix is a type not a class" and "instance Matrix" (so Matrix is suddenly a class not a type) can both make sense in the same file.
2022-12-20 23:09:15 +0100 <dsal> It'd be easier to explain with a complete code example, but you're doing different things.
2022-12-20 23:09:31 +0100 <dsal> You *possibly* want to be defining a `Num` instance for that `(+)` function, but it's not clear.
2022-12-20 23:10:03 +0100 <phileasfogg> I think you're right
2022-12-20 23:10:46 +0100 <phileasfogg> since being able to "visualy" use the basic arithmetic symbols are pretty much everything for me in this one
2022-12-20 23:10:58 +0100 <dsal> :t (+)
2022-12-20 23:10:59 +0100 <lambdabot> Num a => a -> a -> a
2022-12-20 23:11:09 +0100 <dsal> Yes, but that only makes sense if they do the same thing. This function can't change types.
2022-12-20 23:11:49 +0100 <dsal> And it needs to work with any `Num`. So if you're defining a *different* `(+)` and using two different definitions of `(+)` (one from Num and one from your Matrix) on the same line, the compiler should tell you that doesn't make sense.
2022-12-20 23:12:11 +0100 <dsal> But also, classes are for constraints and data is for types, so there's a bit of confusion there that monochrom is hinting at.
2022-12-20 23:12:41 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d)
2022-12-20 23:14:06 +0100isovector(~isovector@172.103.253.106) ()
2022-12-20 23:14:25 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2022-12-20 23:15:23 +0100sagax(~sagax_nb@user/sagax) (Ping timeout: 260 seconds)
2022-12-20 23:17:09 +0100 <phileasfogg> Okay, I'll try that, and come back within a few hr, just after a quick refresh.
2022-12-20 23:17:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6111:8f0f:4f2:4e8d) (Ping timeout: 260 seconds)
2022-12-20 23:18:17 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-12-20 23:23:46 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2022-12-20 23:25:24 +0100fizbin(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2022-12-20 23:26:16 +0100fizbin(~fizbin@user/fizbin)
2022-12-20 23:28:30 +0100ec(~ec@gateway/tor-sasl/ec)
2022-12-20 23:30:56 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-12-20 23:37:06 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-12-20 23:41:27 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-12-20 23:42:52 +0100notzmv(~zmv@user/notzmv)
2022-12-20 23:42:59 +0100jao(~jao@140.68.79.188.dynamic.jazztel.es)
2022-12-20 23:49:40 +0100zero(~z@user/zero)
2022-12-20 23:50:15 +0100danza(~francesco@151.37.70.15)
2022-12-20 23:52:27 +0100zzz(~z@user/zero) (Ping timeout: 248 seconds)
2022-12-20 23:55:49 +0100grnman_(~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 268 seconds)