2025/08/08

Newest at the top

2025-08-08 21:47:34 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-08 21:46:12 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-08-08 21:38:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-08 21:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 21:26:07 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-08-08 21:25:54 +0200op_4(~tslil@user/op-4/x-9116473) (Server closed connection)
2025-08-08 21:24:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-08 21:24:21 +0200 <jcarpenter2> really appreciate all your insight
2025-08-08 21:21:24 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-08-08 21:19:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 21:18:24 +0200MudEater85(~MudEater@102.219.153.100) (Quit: Client closed)
2025-08-08 21:10:44 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-08 21:08:28 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 240 seconds)
2025-08-08 21:08:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-08 21:06:59 +0200MudEater85(~MudEater@102.219.153.100)
2025-08-08 21:05:47 +0200 <jcarpenter2> (well, except in one place where I actually do want *every* successful computation in a list, not just the first one)
2025-08-08 21:04:39 +0200 <jcarpenter2> I understand this a lot better, and found a way to refactor my code so that I don't need to evaluate and re-form the MaybeT transformer
2025-08-08 21:04:32 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-08 21:04:06 +0200 <jcarpenter2> okay, thanks guys!
2025-08-08 21:01:26 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-08-08 21:01:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 21:00:43 +0200caconym747(~caconym@user/caconym) caconym
2025-08-08 21:00:04 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-08 20:59:01 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds)
2025-08-08 20:58:59 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-08-08 20:58:41 +0200sprotte24(~sprotte24@p200300d16f43d300b160c6115250e1c1.dip0.t-ipconnect.de)
2025-08-08 20:57:12 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-08-08 20:53:44 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-08-08 20:53:36 +0200phma(phma@2001:5b0:210d:1aa8:aefa:72b1:7a70:bfa2)
2025-08-08 20:51:37 +0200phma(~phma@host-67-44-208-41.hnremote.net) (Read error: Connection reset by peer)
2025-08-08 20:50:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-08 20:45:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-08 20:44:11 +0200 <c_wraith> that's actually kind of a cute trick
2025-08-08 20:43:43 +0200 <c_wraith> Oh right. MaybeT smuggles a monad requirement in
2025-08-08 20:43:16 +0200 <lambdabot> Variable not in scope: runMaybeT :: Maybe [Int] -> t
2025-08-08 20:43:16 +0200 <lambdabot> error:
2025-08-08 20:43:15 +0200 <monochrom> > runMaybeT $ traverse id ((Nothing :: Maybe Int): undefined)
2025-08-08 20:43:03 +0200 <lambdabot> Variable not in scope: runMaybeT :: Maybe [b0] -> t
2025-08-08 20:43:03 +0200 <lambdabot> error:
2025-08-08 20:43:02 +0200 <monochrom> > runMaybeT $ traverse id (Nothing : undefined)
2025-08-08 20:42:37 +0200 <int-e> the whole recursive `traverse id undefined` is never touched
2025-08-08 20:42:22 +0200 <int-e> it still evaluates to `Nothing`
2025-08-08 20:41:58 +0200 <c_wraith> that's the part traverse can't escape
2025-08-08 20:41:39 +0200 <c_wraith> but what about when you give it (empty:undefined) as an argument?
2025-08-08 20:41:01 +0200 <int-e> with enough defaulting that would evaluate to `Nothing`
2025-08-08 20:40:31 +0200 <lambdabot> Undefined.
2025-08-08 20:40:31 +0200 <int-e> @undef
2025-08-08 20:40:22 +0200 <int-e> meh
2025-08-08 20:40:17 +0200 <lambdabot> ‘b0’ arising from a use of ‘show_M38876083433...
2025-08-08 20:40:16 +0200 <lambdabot> • Ambiguous type variables ‘m0’,