2024/06/30

Newest at the top

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 +0200wootehfoot(~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 +0200mikess(~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 +0200Sgeo(~Sgeo@user/sgeo)
2024-06-30 18:36:43 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:af11:237f:c1e1:d41b)
2024-06-30 18:35:11 +0200rvalue(~rvalue@user/rvalue)
2024-06-30 18:34:42 +0200rvalue(~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 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-06-30 18:32:33 +0200FinnElija(~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 +0200Lawrence1erkheim(~LBerkheim@user/LawrenceBerkheim)
2024-06-30 18:26:09 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-06-30 18:24:45 +0200koz(~koz@121.99.240.58)
2024-06-30 18:23:28 +0200koz(~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-30 18:22:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-30 18:21:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-06-30 18:20:57 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-06-30 18:20:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-06-30 18:20:15 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2024-06-30 18:16:45 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-06-30 18:16:22 +0200soverysour(~soverysou@user/soverysour)
2024-06-30 18:09:50 +0200oo_miguel(~Thunderbi@78.10.207.46) (Quit: oo_miguel)