IRCBrowse

2023/07/25

2023-07-25 00:00:57 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-25 00:00:59 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 00:05:14 +0200libertyprime(~libertypr@203.96.203.44) (Ping timeout: 246 seconds)
2023-07-25 00:06:04 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-25 00:11:41 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-07-25 00:11:57 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2023-07-25 00:11:59 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds)
2023-07-25 00:13:11 +0200ubert(~Thunderbi@178.115.73.155.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2023-07-25 00:15:21 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 00:16:49 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 00:16:49 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 00:16:49 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 00:19:22 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 00:20:17 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-25 00:20:57 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 00:22:27 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net) (Quit: xff0x)
2023-07-25 00:24:24 +0200wroathe(~wroathe@user/wroathe)
2023-07-25 00:25:28 +0200Teacup(~teacup@user/teacup) ()
2023-07-25 00:25:45 +0200Teacup(~teacup@user/teacup)
2023-07-25 00:27:34 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 00:28:34 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net)
2023-07-25 00:32:02 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-25 00:33:40 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-07-25 00:36:16 +0200Logio(em@kapsi.fi) (Remote host closed the connection)
2023-07-25 00:38:08 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 00:38:08 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 00:38:08 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 00:40:20 +0200Alleria(~JohnGalt@Sydney-Docking-Station.stanford.edu)
2023-07-25 00:40:38 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 00:41:04 +0200Alleria(~JohnGalt@Sydney-Docking-Station.stanford.edu) (Client Quit)
2023-07-25 00:45:45 +0200Logio(em@kapsi.fi)
2023-07-25 00:49:32 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-25 00:49:50 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 246 seconds)
2023-07-25 00:50:25 +0200falafel(~falafel@216.68.6.51.dyn.plus.net)
2023-07-25 00:53:47 +0200tomboy64(~tomboy64@user/tomboy64)
2023-07-25 00:54:02 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 00:54:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 00:54:27 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 00:54:27 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 00:54:51 +0200acidjnk_new(~acidjnk@p200300d6e7072f58904a93af819a11ce.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2023-07-25 00:57:17 +0200tonyday(~user@122.199.56.230)
2023-07-25 00:59:25 +0200tonydayscootalong
2023-07-25 01:02:34 +0200tstat(~tstat@user/tstat) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-25 01:07:25 +0200chele(~chele@user/chele) (Remote host closed the connection)
2023-07-25 01:12:02 +0200td_(~td@i53870929.versanet.de) (Ping timeout: 245 seconds)
2023-07-25 01:12:15 +0200td_(~td@i53870929.versanet.de)
2023-07-25 01:14:25 +0200tstat(~tstat@user/tstat)
2023-07-25 01:16:40 +0200gurkenglas(~gurkengla@dynamic-046-114-092-039.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-07-25 01:17:02 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 01:17:18 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 01:22:12 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 01:25:11 +0200tstat(~tstat@user/tstat) (Quit: ZNC 1.8.2 - https://znc.in)
2023-07-25 01:26:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-07-25 01:27:04 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-07-25 01:29:46 +0200tstat(~tstat@user/tstat)
2023-07-25 01:30:30 +0200mauke_(~mauke@user/mauke)
2023-07-25 01:31:44 +0200tstat(~tstat@user/tstat) (Client Quit)
2023-07-25 01:32:22 +0200mauke(~mauke@user/mauke) (Ping timeout: 258 seconds)
2023-07-25 01:32:22 +0200mauke_mauke
2023-07-25 01:32:47 +0200tstat(~tstat@user/tstat)
2023-07-25 01:33:40 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-25 01:34:54 +0200phma(~phma@2001:5b0:215a:83d8:36ed:3779:fa92:acd) (Read error: Connection reset by peer)
2023-07-25 01:35:22 +0200phma(phma@2001:5b0:215a:83d8:da04:2894:d9ee:aa28)
2023-07-25 01:38:30 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds)
2023-07-25 01:39:37 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 01:39:45 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 01:45:00 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in)
2023-07-25 01:47:58 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2023-07-25 01:48:04 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2023-07-25 01:53:02 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-07-25 01:55:49 +0200pavonia(~user@user/siracusa)
2023-07-25 01:56:03 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 01:59:09 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-07-25 01:59:42 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 02:01:58 +0200phma(phma@2001:5b0:215a:83d8:da04:2894:d9ee:aa28) (Read error: Connection reset by peer)
2023-07-25 02:02:25 +0200phma(~phma@host-67-44-208-140.hnremote.net)
2023-07-25 02:09:49 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-25 02:09:50 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-25 02:09:50 +0200wroathe(~wroathe@user/wroathe)
2023-07-25 02:15:13 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 02:15:16 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 02:17:05 +0200natechan(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Quit: WeeChat 2.9)
2023-07-25 02:22:44 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 02:26:45 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 02:31:36 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 02:32:08 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 02:44:03 +0200Square2(~Square@user/square)
2023-07-25 02:45:25 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 244 seconds)
2023-07-25 02:47:53 +0200 <wroathe> Incoming potentially stupid question: I'm experimenting with compiling Haskell to wasm for execution in the browser. After getting a hello, world program to run to completion successfully I'm setting on my sights on the fact that the compiled wasm executable ends up at about 1.1MB with just as simple hello world. wasm-objdump shows that about 75% of that is code. The putStrLn was just a test, but with
2023-07-25 02:47:59 +0200 <wroathe> this executing in the browser environment I expect that 100% of program I/O will occur through wasm imports and not through base or anything GHC standard library related. Does anyone here know if it's possible to compile a haskell executable without things like the RTS and the "standard" libraries?
2023-07-25 02:48:28 +0200 <wroathe> Just as an experiment I want to see if I can compile Haskell to a very light wasm binary that just leverages browser web apis through wasm imports
2023-07-25 02:50:58 +0200 <sm> the RTS is pretty important
2023-07-25 02:52:27 +0200 <wroathe> sm: yeah, but probably less so when it's just a wasm program running on a browser thread
2023-07-25 02:52:40 +0200 <wroathe> that said, there might be some hidden dependencies I'm not thinking of
2023-07-25 02:52:55 +0200 <wroathe> But I don't plan on using anything I/O related in base
2023-07-25 02:53:05 +0200 <sm> the garbage collector, I'm thinking ?
2023-07-25 02:54:39 +0200 <wroathe> sm: Potentially. From what I'm learning the browser injects a linear memory block for the program to run against when instantiating the wasm module. The GC might be desirable, but as part of this experiment tinkering with manual memory management would be worthwhile
2023-07-25 02:54:54 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 02:55:34 +0200 <wroathe> So if I could remove it, manage the memory manually, and then enable it and see how much added size it adds to the executable that would be worthwhile to me to try
2023-07-25 02:57:05 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
2023-07-25 02:57:33 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-25 03:00:28 +0200 <sm> I doubt ghc's memory manager is pluggable but I could be totally wrong. Maybe #ghc is awake
2023-07-25 03:09:21 +0200razetime(~quassel@117.193.7.216)
2023-07-25 03:10:51 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 03:11:10 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-25 03:17:17 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-25 03:17:53 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-25 03:18:48 +0200 <Axman6> wroathe: yeah that's not giong to ever work, GHC's execution model needs the RTS in some form or another. I doubt you'd ever see ghc compile a haskell executable for hello world that just used wasi, because it's would be an incredibly limited number of programs that would ever actually do that
2023-07-25 03:22:09 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-25 03:24:19 +0200ensyde(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net)
2023-07-25 03:26:46 +0200dobblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 03:26:46 +0200dobblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 03:26:46 +0200dobblego(~dibblego@haskell/developer/dibblego)
2023-07-25 03:27:14 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-07-25 03:27:20 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2023-07-25 03:27:20 +0200dobblegodibblego
2023-07-25 03:28:20 +0200gaff(~gaff@49.207.223.69)
2023-07-25 03:29:14 +0200 <wroathe> Axman6: Yeah, interestingly the "hello, world" I got to run in the browser involved me using a JS WASI library to provide those bindings so that my 1.1MB executable worked
2023-07-25 03:29:42 +0200 <wroathe> My plan, if I can finagle it, is to do away with WASI entirely and use custom wasm imports for web apis that I provide
2023-07-25 03:30:29 +0200 <wroathe> Ultimately I'm getting sick of the typical Javascript toolchain (babel, esbuild, typescript, and so on), and so I want to experiment with some other languages compiled to wasm and targetting the web
2023-07-25 03:32:10 +0200 <dolio> Does WASM require having a single blob containing the runtime system, or can it do something where there's a separate RTS blob that only has to be downloaded rarely (because it rarely changes)?
2023-07-25 03:33:56 +0200 <wroathe> dolio: For separate blobs to communicate I think they'd have to utilize the imports/exports system at load time
2023-07-25 03:34:18 +0200 <wroathe> So that would have to be done manually. To my knowledge you can't just link them together at load time
2023-07-25 03:34:44 +0200 <dolio> Well, I mean, GHC could conceivably generate something that does that.
2023-07-25 03:35:01 +0200 <wroathe> That said, of the 750KB worth of code in this executable I'm doubtful that all of it is being used by the RTS
2023-07-25 03:35:20 +0200 <wroathe> Perhaps something just isn't removing dead code like it should be
2023-07-25 03:38:14 +0200 <Axman6> it's hard to know what in the RTS is actually dead code. It's possible there's also dead Haskell code, like every type class function would be retained, at least fo every type tha's used in the program (and that could be many more types than you'd expect as the prelude's also going to use a lot of base types internally)
2023-07-25 03:43:47 +0200rainbyte(~rainbyte@181.31.239.226)
2023-07-25 03:45:39 +0200 <jackdk> And then there's the stuff which implements the language semantics
2023-07-25 03:45:44 +0200 <jackdk> > foldr (const $ const 1) undefined (undefined : undefined)
2023-07-25 03:45:45 +0200 <lambdabot> 1
2023-07-25 03:46:05 +0200 <wroathe> jackdk: Right. That's the stuff I was thinking I might need
2023-07-25 03:46:31 +0200 <wroathe> But the first step in this is getting to a state where I can start experimenting with chopping stuff off and seeing what breaks
2023-07-25 04:03:27 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 04:03:45 +0200scootalong(~user@122.199.56.230) (Remote host closed the connection)
2023-07-25 04:03:56 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-07-25 04:05:09 +0200nick4(~nick@2600:8807:9084:7800:b163:648a:f3e5:666f) (Ping timeout: 260 seconds)
2023-07-25 04:05:20 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 04:08:29 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-25 04:09:58 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-07-25 04:11:02 +0200falafel(~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 250 seconds)
2023-07-25 04:12:56 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2023-07-25 04:15:26 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 04:16:38 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-25 04:20:54 +0200td_(~td@i53870929.versanet.de) (Ping timeout: 260 seconds)
2023-07-25 04:22:29 +0200td_(~td@i5387093B.versanet.de)
2023-07-25 04:25:22 +0200xff0x(~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds)
2023-07-25 04:25:33 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 04:25:38 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 246 seconds)
2023-07-25 04:26:49 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net)
2023-07-25 04:31:17 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-07-25 04:31:17 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-07-25 04:31:17 +0200finn_elijaFinnElija
2023-07-25 04:32:34 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 04:36:10 +0200ddellacosta(~ddellacos@143.244.47.71) (Ping timeout: 250 seconds)
2023-07-25 04:36:53 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2023-07-25 04:37:14 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 04:37:14 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 04:37:14 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 04:38:04 +0200ddellacosta(~ddellacos@146.70.165.154)
2023-07-25 04:42:29 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 04:46:28 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 04:46:28 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 04:46:28 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 04:49:38 +0200pavonia(~user@user/siracusa)
2023-07-25 04:52:53 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7)
2023-07-25 04:55:47 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-07-25 05:01:57 +0200sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-07-25 05:02:43 +0200sefidel(~sefidel@user/sefidel)
2023-07-25 05:04:38 +0200Guest55(~Guest55@2804:3768:8084:dd00:d091:2b1f:536:c2eb)
2023-07-25 05:05:54 +0200Guest55(~Guest55@2804:3768:8084:dd00:d091:2b1f:536:c2eb) (Client Quit)
2023-07-25 05:08:40 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-25 05:09:36 +0200dibblego(~dibblego@116.255.1.151)
2023-07-25 05:09:36 +0200dibblego(~dibblego@116.255.1.151) (Changing host)
2023-07-25 05:09:36 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 05:13:22 +0200 <wroathe> Hmm, force-linking without base results in a 57% reduction in the code segment and a 65% reduction in compiled file size
2023-07-25 05:13:49 +0200 <wroathe> Granted no chance of running, because the RTS obviously needs multiple symbols that the base library provides
2023-07-25 05:15:44 +0200 <wroathe> I retract my statement. It ran to completion in the browser.
2023-07-25 05:17:40 +0200bilegeek(~bilegeek@2600:1008:b013:1e6d:b6be:32f4:8f44:716e)
2023-07-25 05:18:52 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-07-25 05:21:06 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-07-25 05:32:04 +0200aforemny_(~aforemny@2001:9e8:6cef:e500:89ba:7d36:6a1c:a235)
2023-07-25 05:33:35 +0200aforemny(~aforemny@2001:9e8:6cc8:6400:75e7:c177:eb56:80ac) (Ping timeout: 264 seconds)
2023-07-25 05:37:28 +0200gaff(~gaff@49.207.223.69) (Quit: Bye ...)
2023-07-25 05:38:14 +0200dobblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 05:38:14 +0200dobblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 05:38:14 +0200dobblego(~dibblego@haskell/developer/dibblego)
2023-07-25 05:38:21 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds)
2023-07-25 05:38:31 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-25 05:38:34 +0200dobblegodibblego
2023-07-25 05:47:49 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 05:52:54 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 05:52:54 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 05:52:54 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 05:57:21 +0200wroathe(~wroathe@user/wroathe) ()
2023-07-25 06:03:38 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 06:05:23 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2023-07-25 06:05:37 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 06:09:14 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-25 06:11:03 +0200razetime(~quassel@117.193.7.216) (Ping timeout: 244 seconds)
2023-07-25 06:17:06 +0200michalz(~michalz@185.246.207.221)
2023-07-25 06:18:09 +0200nick4(~nick@2600:8807:9084:7800:b163:648a:f3e5:666f)
2023-07-25 06:19:24 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-07-25 06:19:42 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-07-25 06:27:43 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-07-25 06:29:28 +0200phma(~phma@host-67-44-208-140.hnremote.net) (Read error: Connection reset by peer)
2023-07-25 06:30:07 +0200phma(phma@2001:5b0:210b:9ac8:f297:1dd8:f3f8:b4fd)
2023-07-25 06:30:24 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 06:32:28 +0200razetime(~quassel@117.193.7.216)
2023-07-25 06:34:03 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 06:34:03 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 06:34:03 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 06:39:09 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 06:40:14 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-25 06:47:16 +0200 <jackdk> cool, that's exciting!
2023-07-25 06:49:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 06:49:22 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 06:49:22 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 06:54:19 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-07-25 06:58:04 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 06:58:04 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 06:58:04 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 07:05:08 +0200bilegeek(~bilegeek@2600:1008:b013:1e6d:b6be:32f4:8f44:716e) (Quit: Leaving)
2023-07-25 07:07:36 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au)
2023-07-25 07:07:42 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-25 07:11:07 +0200kimiamania60(~681cf57f@user/kimiamania) (Quit: PegeLinux)
2023-07-25 07:12:01 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 244 seconds)
2023-07-25 07:12:10 +0200kimiamania60(~681cf57f@user/kimiamania)
2023-07-25 07:14:51 +0200kimiamania60(~681cf57f@user/kimiamania) (Client Quit)
2023-07-25 07:16:34 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-25 07:16:40 +0200kimiamania60(~681cf57f@user/kimiamania)
2023-07-25 07:18:30 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-07-25 07:22:32 +0200kadenwolff[m](~kadenwolf@2001:470:69fc:105::1:d97f)
2023-07-25 07:29:25 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-25 07:36:20 +0200notzmv(~zmv@user/notzmv)
2023-07-25 07:42:25 +0200 <sm> wroathe in mad scientist mode
2023-07-25 07:48:39 +0200Inst_(~Inst@2601:6c4:4081:2fc0:1cc8:47b:7c0e:fa36)
2023-07-25 07:52:04 +0200Inst__(~Inst@2601:6c4:4081:2fc0:1cc8:47b:7c0e:fa36) (Ping timeout: 260 seconds)
2023-07-25 08:04:00 +0200CiaoSen(~Jura@2a05:5800:299:c600:664b:f0ff:fe37:9ef)
2023-07-25 08:05:26 +0200libertyprime(~libertypr@203.96.203.44) (Ping timeout: 245 seconds)
2023-07-25 08:05:53 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2023-07-25 08:06:52 +0200echoreply(~echoreply@45.32.163.16)
2023-07-25 08:15:05 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-25 08:23:15 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-25 08:24:25 +0200qqq(~qqq@92.43.167.61)
2023-07-25 08:24:38 +0200ent(entgod@kapsi.fi)
2023-07-25 08:31:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 08:34:01 +0200mncheck(~mncheck@193.224.205.254)
2023-07-25 08:36:01 +0200jtza8(~user@165.255.89.230)
2023-07-25 08:39:20 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 244 seconds)
2023-07-25 08:39:38 +0200mncheck(~mncheck@193.224.205.254)
2023-07-25 08:46:49 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 08:47:47 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 246 seconds)
2023-07-25 08:48:09 +0200mncheck(~mncheck@193.224.205.254)
2023-07-25 08:49:02 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-07-25 08:51:41 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 245 seconds)
2023-07-25 08:52:04 +0200ubert(~Thunderbi@178.165.194.76.wireless.dyn.drei.com)
2023-07-25 08:52:53 +0200Putonlalla(~Putonlall@it-cyan.it.jyu.fi)
2023-07-25 08:53:07 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 08:55:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 08:57:08 +0200fendor(~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932)
2023-07-25 08:57:55 +0200titibandit(~titibandi@user/titibandit)
2023-07-25 08:57:56 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 245 seconds)
2023-07-25 09:04:39 +0200mud(~mud@user/kadoban) (Ping timeout: 244 seconds)
2023-07-25 09:06:06 +0200mauke(~mauke@user/mauke) (Quit: leaving)
2023-07-25 09:08:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 09:08:06 +0200gmg(~user@user/gehmehgeh)
2023-07-25 09:15:47 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-07-25 09:15:53 +0200 <simikando> oh
2023-07-25 09:18:02 +0200acidjnk_new(~acidjnk@p200300d6e7072f08904a93af819a11ce.dip0.t-ipconnect.de)
2023-07-25 09:20:34 +0200bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-07-25 09:22:02 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-25 09:23:55 +0200 <simikando> Hello, how do I use the lambdabot? I have this math problem 3/2(1+2)
2023-07-25 09:24:25 +0200 <fvr> > 3/2*(1+2)
2023-07-25 09:24:26 +0200 <lambdabot> 4.5
2023-07-25 09:24:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 09:25:23 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-25 09:26:50 +0200 <simikando> fascinating
2023-07-25 09:27:06 +0200 <simikando> > sin(x)^2
2023-07-25 09:27:07 +0200 <lambdabot> sin x * sin x
2023-07-25 09:27:31 +0200jtza8(~user@165.255.89.230) (Quit: Must... cancel... distractions...)
2023-07-25 09:32:03 +0200 <simikando> > solve for x; (2x+1)=2(x+5)
2023-07-25 09:32:05 +0200 <lambdabot> <hint>:1:12: error: parse error on input ‘;’
2023-07-25 09:32:17 +0200 <simikando> solve for x (2x+1)=2(x+5)
2023-07-25 09:32:32 +0200 <simikando> > solve for x (2x+1)=2(x+5)
2023-07-25 09:32:34 +0200 <lambdabot> <hint>:1:19: error: parse error on input ‘=’
2023-07-25 09:32:40 +0200Square2(~Square@user/square) (Remote host closed the connection)
2023-07-25 09:32:48 +0200 <simikando> okay lemme read the documentation
2023-07-25 09:34:30 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-25 09:36:02 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 250 seconds)
2023-07-25 09:44:08 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-07-25 09:44:39 +0200chele(~chele@user/chele)
2023-07-25 09:45:52 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-25 09:47:10 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving)
2023-07-25 09:55:41 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-25 09:56:25 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Remote host closed the connection)
2023-07-25 09:58:46 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-25 09:59:05 +0200danse-nr3__(~francesco@151.57.2.80)
2023-07-25 10:01:11 +0200acidjnk_new(~acidjnk@p200300d6e7072f08904a93af819a11ce.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-07-25 10:01:40 +0200acidjnk(~acidjnk@p200300d6e7072f087571ae0d4439b829.dip0.t-ipconnect.de)
2023-07-25 10:06:41 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-25 10:07:14 +0200andydude(~andrewr@151.200.15.152) (Ping timeout: 250 seconds)
2023-07-25 10:07:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 10:08:20 +0200trev(~trev@user/trev)
2023-07-25 10:10:11 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2023-07-25 10:14:54 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-25 10:15:13 +0200titibandit(~titibandi@user/titibandit)
2023-07-25 10:15:20 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-25 10:15:47 +0200ubert(~Thunderbi@178.165.194.76.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2023-07-25 10:16:42 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com)
2023-07-25 10:17:05 +0200ubert(~Thunderbi@77.119.201.170.wireless.dyn.drei.com)
2023-07-25 10:17:12 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-25 10:18:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 10:21:06 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-07-25 10:24:41 +0200ormaaj1(~ormaaj@user/ormaaj)
2023-07-25 10:26:04 +0200razetime(~quassel@117.193.7.216) (Ping timeout: 260 seconds)
2023-07-25 10:26:21 +0200ormaaj1ormaaaj
2023-07-25 10:27:47 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-07-25 10:28:10 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 10:28:28 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 10:36:01 +0200mud(~mud@user/kadoban)
2023-07-25 10:39:35 +0200gurkenglas(~gurkengla@dynamic-046-114-092-221.46.114.pool.telefonica.de)
2023-07-25 10:40:35 +0200blueonyx(~blueonyx@user/blueonyx)
2023-07-25 10:42:27 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2023-07-25 10:42:45 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-07-25 10:44:15 +0200razetime(~quassel@117.193.7.216)
2023-07-25 10:49:28 +0200 <geekosaur> haskell is a language, not wolfram alpha
2023-07-25 10:50:11 +0200 <danse-nr3__> wolfram alpha has its language i think
2023-07-25 10:50:47 +0200 <jackdk> Although is simikando really wants a distraction from his algebra homework, https://iagoleal.com/posts/calculus-symbolic/ is really cool
2023-07-25 10:51:42 +0200 <simikando> I only wanted to test if my calculations are correct and they were
2023-07-25 10:54:00 +0200 <jackdk> hah, fair
2023-07-25 10:54:27 +0200qqq(~qqq@92.43.167.61)
2023-07-25 10:56:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7)
2023-07-25 10:59:22 +0200ub(~Thunderbi@77.119.201.170.wireless.dyn.drei.com)
2023-07-25 11:00:42 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2023-07-25 11:01:12 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Ping timeout: 245 seconds)
2023-07-25 11:04:31 +0200acidjnk(~acidjnk@p200300d6e7072f087571ae0d4439b829.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2023-07-25 11:04:34 +0200libertyprime(~libertypr@203.96.203.44)
2023-07-25 11:04:51 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 11:05:06 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-25 11:10:54 +0200acidjnk(~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de)
2023-07-25 11:12:16 +0200nick4(~nick@2600:8807:9084:7800:b163:648a:f3e5:666f) (Ping timeout: 244 seconds)
2023-07-25 11:16:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 11:18:11 +0200cfricke(~cfricke@user/cfricke)
2023-07-25 11:21:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-25 11:22:39 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au)
2023-07-25 11:23:28 +0200ubert(~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2023-07-25 11:23:29 +0200ububert
2023-07-25 11:23:43 +0200ubert1(~Thunderbi@77.119.201.170.wireless.dyn.drei.com)
2023-07-25 11:25:34 +0200ft(~ft@p3e9bc042.dip0.t-ipconnect.de) (Quit: leaving)
2023-07-25 11:27:36 +0200gurkengl1s(~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de)
2023-07-25 11:28:38 +0200gurkenglas(~gurkengla@dynamic-046-114-092-221.46.114.pool.telefonica.de) (Ping timeout: 260 seconds)
2023-07-25 11:31:56 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2)
2023-07-25 11:32:11 +0200cheater_(~Username@user/cheater)
2023-07-25 11:32:11 +0200perrierjouet(~perrierjo@modemcable048.127-56-74.mc.videotron.ca)
2023-07-25 11:32:25 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 244 seconds)
2023-07-25 11:33:32 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2023-07-25 11:33:36 +0200cheater_cheater
2023-07-25 11:33:38 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-07-25 11:34:23 +0200cheater_(~Username@user/cheater)
2023-07-25 11:34:23 +0200cheater_cheater
2023-07-25 11:37:58 +0200dsrt^(~cd@24.125.210.85) (Remote host closed the connection)
2023-07-25 11:40:20 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-25 11:40:39 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-25 11:41:42 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2023-07-25 11:43:29 +0200Lord_of_Life_Lord_of_Life
2023-07-25 11:43:35 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-25 11:44:32 +0200__monty__(~toonn@user/toonn)
2023-07-25 12:01:52 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds)
2023-07-25 12:11:19 +0200qqq(~qqq@92.43.167.61) (Quit: Lost terminal)
2023-07-25 12:15:20 +0200flounders(~flounders@24.246.133.1) (Ping timeout: 252 seconds)
2023-07-25 12:18:44 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 12:20:20 +0200mik3d(~mik3d@74.102.139.139) (Read error: Connection reset by peer)
2023-07-25 12:21:34 +0200ubert1(~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2023-07-25 12:23:16 +0200mik3d(~mik3d@74.102.139.139)
2023-07-25 12:29:49 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-25 12:33:36 +0200libertyprime(~libertypr@203.96.203.44) (Quit: leaving)
2023-07-25 12:34:20 +0200qqq(~qqq@92.43.167.61)
2023-07-25 12:37:59 +0200mik3d(~mik3d@74.102.139.139) (Quit: Quit)
2023-07-25 12:39:56 +0200gugu256(~gugu256@122.38.22.93.rev.sfr.net)
2023-07-25 12:44:59 +0200gugu256(~gugu256@122.38.22.93.rev.sfr.net) (Quit: Leaving)
2023-07-25 12:45:23 +0200gugu256(~gugu256@122.38.22.93.rev.sfr.net)
2023-07-25 12:47:08 +0200ensyde(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 250 seconds)
2023-07-25 12:50:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds)
2023-07-25 12:56:01 +0200ubert1(~Thunderbi@77.119.201.170.wireless.dyn.drei.com)
2023-07-25 12:57:19 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-25 13:06:06 +0200ubert1(~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Quit: ubert1)
2023-07-25 13:07:30 +0200xff0x(~xff0x@2405:6580:b080:900:3abd:5e8:ff1e:4ed)
2023-07-25 13:07:41 +0200danse-nr3__(~francesco@151.57.2.80) (Remote host closed the connection)
2023-07-25 13:08:05 +0200danse-nr3__(~francesco@151.57.2.80)
2023-07-25 13:08:17 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds)
2023-07-25 13:08:38 +0200td_(~td@i5387093B.versanet.de) (Quit: waking up from the american dream ...)
2023-07-25 13:11:25 +0200CrunchyFlakes(~pi4@ip9234cf0c.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2023-07-25 13:13:32 +0200td_(~td@i5387093B.versanet.de)
2023-07-25 13:13:38 +0200CrunchyFlakes(~pi4@ip9234cf77.dynamic.kabel-deutschland.de)
2023-07-25 13:26:53 +0200danse-nr3__(~francesco@151.57.2.80) (Ping timeout: 246 seconds)
2023-07-25 13:27:08 +0200 <drlkf> how to implement custom bounded enum instances correctly ? defining `maxBound` and `enumFrom = boundedEnumFrom` yields a runtime error on `last [minBound..]`, even when the rest works as expected. i'm suspecting something about folds and tco but i'm not an expert
2023-07-25 13:36:25 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 13:43:48 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-07-25 13:46:17 +0200 <merijn> drlkf: how'd you implement fromEnum/toEnum?
2023-07-25 13:52:53 +0200razetime(~quassel@117.193.7.216) (Remote host closed the connection)
2023-07-25 13:53:21 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Quit: leaving)
2023-07-25 13:56:28 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-25 14:00:21 +0200 <rselim> anyone have a link to something along the lines of 'here is what to read to get back up to speed with haskell if youve been away from it for 5 years'
2023-07-25 14:00:21 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au)
2023-07-25 14:05:01 +0200arahael_(~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds)
2023-07-25 14:07:33 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-07-25 14:09:08 +0200razetime(~quassel@117.193.7.216)
2023-07-25 14:09:44 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds)
2023-07-25 14:13:25 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-25 14:16:08 +0200hellwolf(~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee)
2023-07-25 14:18:35 +0200 <dminuoso> drlkf: What runtime error do you get?
2023-07-25 14:19:04 +0200danse-nr3__(~francesco@151.43.34.49)
2023-07-25 14:27:39 +0200 <drlkf> nevermind, my problem was somewhere else completely. enum works fine
2023-07-25 14:30:54 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-25 14:33:35 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 264 seconds)
2023-07-25 14:39:33 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-07-25 14:41:45 +0200 <sm> rselim: https://github.com/Gabriella439/post-rfc/blob/main/sotu.md#state-of-the-haskell-ecosystem
2023-07-25 14:42:05 +0200gurkengl1sgurkenglas
2023-07-25 14:42:08 +0200 <rselim> cheers that looks like the sort of thing i was looking for
2023-07-25 14:42:22 +0200bgamari(~bgamari@70.16.98.14) (Ping timeout: 252 seconds)
2023-07-25 14:42:54 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2023-07-25 14:43:09 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-07-25 14:44:28 +0200bgamari(~bgamari@70.16.98.14)
2023-07-25 14:46:10 +0200acidjnk(~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2023-07-25 14:52:46 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-25 14:54:24 +0200CiaoSen(~Jura@2a05:5800:299:c600:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds)
2023-07-25 14:58:14 +0200sgillespie(~sgillespi@c-76-106-206-194.hsd1.fl.comcast.net)
2023-07-25 14:58:34 +0200qrst(~qrst@user/qrst)
2023-07-25 14:59:40 +0200 <merijn> hmm, so do we have a convenient wrapper to select the appropriate HLS version dependent on cabal.project/ghc in path yet?
2023-07-25 15:01:27 +0200 <dminuoso> merijn: In a twisted way nix gives you that.
2023-07-25 15:02:36 +0200 <dminuoso> merijn: Also, look into the HLS wrapper executable.
2023-07-25 15:02:50 +0200falafel(~falafel@216.68.6.51.dyn.plus.net)
2023-07-25 15:03:41 +0200 <dminuoso> Though I guess you could also use direnv to that same effect.
2023-07-25 15:05:48 +0200andrewboltachev(~andrey@178.141.128.242) ()
2023-07-25 15:07:09 +0200 <merijn> dminuoso: https://i.imgflip.com/7toexq.jpg
2023-07-25 15:07:53 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Quit: IRCNow and Forever!)
2023-07-25 15:11:24 +0200turlando(~turlando@user/turlando) ()
2023-07-25 15:11:37 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-25 15:14:34 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos)
2023-07-25 15:14:48 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-07-25 15:15:53 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-25 15:18:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 15:19:15 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-25 15:23:08 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-25 15:28:11 +0200ripspin(~chatzilla@1.145.196.202)
2023-07-25 15:29:17 +0200 <dminuoso> One day you will succumb.
2023-07-25 15:30:32 +0200 <geekosaur> hls's wrapper seems to work for me
2023-07-25 15:30:41 +0200 <geekosaur> even if I build a new HLS for a new ghc
2023-07-25 15:31:05 +0200 <dminuoso> Sadly its just completely undocumented.
2023-07-25 15:31:08 +0200 <merijn> geekosaur: Which wrapper is that?
2023-07-25 15:31:12 +0200 <dminuoso> Its existence, its usage and how it works.
2023-07-25 15:31:19 +0200 <dminuoso> merijn: https://github.com/haskell/haskell-language-server/blob/master/exe/Wrapper.hs
2023-07-25 15:31:21 +0200 <dminuoso> Of course.
2023-07-25 15:31:24 +0200nick4(~nick@ip98-162-147-230.pn.at.cox.net)
2023-07-25 15:31:56 +0200 <merijn> Gotta get this to build first, atm there's some broken hashable constraint :p
2023-07-25 15:32:24 +0200 <dminuoso> merijn: https://github.com/haskell/haskell-language-server/blob/master/haskell-language-server.cabal#L501
2023-07-25 15:32:26 +0200 <dminuoso> This one.
2023-07-25 15:32:55 +0200 <geekosaur> https://github.com/haskell/haskell-language-server/blob/master/exe/Wrapper.hs
2023-07-25 15:33:05 +0200 <geekosaur> oh, someone got there first
2023-07-25 15:33:30 +0200 <geekosaur> I just know ghcup installs it for me and it always picks the right HLS if one exists for the compiler I'm using
2023-07-25 15:34:06 +0200 <merijn> geekosaur: I use multiple different compilers specified via either cabal.project or just "the first in path"
2023-07-25 15:34:06 +0200ripspin(~chatzilla@1.145.196.202) (Ping timeout: 260 seconds)
2023-07-25 15:34:16 +0200 <geekosaur> that's fine, it handles that
2023-07-25 15:34:30 +0200 <maerwald> merijn: you have to name your hls exes properly so the wrapper knows what to do
2023-07-25 15:34:44 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-25 15:35:16 +0200 <geekosaur> provided it's given the compiler, which… see about undocumented. but it seems to work as I've used it with a compiler specified in cabal.project and I've used it with one in `$PATH`
2023-07-25 15:35:31 +0200 <maerwald> merijn: https://paste.tomsmeding.com/BqnbApFh
2023-07-25 15:35:55 +0200 <maerwald> in that setting, you invoke haskell-language-server-wrapping and it will pick the right hls binary depending on your project GHC
2023-07-25 15:36:01 +0200 <maerwald> (yes, it will understand cabal.project)
2023-07-25 15:36:12 +0200 <geekosaur> and when I've added support for a new ghc release with `ghcup compile ghc …` it picks up the new compiler automatically
2023-07-25 15:36:26 +0200 <merijn> maerwald: I assumed I was gonna have to rename it with a number, just so they don't conflict :p
2023-07-25 15:36:44 +0200nick4(~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 246 seconds)
2023-07-25 15:39:11 +0200 <geekosaur> https://paste.tomsmeding.com/w9WAOZlx
2023-07-25 15:40:01 +0200 <geekosaur> sorry, I meant `ghcup compile hls` since I was building HLS against e.g. 9.2.8 before they released an updated HLS that supported it
2023-07-25 15:40:05 +0200 <geekosaur> (also 9.6.2)
2023-07-25 15:40:30 +0200 <merijn> geekosaur: I don't use ghcup either, because I'm a luddite who hates progress ;)
2023-07-25 15:40:48 +0200 <merijn> anyway, nap time while hls compiles :p
2023-07-25 15:40:51 +0200 <geekosaur> so you're stuck with what comes with the HLS install
2023-07-25 15:41:11 +0200 <geekosaur> np as long as that version of HLS supports your GHCs
2023-07-25 15:43:07 +0200andydude(~andrewr@151.200.15.152)
2023-07-25 15:43:18 +0200pyooque(~puke@user/puke)
2023-07-25 15:43:18 +0200pukeGuest4630
2023-07-25 15:43:18 +0200Guest4630(~puke@user/puke) (Killed (silver.libera.chat (Nickname regained by services)))
2023-07-25 15:43:18 +0200pyooquepuke
2023-07-25 15:43:39 +0200 <maerwald> merijn: you shouldn't use cabal-install then either... Setup.hs is enough
2023-07-25 15:45:47 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-07-25 15:49:44 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection)
2023-07-25 15:54:22 +0200ripspin(~chatzilla@1.145.128.15)
2023-07-25 15:55:31 +0200 <merijn> maerwald: naah, see, cabal-install already existed when I started :p
2023-07-25 15:56:26 +0200 <maerwald> you can read ghcup source code in one evening if you're quick
2023-07-25 15:57:06 +0200 <maerwald> although cloc says it's 15k
2023-07-25 15:57:25 +0200 <maerwald> probably most of that formatting :P
2023-07-25 15:58:04 +0200 <maerwald> for cabal you need an entire winter
2023-07-25 15:58:38 +0200 <maerwald> and it'll likely end similar to the movie Shining
2023-07-25 15:58:55 +0200pyooque(~puke@user/puke)
2023-07-25 15:58:55 +0200puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2023-07-25 15:58:55 +0200pyooquepuke
2023-07-25 15:59:17 +0200 <dolio> I might need to start using ghcup. The latest ghc release was a lot trickier to compile than previous ones.
2023-07-25 15:59:41 +0200 <merijn> maerwald: I know, I have patches in cabal :p
2023-07-25 16:00:19 +0200puke(~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services)))
2023-07-25 16:00:23 +0200 <maerwald> dolio: there's some patches in the queue for 'ghcup compile ghc' (wrt hadrian) that are not released yet
2023-07-25 16:00:46 +0200 <maerwald> that feature is becoming non-trivial to maintain
2023-07-25 16:01:21 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-25 16:01:40 +0200 <dolio> Oh, I just mean that my previous methodology of downloading the source release and doing `./configure ...` to put it in my custom multi-ghc location is no longer as easy.
2023-07-25 16:01:50 +0200 <dolio> I don't actually work on ghc.
2023-07-25 16:02:45 +0200 <dolio> I assume whatever they did is way better for people who do.
2023-07-25 16:03:00 +0200 <danse-nr3__> merijn, luddite programmers ... is that even possible?
2023-07-25 16:05:16 +0200 <geekosaur> any C programmer 😛
2023-07-25 16:05:44 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2023-07-25 16:06:30 +0200 <danse-nr3__> but still ... C is advanced tech from a luddite perspective
2023-07-25 16:06:32 +0200andydude(~andrewr@151.200.15.152) (Ping timeout: 240 seconds)
2023-07-25 16:07:47 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 264 seconds)
2023-07-25 16:08:37 +0200 <probie> The C programming language is over 50 years old. That means you're probably in your 70s if you worked as programmer before C existed
2023-07-25 16:08:58 +0200m5zs7k(aquares@web10.mydevil.net)
2023-07-25 16:17:07 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-07-25 16:17:59 +0200 <dolio> I think you can be a luddite without being born before something existed.
2023-07-25 16:18:32 +0200 <dolio> Doesn't make much sense for C, though, because things produced with C are the inferior goods. :þ
2023-07-25 16:18:55 +0200 <jade[m]> what is the performance of `concat` in big O notation?
2023-07-25 16:18:55 +0200 <jade[m]> it's defined as `foldr (++) []` (ignoring fusion), so it's basically the sum of size of the sublists, so would that still classify as linear?
2023-07-25 16:19:05 +0200actioninja630(~actioninj@user/actioninja)
2023-07-25 16:19:13 +0200 <int-e> dolio: it's still magic
2023-07-25 16:19:18 +0200 <jade[m]> but it's linear in both the sublist concatenation as well as the amount of sublists itself, so that'd be quadratic
2023-07-25 16:19:33 +0200 <sm> O(n+m) ?
2023-07-25 16:19:55 +0200 <int-e> dolio: created by dark, hooded figures in dark rooms illuminated only by green-on-black monitors.
2023-07-25 16:20:14 +0200 <jade[m]> not quadratic, more sum [sublist_n size]
2023-07-25 16:20:43 +0200 <jade[m]> so kinda n*m?
2023-07-25 16:20:44 +0200actioninja63(~actioninj@user/actioninja) (Ping timeout: 260 seconds)
2023-07-25 16:20:44 +0200actioninja630actioninja63
2023-07-25 16:20:52 +0200 <dolio> jade[m]: If you're just using words like 'linear' or 'quadratic,' you can usually get a different answer by changing some kind of perspective on the input.
2023-07-25 16:21:07 +0200 <jade[m]> yeah that's fait
2023-07-25 16:21:08 +0200 <jade[m]> * yeah that's fair
2023-07-25 16:21:45 +0200 <dolio> Like, is an operation on numbers linear (in the size of the binary representation) or logarithmic (in the number it represents)?
2023-07-25 16:22:13 +0200 <jade[m]> the most exact notion would be sum_0^(length - 1) of length (input[n]) I think?
2023-07-25 16:22:26 +0200 <ncf> concat ls takes O(length (concat ls)) steps... by definition? :p
2023-07-25 16:23:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 16:23:25 +0200 <int-e> + length ls
2023-07-25 16:23:39 +0200 <int-e> > concat (repeate 10000000 [])
2023-07-25 16:23:40 +0200 <lambdabot> error:
2023-07-25 16:23:41 +0200 <lambdabot> • Variable not in scope: repeate :: t1 -> [a0] -> t0 [a]
2023-07-25 16:23:41 +0200 <lambdabot> • Perhaps you meant one of these:
2023-07-25 16:23:45 +0200 <int-e> > concat (repeat 10000000 [])
2023-07-25 16:23:47 +0200 <lambdabot> error:
2023-07-25 16:23:47 +0200 <lambdabot> • Couldn't match expected type ‘[a0] -> t0 [a]’
2023-07-25 16:23:47 +0200 <lambdabot> with actual type ‘[a1]’
2023-07-25 16:23:54 +0200 <ncf> yeah
2023-07-25 16:23:59 +0200 <int-e> meh, replicate, not repeat
2023-07-25 16:24:03 +0200 <jade[m]> you want replicate
2023-07-25 16:24:25 +0200 <dolio> Anyhow, it would definitely be odd to only consider the length of the outer list as the input size.
2023-07-25 16:24:30 +0200 <geekosaur> I always get them backwards too…
2023-07-25 16:24:36 +0200 <jade[m]> +1
2023-07-25 16:24:49 +0200 <jade[m]> dolio: exactly
2023-07-25 16:30:17 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2023-07-25 16:32:05 +0200 <danse-nr3__> dolio, true, because the quality of products was a point in their reasoning. They were not against all technology, just some ... so yeah, i guess it is possible to have luddite programmers, and i should study that history better ^^;
2023-07-25 16:32:29 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-25 16:33:12 +0200segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
2023-07-25 16:33:51 +0200 <dolio> Maybe you should become one!
2023-07-25 16:34:41 +0200 <sm> "The Luddites ... protested against manufacturers who used machines in "a fraudulent and deceitful manner" to replace the skilled labour of workers and drive down wages by producing inferior goods."
2023-07-25 16:34:44 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2023-07-25 16:34:59 +0200 <geekosaur> they weren't even against technology as such. they were against companies firing workers because they could be replaced with machines
2023-07-25 16:35:07 +0200 <geekosaur> or, what sm said
2023-07-25 16:35:09 +0200 <maerwald> I haven't fired anyone so far
2023-07-25 16:35:16 +0200emid(~thales@191.180.21.148)
2023-07-25 16:36:12 +0200 <sm> "owners took to shooting protesters and eventually the movement was suppressed with legal and military force, which included execution and penal transportation of accused and convicted Luddites."
2023-07-25 16:36:12 +0200 <sm> phew, rough times
2023-07-25 16:36:17 +0200 <sm> eg if you're australian maybe that's how your family got there ?
2023-07-25 16:36:21 +0200gmg(~user@user/gehmehgeh)
2023-07-25 16:36:30 +0200 <maerwald> might happen quite soon again
2023-07-25 16:38:17 +0200 <danse-nr3__> it never stopped happening, just moved to where we do not hear of it
2023-07-25 16:39:51 +0200 <danse-nr3__> consider the case of en.wikipedia.org/wiki/Iqbal_Masih, for instance
2023-07-25 16:40:39 +0200 <geekosaur> even just manufacturers moving production to Bangladesh or the Philippines etc.
2023-07-25 16:42:00 +0200 <maerwald> well, it's a matter of scale
2023-07-25 16:46:23 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-07-25 16:47:08 +0200gmg(~user@user/gehmehgeh)
2023-07-25 16:51:40 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-25 16:53:34 +0200mei(~mei@user/mei)
2023-07-25 16:53:47 +0200gugu256(~gugu256@122.38.22.93.rev.sfr.net) (Ping timeout: 244 seconds)
2023-07-25 16:59:24 +0200 <merijn> hm,, haskell-language-server-wrapper does not, in fact, seem to correctly detect the ghc from cabal.project
2023-07-25 17:00:20 +0200 <maerwald> I don't believe you
2023-07-25 17:00:47 +0200 <merijn> ah, wait, it's just reporting GHC from path first before checking things, to make things nice and confusing
2023-07-25 17:01:34 +0200 <maerwald> it runs something like this: cabal exec ghc -- -ignore-dot-ghci -XRebindableSyntax -XNoImplicitPrelude -v0 -package-env=- -e 'Control.Monad.join (Control.Monad.fmap System.IO.putStr System.Environment.getExecutablePath)'
2023-07-25 17:01:50 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 260 seconds)
2023-07-25 17:02:30 +0200 <merijn> Yeah it finds the correct one later, but does that, like, way in the middle of noise so the only thing that pops out is reporting the initial ghc on PATH
2023-07-25 17:02:54 +0200 <maerwald> it's black magic
2023-07-25 17:03:43 +0200 <merijn> not black enough, because it seemingly chokes on something else now :p
2023-07-25 17:04:15 +0200gugu256(~gugu256@250.134.22.93.rev.sfr.net)
2023-07-25 17:04:31 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-25 17:05:13 +0200 <maerwald> you seem to be confusing logging with errors, so I can't really tell
2023-07-25 17:06:05 +0200 <merijn> maerwald: It's not working in the editor, so I'm trying to figure out what it's choking on, so the only thing I have is several KB of noisy logging that it dumps to stdout when I run it manually
2023-07-25 17:06:20 +0200 <maerwald> what editor
2023-07-25 17:06:23 +0200 <merijn> vim
2023-07-25 17:06:28 +0200 <maerwald> what lsp
2023-07-25 17:06:32 +0200 <merijn> ALE
2023-07-25 17:06:35 +0200 <maerwald> gosh
2023-07-25 17:06:39 +0200 <merijn> which worked fine with ghcide before
2023-07-25 17:06:58 +0200 <maerwald> what's your config?
2023-07-25 17:07:26 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-25 17:08:17 +0200 <maerwald> https://github.com/dense-analysis/ale/blob/b216892f0c1ce7bbe9efeeb6cf55b52a473f49c2/ale_linters/ha…
2023-07-25 17:08:20 +0200 <maerwald> doesn't look too bad
2023-07-25 17:08:26 +0200 <merijn> I have a 1 module, 1 test module cabal file, a cabal.project pointing it at ghc-8.10.7 and ALE setup to only use hls for linting.
2023-07-25 17:08:57 +0200 <merijn> maerwald: all I have atm it simply "let b:ale_linters = ['hls']" for haskell files
2023-07-25 17:10:18 +0200 <merijn> maerwald: atm I'm just manually running "haskell-language-server-wrapper" in my shell, which ends up dumping out the following errors: https://paste.tomsmeding.com/1Pds8SX3
2023-07-25 17:10:50 +0200 <maerwald> there's abuild error
2023-07-25 17:10:59 +0200 <maerwald> your code is busted
2023-07-25 17:11:07 +0200 <merijn> maerwald: Well yes, of course there is
2023-07-25 17:11:17 +0200 <merijn> I introduced that to see if it would be reported in vim
2023-07-25 17:11:31 +0200 <merijn> like, that's 99.99% of my use case
2023-07-25 17:12:08 +0200 <maerwald> fix the build error first, then let HLS start up
2023-07-25 17:12:12 +0200 <maerwald> then introduce it again
2023-07-25 17:14:59 +0200 <merijn> maerwald: Removing the error it still dies: https://paste.tomsmeding.com/6SwBHYrI
2023-07-25 17:15:51 +0200 <merijn> And it takes about a minute or more to get that far
2023-07-25 17:16:22 +0200 <merijn> ah!
2023-07-25 17:16:23 +0200 <maerwald> why does documentation fail to build?
2023-07-25 17:16:36 +0200 <merijn> haddock is trying to use ghc 9.2.8 instead of ghc-8.10.7
2023-07-25 17:16:50 +0200 <maerwald> sounds like your PATH/symlinks are messed up
2023-07-25 17:16:56 +0200raym(~ray@user/raym)
2023-07-25 17:17:06 +0200 <maerwald> (that doesn't happen with ghcup)
2023-07-25 17:17:45 +0200 <merijn> maerwald: 9.2.8 is the first GHC in path, and apparently whatever is invoking haddock isn't invoking 'haddock-8.10.7' like it should
2023-07-25 17:18:10 +0200 <merijn> because "cabal haddock --haddock-for-hackage" works fine
2023-07-25 17:18:18 +0200 <merijn> So cabal is properly calling the right haddock
2023-07-25 17:18:56 +0200 <merijn> So I'm assuming it's something HLS screwing up and invoking just "haddock"
2023-07-25 17:19:10 +0200 <merijn> So I guess that's an issue for #hls :p
2023-07-25 17:19:15 +0200 <maerwald> you can see the command that's run in the log
2023-07-25 17:19:24 +0200 <maerwald> cabal --builddir=/Users/merijn/.cache/hie-bios/dist-paramtree-c1a42d010ef5e73dc28f6503fc05b3e6 v2-repl --with-compiler /Users/merijn/.cache/hie-bios/wrapper-b54f81dea4c0e6d1626911c526bc4e36 --with-hc-pkg /Users/merijn/.cache/hie-bios/ghc-pkg-193386b9f6453356c46586642c889869 paramtree:test:test
2023-07-25 17:21:25 +0200acidjnk(~acidjnk@p200300d6e7072f08c49cce37a158e22d.dip0.t-ipconnect.de)
2023-07-25 17:22:59 +0200 <merijn> maerwald: Doesn't tell me much, because that wrapper passed as compiler invokes GHC based on an environment variable I can't see
2023-07-25 17:23:15 +0200 <maerwald> well, we don't pass --with-haddock anywhere
2023-07-25 17:23:47 +0200 <maerwald> same for hpc/hsc2hs/hp2ps
2023-07-25 17:24:20 +0200 <merijn> maerwald: I mean, when I have the "wrong" haddock in path (i.e. just 'haddock' is ghc 9.2) then cabal still correctly invokes haddock-8.10.7 without me passing any flags
2023-07-25 17:24:32 +0200 <merijn> So HLS is doing something that breaks cabal's regular way of invoking it
2023-07-25 17:25:12 +0200 <maerwald> it's possible that -with-compiler /Users/merijn/.cache/hie-bios/wrapper-b54f81dea4c0e6d1626911c526bc4e36 is breaking it
2023-07-25 17:25:29 +0200 <merijn> ah, possibly because it doesn't report a version?
2023-07-25 17:25:34 +0200 <merijn> random guessing
2023-07-25 17:26:27 +0200 <merijn> It's gym time now, so I guess I'll bug people in #haskell-language-server when I'm back
2023-07-25 17:29:22 +0200 <maerwald> merijn: I think it doesn't invoke `--version` but tries to take the version suffix
2023-07-25 17:29:54 +0200 <maerwald> here: https://github.com/haskell/cabal/blob/4aa5f88618a29cb53b988a8ae859caa2c70a6e62/Cabal/src/Distribut…
2023-07-25 17:30:14 +0200 <maerwald> wrapper-b54f81dea4c0e6d1626911c526bc4e36 doesn't have any meaningful suffix
2023-07-25 17:32:24 +0200razetime(~quassel@117.193.7.216) (Remote host closed the connection)
2023-07-25 17:32:26 +0200 <merijn> fun times
2023-07-25 17:32:32 +0200 <merijn> anyway, off for now
2023-07-25 17:33:22 +0200 <maerwald> I remember this part of the code, bc it's trash and caused problems before
2023-07-25 17:35:23 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 246 seconds)
2023-07-25 17:35:24 +0200falafel(~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 260 seconds)
2023-07-25 17:36:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7)
2023-07-25 17:36:21 +0200 <maerwald> but I'm not sure who to blame... the HLS stuff is a huge hack as well
2023-07-25 17:37:21 +0200danse-nr3_(~francesco@151.43.92.22)
2023-07-25 17:39:57 +0200danse-nr3__(~francesco@151.43.34.49) (Ping timeout: 245 seconds)
2023-07-25 17:45:33 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-25 17:48:13 +0200notzmv(~zmv@user/notzmv)
2023-07-25 17:58:15 +0200 <merijn> maerwald: ugh, I ended up trying something else and just moving path so that everything in front of path matches the HLS version, which eliminates the haddock failure, but still has HLS unable to cope: https://paste.tomsmeding.com/zOAh5cDO
2023-07-25 17:58:49 +0200 <merijn> Given that this is a pacakge with literally 3 source files (library, tests, and Setup.hs) the inability of HIE to cope is disappointing :\
2023-07-25 17:58:54 +0200 <merijn> https://github.com/merijn/paramtree
2023-07-25 17:59:54 +0200 <maerwald> merijn: https://github.com/haskell/haskell-language-server/issues/3730
2023-07-25 18:00:26 +0200danse-nr3_(~francesco@151.43.92.22) (Ping timeout: 245 seconds)
2023-07-25 18:00:28 +0200 <merijn> maerwald: <3
2023-07-25 18:02:23 +0200 <maerwald> implicit-cradle is trash
2023-07-25 18:02:45 +0200 <ncf> int-e: i've pushed GHC 9.6 support to lambdabot/IOSpec, if you want to make a new release
2023-07-25 18:02:47 +0200 <maerwald> try: echo -e 'cradle:\n cabal:' > hie.yaml
2023-07-25 18:03:11 +0200 <merijn> maerwald: Probably, but I have the naive hope/wild expectaction that "dead simple projects in the most standard setup" actually work >.>
2023-07-25 18:05:19 +0200 <geekosaur> my xmonad config + local xmonad+contrib works with an implicit cradle…
2023-07-25 18:05:55 +0200 <merijn> geekosaur: Well, feel free to check the repo I linked, because that + a cabal.project file was too much for implicit-hie >.>
2023-07-25 18:06:16 +0200 <merijn> maybe if I nuke the project file now that the right GHC is first in path
2023-07-25 18:06:34 +0200 <geekosaur> https://github.com/geekosaur/xmonad.hs/tree/skkukuk
2023-07-25 18:06:52 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-07-25 18:06:58 +0200 <merijn> nope, removing the hie.yaml breaks again
2023-07-25 18:07:26 +0200 <maerwald> works for me with explicit hie.yaml
2023-07-25 18:07:31 +0200 <maerwald> no errors
2023-07-25 18:07:47 +0200 <merijn> It errors on Setup.hs for me
2023-07-25 18:07:58 +0200 <merijn> https://paste.tomsmeding.com/nz84TrmT
2023-07-25 18:08:45 +0200 <maerwald> merijn: https://github.com/haskell/haskell-language-server/issues/3710
2023-07-25 18:11:46 +0200 <maerwald> works with the suggestion there
2023-07-25 18:11:49 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-25 18:11:50 +0200 <maerwald> Setup.hs is special
2023-07-25 18:12:23 +0200 <geekosaur> custom Setup is why we can't have nice things
2023-07-25 18:13:07 +0200 <merijn> ok, so now the wrapper works. next challenge, does it actually start in the editor xD
2023-07-25 18:15:17 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-25 18:16:10 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-25 18:17:39 +0200blueonyx(~blueonyx@user/blueonyx) (Quit: Lost terminal)
2023-07-25 18:17:41 +0200turlando(~turlando@user/turlando)
2023-07-25 18:20:01 +0200notzmv(~zmv@user/notzmv)
2023-07-25 18:21:10 +0200bilegeek(~bilegeek@2600:1008:b03d:d355:b59:5aff:2f93:e6ef)
2023-07-25 18:23:29 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
2023-07-25 18:28:51 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds)
2023-07-25 18:28:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 18:30:22 +0200mauke(~mauke@user/mauke)
2023-07-25 18:30:26 +0200gensyst(~gensyst@user/gensyst)
2023-07-25 18:30:53 +0200 <gensyst> Hi, I have a question and it's here: https://dpaste.com/GJ8UCQY22
2023-07-25 18:31:10 +0200 <gensyst> Can something like this be achieved with e.g. TemplateHaskell, some Macro stuff I don't know about, or some other Haskell/GHC features??
2023-07-25 18:31:38 +0200 <gensyst> In reality I don't just have three, but tons. Getting very painful to maintain.
2023-07-25 18:31:45 +0200 <gensyst> would be cool to just type it once
2023-07-25 18:32:35 +0200 <merijn> gensyst: it's just repeatedly the same offset increase?
2023-07-25 18:32:49 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au)
2023-07-25 18:32:49 +0200dibblego(~dibblego@116-255-1-151.ip4.superloop.au) (Changing host)
2023-07-25 18:32:49 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-25 18:32:52 +0200 <jade[m]> merijn: it also has different newtype constructors
2023-07-25 18:33:00 +0200 <merijn> jade[m]: yeah, sure
2023-07-25 18:33:02 +0200 <jade[m]> but you can coerce those, right?
2023-07-25 18:33:17 +0200 <glguy> jade[m]: coercing doesn't do anything helpful in this context
2023-07-25 18:33:28 +0200 <merijn> gensyst: Should be trivial with TH
2023-07-25 18:33:36 +0200 <jade[m]> oh right, it's just wrapping them
2023-07-25 18:34:27 +0200 <ncf> are you reinventing binary again
2023-07-25 18:35:12 +0200 <merijn> gensyst: you can use the d quasi quoter to get a proper declaration (so, like: [d|extractFoo = Foo . subBs 0 4|]), then you just need to wrap that in a function that gets the constructor and offset as in index, 'foo cons off = [d|$(??? cons) . subBs $(off) 4|]'
2023-07-25 18:35:49 +0200 <merijn> not sure if you can directly use $(cons) to insert the constructor or you need some name lookup
2023-07-25 18:35:54 +0200 <merijn> but also, yes, look at binary too
2023-07-25 18:36:37 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-07-25 18:36:38 +0200 <dmj`> jade[m]: Why not put foo bar baz as fields in a product data type? you could make a custom generic deriving to offset the indexing by 4 each time.
2023-07-25 18:37:23 +0200 <dmj`> then all you'd need to do is just keep adding fields
2023-07-25 18:37:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 18:39:46 +0200 <carbolymer> is it only me or is preprocessor pragma like:
2023-07-25 18:39:46 +0200 <carbolymer> #if __GLASGOW_HASKELL__ >= 902
2023-07-25 18:39:46 +0200 <carbolymer> unstable i.e. it sometimes breaks the build, but sometimes everything's fine?
2023-07-25 18:40:38 +0200 <merijn> carbolymer: It shouldn't be
2023-07-25 18:40:53 +0200_________(~nobody@user/noodly) (Quit: leaving)
2023-07-25 18:41:09 +0200 <carbolymer> merijn: ikr, but I'm looking at the related error in the same place third time today
2023-07-25 18:41:34 +0200 <merijn> pastebin of error+code
2023-07-25 18:42:05 +0200 <gensyst> dmj`, because i don't want to deserialize everything. sometimes I want to deserialize all three, but in some cases i only want to deserialize Foo, sometimes only Bar, etc.
2023-07-25 18:42:15 +0200 <gensyst> hence three different functions
2023-07-25 18:42:22 +0200titibandit(~titibandi@user/titibandit)
2023-07-25 18:43:36 +0200 <dmj`> gensyst: no deserializing would occur, since its just calculating a bytestring offset, also the laziness should ensure that not everything is getting forced until demanded.
2023-07-25 18:44:34 +0200biberu(~biberu@user/biberu)
2023-07-25 18:45:48 +0200 <merijn> hmm, looks like vim/ALE is just never actually firing any check commands...
2023-07-25 18:52:24 +0200andydude(~andrewr@151.200.15.152)
2023-07-25 18:54:04 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-07-25 18:54:32 +0200gugu256(~gugu256@250.134.22.93.rev.sfr.net) (Read error: Connection reset by peer)
2023-07-25 18:54:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 18:54:51 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-07-25 18:55:23 +0200TheCatCollective(NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow)
2023-07-25 18:55:26 +0200notzmv(~zmv@user/notzmv) (Remote host closed the connection)
2023-07-25 18:56:30 +0200TheCatCollective(NyaaTheKit@user/calculuscat)
2023-07-25 18:58:34 +0200 <gensyst> dmj`, isn't a drawback that my types can no longer be ! for all records? so i now have to go back to thinking about laziness vs. strict again
2023-07-25 18:58:47 +0200 <gensyst> i guess there are always tradeoffs...
2023-07-25 18:58:57 +0200 <gensyst> merijn, i'll look into TH. interesting.
2023-07-25 18:59:01 +0200 <gensyst> thanks mates
2023-07-25 19:01:34 +0200 <geekosaur> carbolymer, did you ever show example failing code and the error?
2023-07-25 19:04:12 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-25 19:06:10 +0200notzmv(~zmv@user/notzmv)
2023-07-25 19:08:20 +0200fun-safe-math(~fun-safe-@c-24-21-234-147.hsd1.or.comcast.net)
2023-07-25 19:09:43 +0200 <carbolymer> merijn, geekosaur: not yet, I'm trying to get a minimal example which could be better understandable, but after my complaints on IRC everything works again :X
2023-07-25 19:11:43 +0200 <geekosaur> try this and see if you replicate the error: use DataKinds before the `#if`
2023-07-25 19:11:54 +0200 <geekosaur> with explicit ticks
2023-07-25 19:16:19 +0200AlexZenon(~alzenon@178.34.162.202) (Ping timeout: 260 seconds)
2023-07-25 19:16:19 +0200Alex_test(~al_test@178.34.162.202) (Ping timeout: 260 seconds)
2023-07-25 19:19:13 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2023-07-25 19:19:25 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2023-07-25 19:19:56 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 19:23:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 19:24:42 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-25 19:31:51 +0200aagreb(~aagreb@2a02:1210:4c21:6200:761e:542:f407:b36f)
2023-07-25 19:32:57 +0200danse-nr3(~francesco@151.43.92.22)
2023-07-25 19:37:29 +0200 <aagreb> Hey I've been using haskell for quite some time now. Whenever I add a dependency from hackage to my project using cabal I have to compile the package on my machine. I wonder if there is a good reason for why there is no binary caching for hackage packages. AFAIK once a version of a package is published it doesn't really change anymore so it's kind
2023-07-25 19:37:30 +0200 <aagreb> of unncessary that all people who use this package have to recompile on their machine. Also it can take quite a long time sometimes. I'm sure there are technical reasons
2023-07-25 19:40:02 +0200 <merijn> aagreb: That'd mean caching every possible configuration and architecture of said package
2023-07-25 19:40:20 +0200 <mauke> × compiler versions × compiler options
2023-07-25 19:40:21 +0200 <merijn> aagreb: Note that they aren't independent, so every unique combination of transitive dependencies would be a different binary
2023-07-25 19:40:53 +0200dom0(~u0_a202@47.60.37.11)
2023-07-25 19:40:56 +0200 <merijn> aagreb: that'd mean thousands and thousands of binaries per package, which is...a lot of hosting costs :)
2023-07-25 19:42:10 +0200 <aagreb> I didn't think about different compiler versions and compiler options. I think different platform would be feasible to support because there are only a few but you are right it would be too many combinations
2023-07-25 19:42:56 +0200 <merijn> aagreb: if you have 4 transitive dependencies with 3 versions each, that's already 81 extra versions
2023-07-25 19:43:06 +0200 <merijn> now imagine for package with 20 dependencies and 20 versions each
2023-07-25 19:43:07 +0200 <aagreb> What do you exactly mean by they are not independent?
2023-07-25 19:43:57 +0200 <merijn> aagreb: GHC can (and does) inline code across package boundaries. As such, package foo when compiled is tied to the exact specific versions of its dependencies (also, those might have changing APIs to begin with)
2023-07-25 19:44:11 +0200 <merijn> aagreb: So you get a unique binary per unique combination of (transitive) dependencies
2023-07-25 19:44:38 +0200 <mauke> like an NFT?
2023-07-25 19:44:41 +0200Alex_test(~al_test@178.34.162.202)
2023-07-25 19:45:28 +0200 <merijn> argh
2023-07-25 19:45:46 +0200 <merijn> I hate debugging this shit...I have no clue whether it's the vim plugin or HLS that's acting up >.<
2023-07-25 19:45:46 +0200 <aagreb> Okay interesting I didn't know about this. So the local cache I have on my machine works only as long as all versions of all dependencies stay exactly the same?
2023-07-25 19:46:00 +0200 <merijn> aagreb: Yes
2023-07-25 19:49:27 +0200thelounge793(~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
2023-07-25 19:51:14 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-07-25 19:53:13 +0200ensyde(~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net)
2023-07-25 19:55:34 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-07-25 20:00:33 +0200aagreb(~aagreb@2a02:1210:4c21:6200:761e:542:f407:b36f) (Quit: Client closed)
2023-07-25 20:01:28 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-25 20:03:54 +0200mei(~mei@user/mei)
2023-07-25 20:05:09 +0200dom0(~u0_a202@47.60.37.11) (Quit: WeeChat 3.8)
2023-07-25 20:07:47 +0200gensyst(~gensyst@user/gensyst) (Quit: Leaving)
2023-07-25 20:08:13 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-25 20:08:16 +0200juri__(~juri@79.140.121.124)
2023-07-25 20:08:22 +0200fendor(~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection)
2023-07-25 20:11:12 +0200juri_(~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 245 seconds)
2023-07-25 20:12:04 +0200ripspin(~chatzilla@1.145.128.15) (Remote host closed the connection)
2023-07-25 20:16:56 +0200juri__(~juri@79.140.121.124) (Ping timeout: 246 seconds)
2023-07-25 20:18:36 +0200juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-07-25 20:24:27 +0200AlexZenon(~alzenon@178.34.162.202)
2023-07-25 20:28:48 +0200ft(~ft@p3e9bc40d.dip0.t-ipconnect.de)
2023-07-25 20:30:22 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-07-25 20:34:47 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-07-25 20:35:43 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-25 20:36:53 +0200pavonia(~user@user/siracusa)
2023-07-25 20:39:00 +0200CrunchyFlakes(~pi4@ip9234cf77.dynamic.kabel-deutschland.de) (Quit: WeeChat 4.0.1)
2023-07-25 20:42:35 +0200gurkenglas(~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2023-07-25 20:47:42 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds)
2023-07-25 20:48:19 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-25 20:50:32 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-25 20:57:28 +0200danse-nr3(~francesco@151.43.92.22) (Ping timeout: 252 seconds)
2023-07-25 20:59:59 +0200bramhaag(~bramhaag@134.195.121.39) (Quit: The Lounge - https://thelounge.chat)
2023-07-25 21:00:40 +0200bramhaag(~bramhaag@134.195.121.39)
2023-07-25 21:00:44 +0200ddellacosta(~ddellacos@146.70.165.154) (Ping timeout: 260 seconds)
2023-07-25 21:01:17 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-07-25 21:01:49 +0200ddellacosta(~ddellacos@146.70.165.154)
2023-07-25 21:05:30 +0200bramhaag(~bramhaag@134.195.121.39) (Client Quit)
2023-07-25 21:05:39 +0200bramhaag(~bramhaag@134.195.121.39)
2023-07-25 21:08:49 +0200bramhaag(~bramhaag@134.195.121.39) (Client Quit)
2023-07-25 21:08:57 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-07-25 21:09:23 +0200bramhaag(~bramhaag@134.195.121.39)
2023-07-25 21:14:07 +0200alexherbo2(~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net)
2023-07-25 21:14:44 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2023-07-25 21:28:40 +0200migas(~migas@astra4961.startdedicated.net) (Remote host closed the connection)
2023-07-25 21:28:56 +0200migas(~migas@astra4961.startdedicated.net)
2023-07-25 21:34:51 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds)
2023-07-25 21:36:16 +0200gurkenglas(~gurkengla@dynamic-046-114-094-140.46.114.pool.telefonica.de)
2023-07-25 21:42:15 +0200_________(~nobody@user/noodly)
2023-07-25 21:42:35 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 264 seconds)
2023-07-25 21:43:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 21:46:14 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-07-25 21:48:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-25 21:48:19 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk)
2023-07-25 21:49:10 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:255a:b8f5:5ab9:11d7) (Remote host closed the connection)
2023-07-25 21:49:22 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl)
2023-07-25 21:54:24 +0200merijn(~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2023-07-25 21:54:38 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-07-25 21:59:44 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-25 22:05:38 +0200junction(~junction@finc-16-b2-v4wan-164434-cust415.vm7.cable.virginm.net)
2023-07-25 22:06:20 +0200simikando(~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving)
2023-07-25 22:07:21 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-25 22:07:34 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-07-25 22:10:14 +0200junction(~junction@finc-16-b2-v4wan-164434-cust415.vm7.cable.virginm.net) (Client Quit)
2023-07-25 22:11:22 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-25 22:12:06 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2023-07-25 22:13:52 +0200Lycurgus(~juan@user/Lycurgus)
2023-07-25 22:15:51 +0200alexherbo2(~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) (Remote host closed the connection)
2023-07-25 22:16:12 +0200alexherbo2(~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net)
2023-07-25 22:18:53 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-07-25 22:19:10 +0200turlando(~turlando@user/turlando) (Ping timeout: 260 seconds)
2023-07-25 22:19:26 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-25 22:22:50 +0200alexherbo2(~alexherbo@2a02-8440-3341-8483-00f5-e7a9-0384-1ff4.rev.sfr.net) (Ping timeout: 246 seconds)
2023-07-25 22:22:59 +0200Qudit(~user@user/Qudit)
2023-07-25 22:23:34 +0200turlando(~turlando@user/turlando)
2023-07-25 22:31:19 +0200infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2023-07-25 22:33:19 +0200npmania(~Thunderbi@45.8.223.228)
2023-07-25 22:33:26 +0200infinity0(~infinity0@pwned.gg)
2023-07-25 22:33:57 +0200 <int-e> ncf: done, also added you as maintainer...
2023-07-25 22:34:39 +0200 <ncf> thanks
2023-07-25 22:35:15 +0200 <int-e> hackage is quite a bit more picky than it was 5 years ago
2023-07-25 22:40:31 +0200turlando(~turlando@user/turlando) ()
2023-07-25 22:40:56 +0200turlando(~turlando@user/turlando)
2023-07-25 22:45:07 +0200Lycurgus(~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
2023-07-25 22:47:39 +0200kimiamania60(~681cf57f@user/kimiamania) (Quit: PegeLinux)
2023-07-25 22:48:24 +0200andydude(~andrewr@151.200.15.152) (Quit: Leaving.)
2023-07-25 22:48:37 +0200kimiamania60(~681cf57f@user/kimiamania)
2023-07-25 22:49:39 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-07-25 22:52:49 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-25 22:53:03 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-25 22:53:34 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection)
2023-07-25 22:53:54 +0200eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2023-07-25 22:55:28 +0200mei(~mei@user/mei)
2023-07-25 22:57:33 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-25 23:05:43 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-25 23:08:31 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-07-25 23:08:55 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-07-25 23:09:55 +0200ub(~Thunderbi@77.119.204.87.wireless.dyn.drei.com)
2023-07-25 23:11:41 +0200ubert(~Thunderbi@77.119.201.170.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2023-07-25 23:11:42 +0200ububert
2023-07-25 23:12:02 +0200andydude(~andrewr@151.200.15.152)
2023-07-25 23:14:44 +0200zmt00(~zmt00@user/zmt00)
2023-07-25 23:14:59 +0200andydude(~andrewr@151.200.15.152) ()
2023-07-25 23:17:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-25 23:21:17 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-25 23:26:27 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds)
2023-07-25 23:27:48 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-07-25 23:27:49 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-07-25 23:29:16 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl)
2023-07-25 23:34:44 +0200merijn(~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2023-07-25 23:35:12 +0200notzmv(~zmv@user/notzmv)
2023-07-25 23:51:55 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-25 23:52:18 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 250 seconds)
2023-07-25 23:53:05 +0200dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)