IRCBrowse

2021/07/24

2021-07-24 00:02:30 +0000cheater(~Username@user/cheater)
2021-07-24 00:02:31 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 00:04:08 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 265 seconds)
2021-07-24 00:11:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 00:12:26 +0000favonia(~favonia@user/favonia)
2021-07-24 00:14:06 +0000hololeap(~hololeap@user/hololeap)
2021-07-24 00:17:41 +0000hololeap_(~hololeap@user/hololeap) (Ping timeout: 244 seconds)
2021-07-24 00:19:39 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com)
2021-07-24 00:22:44 +0000jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 250 seconds)
2021-07-24 00:26:53 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 00:29:05 +0000favonia(~favonia@user/favonia)
2021-07-24 00:30:27 +0000cjb(~cjb@user/cjb)
2021-07-24 00:30:43 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 265 seconds)
2021-07-24 00:36:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-24 00:38:47 +0000norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-24 00:39:19 +0000hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6)
2021-07-24 00:39:37 +0000hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-07-24 00:41:14 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-07-24 00:45:06 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 00:45:30 +0000lbseale(~lbseale@user/ep1ctetus) (Quit: Client closed)
2021-07-24 00:47:31 +0000favonia(~favonia@user/favonia)
2021-07-24 00:47:48 +0000PinealGlandOptic(~PinealGla@37.115.210.35)
2021-07-24 00:51:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 00:52:15 +0000Atum__(~IRC@user/atum/x-2392232)
2021-07-24 00:54:48 +0000Atum_(~IRC@user/atum/x-2392232) (Ping timeout: 268 seconds)
2021-07-24 00:56:23 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-24 00:56:37 +0000zeenk(~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-24 01:00:38 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 01:03:13 +0000favonia(~favonia@user/favonia)
2021-07-24 01:10:42 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 01:11:50 +0000h98(~h98@187.83.249.216.dyn.smithville.net)
2021-07-24 01:13:02 +0000favonia(~favonia@user/favonia)
2021-07-24 01:14:07 +0000jolly(~jolly@208.180.97.158) (Quit: Ping timeout (120 seconds))
2021-07-24 01:18:23 +0000xff0x_(~xff0x@2001:1a81:5383:d200:4cd0:4864:f48c:7375) (Ping timeout: 252 seconds)
2021-07-24 01:20:19 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:b081:9a37:5570:f736)
2021-07-24 01:22:55 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 01:23:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 01:24:09 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-24 01:24:28 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com)
2021-07-24 01:26:31 +0000favonia(~favonia@user/favonia)
2021-07-24 01:29:20 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-07-24 01:33:07 +0000tinwood(~tinwood@canonical/tinwood) (Remote host closed the connection)
2021-07-24 01:33:31 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-07-24 01:34:40 +0000fef(~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-07-24 01:36:13 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-07-24 01:36:13 +0000tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2021-07-24 01:36:13 +0000tinwood(~tinwood@canonical/tinwood)
2021-07-24 01:44:40 +0000Atum__(~IRC@user/atum/x-2392232) (Quit: Atum__)
2021-07-24 01:46:04 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-24 01:46:17 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 01:49:53 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-24 01:54:39 +0000bryce(~user@207.73.178.205)
2021-07-24 01:54:58 +0000 <bryce> hello
2021-07-24 01:55:17 +0000 <bryce> ok, bye
2021-07-24 01:55:19 +0000bryce(~user@207.73.178.205) (Client Quit)
2021-07-24 01:56:24 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:b081:9a37:5570:f736) (Ping timeout: 256 seconds)
2021-07-24 01:57:02 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:88fa:f95e:e91e:5b22)
2021-07-24 01:59:03 +0000 <Axman6> o/
2021-07-24 02:00:07 +0000 <geekosaur> they didn't stick around long
2021-07-24 02:00:28 +0000 <Axman6> places to be, people to see, no haskell to write!
2021-07-24 02:00:36 +0000 <Axman6> time is lambdas man
2021-07-24 02:02:08 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com) (Remote host closed the connection)
2021-07-24 02:02:28 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com)
2021-07-24 02:04:58 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-07-24 02:07:36 +0000td_(~td@muedsl-82-207-238-071.citykom.de) (Ping timeout: 252 seconds)
2021-07-24 02:07:47 +0000 <dsal> time is monads
2021-07-24 02:08:31 +0000 <monochrom> The lambda time cube monad.
2021-07-24 02:09:36 +0000td_(~td@muedsl-82-207-238-101.citykom.de)
2021-07-24 02:09:58 +0000zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-24 02:12:29 +0000 <justsomeguy> Time is just a beta reduction away~
2021-07-24 02:12:38 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 02:14:36 +0000alx741(~alx741@186.178.108.59) (Quit: alx741)
2021-07-24 02:15:27 +0000pesada(~agua@2804:14c:8793:8e2f:8013:a595:bc17:299d)
2021-07-24 02:18:18 +0000agua(~agua@2804:18:44:46ad:1:0:480e:2382) (Ping timeout: 240 seconds)
2021-07-24 02:18:45 +0000agua(~agua@2804:18:44:46ad:1:0:480e:2382)
2021-07-24 02:20:37 +0000favonia(~favonia@user/favonia)
2021-07-24 02:22:36 +0000pesada(~agua@2804:14c:8793:8e2f:8013:a595:bc17:299d) (Ping timeout: 276 seconds)
2021-07-24 02:24:47 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-07-24 02:27:25 +0000 <pavonia> > map round [-0.5, 0.5 .. 6.5]
2021-07-24 02:27:27 +0000 <lambdabot> [0,0,2,2,4,4,6,6]
2021-07-24 02:27:43 +0000 <pavonia> Never noticed that rounding behavior before
2021-07-24 02:27:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 02:28:12 +0000favonia(~favonia@user/favonia)
2021-07-24 02:28:35 +0000gzj(~GZJ0X@199.193.127.138.16clouds.com) (Ping timeout: 265 seconds)
2021-07-24 02:28:35 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection)
2021-07-24 02:28:39 +0000 <monochrom> Please see https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html for why round to even is usually better.
2021-07-24 02:28:41 +0000 <geekosaur> make sure the final point was actually 6.5
2021-07-24 02:28:42 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-24 02:28:56 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 02:29:22 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 02:31:37 +0000FinnElijaGuest349
2021-07-24 02:31:37 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-07-24 02:31:37 +0000Guest349(~finn_elij@user/finn-elija/x-0085643) (Killed (silver.libera.chat (Nickname regained by services)))
2021-07-24 02:31:37 +0000finn_elijaFinnElija
2021-07-24 02:33:30 +0000hegstal(~hegstal@2a02:c7f:7604:8a00:27c5:b36:8a5d:9ea3) (Ping timeout: 240 seconds)
2021-07-24 02:39:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 02:40:18 +0000favonia(~favonia@user/favonia)
2021-07-24 02:40:41 +0000wei2912(~wei2912@112.199.250.21)
2021-07-24 02:43:52 +0000justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-24 02:47:00 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 02:49:13 +0000Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-07-24 02:51:51 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-07-24 02:51:58 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 02:52:41 +0000Codaraxis__(~Codaraxis@141.98.255.143) (Ping timeout: 255 seconds)
2021-07-24 02:54:34 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds)
2021-07-24 02:54:48 +0000zaquest(~notzaques@5.128.210.178)
2021-07-24 03:00:06 +0000theproffesor(~theproffe@user/theproffesor)
2021-07-24 03:01:14 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 03:01:33 +0000favonia(~favonia@user/favonia)
2021-07-24 03:14:44 +0000pesada(~agua@2804:14c:8793:8e2f:8013:a595:bc17:299d)
2021-07-24 03:18:30 +0000agua(~agua@2804:18:44:46ad:1:0:480e:2382) (Ping timeout: 276 seconds)
2021-07-24 03:21:20 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-24 03:22:24 +0000ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 276 seconds)
2021-07-24 03:26:02 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-07-24 03:26:07 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 03:26:10 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-24 03:32:59 +0000bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-24 03:33:11 +0000dajoer(~david@user/gvx)
2021-07-24 03:33:32 +0000motle(~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net)
2021-07-24 03:33:38 +0000ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com)
2021-07-24 03:38:35 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 03:41:26 +0000favonia(~favonia@user/favonia)
2021-07-24 03:44:23 +0000xsperry(~as@user/xsperry) (Ping timeout: 268 seconds)
2021-07-24 03:49:26 +0000favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 03:54:09 +0000favonia(~favonia@user/favonia)
2021-07-24 03:55:58 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 03:56:14 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:88fa:f95e:e91e:5b22) (Ping timeout: 252 seconds)
2021-07-24 03:57:08 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:1d82:f67f:d746:b128)
2021-07-24 04:01:05 +0000jespada(~jespada@90.254.247.46) (Ping timeout: 255 seconds)
2021-07-24 04:02:37 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 245 seconds)
2021-07-24 04:03:23 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 04:03:44 +0000jespada(~jespada@90.254.247.46)
2021-07-24 04:03:48 +0000favonia(~favonia@user/favonia)
2021-07-24 04:12:43 +0000hexfive(~eric@50.35.83.177)
2021-07-24 04:12:46 +0000hexfive(~eric@50.35.83.177) (Client Quit)
2021-07-24 04:24:23 +0000Athas(athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-24 04:24:32 +0000Athas(athas@sigkill.dk)
2021-07-24 04:26:29 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-24 04:27:02 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:1d82:f67f:d746:b128) (Ping timeout: 252 seconds)
2021-07-24 04:27:45 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:fa21:249b:5285:69f8)
2021-07-24 04:28:16 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 04:40:39 +0000javran(~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-07-24 04:45:11 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 04:45:30 +0000favonia(~favonia@user/favonia)
2021-07-24 04:46:16 +0000trufas(~trufas@177.240.218.218) (Ping timeout: 246 seconds)
2021-07-24 04:47:08 +0000trufas(~trufas@177.240.218.218)
2021-07-24 04:52:18 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-24 04:54:00 +0000favonia(~favonia@user/favonia) (Ping timeout: 250 seconds)
2021-07-24 04:55:31 +0000favonia(~favonia@user/favonia)
2021-07-24 04:55:59 +0000cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-24 05:12:11 +0000cjb(~cjb@user/cjb)
2021-07-24 05:12:33 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-07-24 05:15:08 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2021-07-24 05:16:58 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 05:17:32 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 05:18:07 +0000aegon(~mike@174.127.249.180) ()
2021-07-24 05:19:03 +0000favonia(~favonia@user/favonia)
2021-07-24 05:21:54 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-24 05:22:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 05:32:10 +0000jakalx(~jakalx@base.jakalx.net) ()
2021-07-24 05:37:02 +0000h98(~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-24 05:38:13 +0000jakalx(~jakalx@base.jakalx.net)
2021-07-24 05:42:19 +0000awth13(~user@user/awth13) (Remote host closed the connection)
2021-07-24 05:42:37 +0000awth13(~user@user/awth13)
2021-07-24 05:45:06 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 05:45:30 +0000favonia(~favonia@user/favonia)
2021-07-24 05:46:32 +0000jay_invariant(~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-07-24 05:47:28 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 05:51:38 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds)
2021-07-24 05:56:18 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-24 06:05:15 +0000norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection)
2021-07-24 06:05:38 +0000norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-24 06:08:55 +0000motle(~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net) (Quit: Client closed)
2021-07-24 06:09:06 +0000rsonx(~rsonx@user/rsonx)
2021-07-24 06:09:15 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-24 06:09:18 +0000 <rsonx> hello, I need help with Ullman's compiler book exercise problem.
2021-07-24 06:09:29 +0000 <rsonx> It is an excercise problem 8.5.6 where we have to contruct a DAG for the basic block. I have constructed one but not sure if it is right.
2021-07-24 06:13:10 +0000foomanchu(~foomanchu@2600:1007:b128:4f18:84a:e7b:4da9:2c88)
2021-07-24 06:13:28 +0000 <dsal> @where paste
2021-07-24 06:13:29 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-07-24 06:13:50 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-24 06:15:41 +0000 <rsonx> https://i.imgur.com/3KFOROg.png here it is
2021-07-24 06:16:14 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-07-24 06:16:42 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2021-07-24 06:17:27 +0000Lord_of_Life_Lord_of_Life
2021-07-24 06:20:05 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com)
2021-07-24 06:20:38 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2021-07-24 06:29:42 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-07-24 06:31:18 +0000ubert1(~Thunderbi@91.141.43.23.wireless.dyn.drei.com)
2021-07-24 06:32:55 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 06:34:35 +0000norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving)
2021-07-24 06:35:09 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-07-24 06:35:22 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds)
2021-07-24 06:36:20 +0000ubert1(~Thunderbi@91.141.43.23.wireless.dyn.drei.com) (Ping timeout: 255 seconds)
2021-07-24 06:37:26 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2021-07-24 06:40:50 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-24 06:41:21 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com)
2021-07-24 06:42:49 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com) (Client Quit)
2021-07-24 06:43:02 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com)
2021-07-24 06:44:50 +0000Codaraxis(~Codaraxis@user/codaraxis)
2021-07-24 06:46:05 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 06:47:14 +0000platz(~platz@40.122.118.113) (Ping timeout: 265 seconds)
2021-07-24 06:47:23 +0000aerona(~aerona@2600:6c54:4600:f300:8c49:c590:8f74:ccf2) (Quit: Leaving)
2021-07-24 06:47:40 +0000ubert(~Thunderbi@91.141.43.23.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-07-24 06:48:23 +0000Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds)
2021-07-24 06:50:35 +0000 <sm> @where books
2021-07-24 06:50:35 +0000 <lambdabot> See `LYAH',`RWH',`YAHT',`SOE',`HR',`PIH', `TFwH', `wikibook',`PCPH',`HPFFP',`HTAC',`TwT',`FoP',`PFAD',`WYAH',`non-haskell-books'
2021-07-24 06:51:51 +0000 <sm> @where+ books https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books
2021-07-24 06:51:52 +0000 <lambdabot> It is stored.
2021-07-24 06:52:48 +0000platz(~platz@40.122.118.113)
2021-07-24 06:52:48 +0000platz(~platz@40.122.118.113) (Changing host)
2021-07-24 06:52:48 +0000platz(~platz@user/platz)
2021-07-24 06:58:12 +0000fendor(~fendor@77.119.199.107.wireless.dyn.drei.com)
2021-07-24 07:04:17 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-24 07:05:36 +0000HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-07-24 07:10:33 +0000dragestil_(~quassel@user/dragestil) (Remote host closed the connection)
2021-07-24 07:11:50 +0000dragestil_(~quassel@user/dragestil)
2021-07-24 07:11:56 +0000tomek-grzesiak(~tomek@109.206.213.203)
2021-07-24 07:12:44 +0000tomek-grzesiak(~tomek@109.206.213.203) (Client Quit)
2021-07-24 07:18:44 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-24 07:19:44 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 07:23:00 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-07-24 07:25:27 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 07:25:53 +0000Guest45(~Guest45@86.106.121.163)
2021-07-24 07:28:22 +0000Guest45(~Guest45@86.106.121.163) (Client Quit)
2021-07-24 07:28:59 +0000rsonx(~rsonx@user/rsonx) (part)
2021-07-24 07:29:14 +0000cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-24 07:34:46 +0000fef(~thedawn@user/thedawn)
2021-07-24 07:38:57 +0000foomanchu(~foomanchu@2600:1007:b128:4f18:84a:e7b:4da9:2c88) (Quit: Client closed)
2021-07-24 07:45:54 +0000Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 258 seconds)
2021-07-24 07:49:06 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:fa21:249b:5285:69f8) (Ping timeout: 240 seconds)
2021-07-24 07:50:09 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:1ab1:98e1:ef10:d837)
2021-07-24 07:53:14 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 08:02:11 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-24 08:02:32 +0000Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-24 08:06:46 +0000Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-07-24 08:06:46 +0000hendursa1(~weechat@user/hendursaga)
2021-07-24 08:07:12 +0000acidjnk(~acidjnk@p200300d0c72b9578b0632702c8b77fa8.dip0.t-ipconnect.de)
2021-07-24 08:07:55 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-24 08:07:55 +0000turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-24 08:07:55 +0000turlando(~turlando@user/turlando)
2021-07-24 08:08:05 +0000Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-07-24 08:09:24 +0000hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-24 08:11:00 +0000Erutuon(~Erutuon@user/erutuon)
2021-07-24 08:17:48 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-24 08:17:48 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-07-24 08:17:51 +0000allbery_bgeekosaur
2021-07-24 08:19:08 +0000xsperry(~as@user/xsperry)
2021-07-24 08:23:18 +0000mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-07-24 08:23:30 +0000tzh_(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-07-24 08:27:12 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-07-24 08:29:17 +0000mei(~mei@user/mei) (Read error: Connection reset by peer)
2021-07-24 08:29:57 +0000mei(~mei@user/mei)
2021-07-24 08:30:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 08:30:33 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-24 08:31:40 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-24 08:32:04 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 08:32:38 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 08:33:10 +0000fef(~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-07-24 08:33:34 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2021-07-24 08:34:50 +0000_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-07-24 08:37:26 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-07-24 08:39:31 +0000zeenk(~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38)
2021-07-24 08:44:45 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2021-07-24 08:47:27 +0000anandprabhu(~anandprab@94.202.243.198)
2021-07-24 08:49:57 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-24 08:50:35 +0000dhil(~dhil@195.213.192.47)
2021-07-24 08:52:19 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 08:54:23 +0000ThunkRock(~behemoth@110.54.186.10)
2021-07-24 08:55:10 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-24 08:55:48 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 08:56:02 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 09:02:25 +0000hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-24 09:03:22 +0000ThunkRock(~behemoth@110.54.186.10) (Ping timeout: 240 seconds)
2021-07-24 09:05:23 +0000ThunkRock(~behemoth@210.185.171.10)
2021-07-24 09:06:12 +0000jumper149(~jumper149@80.240.31.34)
2021-07-24 09:06:53 +0000mc47(~mc47@xmonad/TheMC47)
2021-07-24 09:11:55 +0000Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-24 09:12:56 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 09:13:02 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-24 09:13:50 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-24 09:17:24 +0000kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-07-24 09:18:03 +0000kmein(~weechat@user/kmein)
2021-07-24 09:23:33 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-24 09:29:02 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-24 09:29:54 +0000acidjnk(~acidjnk@p200300d0c72b9578b0632702c8b77fa8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-07-24 09:39:48 +0000peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-07-24 09:43:22 +0000zeenk(~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!)
2021-07-24 09:43:23 +0000shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-07-24 09:49:48 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:1ab1:98e1:ef10:d837) (Ping timeout: 272 seconds)
2021-07-24 09:50:14 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:dd40:8cef:a8e6:16a8)
2021-07-24 09:50:56 +0000shredder(~user@user/shredder) (Quit: quitting)
2021-07-24 09:51:45 +0000shredder(~user@user/shredder)
2021-07-24 09:56:13 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-24 09:58:55 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-24 09:59:09 +0000hololeap(~hololeap@user/hololeap) (Quit: Bye)
2021-07-24 10:04:53 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 10:09:15 +0000jushur(~human@user/jushur)
2021-07-24 10:10:11 +0000hegstal(~hegstal@2a02:c7f:7604:8a00:df8e:d579:d268:b9c7)
2021-07-24 10:10:26 +0000shredder(~user@user/shredder) (Quit: quitting)
2021-07-24 10:11:32 +0000Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-07-24 10:14:25 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 10:15:34 +0000xsperry(~as@user/xsperry) (Remote host closed the connection)
2021-07-24 10:17:17 +0000berberman_(~berberman@user/berberman) (Ping timeout: 255 seconds)
2021-07-24 10:17:45 +0000berberman(~berberman@user/berberman)
2021-07-24 10:19:05 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-24 10:20:30 +0000terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection)
2021-07-24 10:21:26 +0000terrorjack(~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com)
2021-07-24 10:22:32 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-07-24 10:30:46 +0000jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed)
2021-07-24 10:32:48 +0000Deide(~Deide@217.155.19.23)
2021-07-24 10:32:48 +0000Deide(~Deide@217.155.19.23) (Changing host)
2021-07-24 10:32:48 +0000Deide(~Deide@user/deide)
2021-07-24 10:33:56 +0000jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net)
2021-07-24 10:34:00 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-24 10:36:19 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-24 10:40:34 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-07-24 10:43:19 +0000anandprabhu(~anandprab@94.202.243.198) (Quit: Konversation terminated!)
2021-07-24 10:57:32 +0000ThunkRock(~behemoth@210.185.171.10) (Quit: WeeChat 1.9.1)
2021-07-24 10:59:07 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-24 10:59:29 +0000xsperry(~as@user/xsperry)
2021-07-24 11:12:37 +0000xsperry(~as@user/xsperry) ()
2021-07-24 11:13:40 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-24 11:15:53 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 11:18:42 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-07-24 11:20:14 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-07-24 11:22:47 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 11:24:38 +0000xsperry(~as@user/xsperry)
2021-07-24 11:25:56 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-24 11:29:44 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds)
2021-07-24 11:29:58 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 268 seconds)
2021-07-24 11:30:31 +0000StayHungry(~StayHungr@gateway/tor-sasl/stayhungry)
2021-07-24 11:30:38 +0000 <StayHungry> Afternoon, comrades.
2021-07-24 11:31:58 +0000 <StayHungry> I'm comparing syntax of various languages which oneliners could be executed from command line to solve simple tasks like swapping dates (23-07-2021 -> 2021-07-23). So far I tried Awk, Lua, Javascript, Perl, Powershell, Python, and R. Results are https://dpaste.org/ekqf/slim
2021-07-24 11:32:14 +0000 <StayHungry> Do you think Haskell has something to add to that list, or not?
2021-07-24 11:32:29 +0000Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-07-24 11:34:15 +0000favonia(~favonia@user/favonia)
2021-07-24 11:34:42 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds)
2021-07-24 11:40:32 +0000DigitalKiwiattempts to suppress urge to correct "Lua not LUA"
2021-07-24 11:40:32 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-24 11:41:24 +0000 <StayHungry> yeah, the most limited one so far. had to use capture groups to solve the task :)
2021-07-24 11:41:53 +0000 <StayHungry> whereas others let either split/reverse/join array way or even exotic way of date parsing
2021-07-24 11:43:02 +0000 <StayHungry> it seems Haskell is a bit overkill here, someone on ##programming was just kidding when sent me here
2021-07-24 11:44:21 +0000ph88(~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6)
2021-07-24 11:45:42 +0000MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-24 11:47:07 +0000 <DigitalKiwi> how well do you know lua
2021-07-24 11:49:05 +0000ph88(~ph88@2a02:8109:9e00:7e5c:8db8:987d:36eb:f1a6) (Ping timeout: 255 seconds)
2021-07-24 11:49:07 +0000 <DigitalKiwi> https://www.lua.org/manual/5.4/manual.html#6.4.1 can do a lot better than ............
2021-07-24 11:49:38 +0000 <dexterfoo> is there something like Data.Sequence but where all the values are always strict?
2021-07-24 11:50:59 +0000 <DigitalKiwi> https://www.lua.org/manual/5.4/manual.html#pdf-string.gsub these examples probably get most of the way there lol
2021-07-24 11:51:47 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 255 seconds)
2021-07-24 11:52:42 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 11:52:42 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-24 11:52:54 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 11:55:21 +0000xkuru(~xkuru@user/xkuru)
2021-07-24 11:56:24 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 11:58:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-24 11:59:22 +0000__monty__(~toonn@user/toonn)
2021-07-24 12:07:49 +0000yauhsien(~yauhsien@61-231-40-230.dynamic-ip.hinet.net)
2021-07-24 12:09:53 +0000StayHungry(~StayHungr@gateway/tor-sasl/stayhungry) (-)
2021-07-24 12:16:31 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 12:22:35 +0000StayHungry(~StayHungr@gateway/tor-sasl/stayhungry)
2021-07-24 12:22:48 +0000 <StayHungry> DigitalKiwi: i studied your links
2021-07-24 12:23:13 +0000 <StayHungry> it seems you were against (..)(....)(....), right?
2021-07-24 12:23:22 +0000 <StayHungry> so i replaced it with print(('23-07-2021'):gsub('(%d*)-(%d*)-(%d*)','%3-%2-%1'),'')
2021-07-24 12:25:44 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-24 12:25:45 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-07-24 12:25:48 +0000allbery_bgeekosaur
2021-07-24 12:46:00 +0000enoq(~enoq@194-208-179-35.lampert.tv)
2021-07-24 12:52:18 +0000 <arkanoid> when I do "stack build" where do my executable/library ends up? ~/.stack seems not containing them
2021-07-24 12:53:26 +0000benin03693(~benin@183.82.205.33) (Quit: Ping timeout (120 seconds))
2021-07-24 12:53:44 +0000benin03693(~benin@183.82.205.33)
2021-07-24 12:55:04 +0000 <arkanoid> neverming, I've fount artifacts in .stack-work
2021-07-24 12:56:23 +0000agua(~agua@2804:18:4d:af57:1:0:4dec:eb61)
2021-07-24 12:59:17 +0000favonia(~favonia@user/favonia) (Ping timeout: 245 seconds)
2021-07-24 12:59:24 +0000pesada(~agua@2804:14c:8793:8e2f:8013:a595:bc17:299d) (Ping timeout: 256 seconds)
2021-07-24 13:01:08 +0000alx741(~alx741@186.178.108.59)
2021-07-24 13:01:19 +0000StayHungry(~StayHungr@gateway/tor-sasl/stayhungry) (-)
2021-07-24 13:01:59 +0000 <DigitalKiwi> StayHungry: yeah and i think it can be done with the `split and reverse` method too it's just the function to do the split isn't called split lol
2021-07-24 13:02:16 +0000 <DigitalKiwi> oh no
2021-07-24 13:06:56 +0000Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 255 seconds)
2021-07-24 13:07:46 +0000Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-24 13:09:33 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 13:10:12 +0000Topsi(~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de)
2021-07-24 13:14:16 +0000fjmorazan(~quassel@user/fjmorazan) (Quit: fjmorazan)
2021-07-24 13:14:56 +0000fjmorazan(~quassel@user/fjmorazan)
2021-07-24 13:20:30 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-24 13:22:28 +0000favonia(~favonia@user/favonia)
2021-07-24 13:23:33 +0000turlando(~turlando@user/turlando) (Remote host closed the connection)
2021-07-24 13:23:39 +0000mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 13:24:06 +0000turlando(~turlando@user/turlando)
2021-07-24 13:24:27 +0000turlando(~turlando@user/turlando) (Client Quit)
2021-07-24 13:25:20 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 250 seconds)
2021-07-24 13:33:53 +0000Topsi(~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de) (Quit: Leaving.)
2021-07-24 13:35:54 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 13:38:26 +0000favonia(~favonia@user/favonia)
2021-07-24 13:38:33 +0000wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-24 13:40:19 +0000hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-07-24 13:40:48 +0000hendursaga(~weechat@user/hendursaga)
2021-07-24 13:53:34 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 13:54:50 +0000raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-24 13:57:30 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-07-24 13:59:01 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-24 14:01:09 +0000nick8325(~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d)
2021-07-24 14:02:50 +0000zebrag(~chris@user/zebrag)
2021-07-24 14:05:06 +0000hegstal(~hegstal@2a02:c7f:7604:8a00:df8e:d579:d268:b9c7) (Ping timeout: 240 seconds)
2021-07-24 14:10:36 +0000spiunx(~spiun@2a01:4b00:86a9:fb00:adc0:97d9:20d8:cafd)
2021-07-24 14:12:43 +0000jmorris(uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-24 14:16:53 +0000niHiggim(~niHiggim@2600:1700:3d41:8600::f)
2021-07-24 14:17:48 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 14:18:33 +0000niHiggim(~niHiggim@2600:1700:3d41:8600::f) (Client Quit)
2021-07-24 14:19:24 +0000Ananta-shesha(~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT)
2021-07-24 14:20:36 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 265 seconds)
2021-07-24 14:22:12 +0000niHiggim(~stephen@2600:1700:3d41:8600::f)
2021-07-24 14:22:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-24 14:23:54 +0000yauhsien(~yauhsien@61-231-40-230.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-24 14:25:05 +0000enoq(~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-24 14:27:38 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds)
2021-07-24 14:27:44 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-24 14:37:03 +0000pesada(~agua@191.177.175.57)
2021-07-24 14:40:18 +0000agua(~agua@2804:18:4d:af57:1:0:4dec:eb61) (Ping timeout: 250 seconds)
2021-07-24 14:41:14 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-07-24 14:43:35 +0000 <zzz> any reason why filter is not :: Foldable f => (a -> Bool) -> f a -> f a ?
2021-07-24 14:44:05 +0000 <bin_> Can anyone recommend a function that given an integer n, returns the last n elements of a list?
2021-07-24 14:44:39 +0000 <zzz> bin_: wait
2021-07-24 14:44:56 +0000favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 14:45:15 +0000favonia(~favonia@user/favonia)
2021-07-24 14:45:37 +0000 <[exa]> bin_: `take n . reverse` ?
2021-07-24 14:46:17 +0000 <zzz> bin_: https://paste.jrvieira.com/1627137960047
2021-07-24 14:46:57 +0000 <zzz> ^this is more efficient
2021-07-24 14:47:16 +0000 <[exa]> yeah that one is probably best choice :]
2021-07-24 14:47:51 +0000 <DigitalKiwi> what happens on an infinite list
2021-07-24 14:47:57 +0000henrylaxen(~henrylaxe@199.58.86.204)
2021-07-24 14:49:07 +0000 <geekosaur> zzz, Foldable can flatten a type into a list, but not reconstruct that type from the resulting list. And may lose structure if optimized into operating on the type itself (consider what happens if a tree node is filtered out but the subtreees aren't)
2021-07-24 14:49:33 +0000 <bin_> What should I name such a function that makes sense?
2021-07-24 14:50:00 +0000 <zzz> takeLast or lastN
2021-07-24 14:50:08 +0000 <bin_> Thanks.
2021-07-24 14:51:56 +0000 <zzz> DigitalKiwi: i'm a bottom guy
2021-07-24 14:52:19 +0000 <zzz> i'm not afraid of a good bottom
2021-07-24 14:52:44 +0000 <zzz> in this case i don't see a sane alternative
2021-07-24 14:53:09 +0000awth13(~user@user/awth13) (Read error: Connection reset by peer)
2021-07-24 14:53:16 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 14:53:27 +0000 <zzz> geekosaur: yup that makes sense
2021-07-24 14:55:19 +0000hiruji(~hiruji@user/hiruji)
2021-07-24 14:55:22 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-07-24 14:55:33 +0000hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Read error: Connection reset by peer)
2021-07-24 14:55:40 +0000yauhsien(~yauhsien@61-231-40-230.dynamic-ip.hinet.net)
2021-07-24 14:56:03 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 14:56:32 +0000HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-24 14:56:43 +0000 <zzz> we need a NonEmpty-like NonInfinite. is it possible to have some kind of type level guarantee for finite lists without solving the halting problem?
2021-07-24 14:56:54 +0000Guest11(~Guest11@2600:8806:3400:21ee:65e8:355:ef2e:efb0)
2021-07-24 14:57:29 +0000 <geekosaur> type-level sized lists?
2021-07-24 14:57:50 +0000 <zzz> well... ok
2021-07-24 14:58:31 +0000 <zzz> non infinite arbitrarily sized lists
2021-07-24 14:58:41 +0000 <zzz> ok forget it
2021-07-24 14:58:42 +0000favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-24 14:58:55 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-24 15:01:22 +0000favonia(~favonia@user/favonia)
2021-07-24 15:03:14 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-24 15:03:43 +0000Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-24 15:04:43 +0000Guest11(~Guest11@2600:8806:3400:21ee:65e8:355:ef2e:efb0) (Ping timeout: 246 seconds)
2021-07-24 15:06:03 +0000tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-07-24 15:11:10 +0000dunkeln(~dunkeln@94.129.69.87)
2021-07-24 15:11:26 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 15:14:28 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-24 15:17:38 +0000peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-07-24 15:18:43 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 15:19:44 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 15:21:03 +0000Topsi(~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de)
2021-07-24 15:21:27 +0000yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-07-24 15:25:46 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds)
2021-07-24 15:32:13 +0000 <dsal> `oneSec = 10000000 -- milliseconds` -- Haskell in Depth, demonstrating something Haskell got surprisingly wrong.
2021-07-24 15:33:24 +0000 <zzz> dsal: what's that?
2021-07-24 15:33:27 +0000 <Clint> wut
2021-07-24 15:34:35 +0000 <tomsmeding> that's 10 seconds
2021-07-24 15:34:56 +0000 <dsal> I put too many zeros in on my phone. Heh
2021-07-24 15:35:13 +0000 <tomsmeding> I've wanted 1'000 or 1_000 multiple times already
2021-07-24 15:35:26 +0000 <tomsmeding> and binary literals :p
2021-07-24 15:35:49 +0000yauhsien(~yauhsien@61-231-40-230.dynamic-ip.hinet.net) (Quit: Leaving...)
2021-07-24 15:35:55 +0000 <dsal> But the thing there Haskell uses microsecond int for time and people make helpers for conversions and then label them wrong is more than one bug
2021-07-24 15:37:18 +0000 <dsal> Isn't there a language extension for underscore?
2021-07-24 15:37:19 +0000 <tomsmeding> the 'time' package has DiffTime though
2021-07-24 15:37:53 +0000 <tomsmeding> oh apparently there is, NumericUnderscores
2021-07-24 15:38:20 +0000 <tomsmeding> cool stuff
2021-07-24 15:38:30 +0000 <dsal> This code is demonstrating `threadDelay` which should probably just not be used directly.
2021-07-24 15:39:23 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-07-24 15:40:46 +0000azeem(~azeem@176.201.2.247)
2021-07-24 15:40:51 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-24 15:42:08 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 15:44:45 +0000mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-24 15:45:44 +0000dunkeln(~dunkeln@94.129.69.87) (Ping timeout: 272 seconds)
2021-07-24 15:47:09 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 15:53:12 +0000zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-07-24 15:54:45 +0000azeem(~azeem@176.201.2.247) (Read error: Connection reset by peer)
2021-07-24 15:55:24 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it)
2021-07-24 15:57:05 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 16:00:09 +0000henrylaxen(~henrylaxe@199.58.86.204) (Quit: Client closed)
2021-07-24 16:01:56 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 258 seconds)
2021-07-24 16:03:50 +0000azeem(~azeem@176.201.2.247)
2021-07-24 16:04:57 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-24 16:05:13 +0000zebrag(~chris@user/zebrag)
2021-07-24 16:05:16 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2021-07-24 16:05:40 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-24 16:07:17 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-07-24 16:07:52 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-24 16:09:13 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-24 16:13:08 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 16:13:21 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-24 16:14:20 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 252 seconds)
2021-07-24 16:18:32 +0000darius-os_(uid508861@id-508861.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-24 16:19:13 +0000econo(uid147250@user/econo)
2021-07-24 16:19:33 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 16:23:20 +0000azeem(~azeem@176.201.2.247) (Read error: Connection reset by peer)
2021-07-24 16:23:42 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it)
2021-07-24 16:23:50 +0000eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 16:23:52 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2021-07-24 16:24:12 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 16:25:09 +0000hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-07-24 16:26:01 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 16:29:54 +0000eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-24 16:39:54 +0000mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 16:40:10 +0000drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Read error: Connection reset by peer)
2021-07-24 16:40:22 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 16:46:52 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 16:46:59 +0000mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds)
2021-07-24 16:48:12 +0000mrus(~mrus@149.28.61.155)
2021-07-24 16:52:07 +0000Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-24 16:54:05 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-24 16:56:07 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-24 16:56:07 +0000Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-24 16:57:23 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 16:58:32 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-24 17:00:03 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-24 17:01:07 +0000burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-07-24 17:02:07 +0000waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-24 17:04:29 +0000intEgr8(~1ntEgr8@2601:c8:c000:3090:ad38:e62b:c9be:755d)
2021-07-24 17:05:16 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-24 17:07:41 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 17:08:32 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2021-07-24 17:14:51 +0000intEgr8(~1ntEgr8@2601:c8:c000:3090:ad38:e62b:c9be:755d) (Quit: WeeChat 3.1)
2021-07-24 17:19:50 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 17:23:29 +0000jco(~jco@213-64-226-9-no542.tbcn.telia.com)
2021-07-24 17:25:10 +0000jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-07-24 17:26:17 +0000favonia(~favonia@user/favonia)
2021-07-24 17:32:38 +0000Topsi(~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de) (Quit: Leaving.)
2021-07-24 17:33:41 +0000Topsi(~Tobias@dyndsl-091-249-083-202.ewe-ip-backbone.de)
2021-07-24 17:35:52 +0000alx741(~alx741@186.178.108.59) (Ping timeout: 265 seconds)
2021-07-24 17:36:33 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-07-24 17:36:43 +0000Atum_(~IRC@user/atum/x-2392232)
2021-07-24 17:38:44 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 268 seconds)
2021-07-24 17:41:55 +0000enoq(~enoq@194-208-179-35.lampert.tv)
2021-07-24 17:48:57 +0000alx741(~alx741@186.178.108.59)
2021-07-24 17:49:24 +0000benin03693(~benin@183.82.205.33) (Ping timeout: 265 seconds)
2021-07-24 17:50:49 +0000 <Gurkenglas> in my head, version numbers X.Y.Z should increment Z for "old code does the same", Y for "theoretically you could write a String->String that turns old code into code that does the same" and X for "breaks backwards compatibility". Is the Y-X distinction done or demanded anywhere?
2021-07-24 17:51:10 +0000 <Gurkenglas> (and ideally is there an ecosystem that supports such patchers?)
2021-07-24 17:51:14 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-07-24 17:51:58 +0000 <geekosaur> go, or so I've heard
2021-07-24 17:53:02 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds)
2021-07-24 17:53:30 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds)
2021-07-24 17:56:11 +0000Sgeo(~Sgeo@user/sgeo)
2021-07-24 17:57:24 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 17:58:02 +0000 <Ariakenom> think i've heard that clojure does something like that
2021-07-24 17:59:18 +0000 <Ariakenom> your Y is too broad
2021-07-24 18:01:20 +0000 <Ariakenom> hm. i don't understand what distinction your after
2021-07-24 18:01:22 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 245 seconds)
2021-07-24 18:01:30 +0000 <oso> i've always heard it as [Major Version, Potentially Breaking].[Minor version, non-breaking].[Incremental, bug fix or security update].[pre-release versioning]
2021-07-24 18:02:10 +0000 <Gurkenglas> geekosaur, go seems to have my XY in their X and my Z in their YZ
2021-07-24 18:02:57 +0000 <Ariakenom> "old code does the same" is true for y and x afaik
2021-07-24 18:03:38 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-24 18:04:03 +0000 <Gurkenglas> Ariakenom, https://research.swtch.com/impver.png
2021-07-24 18:04:43 +0000img(~img@user/img)
2021-07-24 18:04:43 +0000 <Ariakenom> or do you mean lib code. i thought you meant user code
2021-07-24 18:04:45 +0000 <Gurkenglas> Ariakenom, if a library changes "foo(value,parameter)" to "foo(parameter,value)" that should increment gurk-Y, and come with a patcher that will swap argument order in any code that depends on foo
2021-07-24 18:06:04 +0000img(~img@user/img) (Client Quit)
2021-07-24 18:06:21 +0000 <Ariakenom> so you exclude minor things from backwards compat. String->String is pretty broad though
2021-07-24 18:06:28 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving)
2021-07-24 18:06:43 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-24 18:07:27 +0000img(~img@user/img)
2021-07-24 18:07:47 +0000 <Gurkenglas> @tell Ariakenom what do you mean, exclude minor things from backwards compat? Is the "minor" related to the "minor version" in go-Y?
2021-07-24 18:07:47 +0000 <lambdabot> Consider it noted.
2021-07-24 18:08:51 +0000 <Ariakenom> not related. I meant changing the parameter order breaks backwards compatability and so is a X change
2021-07-24 18:10:00 +0000 <Gurkenglas> ah. you could say it bends backwards compatibility :)
2021-07-24 18:10:07 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 18:10:30 +0000favonia(~favonia@user/favonia) (Ping timeout: 256 seconds)
2021-07-24 18:11:40 +0000dajoer(~david@user/gvx) (Quit: leaving)
2021-07-24 18:11:43 +0000 <Ariakenom> (i messed up x and z above I meant: "old code does the same" is true for y and z)
2021-07-24 18:12:58 +0000favonia(~favonia@user/favonia)
2021-07-24 18:13:48 +0000 <Gurkenglas> What's wrong with String->String, or equivalently (the language should provide the equivalence) AST->AST?
2021-07-24 18:14:41 +0000 <Ariakenom> by broad I meant that it includes a lot of changes. like inlining the entire lib defeinitions, to be extreme
2021-07-24 18:15:57 +0000 <Gurkenglas> inlining the entire lib, huh. i suppose you can technically change anything without incrementing X
2021-07-24 18:16:14 +0000h98(~h98@187.83.249.216.dyn.smithville.net)
2021-07-24 18:17:55 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 18:18:26 +0000jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 256 seconds)
2021-07-24 18:20:08 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-24 18:21:29 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-07-24 18:21:35 +0000pera(~pera@user/pera)
2021-07-24 18:22:17 +0000 <Ariakenom> strict backwards compatibility, no bending, is standard though? otherwise it's useless for dependency management
2021-07-24 18:22:37 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-24 18:23:26 +0000 <Ariakenom> also note that PVP with 4 numbers is common in haskell. instead of semantic versioning with 3. in PVP the first 2 might match your definition better
2021-07-24 18:23:37 +0000 <Gurkenglas> how so? resolve the dependency tree paying only attention to X, then bring forward any code that needs such
2021-07-24 18:23:48 +0000 <Gurkenglas> @useless
2021-07-24 18:23:48 +0000 <lambdabot> Unknown command, try @list
2021-07-24 18:24:04 +0000ArgoLargo(~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc)
2021-07-24 18:24:10 +0000 <ArgoLargo> exit
2021-07-24 18:24:16 +0000 <ArgoLargo> Xd
2021-07-24 18:24:19 +0000 <ArgoLargo> Hi
2021-07-24 18:24:22 +0000 <ArgoLargo> i am new
2021-07-24 18:24:24 +0000ArgoLargo(~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) (ERC (IRC client for Emacs 27.2))
2021-07-24 18:25:09 +0000 <Gurkenglas> Hi, are you hear for advice on learning Haskell?
2021-07-24 18:25:12 +0000 <Gurkenglas> *here
2021-07-24 18:25:13 +0000 <Ariakenom> oh PVP has 3 or more numbers
2021-07-24 18:25:33 +0000 <Gurkenglas> welp, he left fast
2021-07-24 18:25:42 +0000 <Ariakenom> I want to resolve the dependencies and not change my code D:
2021-07-24 18:26:03 +0000 <Gurkenglas> you don't need to see the changed code if you don't want to, it can be just another internal compilation step
2021-07-24 18:26:53 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-24 18:27:11 +0000Hanicef(~hanicef@78-71-43-30-no260.tbcn.telia.com)
2021-07-24 18:28:40 +0000 <Gurkenglas> Ariakenom, re inlining the entire lib: suppose the library replaces bar(a,b,c,d) with bar(b,a,d,c) by switching a&b then c&d or c&d then a&b. I can write two syntax transformations to user-level code that can be applied in either order (and the order doesn't even change the result syntactically). Can you do a similarly degenerate thing as inlining the lib here? (the syntax equality is optional)
2021-07-24 18:28:45 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds)
2021-07-24 18:29:41 +0000 <Gurkenglas> oh wait you can still just inling the lib on the first change, the second change can just be ignored...
2021-07-24 18:29:50 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-24 18:30:43 +0000 <Gurkenglas> i suppose in order to rule out degeneracy, i need to allow lib changes/syntax transformations that change behavior
2021-07-24 18:33:02 +0000raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-07-24 18:33:13 +0000ArgoLargo(~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc)
2021-07-24 18:33:15 +0000 <ArgoLargo> Hii
2021-07-24 18:33:20 +0000 <Ariakenom> semver: major.minor.patch pvp: major.major.feature[.patch]*
2021-07-24 18:33:35 +0000 <Ariakenom> eh feature=minor
2021-07-24 18:33:36 +0000 <Gurkenglas> ArgoLargo, are you here for advice on learning haskell?
2021-07-24 18:34:40 +0000 <Gurkenglas> Ariakenom, I suppose in order to not run into really bad dependency issues I should use a different character in place of . for my versioning policy :3
2021-07-24 18:35:31 +0000 <ArgoLargo> Sorry, I am just learning how to use irc.
2021-07-24 18:35:46 +0000 <Gurkenglas> Ah. How'd you pick #haskell?
2021-07-24 18:36:07 +0000 <maerwald> Ariakenom: eh, semver is much more complex
2021-07-24 18:36:30 +0000 <maerwald> and much better
2021-07-24 18:37:13 +0000 <maerwald> the fact that pvp lacks alpha/beta/rc etc has lead to odd versioning in e.g. GHC for pre-releases
2021-07-24 18:37:22 +0000 <ArgoLargo> I'm using the client "ERC" , I just typed, /join #haskell
2021-07-24 18:37:48 +0000 <Gurkenglas> right, i mean, how'd you know to type #haskell rather than another channel time - how'd you find it?
2021-07-24 18:37:54 +0000 <Gurkenglas> *channel name
2021-07-24 18:38:52 +0000 <ArgoLargo> i write /list
2021-07-24 18:38:57 +0000 <Ariakenom> maerwald: sure. I wanted to point out the difference in numbers since that could be confusing
2021-07-24 18:39:16 +0000favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 18:39:24 +0000fendor(~fendor@77.119.199.107.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-24 18:40:22 +0000ArgoLargo(~user@2001:1388:70c4:9ecd:1ac0:4dff:fe31:6dbc) (ERC (IRC client for Emacs 27.2))
2021-07-24 18:40:25 +0000favonia(~favonia@user/favonia)
2021-07-24 18:40:59 +0000 <Gurkenglas> Ah. Well, if you'd like to try a programming language for math nerds, visit tryhaskell.org
2021-07-24 18:41:11 +0000 <geekosaur> they're gone again
2021-07-24 18:42:36 +0000 <Gurkenglas> Is there literature on the category of ASTs? (as opposed to Hask)
2021-07-24 18:43:23 +0000degraafk_degraafk
2021-07-24 18:43:37 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-24 18:48:02 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-07-24 18:48:38 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 18:52:37 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com)
2021-07-24 18:53:06 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com) (Client Quit)
2021-07-24 18:53:23 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com)
2021-07-24 18:53:27 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-07-24 18:54:19 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-24 18:54:20 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 18:54:50 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 18:56:07 +0000henry(~user@177.239.37.243)
2021-07-24 18:56:34 +0000favonia(~favonia@user/favonia)
2021-07-24 18:58:35 +0000alx741(~alx741@186.178.108.59) (Quit: alx741)
2021-07-24 19:00:06 +0000alx741(~alx741@186.178.108.59)
2021-07-24 19:03:24 +0000Hanicef(~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving)
2021-07-24 19:04:13 +0000dunkeln(~dunkeln@94.129.69.87)
2021-07-24 19:06:51 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds)
2021-07-24 19:08:52 +0000favonia(~favonia@user/favonia) (Ping timeout: 245 seconds)
2021-07-24 19:09:36 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-24 19:10:23 +0000favonia(~favonia@user/favonia)
2021-07-24 19:17:59 +0000enoq(~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-24 19:19:25 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 19:21:55 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 19:22:30 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 19:22:59 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 19:23:29 +0000derelict(~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-07-24 19:23:34 +0000pbrisbin(~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) (Ping timeout: 268 seconds)
2021-07-24 19:24:33 +0000favonia(~favonia@user/favonia)
2021-07-24 19:24:52 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-24 19:25:39 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2021-07-24 19:26:00 +0000enoq(~enoq@194-208-179-35.lampert.tv)
2021-07-24 19:26:50 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Ping timeout: 252 seconds)
2021-07-24 19:27:07 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-07-24 19:28:52 +0000falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-07-24 19:28:58 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-07-24 19:29:16 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 19:30:50 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 19:38:26 +0000oxide(~lambda@user/oxide) (Ping timeout: 250 seconds)
2021-07-24 19:39:11 +0000 <haowenl> Hi, I'm learning Haskell and really like what it's offering. But I looked over the mailing lists and haskell-prime isn't exactly comforting. Is Haskell2020 dead? Why is it stuck? Is there anything I can do to help?
2021-07-24 19:39:15 +0000awth13(~user@user/awth13)
2021-07-24 19:40:18 +0000dunkeln(~dunkeln@94.129.69.87) (Ping timeout: 240 seconds)
2021-07-24 19:40:19 +0000oxide(~lambda@user/oxide)
2021-07-24 19:41:43 +0000 <maerwald> I used to heavily vote for a new standard, but I'm convinced at this point that it would just be Haskell2010 + a selection of existing GHC extensions. Which is rather uninteresting imo.
2021-07-24 19:42:34 +0000 <maerwald> Gradual improvement often causes blindness. A new standard should consider the language as a whole. That's gonna be hard with all the stakeholders.
2021-07-24 19:43:05 +0000dunkeln(~dunkeln@94.129.69.87)
2021-07-24 19:44:02 +0000 <sm> the lack of progress is a sign of success :)
2021-07-24 19:44:25 +0000henry(~user@177.239.37.243) (ERC (IRC client for Emacs 27.2))
2021-07-24 19:44:32 +0000 <maerwald> It gives GHC a monopoly
2021-07-24 19:45:43 +0000 <maerwald> And even if there was a new standard, you couldn't write a compiler that can build 10% of hackage or run it correctly without mimicing GHC
2021-07-24 19:46:24 +0000nick8325(~nick8325@2001:9b1:26f9:3e00:b7ea:ac95:e18:4c1d) (Quit: Leaving.)
2021-07-24 19:46:39 +0000 <maerwald> Then a new standard would just become a list of sanctioned GHC extensions... which we already have
2021-07-24 19:46:50 +0000mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 256 seconds)
2021-07-24 19:47:41 +0000 <maerwald> https://youtu.be/mjyibLz7jso here's a panel discussion with SPJ and Ben, they also talked about the Haskell2020 thing
2021-07-24 19:47:46 +0000 <davean> sm: I mean theres all the type issues left unsolves
2021-07-24 19:48:32 +0000 <davean> sm: A lack of a new standard means we have no progres on the huge holes holding stuff back
2021-07-24 19:49:55 +0000 <sm> I'm not saying it's good. I do think there'll be some kind of new standard(s) eventually
2021-07-24 19:50:07 +0000 <davean> "sm the lack of progress is a sign of success :)"
2021-07-24 19:50:14 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 19:50:18 +0000 <maerwald> DT would need a new standard imo
2021-07-24 19:50:18 +0000 <davean> I have to strongly and directly disagree with that statement
2021-07-24 19:50:26 +0000 <sm> fine
2021-07-24 19:50:33 +0000 <maerwald> I'm puzzled why anyone would consider merging something like DT without a new standard
2021-07-24 19:50:42 +0000 <davean> We have huge holes on even like "what is a multiparameter type class even?"
2021-07-24 19:51:32 +0000 <davean> and with the fuck ups in lack of scoping on type variables, all the extensions are super messy
2021-07-24 19:52:13 +0000 <davean> sm: we don't have a new standard because no one knows how to approach the work
2021-07-24 19:52:51 +0000 <maerwald> it might also not be funny to create one without a good picture of what it entails for GHC
2021-07-24 19:53:04 +0000 <maerwald> or it could be funny, depends on your interpretation
2021-07-24 19:53:14 +0000 <davean> maerwald: well thats some of the stuff that comes up, people aren't even sure what GHC does
2021-07-24 19:53:20 +0000 <maerwald> :D
2021-07-24 19:53:27 +0000 <davean> so I have no idea how sm thinks things are fine
2021-07-24 19:53:46 +0000MoC(~moc@user/moc)
2021-07-24 19:54:12 +0000 <davean> Maybe that was sarcasm I missed?
2021-07-24 19:54:32 +0000 <davean> If things were fine we'd have a new standard
2021-07-24 19:54:43 +0000 <davean> We don't because we have unresolved problems
2021-07-24 19:55:17 +0000 <maerwald> it's cooler to work on DT than on those problems :p
2021-07-24 19:55:20 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-07-24 19:55:24 +0000 <davean> Yes
2021-07-24 19:55:42 +0000 <sm> davean: i have already clarified I'm not saying that. it was a throwaway comment, try a different interpretation of it maybe
2021-07-24 19:55:48 +0000 <h98> what's the issue with multiparamtypeclasses?
2021-07-24 19:57:11 +0000 <davean> sm: I tried, all I got was "sarcasm maybe?"
2021-07-24 19:57:44 +0000 <sm> a big widely used language with many stakeholders has achieved success on some level, and these are obviously harder to change
2021-07-24 19:59:06 +0000 <davean> sm: Sure I don't think stakeholders are what jammed it
2021-07-24 19:59:55 +0000 <geekosaur> I don't think what davean is talking about has reached the point where stakeholders can say anything about it yet
2021-07-24 20:00:33 +0000 <sm> I'm interested in your thoughts! no need to keep pinging me specifically, it's not my fault :)
2021-07-24 20:01:22 +0000 <davean> geekosaur: right
2021-07-24 20:01:28 +0000 <maerwald> I'd be interested to find out whether HF has interest in a new standard
2021-07-24 20:01:42 +0000 <davean> geekosaur: exactly that, stakeholders are what come after you have a base, Haskell2010 did the easy stuff
2021-07-24 20:01:54 +0000 <davean> everything to move forward after H2010 needed to solve technical issues
2021-07-24 20:03:29 +0000 <davean> I mean we'd have liked cool stuff too
2021-07-24 20:04:28 +0000 <davean> stuff died a few years ago, so it isn't all front of mind for me anymore
2021-07-24 20:05:20 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-07-24 20:05:30 +0000juhp(~juhp@128.106.188.220) (Ping timeout: 268 seconds)
2021-07-24 20:05:54 +0000 <maerwald> why did it die?
2021-07-24 20:06:08 +0000ubert(~Thunderbi@178.115.43.173.wireless.dyn.drei.com)
2021-07-24 20:06:18 +0000 <davean> maerwald: HF I think has a long way to go before it could move the needle on that, a new standard is skilled work - certainly project management was an issue in Haskell2010 failing but yah
2021-07-24 20:06:47 +0000juhp(~juhp@128.106.188.220)
2021-07-24 20:06:50 +0000 <davean> maerwald: uh, I don't think I'm qualified to say, but it sure seemed like no one was on top of doing the work - sorta like the CLC?
2021-07-24 20:07:01 +0000azeem(~azeem@176.201.2.247)
2021-07-24 20:07:03 +0000talismanick(~user@2601:644:8502:d700::8fb8)
2021-07-24 20:07:11 +0000 <davean> Of course the CLC gave us random 1.2
2021-07-24 20:07:14 +0000 <geekosaur> part of it was lack of interest in formalizing what ghc was doing, which requires figuring ut what ghc is actually doing
2021-07-24 20:07:17 +0000 <davean> so ... maybe I prefer no one be on top of doing the work
2021-07-24 20:07:45 +0000 <geekosaur> and then perhaps fixing it
2021-07-24 20:07:50 +0000 <davean> geekosaur: I was debating the description between uninterested, unmotivated, and unorganized
2021-07-24 20:08:00 +0000 <davean> I think there was a bit of all 3
2021-07-24 20:08:04 +0000 <davean> varying by party
2021-07-24 20:08:10 +0000 <geekosaur> yeh
2021-07-24 20:08:12 +0000 <davean> which is part of why I mention project management
2021-07-24 20:08:39 +0000 <davean> If it was just uninterested that would be easy to state
2021-07-24 20:08:56 +0000 <maerwald> I can relate to unorganized. It's kind of a community thing, imo.
2021-07-24 20:08:58 +0000 <davean> Also, somewhat easier to fix, insert grad students, get results
2021-07-24 20:09:34 +0000 <geekosaur> depends on how many papers they can get out of it, which was one of the worries I recall
2021-07-24 20:10:01 +0000 <davean> Yah, some things are worth doing sans papers, and I'd expect it to produce at least one, but who knows. Thats part of the motivational issue portion
2021-07-24 20:10:20 +0000 <davean> but also you need people to check your results, approve of decisions ...
2021-07-24 20:10:24 +0000 <davean> all that stuff also was lacking
2021-07-24 20:10:28 +0000favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 20:10:47 +0000favonia(~favonia@user/favonia)
2021-07-24 20:11:14 +0000 <davean> A new standard is a highly accademic topic, esp for Haskell, and well, there aren't enough serious concerns to force it
2021-07-24 20:11:45 +0000 <davean> C++ gets a new standard because theres enough players in the game its worth it to argue the possitions
2021-07-24 20:12:02 +0000 <maerwald> No amount of standards can fix C++ :p
2021-07-24 20:12:10 +0000 <davean> Haskell has a giant gorila in the corner pretending to be friendly and we just all kinda try to accept it is because its easier than finding out its breaking our toys
2021-07-24 20:12:22 +0000 <davean> maerwald: I never said a C++ standard would fix anything :)
2021-07-24 20:12:43 +0000 <davean> You look at the gorilla to closely and you might have your arms pulled off
2021-07-24 20:13:23 +0000 <maerwald> yeah, that's the thing... feature creep standards aren't useful
2021-07-24 20:14:01 +0000 <davean> arms, they're really just kinda optional accessories, right?
2021-07-24 20:15:59 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-24 20:17:24 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-24 20:19:52 +0000kmein(~weechat@user/kmein) (Quit: ciao kakao)
2021-07-24 20:20:10 +0000kmein(~weechat@user/kmein)
2021-07-24 20:24:11 +0000MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-07-24 20:24:12 +0000dunkeln(~dunkeln@94.129.69.87) (Ping timeout: 276 seconds)
2021-07-24 20:26:06 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-24 20:26:18 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 20:31:34 +0000mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-07-24 20:33:49 +0000h98(~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-24 20:36:08 +0000azeem(~azeem@176.201.2.247) (Ping timeout: 256 seconds)
2021-07-24 20:37:15 +0000 <monochrom> I have an amd cpu so I don't need arms yet.
2021-07-24 20:38:53 +0000azeem(~azeem@176.201.2.247)
2021-07-24 20:39:11 +0000tomku(~tomku@user/tomku) (Ping timeout: 255 seconds)
2021-07-24 20:41:33 +0000 <dsal> [ob karl marx quote]
2021-07-24 20:44:19 +0000tomku(~tomku@user/tomku)
2021-07-24 20:45:11 +0000fawful(~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-07-24 20:45:46 +0000yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 256 seconds)
2021-07-24 20:45:53 +0000fendor(~fendor@77.119.199.107.wireless.dyn.drei.com)
2021-07-24 20:46:45 +0000fawful(~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2)
2021-07-24 20:49:49 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 20:50:39 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 20:53:14 +0000fawful(~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-07-24 20:56:17 +0000kadobanana(~mud@user/kadoban) (Ping timeout: 255 seconds)
2021-07-24 20:57:29 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-24 20:57:30 +0000azeem(~azeem@176.201.2.247) (Ping timeout: 240 seconds)
2021-07-24 20:58:08 +0000azeem(~azeem@176.201.2.247)
2021-07-24 20:58:27 +0000kadobanana(~mud@user/kadoban)
2021-07-24 21:01:22 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com) (Ping timeout: 246 seconds)
2021-07-24 21:04:30 +0000oxide(~lambda@user/oxide) (Ping timeout: 276 seconds)
2021-07-24 21:05:29 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 21:05:38 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 21:06:26 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 21:07:59 +0000acidjnk(~acidjnk@p200300d0c72b958609191ed2d8f7abdf.dip0.t-ipconnect.de)
2021-07-24 21:08:02 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-24 21:09:15 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 21:09:50 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 21:15:10 +0000chomwitt(~chomwitt@2a02:587:dc0e:ef00:12c3:7bff:fe6d:d374)
2021-07-24 21:15:29 +0000lavaman(~lavaman@98.38.249.169)
2021-07-24 21:15:33 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 276 seconds)
2021-07-24 21:16:22 +0000ubert(~Thunderbi@178.115.43.173.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-07-24 21:17:08 +0000mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-24 21:19:18 +0000dunkeln(~dunkeln@94.129.69.87)
2021-07-24 21:19:28 +0000oxide(~lambda@user/oxide)
2021-07-24 21:20:51 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2021-07-24 21:21:27 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com)
2021-07-24 21:22:28 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-24 21:22:52 +0000haowenl(~haowenl@066-215-230-039.res.spectrum.com) (Client Quit)
2021-07-24 21:25:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 21:33:30 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 21:34:20 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 21:34:55 +0000azeem(~azeem@176.201.2.247) (Ping timeout: 268 seconds)
2021-07-24 21:35:52 +0000azeem(~azeem@176.201.2.247)
2021-07-24 21:37:23 +0000eltonpinto(~1ntEgr8@2601:c8:c000:3090:d0d1:c20d:6432:c3e7)
2021-07-24 21:38:39 +0000_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-24 21:38:59 +0000nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-24 21:42:04 +0000mdunnio(~textual@205.178.28.97)
2021-07-24 21:42:22 +0000eltonpinto(~1ntEgr8@2601:c8:c000:3090:d0d1:c20d:6432:c3e7) (WeeChat 3.1)
2021-07-24 21:42:38 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 21:42:43 +0000minimario(~minimario@68.233.176.26)
2021-07-24 21:42:52 +0000minimario(~minimario@68.233.176.26) ()
2021-07-24 21:42:57 +0000mdunnio(~textual@205.178.28.97) (Client Quit)
2021-07-24 21:43:03 +0000favonia(~favonia@user/favonia)
2021-07-24 21:43:51 +0000mdunnio(~textual@205.178.28.97)
2021-07-24 21:44:26 +0000 <maerwald> https://github.com/haskell/process/issues/51 amazing
2021-07-24 21:44:32 +0000 <maerwald> windows is a gold mine of issues
2021-07-24 21:45:58 +0000burnsidesLlama(~burnsides@client-8-87.eduroam.oxuni.org.uk)
2021-07-24 21:46:34 +0000fendor(~fendor@77.119.199.107.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-07-24 21:47:30 +0000 <oso> i straight up got a dual boot linux setup going just to get around the issues setting up a full haskell environment on windows
2021-07-24 21:48:22 +0000 <davean> oso: oh, you use Haskell on windows? I've seen trying to find people that do, though I've forgotten why
2021-07-24 21:48:47 +0000 <oso> i did for maybe a week until the drive arrived for me to set up linux again
2021-07-24 21:48:54 +0000doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-07-24 21:48:56 +0000 <oso> it was too hard getting all the versions to line up on windows
2021-07-24 21:49:00 +0000 <maerwald> oso: ghcup now supports windows :>
2021-07-24 21:49:13 +0000 <oso> ooooh
2021-07-24 21:49:29 +0000 <oso> not sure how i missed that in my searches, thanks
2021-07-24 21:50:32 +0000burnsidesLlama(~burnsides@client-8-87.eduroam.oxuni.org.uk) (Ping timeout: 272 seconds)
2021-07-24 21:50:34 +0000blackfield(~blackfiel@85.255.4.218)
2021-07-24 21:50:35 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-07-24 21:52:40 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-24 21:52:44 +0000 <maerwald> but I'm not pleased by the state of our core packges
2021-07-24 21:53:03 +0000 <maerwald> this issue was raised 2016
2021-07-24 21:53:46 +0000 <maerwald> Snoyman is listed as CLC maintainer
2021-07-24 21:55:14 +0000Guest24(~Guest24@185.65.135.238)
2021-07-24 21:56:09 +0000Guest24(~Guest24@185.65.135.238) (Client Quit)
2021-07-24 21:57:06 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds)
2021-07-24 21:57:06 +0000 <davean> maerwald: I think the process issue reflects us not having a lot of windows people around to check or research things
2021-07-24 21:57:17 +0000 <davean> maerwald: thats fixed by usership I believe
2021-07-24 21:57:20 +0000Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-07-24 21:57:31 +0000 <davean> Things like random 1.2 worry me more
2021-07-24 21:57:39 +0000 <dminuoso> You'd think that SPJ working for microsoft research would "research things" for us! :-)
2021-07-24 21:57:44 +0000mdunnio(~textual@205.178.28.97) (Quit: mdunnio)
2021-07-24 21:57:54 +0000 <janus> what's wrong with random 1.2?
2021-07-24 21:58:10 +0000 <davean> janus: look at its API, tell me what you can know about anything or how you can write anything sane based on it
2021-07-24 21:58:21 +0000 <davean> compare it to what you can write with 1.1
2021-07-24 21:58:36 +0000 <davean> janus: note all the features 1.2 added w ehad on a saner base in 1.1 with things like random-fu
2021-07-24 21:58:39 +0000charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Remote host closed the connection)
2021-07-24 21:58:53 +0000 <davean> janus: we lost all the laws in exchange for ... what?
2021-07-24 21:59:06 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-24 21:59:24 +0000 <oso> so i shouldn't take it out on myself for struggling with random numbers? :')
2021-07-24 21:59:48 +0000 <davean> we went from a type class with some meaning to one where you can't even be sure you can call the functions in the type class
2021-07-24 21:59:50 +0000charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-07-24 21:59:55 +0000 <geekosaur> it's a difficult API although I've managed to do things with it
2021-07-24 22:00:37 +0000 <maerwald> well, there was great drama around it, so my impression was CLC acted more out of pressure there
2021-07-24 22:00:41 +0000 <geekosaur> that said davean has me wondering how correct it is
2021-07-24 22:00:54 +0000 <davean> maerwald: oh?
2021-07-24 22:01:01 +0000 <davean> maerwald: I'm really upset anyone approved 1.2
2021-07-24 22:01:11 +0000 <davean> maerwald: I can't even see what was gained
2021-07-24 22:01:24 +0000 <davean> I was litterly already doing everything with 1.1 1.2 has
2021-07-24 22:01:40 +0000 <maerwald> I've had my own share of drama the past 2 months, so I won't argue against random 1.2 :p
2021-07-24 22:01:46 +0000 <davean> maerwald: is there somewhere to file an objection?
2021-07-24 22:01:51 +0000 <dminuoso> 23:59:48 davean | we went from a type class with some meaning to one where you can't even be sure you can call the functions in the type class
2021-07-24 22:02:04 +0000 <maerwald> davean: for what? It's too late
2021-07-24 22:02:07 +0000 <davean> I'm really worried about the CLC approving 1.2
2021-07-24 22:02:09 +0000 <dminuoso> Maybe Im missing something, but can you give some examples? Im not seeing anything immediately obvious that's wrong with it
2021-07-24 22:02:16 +0000 <davean> maerwald: the CLC's leadersihp franly
2021-07-24 22:02:25 +0000 <davean> dminuoso: split - is it defined or not?
2021-07-24 22:02:36 +0000 <davean> "maybe"
2021-07-24 22:02:47 +0000 <davean> How do you know?
2021-07-24 22:02:50 +0000 <davean> Uh, call it and find out!
2021-07-24 22:02:54 +0000Cajun(~Cajun@ip98-163-211-112.no.no.cox.net)
2021-07-24 22:03:52 +0000 <davean> maerwald: Frankly I tihnk the only correct move is to mark 1.2 broken
2021-07-24 22:04:32 +0000 <dminuoso> davean: Mmm. So why didn't they just make it.. a subclass?
2021-07-24 22:04:47 +0000 <dminuoso> The usual way to further constrain a type by additional mechanisms..
2021-07-24 22:04:56 +0000 <davean> dminuoso: because that was the essence of the class
2021-07-24 22:05:06 +0000 <davean> dminuoso: I have no idea what happened with 1.2
2021-07-24 22:05:20 +0000 <davean> I came across 1.2 a few days ago updating stuff and was horrified it ever was approved
2021-07-24 22:05:31 +0000 <dminuoso> davean: No I meant, couldn't they just have added a RandomGenSplit typeclass with RandomGen as a superclass, and be done with it?
2021-07-24 22:06:01 +0000 <davean> dminuoso: I mean if they'd tried, sure - though I'd suggest mots of those functions don't belong in class persay
2021-07-24 22:06:43 +0000 <davean> One might use them for optimization
2021-07-24 22:06:54 +0000 <janus> davean: have you previously voiced your concerns in a forum that isn't as ephemeral? (not rhetorical, just curious)
2021-07-24 22:07:24 +0000 <davean> janus: what, email the CLC who approve this disaster?
2021-07-24 22:07:37 +0000 <davean> No, because they're the ones who I have a problem with clearly
2021-07-24 22:07:42 +0000 <davean> I have no diea who I'd voice this to
2021-07-24 22:07:46 +0000geekosaursubscribed tp the CLC list precisely to see what kind of things were in the pipeline
2021-07-24 22:07:50 +0000 <maerwald> davean: they're not very responsive on emails either
2021-07-24 22:07:57 +0000 <davean> maerwald: no they aren't
2021-07-24 22:08:04 +0000 <davean> I'm subscribed and they don't reply to most tihngs
2021-07-24 22:08:09 +0000 <geekosaur> but I missed this one
2021-07-24 22:08:15 +0000 <maerwald> I'm not blaming ppl for having no time... but if you don't have time, ask for help
2021-07-24 22:08:37 +0000 <davean> I have no idea who I'd complain to that I think the CLC has gone off the tracks
2021-07-24 22:08:58 +0000 <davean> But I very much don't trust their leadership after seeing random 1.2 and they get to change a lot of important stuff
2021-07-24 22:09:54 +0000 <davean> I'm worried about every other change they might make
2021-07-24 22:09:55 +0000mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-07-24 22:10:06 +0000dunkeln(~dunkeln@94.129.69.87) (Ping timeout: 250 seconds)
2021-07-24 22:12:04 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 22:12:16 +0000 <davean> geekosaur: Did you see the thing about Data.List also? I completely didn't see any discussion of that and am rather worried
2021-07-24 22:12:20 +0000Brumaire(~quassel@81-64-14-121.rev.numericable.fr) (Quit: ran away)
2021-07-24 22:12:42 +0000 <oso> do you have a link or a term to search? just Data.List CLC?
2021-07-24 22:12:44 +0000 <davean> As far as I can tell CLC is acting unilaterally without discussion or I'm bad at reading emmail
2021-07-24 22:12:46 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 22:12:47 +0000 <geekosaur> I found out about it from #ghc
2021-07-24 22:13:06 +0000 <davean> Has the CLC become a lose cannon out of control?
2021-07-24 22:13:13 +0000 <maerwald> davean: there was a huge thread about random
2021-07-24 22:13:19 +0000 <maerwald> libraries ML I think
2021-07-24 22:13:30 +0000 <maerwald> lots of drama etc
2021-07-24 22:14:57 +0000 <davean> maerwald: I guess I don't really care how it happened - the result is one I consider unacceptable
2021-07-24 22:15:11 +0000 <davean> so I can't be ok with random 1.2 no matter what discussion happened
2021-07-24 22:15:43 +0000 <maerwald> ok great, I can't fork process and use it in cabal.project, because of cabal not having any way to run autoreconf
2021-07-24 22:16:14 +0000 <davean> maerwald: hum?
2021-07-24 22:16:30 +0000 <maerwald> yes
2021-07-24 22:16:50 +0000 <davean> can't you run autoreconfig manually?
2021-07-24 22:17:18 +0000 <maerwald> how would you do that? Cabal clones the repo in some private dir and builds stuff, then fails
2021-07-24 22:17:46 +0000 <davean> If you do it by reference, not if you do it by inclusion
2021-07-24 22:17:53 +0000 <davean> make process a submodule
2021-07-24 22:18:00 +0000 <maerwald> urg
2021-07-24 22:18:30 +0000 <davean> I didn't say it was nice
2021-07-24 22:18:38 +0000 <maerwald> time cabal gets hooks
2021-07-24 22:18:42 +0000 <jumper149> maerwald: Use nix ;)
2021-07-24 22:18:46 +0000dunkeln(~dunkeln@94.129.69.87)
2021-07-24 22:18:48 +0000 <maerwald> jumper149: no
2021-07-24 22:18:49 +0000 <davean> maerwald: it has cooks
2021-07-24 22:18:55 +0000 <maerwald> what's a cook?
2021-07-24 22:19:08 +0000 <davean> maerwald: You'd have to make it be in Setup.hs though
2021-07-24 22:19:16 +0000 <maerwald> that's not a user hook
2021-07-24 22:19:39 +0000 <maerwald> https://github.com/haskell/process/issues/51
2021-07-24 22:19:41 +0000 <maerwald> oops
2021-07-24 22:19:46 +0000 <maerwald> my clipboard is broken
2021-07-24 22:19:51 +0000 <maerwald> good nothing weird coming out of it
2021-07-24 22:19:56 +0000 <maerwald> this https://github.com/haskell/cabal/issues/7394
2021-07-24 22:20:16 +0000 <maerwald> that would solve 2000 and 1 problems
2021-07-24 22:20:23 +0000 <maerwald> seems it's WIP
2021-07-24 22:20:31 +0000 <davean> maerwald: I mean your problem here is that the process library isn't a proper cabal package really
2021-07-24 22:20:39 +0000 <davean> maerwald: I'm troubled by solving it externally for that reason
2021-07-24 22:20:47 +0000 <maerwald> davean: yeah, let me argue with Snoyman real quick about it...
2021-07-24 22:20:50 +0000 <maerwald> or... not
2021-07-24 22:21:06 +0000neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-07-24 22:21:07 +0000 <maerwald> (because stack runs autoreconf)
2021-07-24 22:21:07 +0000 <davean> maerwald: I know, I've never gotten even remote exploits fixed from that crowd so yah
2021-07-24 22:21:19 +0000 <maerwald> (so I can infer his first 3 replies to my issue)
2021-07-24 22:21:40 +0000 <davean> maerwald: But I'd prefer stuff be properly packaged than patch it ad-hoc everywhere else
2021-07-24 22:22:05 +0000 <maerwald> autoreconf is generally a controversial thing, even in source distros
2021-07-24 22:22:51 +0000 <maerwald> if you have old buggy macros, you get problems... if you run it unconditionally, you have roughly 10% of failures
2021-07-24 22:23:16 +0000 <davean> yah, its a bad solution to the problem bu tthe best thats at hand a lot of hte time
2021-07-24 22:23:27 +0000 <maerwald> and then you have the "don't ever commit generated files to git" people
2021-07-24 22:24:05 +0000 <davean> anyway, I know why you want these hooks, and I tihnk you understand why I don't like them as a solution here - pragmatics might win out
2021-07-24 22:24:18 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Ping timeout: 240 seconds)
2021-07-24 22:24:28 +0000 <maerwald> hooks are the *perfect* solution for this (and many other things)
2021-07-24 22:24:34 +0000dunkeln(~dunkeln@94.129.69.87) (Ping timeout: 240 seconds)
2021-07-24 22:24:44 +0000favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2021-07-24 22:24:47 +0000 <davean> I don't think I should have ot use hooks to depend on a package :/
2021-07-24 22:25:09 +0000 <maerwald> yes, this is dev foo
2021-07-24 22:25:13 +0000 <maerwald> process needs to be fixed
2021-07-24 22:25:33 +0000azeem(~azeem@176.201.2.247) (Read error: Connection reset by peer)
2021-07-24 22:25:46 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it)
2021-07-24 22:25:47 +0000 <maerwald> but now I got so annoyed about it that I riled about it here instead of running autoreconf...
2021-07-24 22:25:58 +0000favonia(~favonia@user/favonia)
2021-07-24 22:26:36 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 22:26:56 +0000 <DigitalKiwi> at least there was some backtracking on the hpack generated file recommendation...
2021-07-24 22:27:37 +0000niHiggim(~stephen@2600:1700:3d41:8600::f) (Quit: WeeChat 3.2)
2021-07-24 22:27:52 +0000tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (channel hopping)
2021-07-24 22:29:38 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2021-07-24 22:30:05 +0000jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-07-24 22:31:56 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-07-24 22:32:45 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-07-24 22:33:17 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 22:33:42 +0000favonia(~favonia@user/favonia)
2021-07-24 22:36:14 +0000Brumaire(~quassel@81-64-14-121.rev.numericable.fr)
2021-07-24 22:38:55 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 22:40:34 +0000dhil(~dhil@195.213.192.47) (Ping timeout: 272 seconds)
2021-07-24 22:41:15 +0000neightchan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-24 22:42:30 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:dd40:8cef:a8e6:16a8) (Ping timeout: 256 seconds)
2021-07-24 22:43:05 +0000xff0x_(~xff0x@2001:1a81:53c2:cd00:83d7:3823:c8d1:341c)
2021-07-24 22:45:38 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-24 22:48:41 +0000favonia(~favonia@user/favonia) (Ping timeout: 252 seconds)
2021-07-24 22:49:00 +0000favonia(~favonia@user/favonia)
2021-07-24 22:49:18 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 22:51:33 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2021-07-24 22:52:50 +0000acidjnk(~acidjnk@p200300d0c72b958609191ed2d8f7abdf.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-24 22:56:56 +0000enoq(~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-24 22:58:07 +0000azeem(~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it)
2021-07-24 23:02:44 +0000curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-07-24 23:03:11 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 23:04:57 +0000drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-24 23:05:23 +0000favonia(~favonia@user/favonia)
2021-07-24 23:08:08 +0000jmorris(uid433911@id-433911.stonehaven.irccloud.com)
2021-07-24 23:16:00 +0000kubes(~kubes@188.120.84.109)
2021-07-24 23:17:20 +0000kubes(~kubes@188.120.84.109) (Client Quit)
2021-07-24 23:18:02 +0000favonia(~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-24 23:19:13 +0000phma(phma@2001:5b0:211f:6ab8:d4bc:dc6f:9391:c76c) (Read error: Connection reset by peer)
2021-07-24 23:20:27 +0000favonia(~favonia@user/favonia)
2021-07-24 23:22:14 +0000spiunx(~spiun@2a01:4b00:86a9:fb00:adc0:97d9:20d8:cafd) (Ping timeout: 252 seconds)
2021-07-24 23:23:36 +0000Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-24 23:24:25 +0000 <sclv> davean: what data.list thing?
2021-07-24 23:25:02 +0000Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving)
2021-07-24 23:25:15 +0000 <davean> sclv: Monomorphisation
2021-07-24 23:25:23 +0000 <davean> which isn't senseless
2021-07-24 23:25:27 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-24 23:25:38 +0000 <sclv> where is discussion?
2021-07-24 23:25:40 +0000LukeHoersten(~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-24 23:25:51 +0000 <davean> Haha thats the funny thing!
2021-07-24 23:25:56 +0000 <davean> I was done without discussion :)
2021-07-24 23:26:05 +0000 <davean> See the bug tracker for base?
2021-07-24 23:26:15 +0000 <davean> GHC people noticed it because stuff broke
2021-07-24 23:26:30 +0000 <sclv> ew
2021-07-24 23:26:47 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-24 23:27:22 +0000LukeHoersten(~LukeHoers@user/lukehoersten)
2021-07-24 23:31:06 +0000wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 240 seconds)
2021-07-24 23:33:43 +0000Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-24 23:33:44 +0000retroid_(~retro@97e2ba5d.skybroadband.com) (Ping timeout: 250 seconds)
2021-07-24 23:35:12 +0000BMCCmnrmnaugh
2021-07-24 23:35:45 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-07-24 23:37:06 +0000phma(~phma@host-67-44-209-90.hnremote.net)
2021-07-24 23:37:11 +0000 <sclv> found the discussion, what a mess https://gitlab.haskell.org/ghc/ghc/-/issues/20025
2021-07-24 23:39:40 +0000phma(~phma@host-67-44-209-90.hnremote.net) (Read error: Connection reset by peer)
2021-07-24 23:43:06 +0000favonia(~favonia@user/favonia) (Ping timeout: 276 seconds)
2021-07-24 23:43:30 +0000favonia(~favonia@user/favonia)
2021-07-24 23:43:31 +0000 <dminuoso> What I dont get is, how is the CLC already this dysfunctional running only two members out of 7?
2021-07-24 23:45:02 +0000Guest22(~Guest22@bras-base-orlnon0604w-grc-44-74-12-3-79.dsl.bell.ca)
2021-07-24 23:45:02 +0000spiunx(~spiun@2a01:4b00:86a9:fb00:8779:c06f:3ad1:b557)
2021-07-24 23:46:04 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-24 23:46:17 +0000Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-24 23:46:24 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365) (Remote host closed the connection)
2021-07-24 23:47:51 +0000Null_A(~null_a@2601:645:8700:2290:809c:ae43:df71:6365)
2021-07-24 23:47:52 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-07-24 23:49:39 +0000Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-24 23:52:41 +0000hololeap(~hololeap@user/hololeap)
2021-07-24 23:53:25 +0000lbseale(~lbseale@user/ep1ctetus)
2021-07-24 23:56:00 +0000raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-24 23:56:04 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-24 23:57:00 +0000DigitalKiwiwonders if the chair of the committee being a chess ai might be part of the problem
2021-07-24 23:58:54 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)