2024/09/25

Newest at the top

2024-09-25 12:25:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-25 12:23:03 +0200migas977(~migas@static.140.65.63.178.clients.your-server.de)
2024-09-25 12:22:44 +0200 <lambdabot> chromatic says: My productivity increased when Autrijus told me about Haskell's trace function. He called it a refreshing desert in the oasis of referential transparency.
2024-09-25 12:22:44 +0200 <ski> @quote refreshing.desert
2024-09-25 12:19:02 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-25 12:16:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-25 12:16:14 +0200 <Inst> i'm just trying to get to the stage where i'm comfortable enough with Debug.Trace so that it can demonstrate recursion, I just don't think in terms of Debug.Trace for that
2024-09-25 12:15:15 +0200 <tomsmeding> that's not a situation you really want to be in
2024-09-25 12:15:12 +0200 <Inst> yeah, i had a phantom bug with someone's library as a consequence :(
2024-09-25 12:14:59 +0200 <tomsmeding> but it can be tempting to "forget" that the output that you're using very effectively is actually coming from trace calls
2024-09-25 12:14:27 +0200 <tomsmeding> it's an awesome debugging tool
2024-09-25 12:14:21 +0200 <tomsmeding> it's a debugging tool -- yes it says so in the name
2024-09-25 12:14:12 +0200 <Inst> i think it says so in the name?
2024-09-25 12:14:09 +0200 <tomsmeding> (whatever "production" means in your context)
2024-09-25 12:14:00 +0200 <tomsmeding> beware of relying on its behaviour for "production" code though
2024-09-25 12:13:05 +0200 <Inst> but w/e, I guess the essence of today's rant is Debug.Trace is awesome and I should use it more
2024-09-25 12:11:41 +0200 <Inst> Handle__ isn't that bad, tbh, it's mostly IORefs and MVars
2024-09-25 12:11:09 +0200 <tomsmeding> *idea
2024-09-25 12:11:07 +0200 <tomsmeding> that sounds like a bad ide
2024-09-25 12:10:43 +0200 <Inst> tomsmeding: I'm trying to extract the buffer and replace it on use.
2024-09-25 12:07:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-25 12:06:54 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2024-09-25 12:06:39 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds)
2024-09-25 12:06:34 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-09-25 12:01:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-25 11:57:00 +0200migas977(~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io)
2024-09-25 11:56:52 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 265 seconds)
2024-09-25 11:53:46 +0200 <tomsmeding> sm: the 'breakpoint' package seems to be a GHC plugin, there's also a suggestively named function at GHC.Exts.breakpoint
2024-09-25 11:53:15 +0200 <tomsmeding> you don't write to it, you read from it
2024-09-25 11:53:08 +0200 <tomsmeding> Inst: stdin is an input channel
2024-09-25 11:52:02 +0200joes(~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800) (Ping timeout: 265 seconds)
2024-09-25 11:47:18 +0200joes(~username@2a02:8206:4666:6900:b62e:99ff:fe41:2800)
2024-09-25 11:46:14 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds)
2024-09-25 11:45:30 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-25 11:45:14 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-09-25 11:43:10 +0200rosco(~rosco@175.136.158.234) rosco
2024-09-25 11:39:44 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-25 11:36:46 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert
2024-09-25 11:36:34 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert)
2024-09-25 11:35:25 +0200lucy(~lucy@user/lucy) (Ping timeout: 252 seconds)
2024-09-25 11:32:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-25 11:32:28 +0200lucy_(~lucy@user/lucy) lucy
2024-09-25 11:32:00 +0200CiaoSen(~Jura@2a05:5800:215:5700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
2024-09-25 11:31:14 +0200merijn(~merijn@77.242.116.146) merijn
2024-09-25 11:30:17 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2024-09-25 11:28:40 +0200sawilagar(~sawilagar@user/sawilagar) sawilagar
2024-09-25 11:27:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-25 11:26:47 +0200 <sm> I mean, it worked when I tried it a while back
2024-09-25 11:26:04 +0200 <sm> I saw the breakpoint package work once
2024-09-25 11:23:22 +0200ubert(~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert