Newest at the top
2025-03-12 22:54:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 22:53:52 +0100 | Inst | (~Inst@user/Inst) Inst |
2025-03-12 22:51:56 +0100 | xkuru | (~xkuru@user/xkuru) xkuru |
2025-03-12 22:51:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-03-12 22:49:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
2025-03-12 22:48:23 +0100 | tusko | (uid478376@user/tusko) tusko |
2025-03-12 22:47:34 +0100 | fantom | (~fantom@2.219.56.221) |
2025-03-12 22:45:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-12 22:43:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-12 22:39:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 22:37:42 +0100 | sdrfan123 | (~sdrfan123@2607:fb90:ad22:c6ba:1965:cecd:386e:8114) (Quit: Client closed) |
2025-03-12 22:30:16 +0100 | jespada | (~jespada@r190-135-78-231.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-03-12 22:28:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-03-12 22:27:31 +0100 | cheater_ | cheater |
2025-03-12 22:27:22 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
2025-03-12 22:26:55 +0100 | cheater_ | (~Username@user/cheater) cheater |
2025-03-12 22:23:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 22:22:25 +0100 | tusko | (uid478376@user/tusko) (Quit: Connection closed for inactivity) |
2025-03-12 22:17:39 +0100 | tabaqui | (~root@167.71.80.236) (Quit: WeeChat 4.5.1) |
2025-03-12 22:12:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-12 22:09:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-03-12 22:08:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 22:07:10 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
2025-03-12 22:05:30 +0100 | tabaqui | (~root@167.71.80.236) (Client Quit) |
2025-03-12 22:04:24 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2025-03-12 22:03:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
2025-03-12 22:03:35 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
2025-03-12 22:02:10 +0100 | tabaqui | (~root@167.71.80.236) (Client Quit) |
2025-03-12 22:02:04 +0100 | ljdarj1 | ljdarj |
2025-03-12 22:02:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-03-12 22:01:47 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
2025-03-12 22:01:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-12 22:01:14 +0100 | tabaqui | (~root@167.71.80.236) (Client Quit) |
2025-03-12 22:00:57 +0100 | tabaqui | (~root@167.71.80.236) tabaqui |
2025-03-12 21:59:42 +0100 | izzyfalco | (~jake_pers@user/izzyfalco) (Ping timeout: 252 seconds) |
2025-03-12 21:59:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-12 21:59:11 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-12 21:56:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 21:52:52 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-12 21:47:40 +0100 | <Noinia> | hmm, does anyone know how to coerce 'Folds' from the lens package? I.e. I'm trying to implement a function 'test :: forall s s' a. Coercible s s' => Fold s a -> Fold s' a. I can write test myFold = \f -> contramap coerce . myFold f . coerce. But the 'contramap coerce' is bothering me; that does not necessarily seem zero-cost. Any way around that? |
2025-03-12 21:46:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-03-12 21:41:39 +0100 | jespada | (~jespada@r190-135-78-231.dialup.adsl.anteldata.net.uy) jespada |
2025-03-12 21:38:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-12 21:37:15 +0100 | jespada | (~jespada@2800:a4:22b4:9a00:f994:da25:97cf:4452) (Ping timeout: 244 seconds) |
2025-03-12 21:36:40 +0100 | sdrfan123 | (~sdrfan123@2607:fb90:ad22:c6ba:1965:cecd:386e:8114) |
2025-03-12 21:34:11 +0100 | <Inst> | https://www.cs.columbia.edu/~sedwards/classes/2023/4995-fall/index.html |
2025-03-12 21:34:02 +0100 | <Inst> | actually, no, I thought Columbia had a course wherein they taught you par and rpar before they taught you recursion, but it's only titled that way and it's a normal haskell course :( |
2025-03-12 21:31:19 +0100 | <Inst> | it's funny in a way, Chalmers starts their intro programming with Haskell in IO |
2025-03-12 21:28:27 +0100 | <Inst> | I'm sort of getting tired of trying to implement parFold, it's fun when I see huge improvements (moved from 80 seconds to 0.7 seconds), but ultimately it's not going to ever really be useful |
2025-03-12 21:27:33 +0100 | <Inst> | by the way, are there any good parallelization exercises for working with the spark parallelism system? |