| 2021-08-07 00:00:10 +0000 | <_73> | euouae: explicit recursion is when you explicitly make a recursive function call. For example `sum [] = 0; sum (x:xs) = x + sum xs`. Contrast this with the equivalent definition which is still recursive but doesn't make an explicit call to itself: `sum xs = foldr (+) 0 xs`. |
| 2021-08-07 00:02:33 +0000 | <lechner> | Hi, being new to both Applicative and optparse-applicative, I cannot figure out how to integrate the "arguments" Parser for a potentially unlimited number of version strings into the poorly named "sample" Parser for the path of the configuration file. Any pointers would be appreciated. Thanks! https://dpaste.org/XgOU#L57,58 |
| 2021-08-07 00:04:06 +0000 | _73` | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-08-07 00:05:30 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-08-07 00:06:36 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2021-08-07 00:09:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-07 00:12:06 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 00:15:22 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 2021-08-07 00:15:37 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2021-08-07 00:17:23 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Client Quit) |
| 2021-08-07 00:17:38 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2021-08-07 00:24:38 +0000 | _73` | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-08-07 00:24:53 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-08-07 00:27:04 +0000 | <dsal> | lechner: Do you mean you want to allow for multiple `-c` or just take the rest of argv? |
| 2021-08-07 00:27:39 +0000 | <lechner> | one -c, and then a list of version strings |
| 2021-08-07 00:27:54 +0000 | <lechner> | i should have uesd strArgument |
| 2021-08-07 00:28:12 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 00:28:44 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 00:28:44 +0000 | <euouae> | _73: hm... foldr is recursive? |
| 2021-08-07 00:29:02 +0000 | <dsal> | lechner: Yeah, that's not exactly a thing. |
| 2021-08-07 00:29:16 +0000 | markpythonicbitc | (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) |
| 2021-08-07 00:29:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-07 00:29:39 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 00:29:52 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 00:30:28 +0000 | <geekosaur> | @src foldr |
| 2021-08-07 00:30:28 +0000 | <lambdabot> | foldr f z [] = z |
| 2021-08-07 00:30:28 +0000 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
| 2021-08-07 00:32:11 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-08-07 00:32:56 +0000 | dajoer | (~david@user/gvx) |
| 2021-08-07 00:36:31 +0000 | xff0x_ | (~xff0x@2001:1a81:52e3:2500:8766:3fda:9e97:b8d5) (Ping timeout: 258 seconds) |
| 2021-08-07 00:37:29 +0000 | xff0x_ | (~xff0x@port-92-195-37-130.dynamic.as20676.net) |
| 2021-08-07 00:37:34 +0000 | Atum_ | (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 2021-08-07 00:38:05 +0000 | <euouae> | whenever I think of foldr and foldl |
| 2021-08-07 00:38:19 +0000 | <euouae> | I'm always thinking of a tree folding on one side |
| 2021-08-07 00:38:40 +0000 | <euouae> | but I never know what the implications on execution are. I know one is slow I think |
| 2021-08-07 00:39:58 +0000 | <dsal> | foldl is always wrong (you probably meant foldl'). foldr works on infinite lists and is probably a good default. |
| 2021-08-07 00:40:24 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-08-07 00:41:15 +0000 | <dsal> | lechner: Here's a pretty simple tool with a pretty simple use of optparse-applicative to parse a set of parameters and a (non-empty) list of objects for which I have a custom parser: https://github.com/dustin/waitforsocket/blob/master/app/Main.hs |
| 2021-08-07 00:44:21 +0000 | <_73> | a nice way to think of folding is replacing the lists spine with a function. So with sum we can turn the list `1 : 2 : 3 : []` into the expression `1 + 2 + 3 + 0` |
| 2021-08-07 00:44:52 +0000 | <euouae> | Ok but what's the difference between (r) and (l) ? |
| 2021-08-07 00:44:57 +0000 | <euouae> | in fold(r) and fold(l) |
| 2021-08-07 00:45:11 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-07 00:48:16 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-07 00:48:29 +0000 | <_73> | I cannot give a better explanation than this SO post. Especially with the answer that uses an image: https://stackoverflow.com/questions/384797/implications-of-foldr-vs-foldl-or-foldl |
| 2021-08-07 00:48:35 +0000 | <pavonia> | euouae: https://wiki.haskell.org/Foldr_Foldl_Foldl%27 |
| 2021-08-07 00:48:54 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Client Quit) |
| 2021-08-07 00:50:39 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 00:50:51 +0000 | <euouae> | AH I get it now |
| 2021-08-07 00:51:06 +0000 | <euouae> | I've encountered this problem on my own before so I'm familiar with all three solutions, foldr, foldl and foldl' |
| 2021-08-07 00:51:11 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 00:52:30 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-07 00:53:44 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 00:53:56 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 00:55:54 +0000 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-08-07 00:55:55 +0000 | jess | (~jess@libera/staff/jess) () |
| 2021-08-07 00:58:47 +0000 | euouae | (~euouae@user/euouae) (Quit: euouae) |
| 2021-08-07 00:59:16 +0000 | <lechner> | dsal: thanks! what is parseTarget please? |
| 2021-08-07 00:59:24 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-07 00:59:28 +0000 | xsperry | (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-07 00:59:37 +0000 | <dsal> | lechner: https://github.com/dustin/waitforsocket/blob/master/src/Waitforsocket.hs#L54 |
| 2021-08-07 00:59:55 +0000 | xsperry | (~as@user/xsperry) |
| 2021-08-07 01:00:16 +0000 | <dsal> | If yours are just strings, you'd use `str` or whatever. My case is more complicated. |
| 2021-08-07 01:00:46 +0000 | <lechner> | actually, they are semver strings |
| 2021-08-07 01:01:05 +0000 | <lechner> | i will write my own parser! |
| 2021-08-07 01:01:12 +0000 | <dsal> | This is a CLI tool that lets me wait for a network or service to become available. e.g., you can do stuff like: `waitforsocket https://www.{google,yahoo}.com/ {a,b,c}:22` and it'll do the thing. |
| 2021-08-07 01:01:25 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 01:01:48 +0000 | <lechner> | now what do you that for, please? |
| 2021-08-07 01:01:48 +0000 | <dsal> | By default, it waits for all of those to answer. But if you're just trying to see if you're on the internet, you can tell it to wait for one or two services and decide things are good. |
| 2021-08-07 01:01:57 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 01:02:00 +0000 | <lechner> | i see |
| 2021-08-07 01:06:48 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 258 seconds) |
| 2021-08-07 01:07:34 +0000 | <lechner> | "Unlike Parsec 3, attoparsec does not support being used as a monad transformer." woould make a great https://en.wikipedia.org/wiki/Shibboleth |
| 2021-08-07 01:08:23 +0000 | aegon | (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-07 01:10:14 +0000 | <dsal> | lechner: I use this thing all the time. Rebooted a machine and waiting for it to come back `waitforsocket server:22 && mosh server` |
| 2021-08-07 01:10:15 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 01:10:36 +0000 | <dsal> | Internet offline: `waitforsocket https://www.google.com/ && whatever` |
| 2021-08-07 01:11:15 +0000 | MQ-17J | (~MQ-17J@8.21.10.94) |
| 2021-08-07 01:12:43 +0000 | <dsal> | I also had some computers that would fall off the network periodically, so `waitforsocket --abstimeout 30000 --required 1 https://www.{reddit,ebay,google,yahoo}.com/ || restartNetworking` |
| 2021-08-07 01:16:25 +0000 | Cajun | (~Cajun@user/cajun) |
| 2021-08-07 01:34:41 +0000 | xff0x | (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) |
| 2021-08-07 01:37:51 +0000 | xff0x_ | (~xff0x@port-92-195-37-130.dynamic.as20676.net) (Ping timeout: 258 seconds) |
| 2021-08-07 01:40:12 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 01:41:50 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2021-08-07 01:42:29 +0000 | derelict | (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-08-07 01:47:33 +0000 | <lechner> | dsal: Thanks so much for the code samples! I usually go offline at sunset (in Fremont) and will play with the parsers on Sunday. Please have a relaxing weekend! |
| 2021-08-07 01:48:48 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds) |
| 2021-08-07 02:03:40 +0000 | <dsal> | lechner: Fremont, CA? |
| 2021-08-07 02:04:08 +0000 | <dsal> | I'm up here in fire country. It's been sunset all day. :) |
| 2021-08-07 02:06:16 +0000 | tinwood | (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 2021-08-07 02:08:11 +0000 | alx741 | (~alx741@186.178.108.253) (Quit: alx741) |
| 2021-08-07 02:08:46 +0000 | pfurla | (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-08-07 02:09:17 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-08-07 02:09:18 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-08-07 02:09:18 +0000 | tinwood | (~tinwood@canonical/tinwood) |
| 2021-08-07 02:10:49 +0000 | MQ-17J | (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds) |
| 2021-08-07 02:10:53 +0000 | h_ | (rootvegeta@fsf/member/hays) |
| 2021-08-07 02:11:06 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 02:11:22 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-08-07 02:11:31 +0000 | <h_> | anyone here know enough about category theory to answer a basic question? |
| 2021-08-07 02:12:58 +0000 | <h_> | page 12-13 of this http://brendanfong.com/programmingcats_files/cats4progs-DRAFT.pdf seems to have an error but id like to verify my understanding |
| 2021-08-07 02:13:17 +0000 | <h_> | Left unital: for any f : c → d, the equation idc ◦ f = f holds |
| 2021-08-07 02:13:50 +0000 | <h_> | I think this should be Left unital: for any f : c → d, the equation f ◦ idc = f holds |
| 2021-08-07 02:16:37 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-07 02:16:37 +0000 | FinnElija | Guest2491 |
| 2021-08-07 02:16:38 +0000 | Guest2491 | (~finn_elij@user/finn-elija/x-0085643) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 2021-08-07 02:16:38 +0000 | finn_elija | FinnElija |
| 2021-08-07 02:16:57 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 02:17:25 +0000 | <glguy> | h_, I think the error is that the id arrows are annotated with the wrong types, but not that they are on the wrong side of the . |
| 2021-08-07 02:19:10 +0000 | <h_> | Left unital: for any f : c → d, the equation idd ◦ f = f holds |
| 2021-08-07 02:19:51 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:20:08 +0000 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-08-07 02:20:16 +0000 | <h_> | ? |
| 2021-08-07 02:20:56 +0000 | <h_> | also is there any way for ( f ◦ g ) ◦ h to not equal f ◦ ( g ◦ h ) ? seems like it has to |
| 2021-08-07 02:21:19 +0000 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-08-07 02:21:58 +0000 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-07 02:22:12 +0000 | derelict | (~derelict@user/derelict) |
| 2021-08-07 02:23:28 +0000 | td_ | (~td@muedsl-82-207-238-118.citykom.de) (Ping timeout: 258 seconds) |
| 2021-08-07 02:24:54 +0000 | pbrisbin | (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-07 02:25:10 +0000 | td_ | (~td@94.134.91.140) |
| 2021-08-07 02:25:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 02:26:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-07 02:27:54 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 2021-08-07 02:34:31 +0000 | goepsilongo | (~chacho@2603-7000-ab00-62ed-e8e0-40c9-c788-8ef8.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2021-08-07 02:34:33 +0000 | <lechner> | dsal: Sorry, your profile said San Jose. Sunset is near. The sun is super red like in the big fires in 2017. Hope you are in Plumas. I used to go up to Lake Almanor. Please don't be brave |
| 2021-08-07 02:34:38 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-07 02:34:56 +0000 | <lechner> | hope you are not in Plumas |
| 2021-08-07 02:35:12 +0000 | <dsal> | lechner: Ah, I should update. Sold my house. :) I'm in Butte County |
| 2021-08-07 02:35:32 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 02:37:47 +0000 | <lechner> | dsal: oroville reporting about the water level on CNN is so strange. aren't people happy the dam can maybe be repaired? |
| 2021-08-07 02:38:28 +0000 | pfurla | (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 2021-08-07 02:38:31 +0000 | kor1 | (~kor1@user/kor1) |
| 2021-08-07 02:39:03 +0000 | <lechner> | either way, i guess housing is on fire everywhere. sorry bad pun & please stay safe |
| 2021-08-07 02:41:17 +0000 | <lechner> | for everone else, sorry to be off topic. TTYL |
| 2021-08-07 02:41:25 +0000 | <dsal> | Yeah. I don't think our dam is going to overflow this year. :) But our electricity plant is offline. I've got solar + powerwall (had a lot of outages last year). It's an enjoyable apocalypse. :) |
| 2021-08-07 02:42:31 +0000 | <h_> | hmm. i guess Ob(C) can be the empty set |
| 2021-08-07 02:42:32 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 02:42:55 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 02:43:05 +0000 | <h_> | oops. I mean to say C(c,d) in Ob(C) can be empty set |
| 2021-08-07 02:43:24 +0000 | <h_> | meaning there are no morphisms between c and d |
| 2021-08-07 02:45:15 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:46:34 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 02:47:12 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 02:50:26 +0000 | <glguy> | h_, yeah, left unital -> idd ◦ f = f |
| 2021-08-07 02:51:46 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 250 seconds) |
| 2021-08-07 02:53:24 +0000 | futty | (~futty@c83-252-75-55.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 2021-08-07 02:56:37 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 02:59:32 +0000 | <h_> | i like how the word algebra means something totally more nuts to math experts than it does to everyone else |
| 2021-08-07 02:59:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 03:00:15 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:00:16 +0000 | kor1 | (~kor1@user/kor1) (Quit: Leaving.) |
| 2021-08-07 03:01:20 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 2021-08-07 03:02:50 +0000 | wrengr | wrengr_away |
| 2021-08-07 03:03:13 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:06:32 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-07 03:07:22 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 2021-08-07 03:10:55 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 03:17:59 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-07 03:21:22 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-07 03:26:30 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 03:34:02 +0000 | pfurla | (~pfurla@216.151.180.237) |
| 2021-08-07 03:37:04 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-08-07 03:40:58 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 03:41:24 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-07 03:41:24 +0000 | MQ-17J | (~MQ-17J@172.58.120.31) |
| 2021-08-07 03:41:43 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-07 03:41:50 +0000 | MQ-17J | (~MQ-17J@172.58.120.31) (Read error: Connection reset by peer) |
| 2021-08-07 03:42:08 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 03:44:11 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 2021-08-07 03:46:16 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-07 03:48:18 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-07 03:48:22 +0000 | chris | Guest9831 |
| 2021-08-07 03:52:18 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds) |
| 2021-08-07 03:56:05 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 03:57:24 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2021-08-07 04:04:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-07 04:06:00 +0000 | tcard_ | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-07 04:08:49 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 258 seconds) |
| 2021-08-07 04:13:35 +0000 | <jakefromstatefar> | I'm making a MineCraft mod, and I'm wondering if my algorithm for incremental stepping between 2 positions is reasonable, IK it's not haskell-specific, but rather java (yuck), however, is anyone willing to double check my logic? |
| 2021-08-07 04:14:08 +0000 | <jakefromstatefar> | I keep getting weird values and I can't figure out why |
| 2021-08-07 04:14:50 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 04:18:31 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 04:19:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-07 04:21:06 +0000 | pfurla | (~pfurla@216.151.180.237) (Ping timeout: 240 seconds) |
| 2021-08-07 04:26:07 +0000 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-07 04:37:39 +0000 | <dsal> | It's hard to imagine what you've done or how you got it wrong. :) |
| 2021-08-07 04:38:47 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-07 04:45:24 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 04:46:08 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) |
| 2021-08-07 04:48:04 +0000 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 04:49:56 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-07 04:50:40 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) (Ping timeout: 258 seconds) |
| 2021-08-07 04:52:40 +0000 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Ping timeout: 250 seconds) |
| 2021-08-07 04:53:39 +0000 | <jakefromstatefar> | lol, I'll get a paste |
| 2021-08-07 04:55:30 +0000 | <jakefromstatefar> | https://p.bsd-unix.net/view/38cdd5b4 |
| 2021-08-07 04:56:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 04:57:05 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 04:57:18 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 05:01:24 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 05:02:32 +0000 | Guest9831 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 05:03:12 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-07 05:04:01 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 05:14:45 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-08-07 05:19:43 +0000 | Guest56 | (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) |
| 2021-08-07 05:20:47 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-07 05:23:20 +0000 | <xacktm> | jakefromstatefar: there's a #java channel you an try asking instead |
| 2021-08-07 05:23:56 +0000 | Guest56 | (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) (Client Quit) |
| 2021-08-07 05:25:22 +0000 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-08-07 05:27:51 +0000 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 258 seconds) |
| 2021-08-07 05:30:28 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-07 05:33:21 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 05:33:21 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 05:34:32 +0000 | syntactic_sugar[ | (~syntactic@2001:470:69fc:105::b4af) |
| 2021-08-07 05:37:02 +0000 | syntactic_sugar[ | (~syntactic@2001:470:69fc:105::b4af) () |
| 2021-08-07 05:39:34 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 05:43:18 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-08-07 05:56:12 +0000 | notzmv- | (~zmv@user/notzmv) |
| 2021-08-07 05:58:44 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 05:59:04 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-07 06:00:49 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2021-08-07 06:01:30 +0000 | notzmv- | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-08-07 06:01:38 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 06:04:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-07 06:08:49 +0000 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-07 06:09:20 +0000 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-07 06:14:14 +0000 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-07 06:15:33 +0000 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-07 06:17:48 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-07 06:20:05 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 06:22:56 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Remote host closed the connection) |
| 2021-08-07 06:23:08 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 2021-08-07 06:23:51 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-08-07 06:24:04 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 06:25:39 +0000 | delYsid | (~user@62-178-101-151.cable.dynamic.surfer.at) |
| 2021-08-07 06:25:45 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-07 06:25:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2021-08-07 06:26:36 +0000 | <delYsid> | How do you call a rosetree with a uniform branching factor of 1? |
| 2021-08-07 06:26:59 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-08-07 06:27:09 +0000 | <c_wraith> | a list? |
| 2021-08-07 06:29:06 +0000 | <delYsid> | Right! Thats basically why I ask. I wrote functions to convert [] and NonEmpty into a forest and tree respectively. And I was wondering how to name this. listToForest is OKish, but nonEmptyToTree sounds a bit like a mouthful... stem maybe? |
| 2021-08-07 06:32:10 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 06:32:22 +0000 | anandprabhu | (~anandprab@94.202.243.198) |
| 2021-08-07 06:33:20 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-08-07 06:35:23 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-07 06:35:42 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-08-07 06:36:51 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 06:39:03 +0000 | mattil | (~mattilinn@87-92-57-75.bb.dnainternet.fi) |
| 2021-08-07 06:39:23 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 06:45:57 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 2021-08-07 06:45:58 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 06:46:19 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 06:54:20 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-07 06:55:51 +0000 | markpythonicbitc | (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-07 06:56:28 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) () |
| 2021-08-07 06:57:06 +0000 | <sm> | branch ? grow ? sprout ? |
| 2021-08-07 07:00:40 +0000 | anandprabhu | (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-08-07 07:00:54 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-07 07:03:50 +0000 | shailangsa | (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2021-08-07 07:14:28 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2021-08-07 07:14:41 +0000 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-08-07 07:14:54 +0000 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) () |
| 2021-08-07 07:15:50 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-08-07 07:19:24 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds) |
| 2021-08-07 07:19:54 +0000 | burnsidesLlama | (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-07 07:23:03 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 07:26:45 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 07:31:50 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-07 07:34:53 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-07 07:35:04 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 2021-08-07 07:38:21 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-08-07 07:40:56 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2021-08-07 07:52:17 +0000 | MoC | (~moc@user/moc) |
| 2021-08-07 07:52:31 +0000 | <maerwald[m]> | is `copyFile` guaranteed to work when source and destination are the same or does it depend on platform/kernel/whatever? |
| 2021-08-07 07:52:35 +0000 | <maerwald[m]> | The documentation is rather useless |
| 2021-08-07 07:53:52 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 07:58:30 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 08:01:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-07 08:03:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-07 08:03:48 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-07 08:04:40 +0000 | sm2n_ | (~sm2n@user/sm2n) |
| 2021-08-07 08:04:55 +0000 | smitop | (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 2021-08-07 08:05:40 +0000 | smitop | (~smitop@user/smitop) |
| 2021-08-07 08:05:42 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-07 08:05:47 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-08-07 08:05:55 +0000 | haskl[error] | (~haskl@98.37.78.63) |
| 2021-08-07 08:05:57 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-07 08:05:57 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-07 08:06:10 +0000 | haskl | (~haskl@98.37.78.63) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:10 +0000 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:11 +0000 | CnnibisIndica | (~herb@user/mesaboogie) |
| 2021-08-07 08:06:22 +0000 | dermato | (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:22 +0000 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:22 +0000 | agander_m | (sid407952@tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-07 08:06:25 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-08-07 08:06:28 +0000 | tput | (~tim@S0106a84e3fe54613.ed.shawcable.net) (Remote host closed the connection) |
| 2021-08-07 08:06:28 +0000 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
| 2021-08-07 08:06:35 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2021-08-07 08:06:44 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:44 +0000 | finsternis | (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 2021-08-07 08:06:46 +0000 | a1paca_ | (~a1paca@user/a1paca) |
| 2021-08-07 08:06:51 +0000 | tput | (~tim@S0106a84e3fe54613.ed.shawcable.net) |
| 2021-08-07 08:07:11 +0000 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-08-07 08:07:12 +0000 | Clint | (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 2021-08-07 08:07:13 +0000 | sm[i]_ | (~user@li229-222.members.linode.com) |
| 2021-08-07 08:07:17 +0000 | sm[i] | (~user@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2021-08-07 08:07:17 +0000 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-08-07 08:07:18 +0000 | juhp | (~juhp@128.106.188.220) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:18 +0000 | CannabisIndica | (~herb@user/mesaboogie) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:18 +0000 | sm2n | (~sm2n@user/sm2n) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:24 +0000 | hgolden_ | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-08-07 08:07:41 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds) |
| 2021-08-07 08:07:48 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-07 08:07:52 +0000 | a1paca | (~a1paca@user/a1paca) (Ping timeout: 256 seconds) |
| 2021-08-07 08:07:55 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2021-08-07 08:07:58 +0000 | CnnibisIndica | CannabisIndica |
| 2021-08-07 08:08:08 +0000 | finsternis | (~X@23.226.237.192) |
| 2021-08-07 08:08:27 +0000 | dermato | (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) |
| 2021-08-07 08:08:42 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-07 08:08:49 +0000 | Clint | (~Clint@user/clint) |
| 2021-08-07 08:09:01 +0000 | jle` | (~justin@cpe-23-240-75-236.socal.res.rr.com) |
| 2021-08-07 08:09:22 +0000 | shailangsa | (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 2021-08-07 08:11:32 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 08:12:18 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 258 seconds) |
| 2021-08-07 08:15:04 +0000 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-07 08:15:29 +0000 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-08-07 08:17:37 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-07 08:17:39 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 08:17:42 +0000 | allbery_b | geekosaur |
| 2021-08-07 08:18:13 +0000 | tomsmeding | is afraid there is no specification apart from the documentation |
| 2021-08-07 08:18:55 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-07 08:20:35 +0000 | Ananta-shesha | (~pjetcetal@2.95.210.188) |
| 2021-08-07 08:31:07 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-07 08:31:08 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-6-19.prtc.net) |
| 2021-08-07 08:34:06 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2021-08-07 08:34:17 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 08:38:52 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-07 08:40:51 +0000 | cheater | (~Username@user/cheater) |
| 2021-08-07 08:43:46 +0000 | minopret | (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) |
| 2021-08-07 08:44:31 +0000 | Cajun | (~Cajun@user/cajun) |
| 2021-08-07 08:45:21 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-07 08:47:43 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-07 09:00:51 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-08-07 09:02:09 +0000 | Guest7123 | (~Guest71@46.97.168.199) |
| 2021-08-07 09:04:21 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-07 09:05:10 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-07 09:05:37 +0000 | minopret | (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) (Quit: Client closed) |
| 2021-08-07 09:11:29 +0000 | kuribas | (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) |
| 2021-08-07 09:12:38 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-07 09:12:52 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 09:13:06 +0000 | Moyst | (~moyst@user/moyst) |
| 2021-08-07 09:16:04 +0000 | Guest7123 | random-jellyfish |
| 2021-08-07 09:19:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 09:23:59 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-07 09:28:35 +0000 | <random-jellyfish> | I have list of zeros and ones like l1=[0,0,0,1,0,1,1,0,0,1,0] and a list of values l2=[1,2,3,4], I want each value from l2 to be placed on a 1 position in l1, the result would look like [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:28:40 +0000 | <random-jellyfish> | how do I do that? |
| 2021-08-07 09:30:13 +0000 | <enikar> | zipWith ? |
| 2021-08-07 09:30:27 +0000 | <enikar> | no ! |
| 2021-08-07 09:30:43 +0000 | <enikar> | sorry. |
| 2021-08-07 09:31:32 +0000 | <random-jellyfish> | can't think of a short and elegant solution |
| 2021-08-07 09:31:51 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-07 09:32:14 +0000 | <enikar> | it's easy to realize with a recursive function, though. |
| 2021-08-07 09:32:33 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 09:32:45 +0000 | <random-jellyfish> | yeah |
| 2021-08-07 09:33:18 +0000 | <xerox> | > let f [] _ = Nothing; f (0:ixs) xs = Just (0,(ixs,xs)); f (1:ixs) (x:xs) = Just (x,(ixs,xs)); g = curry (unfoldr (uncurry f)) in g [0,0,0,1,0,1,0,0,1,0,1,0] [1,2,3,4] |
| 2021-08-07 09:33:19 +0000 | <lambdabot> | [0,0,0,1,0,2,0,0,3,0,4,0] |
| 2021-08-07 09:33:52 +0000 | <xerox> | just an idea |
| 2021-08-07 09:35:39 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-07 09:35:48 +0000 | <random-jellyfish> | interesting, thanks! |
| 2021-08-07 09:37:53 +0000 | pe200012 | (~pe200012@113.105.10.33) |
| 2021-08-07 09:40:07 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 09:40:15 +0000 | <kuribas> | set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:17 +0000 | <kuribas> | > set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:18 +0000 | <lambdabot> | error: |
| 2021-08-07 09:40:18 +0000 | <lambdabot> | • Couldn't match type ‘a0 -> Identity [a1]’ |
| 2021-08-07 09:40:18 +0000 | <lambdabot> | with ‘Control.Lens.Internal.Bazaar.BazaarT |
| 2021-08-07 09:40:44 +0000 | <kuribas> | > set (partsOf $ filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:40:45 +0000 | <lambdabot> | error: |
| 2021-08-07 09:40:45 +0000 | <lambdabot> | • No instance for (Num [Integer]) |
| 2021-08-07 09:40:45 +0000 | <lambdabot> | arising from a use of ‘e_11123400010110010’ |
| 2021-08-07 09:41:19 +0000 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:41:21 +0000 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:43:16 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-6-19.prtc.net) (Quit: Client closed) |
| 2021-08-07 09:45:34 +0000 | <random-jellyfish> | kuribas nice |
| 2021-08-07 09:45:52 +0000 | <kuribas> | it's not a lawful lens though... |
| 2021-08-07 09:46:18 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-08-07 09:46:35 +0000 | <Rembane> | Breaking the law! Breaking the law! |
| 2021-08-07 09:46:45 +0000 | caubert | (~caubert@136.244.111.235) (Quit: WeeChat 3.2) |
| 2021-08-07 09:46:54 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-4-51.prtc.net) (Client Quit) |
| 2021-08-07 09:47:03 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 2021-08-07 09:47:13 +0000 | <c_wraith> | I can't imagine better behavior than what it does, though |
| 2021-08-07 09:47:34 +0000 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:47:36 +0000 | <lambdabot> | [0,0,0,1,0,2,3,0,0,1,0] |
| 2021-08-07 09:47:45 +0000 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4,5,6] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:47:46 +0000 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 2021-08-07 09:48:09 +0000 | caubert | (~caubert@136.244.111.235) |
| 2021-08-07 09:48:34 +0000 | <random-jellyfish> | > set (partsOf $ traverse . filtered (==1)) [1,2] [0,0,0,1,0,1,1,0,0,1,0] |
| 2021-08-07 09:48:35 +0000 | <lambdabot> | [0,0,0,1,0,2,1,0,0,1,0] |
| 2021-08-07 09:48:59 +0000 | <random-jellyfish> | works great |
| 2021-08-07 09:49:41 +0000 | <random-jellyfish> | are there any drawbacks if it's unlawful? (don't know what that mean) |
| 2021-08-07 09:57:23 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 09:58:40 +0000 | mcglk | (~mcglk@131.191.49.120) (Quit: (seeya)) |
| 2021-08-07 10:00:51 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2021-08-07 10:03:01 +0000 | <c_wraith> | the only drawback is that you have to think when refactoring it |
| 2021-08-07 10:04:54 +0000 | <c_wraith> | optics that obey the laws refactor cleanly when you do all sorts of common transformations. The unlawful ones don't guarantee that will work. |
| 2021-08-07 10:11:23 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 10:13:19 +0000 | tbg | (~trueboxgu@user/trueboxguy) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-07 10:15:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 10:18:25 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-4-51.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-07 10:20:02 +0000 | znc_ | (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 2021-08-07 10:27:52 +0000 | trueboxguy | (~trueboxgu@user/trueboxguy) |
| 2021-08-07 10:28:17 +0000 | znc_ | (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-08-07 10:31:27 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 10:33:44 +0000 | oldsk00l | (~oldsk00l@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 2021-08-07 10:34:23 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 10:34:28 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-07 10:34:46 +0000 | delYsid | (~user@62-178-101-151.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-08-07 10:48:18 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 10:52:48 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 10:53:18 +0000 | Vajb | (~Vajb@nzwkg4b83ts4sgjo-3.v6.elisa-mobile.fi) (Ping timeout: 258 seconds) |
| 2021-08-07 10:53:43 +0000 | Vajb | (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) |
| 2021-08-07 10:55:30 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-08-07 11:02:36 +0000 | agua_pesada | (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) |
| 2021-08-07 11:03:07 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-07 11:05:25 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 11:07:50 +0000 | henninb | (~henninb@63-228-51-113.mpls.qwest.net) |
| 2021-08-07 11:09:42 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 11:12:02 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-08-07 11:12:17 +0000 | jess | (~jess@libera/staff/jess) |
| 2021-08-07 11:14:25 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 11:17:44 +0000 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-07 11:21:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 11:25:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-08-07 11:26:40 +0000 | random-jellyfish | (~Guest71@46.97.168.199) (Ping timeout: 246 seconds) |
| 2021-08-07 11:29:37 +0000 | phma | (~phma@2001:5b0:210d:73a8:1482:7584:9a9a:de0a) (Read error: Connection reset by peer) |
| 2021-08-07 11:49:07 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-07 11:52:12 +0000 | markpythonicbitc | (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) |
| 2021-08-07 11:53:17 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 11:54:08 +0000 | Melantha | (~pyon@user/pyon) |
| 2021-08-07 11:56:30 +0000 | <Hecate> | hohai |
| 2021-08-07 11:56:54 +0000 | markpythonicbitc | (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Client Quit) |
| 2021-08-07 11:56:58 +0000 | <Hecate> | is there a way to ensure that the RTS parallelises chains of Applicative effects? |
| 2021-08-07 11:57:10 +0000 | <Hecate> | (when one uses <*> and *>) |
| 2021-08-07 11:58:59 +0000 | <Hecate> | or do I need to do it at the userland level with the Par monad? |
| 2021-08-07 12:00:11 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-08-07 12:00:20 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 12:02:33 +0000 | <[exa]> | Hecate: by "chains of applicative effects", you mean any applicative effects? |
| 2021-08-07 12:02:55 +0000 | <[exa]> | in that case it won't; generally if there is no `par` there's no parallelization |
| 2021-08-07 12:03:49 +0000 | pe200012_ | (~pe200012@218.107.49.28) |
| 2021-08-07 12:03:52 +0000 | pe200012 | (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 2021-08-07 12:07:55 +0000 | exarkun | (~exarkun@user/exarkun) (Remote host closed the connection) |
| 2021-08-07 12:11:28 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-07 12:15:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 12:16:22 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-07 12:18:38 +0000 | ent | (entgod@kapsi.fi) (Ping timeout: 265 seconds) |
| 2021-08-07 12:18:44 +0000 | ent | (entgod@kapsi.fi) |
| 2021-08-07 12:28:32 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 2021-08-07 12:29:59 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-07 12:35:56 +0000 | markpythonicbitc | (~markpytho@50.228.44.6) |
| 2021-08-07 12:41:58 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-08-07 12:47:39 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2021-08-07 13:01:06 +0000 | alx741 | (~alx741@186.178.108.253) |
| 2021-08-07 13:01:36 +0000 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-07 13:06:30 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-07 13:10:28 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-08-07 13:17:07 +0000 | cheater | (~Username@user/cheater) |
| 2021-08-07 13:18:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-07 13:19:15 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-07 13:22:43 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 13:27:28 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-08-07 13:30:39 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-07 13:33:15 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-07 13:33:20 +0000 | chris | Guest9465 |
| 2021-08-07 13:33:23 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-07 13:42:07 +0000 | kuribas | (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-07 13:42:11 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-08-07 13:42:42 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-08-07 13:44:29 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 13:52:03 +0000 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-07 13:52:28 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-08-07 13:52:32 +0000 | henninb | (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 2021-08-07 13:53:34 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-07 13:53:54 +0000 | exarkun | (~exarkun@user/exarkun) (Ping timeout: 240 seconds) |
| 2021-08-07 13:54:19 +0000 | Topsi | (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) |
| 2021-08-07 13:59:02 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-08-07 13:59:40 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-07 13:59:41 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-08-07 14:03:25 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-08-07 14:05:27 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-08-07 14:12:04 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 14:12:09 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-07 14:22:13 +0000 | endlesseditions | (~endlessed@205.220.252.162) |
| 2021-08-07 14:24:27 +0000 | MoC | (~moc@user/moc) |
| 2021-08-07 14:24:43 +0000 | Atum_ | (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 2021-08-07 14:26:53 +0000 | allbery_b | geekosaur |
| 2021-08-07 14:29:10 +0000 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-07 14:35:28 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 14:35:39 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-07 14:38:13 +0000 | pe200012 | (~pe200012@113.105.10.33) |
| 2021-08-07 14:38:19 +0000 | pe200012_ | (~pe200012@218.107.49.28) (Ping timeout: 258 seconds) |
| 2021-08-07 14:42:58 +0000 | futty | (~futty@c83-252-75-55.bredband.tele2.se) |
| 2021-08-07 14:44:52 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-08-07 14:46:12 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-07 14:50:36 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-08-07 14:50:57 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-08-07 14:51:31 +0000 | kor1 | (~kor1@user/kor1) |
| 2021-08-07 14:52:40 +0000 | Colton | (~textual@65-130-191-156.slkc.qwest.net) |
| 2021-08-07 14:55:34 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-07 15:00:26 +0000 | endlesseditions | (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-07 15:01:03 +0000 | Colton | colton |
| 2021-08-07 15:03:30 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2021-08-07 15:07:11 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 15:08:00 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2021-08-07 15:10:28 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-07 15:11:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-07 15:11:44 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-08-07 15:12:37 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 15:15:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 15:15:53 +0000 | xff0x | (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 258 seconds) |
| 2021-08-07 15:19:13 +0000 | futty | (~futty@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 2021-08-07 15:23:41 +0000 | colton | (~textual@65-130-191-156.slkc.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-07 15:25:17 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-07 15:35:53 +0000 | Guest89 | (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) |
| 2021-08-07 15:36:06 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-08-07 15:36:18 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-07 15:37:12 +0000 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-08-07 15:38:11 +0000 | Guest89 | (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) (Client Quit) |
| 2021-08-07 15:38:19 +0000 | xff0x | (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) |
| 2021-08-07 15:38:27 +0000 | endlesseditions | (~endlessed@205.220.252.162) |
| 2021-08-07 15:45:01 +0000 | berberman_ | (~berberman@user/berberman) |
| 2021-08-07 15:46:10 +0000 | berberman | (~berberman@user/berberman) (Ping timeout: 258 seconds) |
| 2021-08-07 15:46:36 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-08-07 15:47:16 +0000 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-08-07 15:48:05 +0000 | <Hecate> | < [exa]> Hecate: by "chains of applicative effects", you mean any applicative effects? // yeah |
| 2021-08-07 15:48:19 +0000 | <Hecate> | since we more or less give up execution order to the RTS |
| 2021-08-07 15:48:42 +0000 | <Hecate> | I was wondering if it was doing the better thing for actions that do not depend on other actions |
| 2021-08-07 15:49:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-07 15:49:59 +0000 | endlesseditions | (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-07 15:51:13 +0000 | econo | (uid147250@user/econo) |
| 2021-08-07 15:53:01 +0000 | enoq | (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-07 15:57:07 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-07 15:58:52 +0000 | slycelote | (~slycelote@user/slycelote) |
| 2021-08-07 16:04:22 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 16:10:54 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:11:13 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:13:51 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-08-07 16:14:19 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:14:39 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:14:44 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 2021-08-07 16:15:40 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:15:58 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:16:16 +0000 | smarton | (~smarton@gnu/webmaster/smarton) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-07 16:16:21 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2021-08-07 16:16:37 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-07 16:16:48 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2021-08-07 16:17:01 +0000 | smarton | (~smarton@gnu/webmaster/smarton) |
| 2021-08-07 16:17:37 +0000 | cpape` | (~user@2a01:4f9:c010:632d::1) (Remote host closed the connection) |
| 2021-08-07 16:17:51 +0000 | cpape` | (~user@2a01:4f9:c010:632d::1) |
| 2021-08-07 16:17:57 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:18:26 +0000 | vysn | (~vysn@user/vysn) |
| 2021-08-07 16:18:26 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:18:54 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:20:02 +0000 | smarton | (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 2021-08-07 16:20:10 +0000 | retroid_ | (~retro@5ec19a54.skybroadband.com) (Ping timeout: 240 seconds) |
| 2021-08-07 16:20:44 +0000 | acid | (~acid@user/acid) (Ping timeout: 252 seconds) |
| 2021-08-07 16:20:53 +0000 | smarton | (~smarton@gnu/webmaster/smarton) |
| 2021-08-07 16:21:28 +0000 | dyniec | (~dyniec@mail.dybiec.info) (Ping timeout: 272 seconds) |
| 2021-08-07 16:21:30 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:22:24 +0000 | dyniec | (~dyniec@mail.dybiec.info) |
| 2021-08-07 16:22:25 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:23:18 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:23:22 +0000 | smarton | (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 2021-08-07 16:23:54 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:24:21 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:24:45 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:25:11 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 16:25:37 +0000 | acid | (~acid@user/acid) |
| 2021-08-07 16:26:01 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-07 16:33:56 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-08-07 16:34:47 +0000 | exarkun | (~exarkun@user/exarkun) (Quit: ZNC 1.7.4 - https://znc.in) |
| 2021-08-07 16:35:06 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2021-08-07 16:35:50 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 16:36:43 +0000 | exarkun | (~exarkun@user/exarkun) (Client Quit) |
| 2021-08-07 16:36:56 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-08-07 16:37:51 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 16:38:37 +0000 | noddy | (~user@user/noddy) (Ping timeout: 258 seconds) |
| 2021-08-07 16:38:43 +0000 | cheater | (~Username@user/cheater) |
| 2021-08-07 16:39:31 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 16:40:17 +0000 | noddy | (~user@user/noddy) (Max SendQ exceeded) |
| 2021-08-07 16:41:51 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 16:47:30 +0000 | noddy | (~user@user/noddy) (Ping timeout: 272 seconds) |
| 2021-08-07 16:48:32 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 16:53:10 +0000 | acid | (~acid@user/acid) (Ping timeout: 256 seconds) |
| 2021-08-07 16:53:15 +0000 | exarkun | (~exarkun@user/exarkun) (Ping timeout: 258 seconds) |
| 2021-08-07 16:55:57 +0000 | noddy | (~user@user/noddy) (Ping timeout: 245 seconds) |
| 2021-08-07 16:57:12 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 16:57:14 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-4-122.prtc.net) |
| 2021-08-07 16:58:50 +0000 | acid | (~acid@user/acid) |
| 2021-08-07 17:02:37 +0000 | noddy | (~user@user/noddy) (Ping timeout: 245 seconds) |
| 2021-08-07 17:02:42 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2021-08-07 17:03:04 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) |
| 2021-08-07 17:03:41 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 17:04:46 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-08-07 17:05:26 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-08-07 17:06:34 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-08-07 17:07:39 +0000 | hrnz | (~ulli@irc.plumbing) (Ping timeout: 276 seconds) |
| 2021-08-07 17:09:38 +0000 | noddy | (~user@user/noddy) (Read error: Connection reset by peer) |
| 2021-08-07 17:10:12 +0000 | noddy | (~user@user/noddy) |
| 2021-08-07 17:15:05 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-07 17:19:40 +0000 | MQ-17J | (~MQ-17J@8.21.10.94) |
| 2021-08-07 17:20:16 +0000 | retroid_ | (~retro@5ec19a54.skybroadband.com) |
| 2021-08-07 17:20:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-07 17:23:28 +0000 | <dsal> | I had written all this code for collapsing folding newlines into spaces and making sure that duplicate spaces were removed when logging potentially large errors from a remote API and it turned out my code wasn't doing anything more than `unwords . words` |
| 2021-08-07 17:23:59 +0000 | peterhil | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-07 17:24:06 +0000 | <geekosaur> | heh |
| 2021-08-07 17:24:36 +0000 | kor1 | (~kor1@user/kor1) (Quit: Leaving.) |
| 2021-08-07 17:26:23 +0000 | <c_wraith> | > "the first\n\none" & worded %~ id -- lens has an improper optic for this! |
| 2021-08-07 17:26:24 +0000 | <lambdabot> | "the first one" |
| 2021-08-07 17:26:41 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-07 17:26:55 +0000 | <dsal> | `%~ id` looks funny. |
| 2021-08-07 17:27:02 +0000 | <c_wraith> | because it is :) |
| 2021-08-07 17:27:21 +0000 | <c_wraith> | it would do exactly nothing with a lawful optic |
| 2021-08-07 17:28:29 +0000 | <dsal> | Oh, that's neat. That might be useful if my function weren't `String -> String` |
| 2021-08-07 17:31:38 +0000 | <c_wraith> | > "the first\n\none" & worded %~ map toUpper |
| 2021-08-07 17:31:39 +0000 | <lambdabot> | "THE FIRST ONE" |
| 2021-08-07 17:32:07 +0000 | <c_wraith> | works properly with some String -> String functions |
| 2021-08-07 17:34:16 +0000 | hrnz | (~ulli@irc.plumbing) |
| 2021-08-07 17:37:02 +0000 | <raehik> | I'm trying to parse a UTF-8 CSV, and Cassava appears not to accept UTF-8. is that the case or is my config broke |
| 2021-08-07 17:37:32 +0000 | <monochrom> | cassava accepts UTF-8 for me. |
| 2021-08-07 17:37:35 +0000 | <raehik> | very confused that they use Chars and Text but fall over on *any* non-ASCII |
| 2021-08-07 17:38:02 +0000 | <geekosaur> | "falls over" how? |
| 2021-08-07 17:38:04 +0000 | <raehik> | could I run things on lambdabot here (or would the pkg not be here) |
| 2021-08-07 17:38:24 +0000 | <monochrom> | lambdabot doesn't have cassava. |
| 2021-08-07 17:38:57 +0000 | <raehik> | geekosaur: I get unusual "conversion error, cannot decode byte" msgs, telling me invalid UTF-8 stream |
| 2021-08-07 17:39:17 +0000 | <raehik> | > Data.Csv.decode Data.Csv.NoHeader "テスト" |
| 2021-08-07 17:39:19 +0000 | <lambdabot> | error: |
| 2021-08-07 17:39:19 +0000 | <lambdabot> | Not in scope: ‘Data.Csv.decode’ |
| 2021-08-07 17:39:19 +0000 | <lambdabot> | No module named ‘Data.Csv’ is imported.error: |
| 2021-08-07 17:39:22 +0000 | <Hecate> | raehik: any chance you could provide a repro? |
| 2021-08-07 17:39:41 +0000 | <c_wraith> | raehik: cassava claims that it only works with UTF-8 |
| 2021-08-07 17:39:51 +0000 | <tomsmeding> | raehik: try running 'iconv -f utf8 -t utf8 your_file.csv' and see if that gives an error; if so, the file has invalid utf8 |
| 2021-08-07 17:39:58 +0000 | <c_wraith> | raehik: is there any chance your data *isn't* UTF-8? |
| 2021-08-07 17:40:16 +0000 | <raehik> | I haven't actually tested any files yet, only Bytestrings and Text |
| 2021-08-07 17:40:30 +0000 | <raehik> | urgh maybe that's why, b/c they're not UTF-8? |
| 2021-08-07 17:40:46 +0000 | <c_wraith> | that would fit the error message you're reporting |
| 2021-08-07 17:40:50 +0000 | <Athas> | Does anyone know of a Haskell implementation of the bfloat16 format? I can't find one on Hackage. |
| 2021-08-07 17:41:02 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-08-07 17:42:08 +0000 | <raehik> | gah what a weird error. So I'm unable to test in GHCi, but regular files will work fine |
| 2021-08-07 17:42:21 +0000 | <raehik> | thanks for the assistance, that's very unintuitive |
| 2021-08-07 17:42:29 +0000 | <c_wraith> | is your terminal set to a different encoding? |
| 2021-08-07 17:42:38 +0000 | <c_wraith> | that matters when you're typing things in interactively |
| 2021-08-07 17:42:42 +0000 | <monochrom> | Is this Windows? Is your code page not 65001? |
| 2021-08-07 17:42:51 +0000 | <raehik> | Linux, LANG=en_US.UTF-8 |
| 2021-08-07 17:42:59 +0000 | <raehik> | Use UTF-8 (CJK) regularly in terminal |
| 2021-08-07 17:43:31 +0000 | <c_wraith> | wait. cassava uses bytestrings for input. |
| 2021-08-07 17:43:55 +0000 | <tomsmeding> | perhaps post the actual byte contents of a failing bytestring? |
| 2021-08-07 17:44:04 +0000 | <c_wraith> | how are you converting? OverloadedStrings doesn't really do the right thing for bytestring |
| 2021-08-07 17:44:09 +0000 | <raehik> | OH so thaaat's why. I got the typevars the wrong way round |
| 2021-08-07 17:44:12 +0000 | <monochrom> | Oh right, OverloadedString for ByteString is flawed. |
| 2021-08-07 17:44:20 +0000 | <tomsmeding> | OverloadedStrings is evil |
| 2021-08-07 17:44:30 +0000 | <raehik> | hahahaha thank you everyone |
| 2021-08-07 17:44:32 +0000 | <c_wraith> | yeah, I never use it. |
| 2021-08-07 17:44:50 +0000 | <raehik> | I did confirm it was sth to do with that, wrapping in (BL.fromStrict . Text.encodeUtf8) fixed it |
| 2021-08-07 17:45:02 +0000 | <monochrom> | I use it when it's "abc123" not my Chinese name. |
| 2021-08-07 17:45:03 +0000 | <c_wraith> | yep, that sounds right |
| 2021-08-07 17:45:41 +0000 | AnselmSchler[m] | (~schuelerm@2001:470:69fc:105::d032) |
| 2021-08-07 17:45:47 +0000 | <c_wraith> | honestly, turning on OverloadedStrings breaks things anyway. |
| 2021-08-07 17:45:54 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 17:47:36 +0000 | <davean> | OverloadedStrings with ByteString is scary |
| 2021-08-07 17:47:53 +0000 | <AnselmSchler[m]> | why? |
| 2021-08-07 17:48:05 +0000 | <davean> | AnselmSchler[m]: Because its an invalid instance |
| 2021-08-07 17:48:24 +0000 | schuelermine | (~anselmsch@user/schuelermine) |
| 2021-08-07 17:48:43 +0000 | <AnselmSchler[m]> | davean: How so? |
| 2021-08-07 17:48:49 +0000 | <geekosaur> | feed it utf8 and it will corrupt it |
| 2021-08-07 17:48:50 +0000 | <monochrom> | You have literally just seen why. |
| 2021-08-07 17:48:54 +0000 | schuelermine | (~anselmsch@user/schuelermine) (Client Quit) |
| 2021-08-07 17:49:00 +0000 | <geekosaur> | no, they joined too late to see it |
| 2021-08-07 17:49:02 +0000 | <monochrom> | Err nevermind. |
| 2021-08-07 17:49:04 +0000 | <AnselmSchler[m]> | monochrom: no I haven’ŧ |
| 2021-08-07 17:49:11 +0000 | <tomsmeding> | The docs even say it :) https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/Data-ByteString.html#t:ByteString |
| 2021-08-07 17:49:16 +0000 | <AnselmSchler[m]> | I guess |
| 2021-08-07 17:49:40 +0000 | <tomsmeding> | AnselmSchler[m]: https://ircbrowse.tomsmeding.com/day/lchaskell/today?id=129487#trid129487 |
| 2021-08-07 17:49:41 +0000 | <davean> | Theres no prescribed relation between ByteString and String |
| 2021-08-07 17:49:42 +0000 | <AnselmSchler[m]> | but I wouldn’t consider that scary, since it’s a literal and you can just not put Unicode in there |
| 2021-08-07 17:49:53 +0000 | <davean> | So it can't have a correct instance |
| 2021-08-07 17:49:56 +0000 | <tomsmeding> | except someone did :) |
| 2021-08-07 17:50:13 +0000 | <AnselmSchler[m]> | tomsmeding: ooh, I didn’t know that sort of website existed! Thanks for the link. |
| 2021-08-07 17:50:39 +0000 | <davean> | AnselmSchler[m]: So if I put in code 200 in there, what is it? |
| 2021-08-07 17:51:07 +0000 | <AnselmSchler[m]> | davean: what do you mean by that? |
| 2021-08-07 17:51:32 +0000 | <AnselmSchler[m]> | U+00C8? |
| 2021-08-07 17:51:33 +0000 | <davean> | If I have code point 200 in my string, and you use OverloadedStrings to ByteString, what is it? |
| 2021-08-07 17:51:58 +0000 | <AnselmSchler[m]> | an error, I’d assume |
| 2021-08-07 17:52:10 +0000 | <davean> | No, that instance never errors |
| 2021-08-07 17:52:13 +0000 | <davean> | thats whats so scary about it |
| 2021-08-07 17:52:16 +0000 | <davean> | it just does SOMETHING |
| 2021-08-07 17:52:21 +0000 | <davean> | often, who the fuck knows what |
| 2021-08-07 17:52:36 +0000 | <AnselmSchler[m]> | oh |
| 2021-08-07 17:52:39 +0000 | <AnselmSchler[m]> | hm |
| 2021-08-07 17:52:50 +0000 | <AnselmSchler[m]> | does it just do UTF8 encoding? |
| 2021-08-07 17:53:01 +0000 | <tomsmeding> | no, it puts a byte with value 200 in the bytestring |
| 2021-08-07 17:53:13 +0000 | <tomsmeding> | which is not what you want if you expect valid utf8 to come out |
| 2021-08-07 17:53:17 +0000 | <tomsmeding> | (the docs say it! :p) |
| 2021-08-07 17:53:19 +0000 | <davean> | tomsmeding: sure, once you know its that, but getting it there involves locals |
| 2021-08-07 17:53:27 +0000 | <tomsmeding> | locals? |
| 2021-08-07 17:53:29 +0000 | <AnselmSchler[m]> | tomsmeding: how does it do that? |
| 2021-08-07 17:53:53 +0000 | <davean> | tomsmeding: *locales |
| 2021-08-07 17:54:46 +0000 | <davean> | I once had this joy with that instance, back in the day, figuring out why something worked on one system and not another |
| 2021-08-07 17:54:50 +0000 | <AnselmSchler[m]> | wait |
| 2021-08-07 17:55:00 +0000 | <AnselmSchler[m]> | where is the problem with having a value 200 byte |
| 2021-08-07 17:55:16 +0000 | <geekosaur> | because it's not utf8 |
| 2021-08-07 17:55:26 +0000 | <geekosaur> | and it's even worse for codepoints > 256 |
| 2021-08-07 17:55:27 +0000 | <AnselmSchler[m]> | oh |
| 2021-08-07 17:55:27 +0000 | <AnselmSchler[m]> | I mean |
| 2021-08-07 17:55:34 +0000 | <geekosaur> | where it just truncates |
| 2021-08-07 17:55:35 +0000 | <AnselmSchler[m]> | geekosaur: what’s it do then? |
| 2021-08-07 17:55:38 +0000 | <AnselmSchler[m]> | ah ok |
| 2021-08-07 17:55:40 +0000 | <tomsmeding> | AnselmSchler[m]: if you follow the definitions here, you see it does what I said https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/src/Data.ByteString.Internal.html#li… |
| 2021-08-07 17:55:57 +0000 | <tomsmeding> | at some point it invokes c2w :: Char -> Word8 for each character in the string |
| 2021-08-07 17:56:00 +0000 | <davean> | Its in the code page scope of ascii |
| 2021-08-07 17:56:01 +0000 | <tomsmeding> | which truncates |
| 2021-08-07 17:56:05 +0000 | <AnselmSchler[m]> | I feel like this is a reasonable implementation |
| 2021-08-07 17:56:11 +0000 | <geekosaur> | it's just really broken |
| 2021-08-07 17:56:14 +0000 | <monochrom> | It is equivalent to iso-latin-1. |
| 2021-08-07 17:56:22 +0000 | <davean> | monochrom: I mean, soemtimes |
| 2021-08-07 17:56:25 +0000 | <AnselmSchler[m]> | I would not expect a bytestring literal to encode with UTF8 |
| 2021-08-07 17:56:31 +0000 | <monochrom> | which is the most evil invention of them all. |
| 2021-08-07 17:56:41 +0000 | <davean> | AnselmSchler[m]: but strings in Haskell *are* UTF-8 |
| 2021-08-07 17:56:48 +0000 | <tomsmeding> | AnselmSchler[m]: would you expect 'Data.Csv.decode Data.Csv.NoHeader "テスト"' to work with a csv library? |
| 2021-08-07 17:56:57 +0000 | <tomsmeding> | it doesn't, because that csv library takes bytestrings :p |
| 2021-08-07 17:57:12 +0000 | <tomsmeding> | taken from a real question by a real person in this channel just before you joined |
| 2021-08-07 17:57:30 +0000 | <AnselmSchler[m]> | good point |
| 2021-08-07 17:58:06 +0000 | <tomsmeding> | IsString for ByteString is in the same realm as fromIntegral; it's totally sensible if you know precisely what you're doing, but it's a huge footgun if you don't |
| 2021-08-07 17:58:19 +0000 | <tomsmeding> | for minor ergonomics improvement |
| 2021-08-07 17:58:38 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 17:58:41 +0000 | <raehik> | it'd be nice to have a note on this in the Cassava lib, since I kind of expected to be able to mimic the examples in GHCi! |
| 2021-08-07 18:00:37 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-07 18:01:03 +0000 | <tomsmeding> | raehik: what do you get if you type "テスト" in your ghci, and what if you type 'fromString "テスト" :: ByteString' |
| 2021-08-07 18:01:31 +0000 | <tomsmeding> | which example were you mimicing in ghci, precisely? |
| 2021-08-07 18:01:47 +0000 | <raehik> | tomsmeding: "\198\185\200" |
| 2021-08-07 18:01:59 +0000 | <tomsmeding> | that's the same as I get, fortunately |
| 2021-08-07 18:02:07 +0000 | <raehik> | I was trying to do the simplest no-header decode I could do, without file loading |
| 2021-08-07 18:02:15 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2021-08-07 18:02:18 +0000 | talismanick | (~user@2601:644:8502:d700::8fb8) (Ping timeout: 256 seconds) |
| 2021-08-07 18:02:45 +0000 | <tomsmeding> | I think this particular test doesn't have anything to do with ghci; it's just the IsString instance of ByteString that's biting you |
| 2021-08-07 18:02:49 +0000 | <raehik> | decode @[Text] NoHeader "blablabla" |
| 2021-08-07 18:02:52 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds) |
| 2021-08-07 18:03:23 +0000 | <raehik> | Yes, you're right. glad I could get why it occurs cleared up too, thank you |
| 2021-08-07 18:03:29 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:05:01 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-07 18:05:30 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-08-07 18:05:39 +0000 | hueso | (~root@user/hueso) |
| 2021-08-07 18:07:40 +0000 | <dsal> | I've been trying to use hedgehog more because people say it's amazing and stuff. I can see some of the good parts, but it always feels way more imperative. |
| 2021-08-07 18:20:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-08-07 18:22:39 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:24:42 +0000 | hueso | (~root@user/hueso) |
| 2021-08-07 18:26:07 +0000 | deadletter[m] | (~deadlette@2001:470:69fc:105::d277) |
| 2021-08-07 18:32:00 +0000 | lbseale | (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-08-07 18:32:24 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-07 18:33:09 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:33:18 +0000 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-07 18:35:02 +0000 | hueso | (~root@user/hueso) |
| 2021-08-07 18:36:49 +0000 | Guest9465 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 18:40:28 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-07 18:40:32 +0000 | chris | Guest9928 |
| 2021-08-07 18:45:32 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 18:46:41 +0000 | hueso | (~root@user/hueso) |
| 2021-08-07 18:48:43 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-4-122.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-07 18:52:56 +0000 | favonia | (~favonia@user/favonia) |
| 2021-08-07 18:54:49 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-07 18:55:16 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-07 18:56:19 +0000 | pavonia | (~user@user/siracusa) |
| 2021-08-07 19:01:30 +0000 | xff0x | (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 240 seconds) |
| 2021-08-07 19:03:30 +0000 | xff0x | (~xff0x@2001:1a81:5329:ea00:e083:f7b4:2cd3:667d) |
| 2021-08-07 19:04:04 +0000 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-07 19:08:36 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 19:13:02 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-08-07 19:14:12 +0000 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-07 19:14:47 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-07 19:15:12 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-07 19:15:47 +0000 | TheCoffeMaker_ | (~TheCoffeM@125-121-245-190.fibertel.com.ar) (Ping timeout: 258 seconds) |
| 2021-08-07 19:16:37 +0000 | MQ-17J | (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds) |
| 2021-08-07 19:16:55 +0000 | MQ-17J | (~MQ-17J@8.21.10.94) |
| 2021-08-07 19:17:23 +0000 | azeem | (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-08-07 19:17:50 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2021-08-07 19:18:47 +0000 | azeem | (~azeem@176.201.8.137) |
| 2021-08-07 19:19:50 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2021-08-07 19:22:27 +0000 | Guest1760 | (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 2021-08-07 19:23:53 +0000 | Guest1760 | (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) () |
| 2021-08-07 19:24:17 +0000 | azeem | (~azeem@176.201.8.137) (Ping timeout: 245 seconds) |
| 2021-08-07 19:25:44 +0000 | azeem | (~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) |
| 2021-08-07 19:27:29 +0000 | hexfive | (~eric@50.35.83.177) |
| 2021-08-07 19:27:39 +0000 | hexfive | (~eric@50.35.83.177) (Client Quit) |
| 2021-08-07 19:27:42 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 2021-08-07 19:30:32 +0000 | marsupilami | (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 2021-08-07 19:32:42 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-08-07 19:34:49 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-07 19:34:53 +0000 | markpythonicbitc | (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-07 19:36:18 +0000 | Guest9928 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-07 19:38:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-08-07 19:38:33 +0000 | marsupilami | (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) (Leaving) |
| 2021-08-07 19:38:57 +0000 | endlesseditions | (~endlessed@199.19.117.167) |
| 2021-08-07 19:47:40 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2021-08-07 19:55:26 +0000 | mattil | (~mattilinn@87-92-57-75.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-07 20:01:13 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-07 20:02:12 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-07 20:02:31 +0000 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-07 20:02:37 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 258 seconds) |
| 2021-08-07 20:07:50 +0000 | juhp | (~juhp@128.106.188.220) |
| 2021-08-07 20:09:39 +0000 | <c_wraith> | Is there some known performance issue with listArray? |
| 2021-08-07 20:10:00 +0000 | emliunix | (~emliunix@2a09:bac0:23::815:b8b) (Remote host closed the connection) |
| 2021-08-07 20:10:17 +0000 | emliunix | (~emliunix@103.138.75.119) |
| 2021-08-07 20:10:20 +0000 | <c_wraith> | I benchmarked creating a mutable array and freezing it as faster which is... weird. |
| 2021-08-07 20:11:10 +0000 | <c_wraith> | (just throwing an unevaluated thunk into each element) |
| 2021-08-07 20:12:58 +0000 | Vajb | (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) (Ping timeout: 258 seconds) |
| 2021-08-07 20:15:51 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-07 20:15:57 +0000 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-07 20:16:33 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 20:16:33 +0000 | Vajb | (~Vajb@2001:999:251:bada:1067:ceb1:260a:e753) |
| 2021-08-07 20:18:55 +0000 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 2021-08-07 20:19:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-07 20:23:30 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-08-07 20:23:43 +0000 | hueso | (~root@user/hueso) |
| 2021-08-07 20:24:12 +0000 | exarkun | (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-08-07 20:24:18 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-07 20:24:54 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2021-08-07 20:25:30 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 20:26:34 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-07 20:28:04 +0000 | dagit_ | (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) |
| 2021-08-07 20:29:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-07 20:29:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-07 20:31:25 +0000 | dagit | (~dagit@2601:1c2:1b7f:9fa0:459f:eccd:9a2b:f09a) (Read error: Connection reset by peer) |
| 2021-08-07 20:32:22 +0000 | peterhil | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-07 20:36:29 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) |
| 2021-08-07 20:36:47 +0000 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2021-08-07 20:37:05 +0000 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Remote host closed the connection) |
| 2021-08-07 20:49:22 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-07 20:49:55 +0000 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2021-08-07 20:50:51 +0000 | dagit_ | (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) (Quit: Leaving) |
| 2021-08-07 20:50:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 21:01:41 +0000 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) |
| 2021-08-07 21:03:24 +0000 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2021-08-07 21:05:16 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) (Ping timeout: 272 seconds) |
| 2021-08-07 21:05:16 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 272 seconds) |
| 2021-08-07 21:05:16 +0000 | erisco_ | erisco |
| 2021-08-07 21:06:42 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-08-07 21:10:23 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-07 21:14:31 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) |
| 2021-08-07 21:15:37 +0000 | endlesseditions | (~endlessed@199.19.117.167) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-07 21:15:53 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-07 21:16:36 +0000 | exarkun | (~exarkun@user/exarkun) (Ping timeout: 276 seconds) |
| 2021-08-07 21:18:08 +0000 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) (Ping timeout: 258 seconds) |
| 2021-08-07 21:22:27 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 276 seconds) |
| 2021-08-07 21:22:53 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 21:24:04 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-07 21:29:50 +0000 | tcard_ | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-08-07 21:30:39 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-07 21:31:01 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) () |
| 2021-08-07 21:38:57 +0000 | Topsi | (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-08-07 21:39:05 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-08-07 21:42:14 +0000 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 2021-08-07 21:42:26 +0000 | cheater | (~Username@user/cheater) |
| 2021-08-07 21:42:26 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-07 21:42:50 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-08-07 21:46:42 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 2021-08-07 21:46:47 +0000 | alx741 | (~alx741@186.178.108.253) (Ping timeout: 245 seconds) |
| 2021-08-07 21:47:09 +0000 | xkuru | (~xkuru@user/xkuru) (Client Quit) |
| 2021-08-07 21:47:16 +0000 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds) |
| 2021-08-07 21:47:33 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-08-07 21:47:37 +0000 | xkuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2021-08-07 21:49:12 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-08-07 21:50:38 +0000 | phma | (phma@2001:5b0:210f:5478:d01b:a8f6:5c4b:b741) |
| 2021-08-07 21:52:13 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-07 21:53:35 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-07 21:53:50 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-07 21:54:02 +0000 | funsafe | (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) (Ping timeout: 272 seconds) |
| 2021-08-07 22:04:53 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-07 22:05:40 +0000 | ukari | (~ukari@user/ukari) |
| 2021-08-07 22:06:04 +0000 | aegon | (~mike@174.127.249.180) |
| 2021-08-07 22:06:15 +0000 | <int-e> | c_wraith: I'm looking at https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/Arr.hs#L175-189 and it's horrible, but not obviously bad from a performance PoV? In any case, superficially it does what you said: create a mutable array, then (unsafe-) freeze it. |
| 2021-08-07 22:06:34 +0000 | <aegon> | hey all, I'm trying to follow the real world scotty example and adapt it to my use case and I'm getting an error I don't understand why the example does not get |
| 2021-08-07 22:06:40 +0000 | <aegon> | https://paste.tomsmeding.com/aTqmQD5w |
| 2021-08-07 22:07:07 +0000 | <aegon> | i get that the Storage r m constraint doesn't necissarily fully define what r must be but my understanding is that that is by design and not needed to be defined at this point |
| 2021-08-07 22:07:33 +0000 | <int-e> | c_wraith: it may actually be bad if list fusion doesn't kick in. |
| 2021-08-07 22:07:58 +0000 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-08-07 22:10:27 +0000 | <aegon> | oh shoot, do notation messed me up, found it |
| 2021-08-07 22:10:30 +0000 | exarkun | (~exarkun@user/exarkun) (Ping timeout: 272 seconds) |
| 2021-08-07 22:11:39 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-07 22:14:51 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-07 22:16:07 +0000 | cawfee | (~root@2406:3003:2077:2758::babe) |
| 2021-08-07 22:36:24 +0000 | alx741 | (~alx741@186.178.108.253) |
| 2021-08-07 22:39:46 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-08-07 22:40:24 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-07 22:47:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-07 22:47:17 +0000 | vysn | (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-07 22:48:33 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-08-07 22:53:48 +0000 | aegon | (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-07 23:02:08 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-08-07 23:04:25 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 23:08:55 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-07 23:12:28 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-07 23:12:54 +0000 | sander | (~sander@user/sander) (Ping timeout: 250 seconds) |
| 2021-08-07 23:13:31 +0000 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 2021-08-07 23:13:57 +0000 | euouae | (~euouae@user/euouae) |
| 2021-08-07 23:21:34 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-07 23:23:29 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-07 23:27:19 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-07 23:34:20 +0000 | markpythonicbitc | (~markpytho@2601:647:5a00:35:147a:d585:e4cc:401c) |
| 2021-08-07 23:54:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-07 23:59:42 +0000 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds) |