Newest at the top
2024-06-30 18:58:56 +0200 | dyniec | (~dyniec@dybiec.info) |
2024-06-30 18:57:56 +0200 | <Lawrence1erkheim> | mreh: I'd rather not, the internet is a spooky place. |
2024-06-30 18:56:28 +0200 | <mreh> | Lawrence1erkheim: do you mind saying which uni? |
2024-06-30 18:54:33 +0200 | <Rembane> | Lawrence1erkheim: Woohoo! I was mostly hoping they would give you some terminology and break up the big gap of blank in some smaller pieces. |
2024-06-30 18:54:28 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-06-30 18:52:23 +0200 | <Lawrence1erkheim> | Rembane: Yea that's also on the table. For now I'm thinking that doing some reading will make the entire experience way smoother, although I _will_ have to do those exercises myself. |
2024-06-30 18:50:09 +0200 | <Rembane> | lambdabot: where |
2024-06-30 18:50:02 +0200 | <lambdabot> | @where <key>, return element associated with key |
2024-06-30 18:50:01 +0200 | <Rembane> | lambdabot: @where |
2024-06-30 18:49:55 +0200 | <lambdabot> | @where <key>, return element associated with key |
2024-06-30 18:49:55 +0200 | <Rembane> | @where |
2024-06-30 18:49:49 +0200 | <Rembane> | Lawrence1erkheim: A potential stupid advice is to try to do the exercises for the course you'll work with yourself and ask here when you get stuck. :D |
2024-06-30 18:49:11 +0200 | <haskellbridge> | <sm> @ where and also https://haskell-links.org |
2024-06-30 18:49:05 +0200 | <Lawrence1erkheim> | I very rarely come on to IRC, I barely managed to get on here so I'm affraid to brick my irssi while trying to invoke a bot |
2024-06-30 18:48:27 +0200 | <Lawrence1erkheim> | thank you o7 |
2024-06-30 18:47:53 +0200 | <Rembane> | Isn't there a list of resources in lambdabot or something? I can't remember the word to invoke them with though. |
2024-06-30 18:47:21 +0200 | <Rembane> | Lawrence1erkheim: Real World Haskell is ancient by now, but might be worth giving a skim. |
2024-06-30 18:46:07 +0200 | <Lawrence1erkheim> | I'm not sure what to google because I don't know what that more engineering type of programming is called here |
2024-06-30 18:45:56 +0200 | <Lawrence1erkheim> | Can you suggest any resources? |
2024-06-30 18:45:47 +0200 | <Lawrence1erkheim> | Which is different from the stuff that I just read which is basically functional programming concepts |
2024-06-30 18:45:33 +0200 | mikess | (~mikess@user/mikess) |
2024-06-30 18:45:29 +0200 | <Lawrence1erkheim> | However, when I opened up the last year's exercises, I found stuff like `Module bla bla bla`, `import`, etc. |
2024-06-30 18:44:24 +0200 | <Lawrence1erkheim> | But I just figured out that I'm mostly familiar with the concepts |
2024-06-30 18:44:13 +0200 | <Lawrence1erkheim> | I opened up learnyouahaskell.com, and started going through that |
2024-06-30 18:43:57 +0200 | <Lawrence1erkheim> | Now I'm trying to refresh my knowledge because I'll assist a professor at the uni |
2024-06-30 18:43:39 +0200 | <Lawrence1erkheim> | Basically I learned haskell aaaaages ago when I did my bsc |
2024-06-30 18:43:24 +0200 | <Lawrence1erkheim> | Uhm ok I'd love some advice on learning materials |
2024-06-30 18:41:53 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-06-30 18:36:43 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:af11:237f:c1e1:d41b) |
2024-06-30 18:35:11 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-06-30 18:34:42 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-06-30 18:34:05 +0200 | <Rembane> | Lawrence1erkheim: Mildly relevant: https://xkcd.com/979/ |
2024-06-30 18:33:08 +0200 | <Rembane> | Lawrence1erkheim: No worries, you just won the internet! |
2024-06-30 18:33:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-06-30 18:32:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-06-30 18:32:02 +0200 | <geekosaur> | rubber duck debugging at its finest |
2024-06-30 18:31:44 +0200 | <Lawrence1erkheim> | my bad |
2024-06-30 18:31:28 +0200 | <Lawrence1erkheim> | I had a dummy moment with a question, but then I googled it and figured it out haha |
2024-06-30 18:29:37 +0200 | <Rembane> | Hi Lawrence1erkheim ! |
2024-06-30 18:27:44 +0200 | <Lawrence1erkheim> | hello |
2024-06-30 18:27:41 +0200 | Lawrence1erkheim | (~LBerkheim@user/LawrenceBerkheim) |
2024-06-30 18:26:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-30 18:24:45 +0200 | koz | (~koz@121.99.240.58) |
2024-06-30 18:23:28 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-30 18:22:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-30 18:21:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-06-30 18:20:57 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-06-30 18:20:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-06-30 18:20:15 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
2024-06-30 18:16:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |