2025/08/09

Newest at the top

2025-08-09 04:02:14 +0200jbalint_(~jbalint@syn-071-090-116-115.res.spectrum.com)
2025-08-09 03:57:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 03:46:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-09 03:42:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 03:34:43 +0200 <hololeap> there's too many variables for something as simple as this. 1) use a streaming library 2) make sure you have hSetBuffering set to NoBuffering 3) make sure you're building with -threaded 4) make sure you're using laziness correctly 5) who knows
2025-08-09 03:31:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-09 03:31:11 +0200 <hololeap> it just hangs for some reason
2025-08-09 03:31:02 +0200 <hololeap> I guess it's not 'tick'. I have no idea what it is
2025-08-09 03:30:48 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-08-09 03:30:28 +0200 <hololeap> oops sorry
2025-08-09 03:30:25 +0200 <hololeap> I also have -threaded in ghc-options
2025-08-09 03:28:27 +0200 <hololeap> I also have -threaded in ghc-options
2025-08-09 03:28:11 +0200 <hololeap> and, for those investigating, yes I have it wrapped inside displayConsoleRegions
2025-08-09 03:27:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 03:26:22 +0200 <hololeap> I am parsing the output of an external command, and I have the total number of lines precomputed. I'm just trying to show a progress bar that updates as each line is parsed
2025-08-09 03:25:05 +0200 <hololeap> issues like this in haskell are very frustrating because I have no idea what to do
2025-08-09 03:23:56 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-09 03:23:48 +0200 <hololeap> for some reason when I call 'tick' from ascii-progress, it my program hangs
2025-08-09 03:22:25 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-08-09 03:20:35 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-08-09 03:20:07 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-08-09 03:19:54 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-09 03:16:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-09 03:15:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-08-09 03:11:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 03:01:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-09 02:58:59 +0200Square(~Square@user/square) (Ping timeout: 244 seconds)
2025-08-09 02:56:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 02:52:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-09 02:52:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-08-09 02:45:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-09 02:40:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 02:39:06 +0200califax(~califax@user/califx) califx
2025-08-09 02:38:16 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2025-08-09 02:37:50 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-09 02:33:04 +0200krei-se(~krei-se@p5dea101a.dip0.t-ipconnect.de) krei-se
2025-08-09 02:30:20 +0200krei-se-(~krei-se@p200300f1cf3e05010000000000009569.dip0.t-ipconnect.de) (Remote host closed the connection)
2025-08-09 02:30:13 +0200acidjnk(~acidjnk@p200300d6e717192225dcf845b9904c0e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-08-09 02:29:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-09 02:25:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-09 02:23:47 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-09 02:20:59 +0200ljdarj1ljdarj
2025-08-09 02:20:58 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-08-09 02:16:38 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-09 02:15:47 +0200 <geekosaur> *Eisenberg's
2025-08-09 02:15:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-08-09 02:15:03 +0200 <geekosaur> I think a lot of people misunderstand this
2025-08-09 02:14:50 +0200 <geekosaur> eisenber's thesis is about adding dependent types *without* breaking Haskell-as-we-know-it, and dependent types are intended as a support for people who want to do type level programming, not for theorem proving
2025-08-09 02:13:42 +0200 <geekosaur> (either it'll be a separate prelude like linear haskell uses, or it just won't happen at all)
2025-08-09 02:13:14 +0200 <Leary> orenty7: Contrary to popular belief, there's a difference between theorem provers and programming languages.