2025/05/09

Newest at the top

2025-05-09 15:38:23 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 15:38:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-09 15:30:59 +0200euleritian(~euleritia@77.23.248.100)
2025-05-09 15:30:42 +0200euleritian(~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-09 15:27:09 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 276 seconds)
2025-05-09 15:26:57 +0200euleritian(~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de)
2025-05-09 15:26:12 +0200euleritian(~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-05-09 15:23:48 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-05-09 15:20:19 +0200AlexZenon(~alzenon@5.139.233.9)
2025-05-09 15:17:38 +0200euleritian(~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de)
2025-05-09 15:17:04 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-09 15:16:40 +0200AlexZenon(~alzenon@5.139.233.9) (Ping timeout: 276 seconds)
2025-05-09 15:06:48 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-09 15:01:24 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-09 14:59:15 +0200euphores(~SASL_euph@user/euphores) euphores
2025-05-09 14:53:43 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-05-09 14:50:36 +0200weary-traveler(~user@user/user363627) user363627
2025-05-09 14:49:43 +0200 <tomsmeding> yin: ^
2025-05-09 14:49:39 +0200 <lambdabot> fmap = (.)
2025-05-09 14:49:39 +0200 <tomsmeding> @src (->) fmap
2025-05-09 14:49:30 +0200 <JuanDaugherty> is blather the plural of blither?
2025-05-09 14:47:18 +0200 <tomsmeding> meh
2025-05-09 14:47:16 +0200 <lambdabot> Source not found. stty: unknown mode: doofus
2025-05-09 14:47:16 +0200 <tomsmeding> @src fmap (->)
2025-05-09 14:47:14 +0200 <lambdabot> Source not found. There are some things that I just don't know.
2025-05-09 14:47:14 +0200 <tomsmeding> @src fmap ->
2025-05-09 14:47:08 +0200 <lambdabot> Source not found. My pet ferret can type better than you!
2025-05-09 14:47:08 +0200 <tomsmeding> @src Functor ->
2025-05-09 14:47:04 +0200 <tomsmeding> :src Functor ->
2025-05-09 14:39:24 +0200krei-se(~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se
2025-05-09 14:39:23 +0200ljdarj1ljdarj
2025-05-09 14:39:23 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-05-09 14:35:26 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-09 14:33:19 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-09 14:19:16 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-09 14:18:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-09 14:18:21 +0200nckx(nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds)
2025-05-09 14:16:23 +0200volsand(~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a)
2025-05-09 14:16:16 +0200xff0x(~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69)
2025-05-09 14:16:13 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-09 14:10:32 +0200 <yin> (obvious might be a strong word)
2025-05-09 14:08:49 +0200 <yin> anyways, it becomes obvious those are the same when you know that `instance Functor ((->) r) where fmap = (.)`
2025-05-09 14:07:09 +0200 <yin> i'm sure i failed in more ways than just one :)
2025-05-09 14:06:17 +0200 <yin> :src fmap@((->) r)
2025-05-09 14:06:01 +0200 <yin> i'm going to fail miserably trying to evoke lambdabot
2025-05-09 14:05:20 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-09 14:04:55 +0200 <yin> well that's simple
2025-05-09 13:57:17 +0200 <lambdabot> (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b))
2025-05-09 13:57:17 +0200 <tomsmeding> :t fmap . fmap . fmap
2025-05-09 13:57:06 +0200 <tomsmeding> there