Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17655 17656 17657 17658 17659 17660 17661 17662 17663 17664 17665 .. 17970
— 1,796,955 events total
2026-03-01 02:22:45 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 02:24:12 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-03-01 02:26:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 02:27:11 → vanishingideal joins (~vanishing@user/vanishingideal)
2026-03-01 02:38:06 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 02:40:57 <Leary> What would be required would be for `fmap f` to be an applicative homomorphism/transformation, which holds iff `f = id`.
2026-03-01 02:41:33 <Leary> tomsmeding: If `f` is a fold:
2026-03-01 02:41:42 <Leary> :t \g x -> foldMap g <$> sequenceA x
2026-03-01 02:41:43 <lambdabot> (Monoid b, Traversable t, Applicative f) => (a -> b) -> t (f a) -> f b
2026-03-01 02:41:52 <Leary> :t \g -> getAp . foldMap (Ap . fmap g)
2026-03-01 02:41:53 <lambdabot> (Foldable t, Applicative f, Monoid a1) => (a2 -> a1) -> t (f a2) -> f a1
2026-03-01 02:42:07 <Leary> Then you can fuse the sequence in. ^
2026-03-01 02:42:26 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 02:43:31 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2026-03-01 02:53:32 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 02:56:13 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2026-03-01 02:58:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-01 03:05:02 × op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2026-03-01 03:05:38 → op_4 joins (~tslil@user/op-4/x-9116473)
2026-03-01 03:07:31 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-03-01 03:08:52 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 03:13:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-01 03:19:37 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 03:22:38 × tccq quits (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in)
2026-03-01 03:23:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-01 03:30:51 × Fijxu_ quits (~Fijxu@user/fijxu) (Quit: XD!!)
2026-03-01 03:32:39 → Fijxu joins (~Fijxu@user/fijxu)
2026-03-01 03:32:55 × jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 272 seconds)
2026-03-01 03:34:59 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 03:39:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-01 03:50:20 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 03:56:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 04:02:50 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-03-01 04:03:28 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2026-03-01 04:08:24 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 04:11:15 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-03-01 04:13:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 04:14:27 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
2026-03-01 04:22:48 × foul_owl quits (~kerry@94.156.149.99) (Ping timeout: 255 seconds)
2026-03-01 04:23:46 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 04:26:29 → foul_owl joins (~kerry@94.156.149.99)
2026-03-01 04:28:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-01 04:30:45 → tccq joins (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e)
2026-03-01 04:32:37 → jtnuttall joins (~jeremy@user/jeremyn)
2026-03-01 04:39:08 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 04:43:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 04:54:30 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 04:58:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-01 05:09:21 × xff0x quits (~xff0x@2405:6580:b080:900:3713:5717:d067:11de) (Ping timeout: 246 seconds)
2026-03-01 05:09:52 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 05:10:18 → xff0x joins (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8)
2026-03-01 05:14:53 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-01 05:15:33 × emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-03-01 05:23:09 → raym joins (~ray@user/raym)
2026-03-01 05:25:14 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 05:32:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-01 05:39:55 → loungerry_ joins (~loungerry@150.241.86.78)
2026-03-01 05:43:16 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 05:46:35 → tydes joins (~tydes@user/ttydes)
2026-03-01 05:47:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 05:54:16 → takuan joins (~takuan@d8D86B9E9.access.telenet.be)
2026-03-01 05:58:38 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 05:58:50 → philopsos1 joins (~caecilius@user/philopsos)
2026-03-01 06:02:38 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-01 06:03:02 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-01 06:03:59 → philopsos1 joins (~caecilius@user/philopsos)
2026-03-01 06:09:44 × philopsos1 quits (~caecilius@user/philopsos) (Remote host closed the connection)
2026-03-01 06:10:00 → philopsos1 joins (~caecilius@user/philopsos)
2026-03-01 06:14:02 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 06:18:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-01 06:18:45 × philopsos1 quits (~caecilius@user/philopsos) (Quit: leaving)
2026-03-01 06:20:30 → arandombit joins (~arandombi@user/arandombit)
2026-03-01 06:29:24 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 06:33:23 → poscat0x04 joins (~poscat@user/poscat)
2026-03-01 06:33:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-01 06:34:58 × poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds)
2026-03-01 06:44:46 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 06:45:22 → elnegro joins (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy)
2026-03-01 06:46:38 × elnegro quits (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) (Remote host closed the connection)
2026-03-01 06:49:28 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-01 06:51:41 → elnegro joins (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy)
2026-03-01 07:00:08 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 07:03:19 × elnegro quits (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) (Remote host closed the connection)
2026-03-01 07:06:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-01 07:10:32 × loungerry_ quits (~loungerry@150.241.86.78) (Changing host)
2026-03-01 07:10:32 → loungerry_ joins (~loungerry@user/loungerry-:45058)
2026-03-01 07:11:43 → kupi joins (uid212005@id-212005.hampstead.irccloud.com)
2026-03-01 07:13:22 × xff0x quits (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) (Ping timeout: 248 seconds)
2026-03-01 07:14:43 <haskellbridge> <alexfmpe> * id)
2026-03-01 07:14:47 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 07:19:29 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-01 07:30:11 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 07:34:42 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-01 07:36:27 → xff0x joins (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8)
2026-03-01 07:45:31 × Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1)
2026-03-01 07:49:21 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2026-03-01 07:50:15 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-03-01 07:54:33 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-01 08:01:07 × tt12316070 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat)
2026-03-01 08:03:54 → tromp joins (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e)
←Prev  Next→
Page 1 .. 17655 17656 17657 17658 17659 17660 17661 17662 17663 17664 17665 .. 17970

All times are in UTC.