Home liberachat/#haskell: Logs Calendar

Logs on 2023-09-26 (liberachat/#haskell)

00:00:17 → johnw joins (~johnw@69.62.242.138)
00:04:05 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf)
00:05:10 × gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:11:15 × vgtw quits (~vgtw@user/vgtw) (Ping timeout: 252 seconds)
00:14:05 → jmdaemon joins (~jmdaemon@user/jmdaemon)
00:14:32 → emmanuelux joins (~emmanuelu@user/emmanuelux)
00:22:49 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
00:27:51 → vgtw joins (~vgtw@user/vgtw)
00:31:11 → pavonia_ joins (~user@user/siracusa)
00:31:42 × pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer)
00:31:54 pavonia_ is now known as pavonia
00:32:06 → alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri)
00:41:18 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds)
00:41:24 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
00:43:04 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:53:25 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
00:55:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf) (Remote host closed the connection)
00:55:58 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
00:57:26 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
00:57:55 × xff0x quits (~xff0x@2405:6580:b080:900:c1a7:3646:65e2:ac61) (Ping timeout: 264 seconds)
00:58:31 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
00:59:38 → xff0x joins (~xff0x@2405:6580:b080:900:db99:9da1:fa4d:eaa1)
01:08:23 × wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal)
01:10:08 → todi joins (~todi@p4fd1a856.dip0.t-ipconnect.de)
01:14:05 → todi1 joins (~todi@p4fd1a856.dip0.t-ipconnect.de)
01:14:43 × todi quits (~todi@p4fd1a856.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
01:14:55 × foul_owl_ quits (~kerry@185.216.231.179) (Ping timeout: 244 seconds)
01:16:24 todi1 is now known as todi
01:17:24 → hugo joins (znc@verdigris.lysator.liu.se)
01:18:43 × Inst_ quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds)
01:26:26 → gatekempt joins (~gatekempt@user/gatekempt)
01:28:52 → foul_owl_ joins (~kerry@174-21-66-189.tukw.qwest.net)
01:40:29 × otto_s quits (~user@p4ff27465.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:42:17 → otto_s joins (~user@p5b04494d.dip0.t-ipconnect.de)
01:57:12 × Lears quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
01:57:29 → [Leary] joins (~Leary]@user/Leary/x-0910699)
02:00:13 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
02:03:11 <haskellbridge> <m​aerwald> You can have recursion primitives written in C/C++
02:03:54 <haskellbridge> <m​aerwald> That's what Mu does
02:04:01 → nicosm joins (~nicosm@host98.181-4-190.telecom.net.ar)
02:07:39 <monochrom> That will be beside the point because C and C++ have very different semantics than either Haskell-Report Haskell or GHC.
02:08:12 <monochrom> Put it another way, recursion in C and C++ will have some other strengths and limitations.
02:10:48 × gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
02:12:09 × td_ quits (~td@i53870932.versanet.de) (Ping timeout: 258 seconds)
02:13:45 → td_ joins (~td@i53870926.versanet.de)
02:20:50 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:20:50 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:20:50 finn_elija is now known as FinnElija
02:22:41 × edr quits (~edr@user/edr) (Quit: Leaving)
02:41:40 → danse-nr3 joins (~francesco@151.37.220.70)
02:44:19 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:44:53 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
02:44:56 → Sgeo_ joins (~Sgeo@user/sgeo)
02:54:02 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 252 seconds)
02:55:50 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
03:01:13 × alphacentauri quits (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 240 seconds)
03:03:48 <Square> I have a vague memory I'm getting this wrong. If I write instance : "instance SomeReq a => MyClass a where". I want to believe that creates an instance for types with SomeReq? But I read somewhere it doesn't work like that?
03:04:02 × aforemny_ quits (~aforemny@2001:9e8:6cca:8700:2bc1:22ff:8c3c:2087) (Ping timeout: 246 seconds)
03:04:30 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
03:04:30 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
03:04:30 → wroathe joins (~wroathe@user/wroathe)
03:04:52 → aforemny joins (~aforemny@i59F516FC.versanet.de)
03:05:03 <danse-nr3> where SomeReq is a constraint
03:05:27 <danse-nr3> yes i think it broadly works that way
03:05:46 <monochrom> It does not say "if not SomeReq Int then not MyClass Int". Instead, it just causes more errors like "Int is not SomeReq, aborting".
03:06:22 <Square> thanks
03:06:29 <monochrom> In Prolog terms you lack the closed-world assumption and therefore lack negation-as-failure in Haskell's class system.
03:07:26 → alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri)
03:07:32 <Square> It requires me to use UndecidableInstances though. Not sure if that is bad.
03:08:00 <danse-nr3> i think that requirement comes from something else you have in the code
03:08:04 <monochrom> That is an orthogonal issue after you accept what I said.
03:08:24 <monochrom> Any "instance Foo a" covers all types because all types match "a".
03:08:55 <monochrom> Err, sorry, that was something else.
03:10:44 <monochrom> If you have the very normal "instance B a => C [a]" for example, then suppose the computer asks itself about C [Int]. Then the question reduces to asking about B Int. See how the type keeps shrinking? This guarantees and end to this line of questions.
03:11:05 <monochrom> But if you have "instance D a => E a" then nothing shrinks, you lose that guarantee.
03:11:55 <Square> Gotcha. Thanks.
03:14:35 <danse-nr3> oh is that which requires UndecidableInstances? Odd. Even if the type does not shrink, the set of instances is very limited
03:15:25 <monochrom> The rule is being very conservative of course. It doesn't guaranteee non-termination either, clearly.
03:17:34 <monochrom> The extension allows you to say "I know that my case terminates for some other reason".
03:18:51 <monochrom> You can get all this from the GHC user's guide, as usual. It has examples.
03:20:02 <monochrom> (To be sure, it assumes that your mental model for unextended Haskell 2010 does not contradict actual Haskell 2010 to begin with.)
03:21:03 → danza joins (~francesco@151.37.220.70)
03:23:04 <Square> This boggles me though. How can they be overlapping when QOpt doesn't implement Enum? https://paste.tomsmeding.com/UBRFMvD6
03:23:27 <Square> QOpt1 i mean
03:23:34 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds)
03:23:57 <monochrom> You have two "instance ... IsChoice a". Therefore, for example, Int matches both "a"s.
03:24:22 <monochrom> At this stage it does not matter that the "..."s are different. As a corollary of what I said before.
03:25:02 <monochrom> Without CLW, you don't even know that Int cannot satisfy one of the ...s
03:25:32 <monochrom> You're writing Prolog when this system is not Prolog.
03:26:19 <Square> what does CLW mean?
03:26:21 <monochrom> Refinement: Without CLW, you don't even know that Int cannot satisfy both of the ...s.
03:26:30 <monochrom> closed-world assumption, as said.
03:26:35 <Square> sorry.
03:27:04 <Square> ok. Ill save your response and try to internalize it. =D
03:27:24 <monochrom> It's actually very intuitive because we do it in daily lives.
03:28:31 <monochrom> Mom says "if you stay up late playing AOE4, you'll be grounded". I then stay up late studying Haskell. I know that I won't be grounded, and Mom agrees. Why?
03:29:05 <Square> Ok. I get it.
03:29:29 <monochrom> Because CLW adds an implicit "Mom has not said any other way to get you grounded. So that's the only way."
03:30:36 <monochrom> But recall that this means you have to have read all the explicitly stated rules. In Prolog, this amounts to whole-program compiling, i.e., no more separate compilation.
03:30:59 <monochrom> But Haskell insists on separate compilation. Therefore, you cannot have CLW.
03:31:37 <Square> Makes sense
03:33:23 <monochrom> Asking "is it true that Int is not an instance of Monoid?" requires checking all modules, which Haskell refuses to do.
03:34:28 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
03:34:46 <Square> Right. I guess I've fooled myself it looks so obvious in print.
03:34:48 <monochrom> At least in the early stage of compiling just one module that says "instance Monoid a => Foo a".
03:36:15 → hiyori joins (~hiyori@user/hiyori)
03:43:43 × danza quits (~francesco@151.37.220.70) (Ping timeout: 240 seconds)
03:44:19 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
03:45:16 × foul_owl_ quits (~kerry@174-21-66-189.tukw.qwest.net) (Ping timeout: 244 seconds)
03:46:33 → EvanR joins (~EvanR@user/evanr)
03:46:43 × danse-nr3 quits (~francesco@151.37.220.70) (Ping timeout: 240 seconds)
03:49:43 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
03:49:59 → danse-nr3 joins (~francesco@151.37.220.70)
03:59:24 → foul_owl_ joins (~kerry@157.97.134.165)
04:00:50 × hexagoxel quits (~hexagoxel@2a01:4f8:c0c:e::2) (Ping timeout: 255 seconds)
04:00:57 → aforemny_ joins (~aforemny@2001:9e8:6cf7:2600:8cfd:3e44:4f1a:c0ee)
04:01:48 × aforemny quits (~aforemny@i59F516FC.versanet.de) (Ping timeout: 244 seconds)
04:05:05 × [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 240 seconds)
04:05:44 → [Leary] joins (~Leary]@user/Leary/x-0910699)
04:07:49 <mauke> I think of instance declarations as working sort of like equations of a function
04:08:25 × g quits (g@libera/staff/glguy) (Remote host closed the connection)
04:08:27 → g joins (g@libera/staff/glguy)
04:08:30 <mauke> 'instance MyClass (T a) where' is like 'myClass (T a) = ()'
04:08:54 <mauke> 'instance (Monoid a) => MyClass (T a) where' is like 'myClass (T a) = monoid a'
04:09:19 <mauke> and 'instance SomeReq a => MyClass a where' is like 'myClass a = someReq a'
04:09:49 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:10:05 <mauke> from the latter, you can see that it overlaps everything because the pattern 'a' is fully generic
04:11:38 <mauke> also, if someone adds 'someReq a = myClass a' (i.e. 'instance MyClass a => SomeReq a where ...'), you have infinite recursion in the type checker, i.e. undecidable instances
04:14:41 → killer joins (~killer@cg.ptr134.ptrcloud.net)
04:15:32 <danse-nr3> well it would not explain without the context monochrom added about having to compile the whole package. That is not infinite recursion, because it will always be used with a specific type
04:16:03 × killer quits (~killer@cg.ptr134.ptrcloud.net) (Client Quit)
04:20:43 → yoyofreeman joins (~yoyofreem@176.97.76.178)
04:27:21 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
04:27:47 × vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Remote host closed the connection)
04:28:31 → vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
04:30:18 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
04:42:13 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
04:50:49 × danse-nr3 quits (~francesco@151.37.220.70) (Ping timeout: 252 seconds)
04:52:01 → hugo joins (znc@verdigris.lysator.liu.se)
04:55:16 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
04:59:16 → danse-nr3 joins (~francesco@151.37.220.70)
04:59:58 → acidjnk_new joins (~acidjnk@p200300d6e7072f72d8a1b9f6b31540dd.dip0.t-ipconnect.de)
05:00:33 → Inst_ joins (~Inst@120.244.192.250)
05:00:36 <Axman6> :t interact
05:00:37 <lambdabot> (String -> String) -> IO ()
05:00:49 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
05:03:09 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
05:03:44 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
05:06:17 → michalz joins (~michalz@185.246.207.203)
05:10:46 × danse-nr3 quits (~francesco@151.37.220.70) (Remote host closed the connection)
05:11:09 → danse-nr3 joins (~francesco@151.37.220.70)
05:13:31 × Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 264 seconds)
05:15:07 → space100043 joins (~space1000@user/space1000)
05:15:29 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
05:16:52 → stites joins (~stites@130.44.147.204)
05:16:55 × danse-nr3 quits (~francesco@151.37.220.70) (Ping timeout: 258 seconds)
05:22:55 × mrmr15 quits (~mrmr@user/mrmr) (Ping timeout: 244 seconds)
05:24:01 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:26:01 → Fischmiep joins (~Fischmiep@user/Fischmiep)
05:28:35 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
05:29:47 → hugo joins (znc@verdigris.lysator.liu.se)
05:30:05 × mysl_ quits (~mysl@user/mysl) (Ping timeout: 240 seconds)
05:32:02 → chomwitt joins (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1)
05:32:36 × kronicma1 quits (user49904@neotame.csclub.uwaterloo.ca) (Ping timeout: 240 seconds)
05:32:57 → kronicma1 joins (user76110@neotame.csclub.uwaterloo.ca)
05:34:15 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
05:36:56 → mysl joins (~mysl@user/mysl)
05:38:16 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
05:38:56 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
05:39:18 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
05:42:06 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
05:46:17 → mrmr15 joins (~mrmr@user/mrmr)
05:46:43 → hugo joins (znc@verdigris.lysator.liu.se)
06:01:58 → danse-nr3 joins (~francesco@151.37.220.70)
06:02:47 → mysl_ joins (~mysl@user/mysl)
06:03:14 × mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds)
06:03:27 × mrmr15 quits (~mrmr@user/mrmr) (Ping timeout: 240 seconds)
06:07:03 → Square3 joins (~Square4@user/square)
06:08:05 × chomwitt quits (~chomwitt@2a02:587:7a2f:d000:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
06:09:08 → Bongo joins (~Bongo@2001:fb1:11a:3907:1cec:134f:5a4b:d9a6)
06:09:43 × Square quits (~Square@user/square) (Ping timeout: 240 seconds)
06:11:44 × Bongo quits (~Bongo@2001:fb1:11a:3907:1cec:134f:5a4b:d9a6) (Remote host closed the connection)
06:16:00 → mrmr15 joins (~mrmr@user/mrmr)
06:18:51 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
06:22:02 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
06:30:15 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
06:31:03 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c)
06:32:29 → CiaoSen joins (~Jura@2a05:5800:2b7:400:664b:f0ff:fe37:9ef)
06:33:07 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds)
06:33:55 → stiell joins (~stiell@gateway/tor-sasl/stiell)
06:36:55 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
06:36:55 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
06:38:14 → danse-nr3_ joins (~francesco@151.35.182.2)
06:38:21 × danse-nr3 quits (~francesco@151.37.220.70) (Read error: Connection reset by peer)
06:40:42 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
06:52:26 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
07:00:25 × Inst_ quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds)
07:05:43 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
07:10:13 × space100043 quits (~space1000@user/space1000) (Ping timeout: 240 seconds)
07:25:43 → hugo- joins (znc@verdigris.lysator.liu.se)
07:26:06 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:28:27 × califax quits (~califax@user/califx) (Remote host closed the connection)
07:29:32 → chele joins (~chele@user/chele)
07:31:03 → Inst_ joins (~Inst@120.244.192.250)
07:31:05 → califax joins (~califax@user/califx)
07:31:59 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
07:32:46 <Inst_> Heh, just realized Michel Houellebecq must be as annoying to the French as Rammstein is to Germans
07:33:13 Inst_ is now known as Inst
07:35:32 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
07:35:33 <danse-nr3_> can't be worse than Francoise Hardy
07:36:10 <haskellbridge> <I​nst> La Possibilité d'un Élixir
07:36:24 × sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x)
07:36:45 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
07:37:51 <danse-nr3_> what is that, a song?
07:42:19 <Inst> It's a reference to the Possibility of an Island, a Michel Houellebecq novel.
07:43:06 <Inst> Houellebecq is apparently referred to in France as their "screwed up computer programmer"
07:43:59 <danse-nr3_> i see, i don't know him much. So he was a coder and then became a novelist? (also poet and singer, i saw skimming around)
07:45:17 <Inst> I'm actually wondering which language he was writing, and whether his novels would have been so entertainingly messed up if he had used Haskell :)
07:45:30 <danse-nr3_> ^^;
07:45:44 <Inst> I think I read The Elementary Particles and it ends with the protagonist checking into an insane asylum or a monastery, I can't forget which.
07:45:58 <Inst> The Possibility of an Island I think ends with the suicide of one of the protagonists?
07:46:36 <danse-nr3_> well this in itself does not prove his novels are bad. But we should probably move to #haskell-offtopic if we want to delve into arts critique
07:46:46 <Inst> Yeah, you're right.
07:46:54 → cfricke joins (~cfricke@user/cfricke)
07:53:53 <Inst> I was thinking about writing something, but probably there's better things to do right now, about not only NeoHaskell, but also other attempts to build an Elixir for Haskell
07:54:03 <Inst> Like, Elixir was pretty damaging to Erlang in the long run
07:54:46 <dminuoso> I dont think it was damaging at all
07:55:01 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:55:05 <dminuoso> The areas where erlang was and still is in use at, are barely covered by much of what Elixir is used for today.
07:55:42 <dminuoso> Besides, since Elixir runs on the same VM, if anything it helps more keeping it alive
07:55:51 <Inst> I think the NeoHaskell, since it's now an alt-prelude, and probably a movement, idea is interesting for its potential to inject new energy into Haskell, and at least get me to stop worrying about Haskell dying
07:56:58 <Inst> The reason I'm calling it a possibility is because I don't think there's a guarantee the developer will actually get anything done or produce anything useful, but it presents an interesting, if not guaranteed to be useful, idea.
07:57:12 <Inst> There are obviously going to be drawbacks of such a thing, i.e, it's possible it'll drain energy from the mainstream Haskell community
07:57:26 <Inst> It's possible it might make funding for traditional Haskell harder to come by
07:58:00 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
07:58:25 <Inst> The interesting thing is that they've gotten quite a Discord server up, and there's been demonstrated interest in such a product.
07:58:55 <Inst> So even if it fails, someone else is going to try it, and the question it poses is: how do we manage such a thing so that we achieve at least a local maxima of cost-benefit?
08:00:15 → ubert joins (~Thunderbi@178.115.46.247.wireless.dyn.drei.com)
08:02:52 <Inst> One BIG promise for something like NeoHaskell is that it can help demarcate the line between "serious" Haskell and "boring" Haskell, the latter which is intended to face the possibly commodity developer using the codebase.
08:03:30 <Inst> I.e, you have different .nh and .hs files, and .nh, at least short-term, enforces a level of extension restraint, which you can only get around by importing .hs modules.
08:04:15 → Guest|64 joins (~Guest|64@91.244.8.116)
08:04:29 <danse-nr3_> NeoHaskell reminds me a lot of NeoCabal
08:04:41 <Guest|64> Hello, help with issue pls - PS C:\Functional_prog_using_haskell> stack build
08:04:41 <Guest|64> Executable named sh not found on path:
08:05:27 <danse-nr3_> is this some homework?
08:05:58 <Guest|64> i just create new library and try to build it
08:06:07 <int-e> ENEEDINFO
08:06:56 <Guest|64> i get it after install ghcup
08:07:41 <Inst> If it's windows, consider opening a new command line to get new path variables.
08:08:00 <Inst> It's probably an issue with path environment variables
08:08:18 <Inst> What was NeoCabal?
08:08:21 <danse-nr3_> looks like windows to me ...
08:08:29 <Guest|64> yep, windows
08:08:40 <danse-nr3_> oh, a community poll was rised, then they decided to call it `stack`
08:09:11 <int-e> . o O ( PS1='C:\> ' )
08:09:40 <danse-nr3_> *raised
08:11:49 <Inst> I'm wondering what happened in the Snoyman era, tbh.
08:12:25 <danse-nr3_> same as NeoHaskell i guess. Someone thinks they can do a whole lot of things better, by themselves
08:13:11 <int-e> well, sometimes they're right
08:13:22 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:13:53 <int-e> `stack` seems to hit a sweeter spot than `cabal` for quite a few people.
08:14:08 <int-e> `cabal-install` that is.
08:16:30 <Inst> Stack made a lot of improvements to the Haskell build experience, even though it's on maintainership mode.
08:16:41 → __monty__ joins (~toonn@user/toonn)
08:17:06 <lortabac> as far as I can see NeoHaskell is a much more ambitious (and vague) project than stack
08:17:25 <lortabac> stack was invented to solve a specific concrete problem
08:17:59 int-e should maybe have put more emphasis on *sometimes*
08:19:01 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
08:19:02 <lortabac> the NeoHaskell repo has issues about implementing a debugger, making code auto-completion plugins and teaching event-sourcing
08:19:12 <lortabac> these things are very different from each other
08:19:18 <danse-nr3_> mine was a wasted comparison probably, NeoHaskell seems to be ... not a thing? https://github.com/neohaskell/NeoHaskell
08:19:54 <danse-nr3_> i thought it was something with some traction ...
08:19:54 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
08:20:55 <danse-nr3_> but well it has a shiny logo and a discord, so it will probably boom
08:21:12 <Inst> it's vaporware right now
08:21:41 <Inst> I'm still waiting on seeing if someone does it, but the core idea, even if NH is vaporware, or otherwise fails, will survive
08:21:49 <Inst> production-oriented dialect capable of using the existing Haskell codebase
08:22:10 <int-e> danse-nr3_: but does it have any crowd funding? if not... where's the grift...
08:22:40 <danse-nr3_> maybe my irony did not pass through
08:23:13 <int-e> Inst: it's called ghc ;-)
08:23:38 <Inst> int-e: the founder of Cachix already said he'd help organize Hackathons if NeoHaskell become a thing
08:23:52 <int-e> oh
08:25:20 <danse-nr3_> int-e, what against crowd funding? How should any free software found itself better?
08:25:48 × yoyofreeman quits (~yoyofreem@176.97.76.178) (Remote host closed the connection)
08:25:55 → gentauro joins (~gentauro@user/gentauro)
08:26:24 <int-e> danse-nr3_: I was specifically alluding to crowd-funding for vaporware.
08:26:34 <danse-nr3_> i see
08:26:53 → mc47 joins (~mc47@xmonad/TheMC47)
08:27:00 → swamp_ joins (~zmt00@user/zmt00)
08:30:07 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds)
08:33:30 → zmt01 joins (~zmt00@user/zmt00)
08:35:08 <probie> Will NeoHaskell have the `Foldable` typeclass?
08:36:27 <Hecate> will NeoHaskell at all
08:36:44 × swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 245 seconds)
08:36:48 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf)
08:40:54 <probie> I may unreasonably hate `Foldable`, because to me it's less "foldable" and more "things that can sort of be treated as lists", but with 17 methods for you to overwrite
08:43:32 → swamp_ joins (~zmt00@user/zmt00)
08:45:26 × mysl_ quits (~mysl@user/mysl) (Ping timeout: 260 seconds)
08:46:43 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds)
08:47:07 <danse-nr3_> you are right, ThingsThatCanSortOfBeTreatedAsLists would be a better name
08:48:27 × CAT_S quits (apic@brezn3.muc.ccc.de) (Read error: Connection reset by peer)
08:49:04 × nicosm quits (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
08:49:31 <int-e> I'll assume that's a joke.
08:49:45 <arahael> I'm waiting for it to fold.
08:50:21 <opqdonut> Listoid
08:50:30 <Rembane> Catamorphic
08:50:56 <Rembane> The minimal complete definition for Foldable is rather small though, and you get a lot from it.
08:51:10 → sm joins (~sm@plaintextaccounting/sm)
08:51:44 <probie> Rembane: You mean `List-catamorphic` (which is my entire complaint)
08:53:04 <int-e> I like the symmetric nature of Foldable.
08:53:19 → dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
08:53:40 <probie> Just give it one method `fold :: Monoid m => t m -> m` and avoid temptation to add more
08:53:46 <int-e> (putting foldl and foldr on equal footing, overshadowed by fold)
08:54:21 <mankyKitty> many monoids to rule them all and in the darkness, mempty
08:54:26 <Rembane> int-e: It's a nice tree
08:54:31 <Inst> yeah tbh I'm still waiting on NH to go from vaporware to at least MVP, and I think the MVP will be parts of an alt-prelude, so I'd rather prefer that some actual useful library comes out of it, probably the easy mobile dev part
08:54:40 <Rembane> mankyKitty: I need that on a poster or a t-shirt
08:55:05 <mankyKitty> Yes
08:55:05 <Inst> as long as it's interoperable, even if the project dies, getting an easy mobile lib out of NeoHaskell is a win
08:57:03 <arahael> I've never heard of neohaskell, but I notice there's a bunch of google hits for it - what's a good intro page about it?
08:57:04 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
08:57:14 → misterfish joins (~misterfis@87.215.131.102)
08:58:50 × Guest|64 quits (~Guest|64@91.244.8.116) (Quit: Connection closed)
08:59:31 → yoyofreeman joins (~yoyofreem@176.97.76.178)
09:02:16 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
09:05:20 → CAT_S joins (apic@brezn3.muc.ccc.de)
09:06:22 → nicosm joins (~nicosm@host98.181-4-190.telecom.net.ar)
09:14:28 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
09:16:30 × acidjnk_new quits (~acidjnk@p200300d6e7072f72d8a1b9f6b31540dd.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
09:23:27 → Alex_test_ joins (~al_test@178.34.161.180)
09:24:05 × Alex_test quits (~al_test@178.34.161.180) (Read error: Connection reset by peer)
09:28:17 × nicosm quits (~nicosm@host98.181-4-190.telecom.net.ar) (Remote host closed the connection)
09:29:13 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
09:30:23 → glguy_ joins (g@libera/staff/glguy)
09:31:05 × glguy quits (g@libera/staff/glguy) (Read error: Connection reset by peer)
09:31:26 <Inst> arahael: www.zombo.com
09:31:27 × g quits (g@libera/staff/glguy) (Read error: Connection reset by peer)
09:31:36 <arahael> THanks.
09:31:55 <Inst> it's strictly a declaration of intent right now, it's vaporware
09:31:58 <arahael> That just shows "zombo.com" in massive text?
09:32:18 <Inst> zombo.com is an old joke, from the 90s era, it promises everything etc, but the website doesn't do anything
09:32:38 <Inst> https://neohaskell.org
09:32:52 <Inst> except spout "Everything is possible with Zombo.com!"
09:33:11 <arahael> Inst: Where does it sprout that?
09:33:42 <arahael> Still, looks intriguing. Hope it makes progress. :)
09:33:45 <Inst> zombo.com should be back up right now, no?
09:34:10 <Inst> https://html5zombo.com
09:34:35 → g joins (g@libera/staff/glguy)
09:34:45 <arahael> Is it perhaps audio?
09:34:49 × yoyofreeman quits (~yoyofreem@176.97.76.178) (Remote host closed the connection)
09:39:05 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:40:00 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
09:44:01 → yoyofreeman joins (~yoyofreem@176.97.76.178)
09:45:01 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:45:12 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
09:46:37 → acidjnk_new joins (~acidjnk@p200300d6e7072f72b5b5426b148b82eb.dip0.t-ipconnect.de)
09:49:43 → sm joins (~sm@plaintextaccounting/sm)
09:52:13 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:52:55 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
09:53:15 <Inst> ya, it is
09:57:35 → nicosm joins (~nicosm@186.141.197.24)
09:58:16 × ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
10:08:09 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
10:08:22 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
10:08:24 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
10:09:47 × CiaoSen quits (~Jura@2a05:5800:2b7:400:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds)
10:10:50 × yoyofreeman quits (~yoyofreem@176.97.76.178) (Read error: Connection reset by peer)
10:13:08 → gensyst joins (~gensyst@user/gensyst)
10:14:46 <gensyst> Hello, I want to create a "lazy structure" where fields start at Nothing and get computed on-demand. We don't have mutability in Haskell, so what to do?
10:14:46 <gensyst> Here's how my current solution looks: https://dpaste.com/EN6DACM39 How could this be improved? Are there totally better ways? Are there libraries to make this easier?
10:16:18 <gensyst> One drawback of course is, when getFoo is called, the user has to remember to grab the new LazyStructure and not keep around the old one. Pain, but with Haskell's immutability I see no way around this
10:17:27 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds)
10:22:21 × nicosm quits (~nicosm@186.141.197.24) (Ping timeout: 255 seconds)
10:22:22 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
10:22:29 <gensyst> chatgpt found the answer... i'm getting a bit scared of this thing.
10:22:37 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
10:22:39 <gensyst> how... is... this... even....... possible.
10:23:06 → nicosm joins (~nicosm@186.141.201.134)
10:23:44 <probie> why do we need this indirection? What's wrong with `data LazyStructure = LazyStructure { foo :: Foo }`?
10:25:09 → Inst joins (~Inst@120.244.192.250)
10:28:12 <probie> without knowing the constraints you have, it's hard to know what is or isn't a good solution
10:28:53 <gensyst> probie, but how then would I start it at Nothing? Hmmmmmm I guess I could just start it out at an "error "please compute first"" - is that what you had in mind?
10:29:55 <probie> Why do you need to start it at `Nothing`?
10:31:08 <probie> and why isn't "starts as an unevaluated thunk" equivalent?
10:34:51 <gensyst> probie, how can I "case" on that? (perform computation if it's an "unevaluated thunk")
10:35:37 <gensyst> hmmm, are you thinking of caching or something? Can record caching be fully relied on?
10:35:38 <byorgey> gensyst: Haskell is already lazy, which means the fields of any data structure are computed only on demand.
10:36:22 <gensyst> byorgey, ok but if they are requested again later, are we sure the computation won't be re-run? will it remain cached forever?
10:36:36 <byorgey> gensyst: yes.
10:36:43 <gensyst> hmmmmmmmm woah
10:36:53 <gensyst> where's this documented?
10:38:15 → danse-nr3__ joins (~francesco@151.37.184.128)
10:38:32 × danse-nr3_ quits (~francesco@151.35.182.2) (Read error: Connection reset by peer)
10:40:42 <byorgey> gensyst: there are lots of resources about laziness. I guess I would say to start by googling "haskell laziness".
10:46:43 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
10:47:06 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
10:57:09 × nicosm quits (~nicosm@186.141.201.134) (Remote host closed the connection)
11:02:23 → nicosm joins (~nicosm@186.143.133.133)
11:05:23 × nicosm quits (~nicosm@186.143.133.133) (Read error: Connection reset by peer)
11:06:43 → nicosm joins (~nicosm@199.253.243.23)
11:16:50 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 244 seconds)
11:20:46 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
11:26:09 <gensyst> probie, byorgey is this what you had in mind? https://dpaste.com/93JBZ62VS
11:26:15 <gensyst> Am I approaching this right?
11:28:40 <gensyst> so yeah, the ability to do Either failure (or other MonadThrow failure I suppose), is what I want included in the solution.
11:29:43 × danse-nr3__ quits (~francesco@151.37.184.128) (Ping timeout: 264 seconds)
11:34:50 × hiyori quits (~hiyori@user/hiyori) (Quit: Client closed)
11:35:14 → Inst joins (~Inst@120.244.192.250)
11:40:03 → danse-nr3__ joins (~francesco@151.37.184.128)
11:40:42 → sm joins (~sm@plaintextaccounting/sm)
11:41:28 <gensyst> It's certainly more elegant than what I had before (and to avoid the errors would require e.g. dependent types I think), but I just want to confirm with you
11:41:32 <gensyst> that I was on the right track.
11:43:26 <jackdk> https://apfelmus.nfshost.com/articles/lazy-eval.html
11:44:04 → NKpop joins (~NKpop@5.10.0.230)
11:45:08 <[Leary]> gensyst: If you only want to store an uncomputed /pure value/ and be sure that the result is cached rather than repeated, Haskell's default lazy data types just do it. However, if you want to store /effectful/ computations and change them out for pure results, you have to play your own tricks.
11:45:29 <[Leary]> I believe probie and byorgey are talking about the first case, but you want the latter.
11:46:01 × bienjensu quits (~user@user/bienjensu) (Remote host closed the connection)
11:46:12 <gensyst> [Leary], is my solution ok in your view? how would you do it?
11:46:45 <[Leary]> You might want something like `data Lazy f = Lazy{ foo :: f Foo, bar :: f Bar }; runLazy :: Applicative f => Lazy f -> f (Lazy Identity)`.
11:48:09 → TheCoffeMaker_ joins (~TheCoffeM@201.235.1.143)
11:48:48 <[Leary]> There are other tricks, like just using actual mutable references behind the scenes, but it depends on your actual needs, which are not clear.
11:48:52 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds)
11:49:21 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
11:54:02 × nicosm quits (~nicosm@199.253.243.23) (Read error: Connection reset by peer)
11:54:37 → nicosm joins (~nicosm@199.253.243.23)
11:56:48 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
12:00:58 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
12:06:36 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 248 seconds)
12:08:48 × NKpop quits (~NKpop@5.10.0.230) (Quit: Client closed)
12:11:05 × haritz quits (~hrtz@user/haritz) (Ping timeout: 240 seconds)
12:13:57 → haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk)
12:15:40 × haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
12:15:40 → haritz joins (~hrtz@user/haritz)
12:15:58 × gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
12:20:00 → hiyori joins (~hiyori@user/hiyori)
12:28:08 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:28:36 → NKpop joins (~NKpop@5.10.0.230)
12:43:34 × son0p quits (~ff@181.136.122.143) (Quit: Bye)
12:43:46 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
12:48:52 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds)
12:53:01 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
12:53:44 × NKpop quits (~NKpop@5.10.0.230) (Quit: Client closed)
12:57:38 × nicosm quits (~nicosm@199.253.243.23) (Read error: Connection reset by peer)
12:58:42 → Guest|32 joins (~Guest|32@105.157.150.108)
12:58:47 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
12:58:56 → nicosm joins (~nicosm@199.253.243.23)
13:00:30 × Guest|32 quits (~Guest|32@105.157.150.108) (Client Quit)
13:01:07 → son0p joins (~ff@181.136.122.143)
13:03:25 → Inst_ joins (~Inst@120.244.192.250)
13:04:31 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
13:05:24 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 240 seconds)
13:07:57 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
13:07:57 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
13:07:57 → wroathe joins (~wroathe@user/wroathe)
13:09:13 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds)
13:10:23 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
13:13:13 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
13:14:05 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds)
13:22:48 → azimut joins (~azimut@gateway/tor-sasl/azimut)
13:23:53 <danse-nr3__> two haskell-related jobs: functional.works-hub.com/jobs/remote-blockchain-haskell-slash-plutus-developer-c19 and indeed.com/viewjob?jk=d87f6b61a014fe16 (purescript)
13:24:01 → ystael joins (~ystael@user/ystael)
13:25:18 → sm joins (~sm@plaintextaccounting/sm)
13:27:24 → bontaq joins (~user@ool-45707d2c.dyn.optonline.net)
13:31:52 <haskellbridge> <e​ldritchcookie> hello i am rewriting compdata and in the cool version we use Functor transformers which take a functor and give you a new functor and i wanted to make a HGeneric1 typeclass how could i do that?
13:43:31 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds)
13:45:13 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
13:45:39 → waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
13:48:32 × xff0x quits (~xff0x@2405:6580:b080:900:db99:9da1:fa4d:eaa1) (Ping timeout: 255 seconds)
13:50:16 → xff0x joins (~xff0x@178.255.149.135)
13:51:32 → gehmehgeh joins (~user@user/gehmehgeh)
13:54:48 → gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
13:57:56 → gatekempt joins (~gatekempt@user/gatekempt)
14:00:56 <danse-nr3__> sorry i am not familiar with functor transformers and HGeneric1
14:01:14 → Lycurgus joins (~juan@user/Lycurgus)
14:01:43 × gatekempt quits (~gatekempt@user/gatekempt) (Client Quit)
14:01:56 → smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
14:02:17 <Lycurgus> so there's mattermost hs channels now?
14:02:39 → chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
14:04:08 <Lycurgus> inevitable igess iirc it is implemented in hs
14:04:18 → gatekempt joins (~gatekempt@user/gatekempt)
14:04:23 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
14:08:53 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 252 seconds)
14:09:12 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
14:10:29 → xff0x joins (~xff0x@2405:6580:b080:900:db99:9da1:fa4d:eaa1)
14:11:48 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
14:15:03 × califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
14:16:25 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss)
14:19:49 × Inst_ quits (~Inst@120.244.192.250) (Remote host closed the connection)
14:20:12 → Inst_ joins (~Inst@120.244.192.250)
14:21:31 × gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
14:22:01 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
14:22:56 → califax joins (~califax@user/califx)
14:23:27 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
14:28:58 glguy_ is now known as glguy
14:29:21 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
14:32:15 × euleritian quits (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
14:34:20 → hugo- joins (znc@verdigris.lysator.liu.se)
14:36:43 × stites quits (~stites@130.44.147.204) (Ping timeout: 240 seconds)
14:37:21 → stites joins (~stites@2607:fb91:de1:62b2:b61c:7e5d:306:dc11)
14:37:50 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
14:38:33 → danse-nr3_ joins (~francesco@151.37.174.231)
14:38:55 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
14:40:58 × danse-nr3__ quits (~francesco@151.37.184.128) (Ping timeout: 252 seconds)
14:41:44 × hugo- quits (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds)
14:42:48 × nicosm quits (~nicosm@199.253.243.23) (Remote host closed the connection)
14:43:36 × Katarushisu1 quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds))
14:43:55 → Katarushisu1 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
14:45:42 × chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
14:47:19 × danse-nr3_ quits (~francesco@151.37.174.231) (Ping timeout: 258 seconds)
14:49:42 → hugo- joins (znc@verdigris.lysator.liu.se)
14:55:48 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
14:58:35 → AlexNoo_ joins (~AlexNoo@178.34.161.162)
14:58:44 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 255 seconds)
15:00:13 × Alex_test_ quits (~al_test@178.34.161.180) (Ping timeout: 252 seconds)
15:01:27 × AlexZenon quits (~alzenon@178.34.161.180) (Ping timeout: 240 seconds)
15:01:35 × AlexNoo quits (~AlexNoo@178.34.161.180) (Ping timeout: 244 seconds)
15:02:01 AlexNoo_ is now known as AlexNoo
15:03:13 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 240 seconds)
15:04:44 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
15:06:03 → AlexZenon joins (~alzenon@178.34.161.162)
15:06:45 × stites quits (~stites@2607:fb91:de1:62b2:b61c:7e5d:306:dc11) (Read error: Connection reset by peer)
15:07:04 → Alex_test joins (~al_test@178.34.161.162)
15:07:06 → stites joins (~stites@130.44.147.204)
15:08:29 × Square3 quits (~Square4@user/square) (Quit: Leaving)
15:09:00 → Square3 joins (~Square4@user/square)
15:09:29 <EvanR> am I lensing right... onIso2 f x y = withIso g where g to from = from (f (to x) (to y))
15:10:00 <EvanR> AnIso' a b => (b -> b -> b) -> a -> a -> a
15:11:35 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c) (Quit: WeeChat 2.8)
15:11:51 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
15:12:32 → sm joins (~sm@plaintextaccounting/sm)
15:12:51 hugo- is now known as hugo
15:13:02 × sm quits (~sm@plaintextaccounting/sm) (Client Quit)
15:13:24 × Square3 quits (~Square4@user/square) (Ping timeout: 245 seconds)
15:13:45 → sm joins (~sm@plaintextaccounting/sm)
15:15:13 × sm quits (~sm@plaintextaccounting/sm) (Remote host closed the connection)
15:15:52 → sm joins (~sm@plaintextaccounting/sm)
15:15:54 × AlexZenon quits (~alzenon@178.34.161.162) (Ping timeout: 245 seconds)
15:21:56 → AlexZenon joins (~alzenon@178.34.161.162)
15:23:07 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
15:23:39 → gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
15:25:27 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:29:29 <ncf> AnIso' isn't a typeclass is it
15:30:29 <[exa]> ncf: looks to me like a multiparameter one
15:31:15 <ncf> ?
15:31:30 <ncf> type AnIso s t a b = Exchange a b a (Identity b) -> Exchange a b s (Identity t)
15:32:59 <[exa]> ok whew how did that go in front of => ?
15:33:26 × gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
15:33:29 <geekosaur> note the tick
15:34:04 <[exa]> it expands to AnIso which expands to Exchange (which is data)
15:34:13 <[exa]> as far as I can haddoc
15:34:45 × gensyst quits (~gensyst@user/gensyst) (Quit: Leaving)
15:35:40 <geekosaur> yeh, I just hoogled
15:35:42 → sm joins (~sm@plaintextaccounting/sm)
15:36:42 <[exa]> maybe the => from Evan ain't an =>
15:37:02 <ncf> onIso2 l f = withIso l g where g to from x y = from (f (to x) (to y))
15:37:06 <ncf> onIso2 :: AnIso s t a b -> (a -> a -> b) -> s -> s -> t
15:37:38 <ncf> you can push the f inside as well i guess
15:37:51 <EvanR> alright, yeah
15:38:31 <EvanR> I was hoping to trick you into putting the 3 character operator which already does this xD
15:39:36 <EvanR> Exchange is data, ok
15:41:39 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:45:12 × hiyori quits (~hiyori@user/hiyori) (Quit: Client closed)
15:48:07 → danse-nr3 joins (~francesco@151.37.174.231)
15:48:18 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
15:50:46 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf) (Remote host closed the connection)
15:51:08 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf)
15:57:15 → liamzy__ joins (~Inst@120.244.192.250)
15:58:56 × chele quits (~chele@user/chele) (Remote host closed the connection)
15:59:37 × Inst_ quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds)
16:08:25 <EvanR> I made this thing which builds shapes from two primitives and moves, operating on clockwise line segments. The merge operation should require operands be disjoint and minus operation should require operands form a containment. But checking for that seems harder https://paste.tomsmeding.com/6gebgRgk
16:13:23 × alphacentauri quits (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5)
16:15:16 → alphacentauri joins (alphacenta@gateway/vpn/protonvpn/alphacentauri)
16:16:07 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf) (Remote host closed the connection)
16:16:12 <EvanR> there might be more algebraic nonsense to explain how it works. Each possible segment location is an index, and the shape is a container mapping indexes to Bool, or -1 0 +1 if you have counterclockwise shapes. The disjoint / containment conditions are enough to guarantee segwise adding the values don't go out of range
16:16:44 <EvanR> and since this picture has no geometric value, it explains why I can't check for disjointness or containment lol
16:21:18 × infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection)
16:23:29 → infinity0 joins (~infinity0@pwned.gg)
16:25:02 → sm joins (~sm@plaintextaccounting/sm)
16:26:53 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf)
16:28:21 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
16:30:47 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
16:31:04 → azimut joins (~azimut@gateway/tor-sasl/azimut)
16:31:31 × gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds)
16:31:31 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
16:31:53 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds)
16:32:09 <haskellbridge> <e​ldritchcookie> https://play.haskell.org/saved/M1XH0KDu can anyone explain why the Applicative/Functor force the role to be representional as the Functor instance means we can fmap coerce?
16:32:15 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
16:32:25 <haskellbridge> <e​ldritchcookie> doesn't force the role to be
16:32:36 → chexum joins (~quassel@gateway/tor-sasl/chexum)
16:33:40 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:33:53 → gehmehgeh joins (~user@user/gehmehgeh)
16:34:05 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:35:15 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
16:40:36 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:43:00 → euleritian joins (~euleritia@ip4d16fc12.dynamic.kabel-deutschland.de)
16:51:16 → sabino joins (~sabino@user/sabino)
16:54:34 × vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Read error: Connection reset by peer)
16:54:54 → vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr)
17:00:08 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
17:00:09 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
17:00:09 → wroathe joins (~wroathe@user/wroathe)
17:00:13 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
17:00:34 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:03:44 → AlexNoo_ joins (~AlexNoo@178.34.161.162)
17:03:47 × vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 258 seconds)
17:04:39 → vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
17:05:13 × Alex_test quits (~al_test@178.34.161.162) (Ping timeout: 240 seconds)
17:05:38 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
17:06:51 × AlexZenon quits (~alzenon@178.34.161.162) (Ping timeout: 258 seconds)
17:06:51 × danse-nr3 quits (~francesco@151.37.174.231) (Ping timeout: 258 seconds)
17:06:55 × AlexNoo quits (~AlexNoo@178.34.161.162) (Ping timeout: 264 seconds)
17:07:14 AlexNoo_ is now known as AlexNoo
17:11:07 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
17:11:45 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:11:47 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds)
17:13:51 × michalz quits (~michalz@185.246.207.203) (Ping timeout: 244 seconds)
17:16:14 → michalz joins (~michalz@185.246.204.105)
17:16:28 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
17:24:12 → Alex_test joins (~al_test@178.34.161.162)
17:25:37 × sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x)
17:28:08 → AlexZenon joins (~alzenon@178.34.161.162)
17:29:22 → marinelli joins (~weechat@gateway/tor-sasl/marinelli)
17:32:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:33:18 × liamzy__ quits (~Inst@120.244.192.250) (Ping timeout: 258 seconds)
17:50:03 → qqq joins (~qqq@92.43.167.61)
17:56:40 → danza joins (~francesco@151.37.174.231)
17:57:59 → Inst joins (~Inst@120.244.192.250)
17:59:05 <Inst> ironically, I think NeoHaskell is way more Haskelly than the founder might seem.
17:59:37 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
17:59:39 <Inst> Because we're in a post-Python language, and I think it's posing interesting research problems.
18:00:04 → sm joins (~sm@plaintextaccounting/sm)
18:00:11 <Inst> For instance, is it possible to design the norms of a library ecosystem through the language?
18:00:35 <Inst> What should a library ecosystem look like? How should the libraries play with each other?
18:00:41 <Inst> I mean, there's backpack these days.
18:01:12 <Inst> For questions like these, I sort of wish we could raise Hudak and Bird back from the dead.
18:01:40 <Inst> But of course, NH has to be non-vaporware first.
18:01:51 <EvanR> backpack? there is?
18:02:09 <Inst> I mean the language could be designed for mixins?
18:02:22 <Inst> Also, an interesting point, for instance, I think cabal scripts / headesr were brought up here recently?
18:03:05 <Inst> WWith cabal scripts / headers, what you're seeing is that the build instructions are now in the source code, as opposed to a separate manifest.
18:03:15 <EvanR> last I heard backpack is struggling to survive
18:03:20 <Inst> ughhhhhhhhhhhh
18:03:26 <EvanR> because no one is working on it
18:03:34 <Inst> uggggggggggggggggghhhhhhhhhhhhhhh
18:03:59 <EvanR> were you relying on it for something?
18:04:14 <Inst> not really, but parts of the Haskell ecosystem dying really upset me
18:06:08 <Inst> What's potentially going on is more interesting than just dipping Haskell in hipster again.
18:06:54 <EvanR> yeah not sure it was ever part of the ecosystem
18:07:05 <EvanR> interesting ideas though
18:07:27 <Inst> I think the only time I've seen it used is tasty-bench telling you this ca nbe a mixin dropin for criterion
18:08:26 × billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Read error: Connection reset by peer)
18:08:26 <EvanR> what's a mixin
18:08:50 <geekosaur> the publicly visible aspect of backpack
18:09:53 <geekosaur> https://cabal.readthedocs.io/en/3.8/cabal-package.html#pkg-field-mixins
18:10:03 <EvanR> oh man, so it's usable
18:10:51 <geekosaur> the main reason it never really caught on, aiui, is that stack has never supported it
18:14:45 <monochrom> :(
18:14:58 → sabino joins (~sabino@user/sabino)
18:15:47 <geekosaur> anyway this is not the first time a feature has gone away and we have survived. See DPH for instance
18:15:48 <monochrom> Actually my feeling is that it arrived too late. The problem it solves, people found workarounds and sidestepped it.
18:16:01 × chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 252 seconds)
18:16:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:18:12 → chiselfuse joins (~chiselfus@user/chiselfuse)
18:22:35 → nicosm joins (~nicosm@199.253.243.23)
18:22:36 → Pickchea joins (~private@user/pickchea)
18:29:32 × danza quits (~francesco@151.37.174.231) (Ping timeout: 248 seconds)
18:31:18 <sm> it was a ton of unfinished complexity that almost no real world users had appetite for
18:31:51 <sm> we were all fully stretched just dealing with ordinary builds and tool issues
18:32:48 <sm> we may have learned from that it should a language feature, not a tool feature
18:33:03 <sm> should be
18:33:25 → infinity0_ joins (~infinity0@pwned.gg)
18:33:27 × infinity0 quits (~infinity0@pwned.gg) (Killed (mercury.libera.chat (Nickname regained by services)))
18:33:27 infinity0_ is now known as infinity0
18:59:38 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:59:52 × nicosm quits (~nicosm@199.253.243.23) (Remote host closed the connection)
19:06:45 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
19:26:02 → nicosm joins (~nicosm@199.253.243.23)
19:29:53 × michalz quits (~michalz@185.246.204.105) (Remote host closed the connection)
19:37:40 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
19:43:57 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds)
19:49:32 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b000:8eef:3ca4:f8cf) (Remote host closed the connection)
19:50:16 × nicosm quits (~nicosm@199.253.243.23) (Remote host closed the connection)
19:50:19 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:52:06 <remexre> Is there a way for TH code to declare a dependency on a file (or directory), so that changes to it cause the code to be rebuilt, a la Rust's println!("cargo:rerun-if-changed=some/path/here");
19:53:09 <remexre> oops nvm found it
19:53:16 → ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de)
19:54:44 <mauke> what is it?
19:56:05 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:56:07 × xff0x quits (~xff0x@2405:6580:b080:900:db99:9da1:fa4d:eaa1) (Ping timeout: 252 seconds)
19:56:13 <remexre> https://hackage.haskell.org/package/template-haskell-2.20.0.0/docs/Language-Haskell-TH-Syntax.html#v:addDependentFile
19:56:54 <EvanR> who needs makefiles just use TH
19:57:23 <mauke> ah, nice
20:01:32 <remexre> oh hrm, that doesn't exist in the version shipped with GHC 9.2?
20:02:13 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4c65:eb77:1036:3039)
20:02:19 <remexre> oh, it's just not exported by Language.Haskell.TH then
20:04:06 → Jackneill joins (~Jackneill@20014C4E1E0E9600C465D2876F556952.dsl.pool.telekom.hu)
20:06:33 → nicosm joins (~nicosm@186.141.202.218)
20:08:22 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
20:08:29 × vglfr quits (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua) (Ping timeout: 244 seconds)
20:12:59 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:20:43 × nicosm quits (~nicosm@186.141.202.218) (Remote host closed the connection)
20:21:19 → nicosm joins (~nicosm@186.141.197.238)
20:28:56 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4c65:eb77:1036:3039) (Remote host closed the connection)
20:29:35 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
20:31:57 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:32:02 → vglfr joins (~vglfr@cli-188-239-233-89.bbn.slav.dn.ua)
20:37:04 → eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
20:39:51 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
20:47:14 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
20:48:48 × acidjnk_new quits (~acidjnk@p200300d6e7072f72b5b5426b148b82eb.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
20:55:10 → sm joins (~sm@plaintextaccounting/sm)
20:56:28 × sm quits (~sm@plaintextaccounting/sm) (Client Quit)
20:58:34 → gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
21:02:05 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:06:35 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
21:08:13 → gooba_ joins (~gooba@90-231-13-185-no3430.tbcn.telia.com)
21:08:19 × gooba_ quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
21:08:20 × gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Quit: Leaving)
21:10:29 × stites quits (~stites@130.44.147.204) (Ping timeout: 244 seconds)
21:11:21 → stites joins (~stites@2607:fb91:de1:9391:7358:247e:7bab:59ae)
21:16:34 × RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Remote host closed the connection)
21:18:21 × nicosm quits (~nicosm@186.141.197.238) (Remote host closed the connection)
21:21:28 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:24:55 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
21:30:30 × gatekempt quits (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:35:20 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:42:21 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7)
21:42:55 → jmdaemon joins (~jmdaemon@user/jmdaemon)
21:53:51 × raym quits (~ray@user/raym) (Ping timeout: 240 seconds)
21:55:10 → raym joins (~ray@user/raym)
21:57:57 × stites quits (~stites@2607:fb91:de1:9391:7358:247e:7bab:59ae) (Read error: Connection reset by peer)
21:58:17 → stites joins (~stites@130.44.147.204)
21:58:19 × cyphase quits (~cyphase@user/cyphase) (Read error: Connection reset by peer)
22:04:58 → cyphase joins (~cyphase@user/cyphase)
22:09:46 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:14:08 × sudden quits (~cat@user/sudden) (Ping timeout: 246 seconds)
22:15:19 → sudden joins (~cat@user/sudden)
22:21:22 → xff0x joins (~xff0x@2405:6580:b080:900:ee82:be9d:3e7c:9aae)
22:23:34 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:26:42 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection)
22:30:16 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
22:35:36 → Sgeo joins (~Sgeo@user/sgeo)
22:39:05 → wroathe joins (~wroathe@user/wroathe)
22:48:28 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7)
22:48:51 → thegeekinside joins (~thegeekin@189.217.90.224)
22:53:46 × bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Ping timeout: 258 seconds)
23:08:23 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:80a2:2128:a9a7:36f7) (Remote host closed the connection)
23:32:03 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 244 seconds)
23:33:51 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
23:35:43 × qqq quits (~qqq@92.43.167.61) (Ping timeout: 240 seconds)
23:39:25 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f492:4050:8c5d:37a2)
23:43:56 → qqq joins (~qqq@92.43.167.61)
23:44:27 × hexology- quits (~hexology@user/hexology) (Remote host closed the connection)
23:45:09 → hexology joins (~hexology@user/hexology)
23:52:15 → powderedhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
23:52:41 → emmanuelux joins (~emmanuelu@user/emmanuelux)
23:53:58 → emmanuelux_ joins (~emmanuelu@user/emmanuelux)
23:57:19 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds)
23:59:17 × emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)

All times are in UTC on 2023-09-26.