Home liberachat/#haskell: Logs Calendar

Logs on 2021-07-24 (liberachat/#haskell)

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

All times are in UTC on 2021-07-24.