Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 .. 18041
— 1,804,021 events total
2021-08-07 00:06:36 → fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-08-07 00:09:06 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-07 00:12:06 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-07 00:15:22 × fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2)
2021-08-07 00:15:37 → fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-08-07 00:17:23 × fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Client Quit)
2021-08-07 00:17:38 → fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net)
2021-08-07 00:24:38 ← _73` parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-08-07 00:24:53 → zebrag joins (~chris@user/zebrag)
2021-08-07 00:27:04 <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 <lechner> one -c, and then a list of version strings
2021-08-07 00:27:54 <lechner> i should have uesd strArgument
2021-08-07 00:28:12 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection)
2021-08-07 00:28:44 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 00:28:44 <euouae> _73: hm... foldr is recursive?
2021-08-07 00:29:02 <dsal> lechner: Yeah, that's not exactly a thing.
2021-08-07 00:29:16 → markpythonicbitc joins (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e)
2021-08-07 00:29:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-08-07 00:29:39 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection)
2021-08-07 00:29:52 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 00:30:28 <geekosaur> @src foldr
2021-08-07 00:30:28 <lambdabot> foldr f z [] = z
2021-08-07 00:30:28 <lambdabot> foldr f z (x:xs) = f x (foldr f z xs)
2021-08-07 00:32:11 → _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-08-07 00:32:56 → dajoer joins (~david@user/gvx)
2021-08-07 00:36:31 × xff0x_ quits (~xff0x@2001:1a81:52e3:2500:8766:3fda:9e97:b8d5) (Ping timeout: 258 seconds)
2021-08-07 00:37:29 → xff0x_ joins (~xff0x@port-92-195-37-130.dynamic.as20676.net)
2021-08-07 00:37:34 × Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection)
2021-08-07 00:38:05 <euouae> whenever I think of foldr and foldl
2021-08-07 00:38:19 <euouae> I'm always thinking of a tree folding on one side
2021-08-07 00:38:40 <euouae> but I never know what the implications on execution are. I know one is slow I think
2021-08-07 00:39:58 <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 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-08-07 00:41:15 <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 <_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 <euouae> Ok but what's the difference between (r) and (l) ?
2021-08-07 00:44:57 <euouae> in fold(r) and fold(l)
2021-08-07 00:45:11 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-08-07 00:48:16 → arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net)
2021-08-07 00:48:29 <_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 <pavonia> euouae: https://wiki.haskell.org/Foldr_Foldl_Foldl%27
2021-08-07 00:48:54 × arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Client Quit)
2021-08-07 00:50:39 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection)
2021-08-07 00:50:51 <euouae> AH I get it now
2021-08-07 00:51:06 <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 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 00:52:30 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-08-07 00:53:44 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection)
2021-08-07 00:53:56 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 00:55:54 ← _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-08-07 00:55:55 × jess quits (~jess@libera/staff/jess) ()
2021-08-07 00:58:47 × euouae quits (~euouae@user/euouae) (Quit: euouae)
2021-08-07 00:59:16 <lechner> dsal: thanks! what is parseTarget please?
2021-08-07 00:59:24 → machinedgod joins (~machinedg@24.105.81.50)
2021-08-07 00:59:28 × xsperry quits (~as@user/xsperry) (Remote host closed the connection)
2021-08-07 00:59:37 <dsal> lechner: https://github.com/dustin/waitforsocket/blob/master/src/Waitforsocket.hs#L54
2021-08-07 00:59:55 → xsperry joins (~as@user/xsperry)
2021-08-07 01:00:16 <dsal> If yours are just strings, you'd use `str` or whatever. My case is more complicated.
2021-08-07 01:00:46 <lechner> actually, they are semver strings
2021-08-07 01:01:05 <lechner> i will write my own parser!
2021-08-07 01:01:12 <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 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection)
2021-08-07 01:01:48 <lechner> now what do you that for, please?
2021-08-07 01:01:48 <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 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 01:02:00 <lechner> i see
2021-08-07 01:06:48 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 258 seconds)
2021-08-07 01:07:34 <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 × aegon quits (~mike@174.127.249.180) (Quit: leaving)
2021-08-07 01:10:14 <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 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-07 01:10:36 <dsal> Internet offline: `waitforsocket https://www.google.com/ && whatever`
2021-08-07 01:11:15 → MQ-17J joins (~MQ-17J@8.21.10.94)
2021-08-07 01:12:43 <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 → Cajun joins (~Cajun@user/cajun)
2021-08-07 01:34:41 → xff0x joins (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749)
2021-08-07 01:37:51 × xff0x_ quits (~xff0x@port-92-195-37-130.dynamic.as20676.net) (Ping timeout: 258 seconds)
2021-08-07 01:40:12 → roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099)
2021-08-07 01:41:50 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2021-08-07 01:42:29 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-08-07 01:47:33 <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 × roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds)
2021-08-07 02:03:40 <dsal> lechner: Fremont, CA?
2021-08-07 02:04:08 <dsal> I'm up here in fire country. It's been sunset all day. :)
2021-08-07 02:06:16 × tinwood quits (~tinwood@canonical/tinwood) (Remote host closed the connection)
2021-08-07 02:08:11 × alx741 quits (~alx741@186.178.108.253) (Quit: alx741)
2021-08-07 02:08:46 → pfurla joins (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net)
2021-08-07 02:09:17 → tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-08-07 02:09:18 × tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2021-08-07 02:09:18 → tinwood joins (~tinwood@canonical/tinwood)
2021-08-07 02:10:49 × MQ-17J quits (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds)
2021-08-07 02:10:53 → h_ joins (rootvegeta@fsf/member/hays)
2021-08-07 02:11:06 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-07 02:11:22 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-08-07 02:11:31 <h_> anyone here know enough about category theory to answer a basic question?
2021-08-07 02:12:58 <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 <h_> Left unital: for any f : c → d, the equation idc ◦ f = f holds
2021-08-07 02:13:50 <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 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
2021-08-07 02:16:37 FinnElija is now known as Guest2491
←Prev  Next→
Page 1 .. 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 .. 18041

All times are in UTC.