Newest at the top
| 2024-11-07 14:11:44 +0100 | pavonia_ | (~user@user/siracusa) siracusa |
| 2024-11-07 14:11:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-11-07 14:07:36 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-11-07 14:05:24 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-07 14:04:20 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-07 14:03:54 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-07 14:03:04 +0100 | <geekosaur> | at most the last part, I suspect, but I have this feeling it would be egoboo 😛 |
| 2024-11-07 14:01:56 +0100 | <Inst> | i hope monochrom doesn't have vex.net/~trebla on highlight? |
| 2024-11-07 14:01:43 +0100 | hgolden | (~hgolden@23.162.40.28) hgolden |
| 2024-11-07 14:01:33 +0100 | <Leary> | Inst: That's the most notable paper on the subject, but try <http://www.vex.net/~trebla/haskell/abs-type-param.html> first. |
| 2024-11-07 13:58:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-07 13:58:12 +0100 | <geekosaur> | also I suspect you will run into the problems I described f you do change ghcitui to stream instead of trying to read it all at once |
| 2024-11-07 13:56:22 +0100 | <geekosaur> | (getting it all as a single chunk is the lazy-programmer way 🙂 ) |
| 2024-11-07 13:56:00 +0100 | <geekosaur> | not impossible, just requires some work |
| 2024-11-07 13:55:43 +0100 | <geekosaur> | presumably you'd have to rewrite it to stream instead of reading the output all at once |
| 2024-11-07 13:55:39 +0100 | <haskellbridge> | <zwro> yes |
| 2024-11-07 13:55:29 +0100 | <geekosaur> | that sounds like a ghcitui problem |
| 2024-11-07 13:55:03 +0100 | <haskellbridge> | <zwro> geekosaur: strangely, if i don't hFlush or i disable buffering, the process explodes and consumes all my cpu+memory |
| 2024-11-07 13:54:54 +0100 | <geekosaur> | so yeh, custom ghci build would be needed |
| 2024-11-07 13:54:35 +0100 | <geekosaur> | hm, that may mean you still can't get it to stream because in a pty it'll use `LineBuffering` and you can't tell it otherwise) |
| 2024-11-07 13:53:44 +0100 | <geekosaur> | (note that, if it's not in a pty, you would have to rewrite ghci to disable output buffering; GNU stdbuf only works with GNU libc's stdio, not Haskell's) |
| 2024-11-07 13:53:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3318-5646-f579-461f-1ad7-34d7.rev.sfr.net) alexherbo2 |
| 2024-11-07 13:52:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3318-5646-f579-461f-1ad7-34d7.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-07 13:52:49 +0100 | hgolden__ | (~hgolden@146.70.173.229) (Ping timeout: 244 seconds) |
| 2024-11-07 13:52:33 +0100 | <Inst> | https://people.mpi-sws.org/~dreyer/tor/papers/wadler.pdf |
| 2024-11-07 13:52:31 +0100 | <Inst> | leary: is this the best intro to parametricity? |
| 2024-11-07 13:50:54 +0100 | <geekosaur> | without the former, you get output in (I think 8kb on Linux) chunks; without the latter you get line buffering, but it's all one line so you again end up getting chunks when the line overflows the buffer |
| 2024-11-07 13:50:05 +0100 | <geekosaur> | _if_ ghci is being run in a pty and buffering is disabled, streaming should work |
| 2024-11-07 13:48:35 +0100 | <haskellbridge> | <zwro> i'm playing around with the ghcitui and haskeline packages. i wonder if it's impossible to stream the output of, say, `let a = 1 : a in a` instead of waiting (in vain) for it to complete |
| 2024-11-07 13:43:09 +0100 | famubu | (~famubu@user/famubu) (Ping timeout: 260 seconds) |
| 2024-11-07 13:42:34 +0100 | <kuribas> | tomsmeding: But the tactics are separate from the language, right? |
| 2024-11-07 13:42:21 +0100 | <kuribas> | tomsmeding: you mean coq has the best proof solving among dependently typed proof systems? |
| 2024-11-07 13:39:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-07 13:32:01 +0100 | <Inst> | just a strong lax monoidal functor, what's the problem? ツ |
| 2024-11-07 13:31:28 +0100 | <Inst> | didn't figure out on my own to compartmentalize them into left and right identity |
| 2024-11-07 13:31:14 +0100 | <Inst> | thanks leary |
| 2024-11-07 13:30:26 +0100 | <Leary> | Inst: Identity === /left/ identity; Interchange === /symmetry/ of identity (hence /right/ identity). Homomorphism is redundant, following from parametricity. |
| 2024-11-07 13:29:23 +0100 | longlongdouble | (~longlongd@117.234.149.253) |
| 2024-11-07 13:27:59 +0100 | longlongdouble | (~longlongd@2409:40d4:4052:dbab:1989:242:cab1:419a) (Ping timeout: 260 seconds) |
| 2024-11-07 13:24:39 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-07 13:18:33 +0100 | longlongdouble | (~longlongd@2409:40d4:4052:dbab:1989:242:cab1:419a) |
| 2024-11-07 13:18:06 +0100 | <Inst> | composition -> associativity of monoids, other three laws = identity quality of pure |
| 2024-11-07 13:17:27 +0100 | longlongdouble | (~longlongd@117.234.149.253) (Read error: Connection reset by peer) |
| 2024-11-07 13:17:23 +0100 | <Inst> | don't ask to ask, applicative laws? |
| 2024-11-07 13:17:17 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2024-11-07 13:04:43 +0100 | longlongdouble | (~longlongd@117.234.149.253) |
| 2024-11-07 13:02:11 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-07 13:01:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-07 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-07 12:59:40 +0100 | merijn | (~merijn@77.242.116.146) merijn |