2025/03/30

Newest at the top

2025-03-30 14:17:21 +0200fp1fp
2025-03-30 14:15:04 +0200fp1(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-03-30 14:14:55 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Read error: Connection reset by peer)
2025-03-30 14:12:44 +0200acidjnk(~acidjnk@p200300d6e71c4f61b516a7e5c12445e3.dip0.t-ipconnect.de) acidjnk
2025-03-30 14:12:20 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-03-30 14:12:01 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Client Quit)
2025-03-30 14:08:53 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-03-30 14:08:41 +0200fp1(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Client Quit)
2025-03-30 14:08:19 +0200fp1(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-03-30 14:08:13 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Read error: Connection reset by peer)
2025-03-30 14:05:30 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-30 14:03:33 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-03-30 14:00:44 +0200fp1(~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds)
2025-03-30 13:58:57 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-03-30 13:57:53 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2025-03-30 13:57:09 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 13:56:25 +0200fp1(~Thunderbi@hof1.kyla.fi) fp
2025-03-30 13:56:13 +0200fp(~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer)
2025-03-30 13:45:21 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-03-30 13:40:58 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-03-30 13:40:50 +0200fp(~Thunderbi@hof1.kyla.fi) fp
2025-03-30 13:40:39 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-03-30 13:40:34 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-03-30 13:39:01 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-03-30 13:36:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2025-03-30 13:33:58 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-03-30 13:32:03 +0200amishastra
2025-03-30 13:30:42 +0200amish(sid289983@user/amish) amish
2025-03-30 13:30:42 +0200amish(sid289983@id-289983.hampstead.irccloud.com) (Changing host)
2025-03-30 13:30:33 +0200astraamish
2025-03-30 13:25:33 +0200acidjnk(~acidjnk@p200300d6e71c4f61790abc3a16c69e44.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-30 13:23:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-30 13:20:18 +0200connrs(~connrs@user/connrs) connrs
2025-03-30 13:20:10 +0200connrs(~connrs@user/connrs) (Remote host closed the connection)
2025-03-30 13:18:43 +0200 <haskellbridge> <thirdofmay18081814goya> hm what's the optic that will remove the elements of a list located at an even index? some combination using the enumeration "Iso' [a] [(Int, a)]" and something involving "traversed . filtered even", right?
2025-03-30 13:12:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-03-30 13:11:07 +0200connrs(~connrs@user/connrs) connrs
2025-03-30 13:10:51 +0200connrs(~connrs@user/connrs) (Remote host closed the connection)
2025-03-30 13:10:21 +0200connrs(~connrs@user/connrs) connrs
2025-03-30 13:10:13 +0200connrs(~connrs@user/connrs) (Remote host closed the connection)
2025-03-30 13:07:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-30 13:01:24 +0200 <Rembane> thirdofmay18081814goya: No worries! :)
2025-03-30 13:01:16 +0200 <int-e> And Control.Monad.Error mimicked that after the MonadFail class was introduced.
2025-03-30 13:00:33 +0200 <int-e> `fail` used to be in `Monad` and the Monad instance for Either used to be instance Error e => Monad (Either e) where `Error` had a function to convert String into an e, which was used to implement `fail`.
2025-03-30 13:00:31 +0200 <haskellbridge> <thirdofmay18081814goya> @Rembane neat! didn't know about it, ty
2025-03-30 12:59:54 +0200hattckory(~hattckory@70.27.118.207) (Ping timeout: 260 seconds)
2025-03-30 12:59:26 +0200 <int-e> yes
2025-03-30 12:59:19 +0200 <Rembane> int-e: Ah, this has some history.
2025-03-30 12:59:03 +0200sprotte24(~sprotte24@p200300d16f1e0e006577a4ba097b8b9e.dip0.t-ipconnect.de) (Quit: Leaving)
2025-03-30 12:58:05 +0200 <int-e> Rembane: Well I used it before it was deprecated because it offered the behavior that Either had before the MonadFail proposal.