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