Newest at the top
2025-08-09 03:57:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-09 03:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-09 03:42:36 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | trickard_ | (~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 +0200 | merijn | (~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 +0200 | trickard_ | (~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 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-08-09 03:20:35 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
2025-08-09 03:20:07 +0200 | trickard_ | (~trickard@cpe-49-98-47-163.wireline.com.au) |
2025-08-09 03:19:54 +0200 | trickard | (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-09 03:16:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-08-09 03:15:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-09 03:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-09 03:01:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-09 02:58:59 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-08-09 02:56:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-09 02:52:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-09 02:52:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-08-09 02:45:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-09 02:40:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-09 02:39:06 +0200 | califax | (~califax@user/califx) califx |
2025-08-09 02:38:16 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-08-09 02:37:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-09 02:33:04 +0200 | krei-se | (~krei-se@p5dea101a.dip0.t-ipconnect.de) krei-se |
2025-08-09 02:30:20 +0200 | krei-se- | (~krei-se@p200300f1cf3e05010000000000009569.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-08-09 02:30:13 +0200 | acidjnk | (~acidjnk@p200300d6e717192225dcf845b9904c0e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-08-09 02:29:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-09 02:25:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-09 02:23:47 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-09 02:20:59 +0200 | ljdarj1 | ljdarj |
2025-08-09 02:20:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
2025-08-09 02:16:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-09 02:15:47 +0200 | <geekosaur> | *Eisenberg's |
2025-08-09 02:15:12 +0200 | merijn | (~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. |
2025-08-09 02:13:10 +0200 | <geekosaur> | I should mention that adding dependent types to Haskell does not mean shoving them down everyone's throats. Notwithstanding fears that the Prelude will become dependently typed |