| 2022-04-06 00:00:05 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 00:00:38 +0000 | theproffesor | (~theproffe@2601:282:847f:7f00::87) (Changing host) |
| 2022-04-06 00:00:38 +0000 | theproffesor | (~theproffe@user/theproffesor) |
| 2022-04-06 00:03:05 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-06 00:03:24 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-06 00:03:59 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Remote host closed the connection) |
| 2022-04-06 00:04:30 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::6b90) (Ping timeout: 250 seconds) |
| 2022-04-06 00:04:31 +0000 | Athas | (athas@2a01:7c8:aaac:1cf:6914:1dfa:1871:fc52) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 00:04:42 +0000 | Athas | (athas@2a01:7c8:aaac:1cf:6493:8479:5d3e:91b7) |
| 2022-04-06 00:05:24 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 00:05:40 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Remote host closed the connection) |
| 2022-04-06 00:08:47 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-04-06 00:10:37 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) |
| 2022-04-06 00:13:00 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-04-06 00:13:58 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 00:13:58 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 00:13:58 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 00:15:35 +0000 | <Henson> | jackdk: I just realized that my type is actually more like f :: [a] -> b a, so I don't think the profunctor idea will work. |
| 2022-04-06 00:15:40 +0000 | redb | (~nmh@136.49.49.211) (Read error: Connection reset by peer) |
| 2022-04-06 00:15:45 +0000 | redb_ | (~nmh@136.49.49.211) |
| 2022-04-06 00:16:05 +0000 | <jackdk> | Henson: What is the `g` you are trying to construct again? |
| 2022-04-06 00:16:43 +0000 | <Henson> | jackdk: in this case it would be g :: [(a,c)] -> b (a,c) |
| 2022-04-06 00:17:26 +0000 | <jackdk> | Henson: how do you propose to write that? Do you have some way of combining the `c`s (e.g., `Monoid` instance)? |
| 2022-04-06 00:17:27 +0000 | <Henson> | jackdk: I can probably just modify the a type to add an additional record that doesn't get used at all in the function, but holds the c data |
| 2022-04-06 00:18:31 +0000 | <Henson> | jackdk: I really just need to associate some c data with the a's that doesn't get used at all in the function, but just "follows" the a data around and can be unbundled at the end |
| 2022-04-06 00:19:03 +0000 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-06 00:19:34 +0000 | <jackdk> | Henson: right, but unless your `b` is also something containeresque, I read that as "you have several (a,c)" pairs coming in, and you're producing a single "c" at the end. Do you perhaps want `g :: [(a, c)] -> (b a, c)`? |
| 2022-04-06 00:19:55 +0000 | <jackdk> | Henson: correction: `g :: [(a, c)] -> (b a, [c])` |
| 2022-04-06 00:20:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 00:21:00 +0000 | <Henson> | jackdk: yes, the b is containereque. What I really have is 3D points going into a trajectory-detection algorithm. The [a] are the 3D points going in, and the b coming out is a trajectory that contains within it some of the 3D points passed in that ended up becoming a trajectory |
| 2022-04-06 00:21:47 +0000 | <Henson> | jackdk: I'd like to simply bundle with the 3D points some extra meta-data which isn't used at all in the trajectory detection, but I would like it to appear bundled with the 3D points that did end up making it into the trajectory, so I can extract that meta-data |
| 2022-04-06 00:22:19 +0000 | <Henson> | that's why the trajectory type is "b a" because it contains within it items of type "a". |
| 2022-04-06 00:23:00 +0000 | <Axman6> | dons: Would love to hear more details of the optimisation work, being stuck here working on fixing bugs in Scala and Daml has me craving fun work X) |
| 2022-04-06 00:23:38 +0000 | <Axman6> | d34df00d: that was going to be my suggestion, that should work fine |
| 2022-04-06 00:25:46 +0000 | <dons> | its a good puzzle. 1G text file , each line is a json object. about 10M lines. each line has a unique , ascending int64 key. each object contains references to some previous lines via their key, forming graph edges and vertices. have to process file flattening certain subgraphs into tuples, essentially, (V1, E2, V2, E3, V4) . |
| 2022-04-06 00:26:24 +0000 | <jackdk> | Henson: I would probably parameterise your `f` over some function that select the coordinate, like `f :: (x -> point) -> [x] -> b x` and provide a convenience wrapper that's `f id` for when you're processing points directly |
| 2022-04-06 00:27:10 +0000 | <dons> | so a big foldM over chunks of the input, letting me proecss say, 50M of data at a time. ,then compose the output state into a final summary to be written out |
| 2022-04-06 00:27:30 +0000 | <Axman6> | dons: do you know where the memory is curing currently? using something like waargonaut and the succinct structer parser should help a lot there |
| 2022-04-06 00:27:42 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2022-04-06 00:27:59 +0000 | <dons> | a few G are going into just parsing the data. so i'm starting parsing and consuming chunks |
| 2022-04-06 00:28:01 +0000 | <Axman6> | curing -> going* |
| 2022-04-06 00:28:12 +0000 | <dons> | then will try folding the graph flattening computation over the parsed pieces. |
| 2022-04-06 00:28:48 +0000 | <dons> | (what i'm doing is summarizing all variable definitions and their use sites, over a large repo, about 10M variables , 3k files) |
| 2022-04-06 00:28:56 +0000 | <dons> | not actually that large, but a fairly large single git repo |
| 2022-04-06 00:29:06 +0000 | <Henson> | jackdk: ok, thanks for the suggestion. I was considering making a type class that can extract points from something, which is pretty much equivalent to your idea as the type class function would be your (x -> point) function. |
| 2022-04-06 00:29:07 +0000 | <Axman6> | https://hackage.haskell.org/package/waargonaut, based on https://hackage.haskell.org/package/hw-json-standard-cursor could mean the JSON parsing takes basically no memory |
| 2022-04-06 00:29:29 +0000 | <jackdk> | Henson: I thought about that too, but I dislike typeclasses without laws |
| 2022-04-06 00:29:33 +0000 | <dons> | ncie |
| 2022-04-06 00:30:36 +0000 | <Axman6> | the really nice thing about that second package as that you can |
| 2022-04-06 00:30:47 +0000 | <Henson> | jackdk: ok |
| 2022-04-06 00:30:48 +0000 | <Axman6> | create the index ahead of time and reuse itr |
| 2022-04-06 00:31:04 +0000 | <Henson> | gotta run, thanks for the help! |
| 2022-04-06 00:31:07 +0000 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-04-06 00:42:21 +0000 | xff0x_ | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 268 seconds) |
| 2022-04-06 00:43:08 +0000 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 260 seconds) |
| 2022-04-06 00:43:18 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 00:44:42 +0000 | <abastro[m]> | O(1) space json parsing? |
| 2022-04-06 00:46:05 +0000 | <Axman6> | no. but indices which take up well over an order of magnitude less space than the jsonm data, which gives IIRC O(1) indexing into the JSON file itself |
| 2022-04-06 00:47:22 +0000 | <Axman6> | https://github.com/haskell-works/hw-json has a bit more info about the package |
| 2022-04-06 00:47:28 +0000 | <jackdk> | https://www.youtube.com/watch?v=uA0Z7_4J7u8 |
| 2022-04-06 00:48:40 +0000 | <Axman6> | I should rewatch that |
| 2022-04-06 00:50:59 +0000 | <Axman6> | gonna be doing lots of compiling today, so plenty of time to watch |
| 2022-04-06 00:51:42 +0000 | <Axman6> | Really wish this was filmed on a higher quality potato |
| 2022-04-06 00:55:17 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-06 00:56:23 +0000 | <abastro[m]> | Interesting |
| 2022-04-06 00:56:31 +0000 | <jackdk> | It's like the one Ed talk which doesn't have a good recording anywhere =| |
| 2022-04-06 00:56:37 +0000 | <abastro[m]> | Who is EdKmett hm |
| 2022-04-06 00:56:44 +0000 | frost | (~frost@user/frost) |
| 2022-04-06 00:57:10 +0000 | <geekosaur> | the man, the myth, the legend |
| 2022-04-06 00:58:28 +0000 | <abastro[m]> | ?legend? |
| 2022-04-06 00:58:28 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-04-06 00:58:47 +0000 | <Axman6> | I've mat Ed many times, and am still not sure he truly exists |
| 2022-04-06 00:59:10 +0000 | <abastro[m]> | Wah |
| 2022-04-06 00:59:19 +0000 | <abastro[m]> | Why legend tho |
| 2022-04-06 00:59:35 +0000 | <jackdk> | https://hackage.haskell.org/user/EdwardKmett |
| 2022-04-06 00:59:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 00:59:48 +0000 | <Axman6> | Probably one of the most prolific Haskellers around. Author of Lens, and... lots and lots of other very useful things |
| 2022-04-06 00:59:56 +0000 | Midjak | (~Midjak@44.240.130.77.rev.sfr.net) |
| 2022-04-06 01:00:09 +0000 | zyklotomic | (~ethan@res380d-128-61-83-27.res.gatech.edu) (Ping timeout: 248 seconds) |
| 2022-04-06 01:00:41 +0000 | <abastro[m]> | I see |
| 2022-04-06 01:00:51 +0000 | <abastro[m]> | <del>Lens useful tho</del> |
| 2022-04-06 01:01:41 +0000 | <abastro[m]> | Is EdKmett hired by some company? |
| 2022-04-06 01:02:19 +0000 | zyklotomic | (~ethan@res380d-128-61-86-37.res.gatech.edu) |
| 2022-04-06 01:10:41 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-06 01:10:43 +0000 | BlackboardN_ | (~Blackboar@user/BlackboardN) (Ping timeout: 268 seconds) |
| 2022-04-06 01:11:56 +0000 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 01:12:27 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-06 01:14:45 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-06 01:16:48 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-06 01:18:14 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-06 01:18:44 +0000 | neurocyte861449 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
| 2022-04-06 01:24:33 +0000 | <Axman6> | you can ask edwardk yourself if you like |
| 2022-04-06 01:29:38 +0000 | trillp | (~trillp@137.220.51.190) |
| 2022-04-06 01:33:12 +0000 | <abastro[m]> | Oh.. okay maybe I should not |
| 2022-04-06 01:35:03 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2022-04-06 01:35:10 +0000 | cheater | (~Username@user/cheater) |
| 2022-04-06 01:42:30 +0000 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 01:43:43 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-06 01:44:57 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2022-04-06 01:49:45 +0000 | Midjak | (~Midjak@44.240.130.77.rev.sfr.net) (Quit: This computer has gone to sleep) |
| 2022-04-06 01:59:39 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Quit: Lost terminal) |
| 2022-04-06 01:59:55 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-06 02:03:19 +0000 | redb_ | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 02:07:25 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-06 02:08:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 02:09:42 +0000 | mud | (~mud@user/kadoban) |
| 2022-04-06 02:11:28 +0000 | Athas | (athas@2a01:7c8:aaac:1cf:6493:8479:5d3e:91b7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 02:11:37 +0000 | Athas | (athas@sigkill.dk) |
| 2022-04-06 02:12:04 +0000 | trillp | (~trillp@137.220.51.190) (Quit: nyaa~) |
| 2022-04-06 02:13:22 +0000 | ubert1 | (~Thunderbi@p200300ecdf15881ccd0eab025279bcac.dip0.t-ipconnect.de) |
| 2022-04-06 02:14:31 +0000 | ubert | (~Thunderbi@p200300ecdf1588eb09611d41de6fd446.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 02:14:32 +0000 | ubert1 | ubert |
| 2022-04-06 02:23:17 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-06 02:29:34 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 02:31:28 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 02:31:40 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 02:33:16 +0000 | jackhill | jackhill[m] |
| 2022-04-06 02:33:27 +0000 | jackhill[m] | jackhill |
| 2022-04-06 02:33:44 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-06 02:37:23 +0000 | abastro | (~abab9579@192.249.26.186) (Ping timeout: 260 seconds) |
| 2022-04-06 02:38:02 +0000 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-04-06 02:40:11 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 02:48:26 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-06 02:49:19 +0000 | <dons> | do we have a recommended term code progress bar lib? |
| 2022-04-06 02:49:32 +0000 | <dons> | i want to show some nice spinny things |
| 2022-04-06 02:51:18 +0000 | <int-e> | 🨄 |
| 2022-04-06 02:51:18 +0000 | <int-e> | 🩇🩃🨲🨮🨝🨙🨈🨄 |
| 2022-04-06 02:51:27 +0000 | <dons> | yeah! |
| 2022-04-06 02:52:17 +0000 | <int-e> | (Not sure why that pasted two lines, but whatever. Silliest spinning things I know of.) |
| 2022-04-06 02:54:08 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 02:59:52 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-06 03:05:34 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 03:06:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-06 03:07:32 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) () |
| 2022-04-06 03:08:07 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 03:08:54 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 03:09:23 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 03:09:23 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 03:09:23 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 03:09:49 +0000 | mbuf | (~Shakthi@136.185.80.19) |
| 2022-04-06 03:11:23 +0000 | Me-me | (~me-me@user/me-me) (Remote host closed the connection) |
| 2022-04-06 03:12:04 +0000 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 03:12:04 +0000 | Me-me | (~me-me@v.working.name) |
| 2022-04-06 03:12:34 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) () |
| 2022-04-06 03:13:33 +0000 | Me-me | (~me-me@v.working.name) (Changing host) |
| 2022-04-06 03:13:33 +0000 | Me-me | (~me-me@user/me-me) |
| 2022-04-06 03:17:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 03:18:11 +0000 | abastro | (~abab9579@192.249.26.186) (Remote host closed the connection) |
| 2022-04-06 03:18:25 +0000 | abastro | (~abab9579@192.249.26.186) |
| 2022-04-06 03:18:36 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-06 03:19:07 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) |
| 2022-04-06 03:22:44 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-06 03:24:44 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 03:28:53 +0000 | <InstX1_> | question |
| 2022-04-06 03:28:54 +0000 | InstX1_ | Inst |
| 2022-04-06 03:28:58 +0000 | <Inst> | are interpreters impossible |
| 2022-04-06 03:29:18 +0000 | <Inst> | to FFI into reliably? |
| 2022-04-06 03:29:25 +0000 | <Inst> | or are they simply built not to be FFI-ed into reliably? |
| 2022-04-06 03:29:45 +0000 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) (Read error: Connection reset by peer) |
| 2022-04-06 03:29:51 +0000 | <Inst> | say if I had something called ghcv, which is a ghci variant designed to be called by compiled code |
| 2022-04-06 03:30:12 +0000 | <Inst> | could it exist? |
| 2022-04-06 03:31:39 +0000 | <Inst> | basically, the idea is that something like ghcv would be useful to create julia-style multiple dispatch without large binaries in haskell, or alternately enable homoiconicity |
| 2022-04-06 03:32:00 +0000 | <Inst> | and if it's stable and possible to call via FFI, that isn't just for Haskell, but also for other compiled languages |
| 2022-04-06 03:33:40 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 03:33:45 +0000 | <Cale> | Have you seen https://hackage.haskell.org/package/hint ? |
| 2022-04-06 03:38:32 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-06 03:38:43 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-06 03:39:02 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 03:39:57 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-06 03:40:17 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-06 03:41:18 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 03:41:35 +0000 | renzhi | (~xp@2607:fa49:6500:b100::205b) |
| 2022-04-06 03:42:47 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 03:43:11 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-04-06 03:46:16 +0000 | <Inst> | i'll look it up |
| 2022-04-06 03:49:15 +0000 | abastro | (~abab9579@192.249.26.186) (Ping timeout: 260 seconds) |
| 2022-04-06 03:53:21 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 03:53:57 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 04:00:36 +0000 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-06 04:02:34 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-04-06 04:02:41 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-06 04:02:53 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 04:04:23 +0000 | <sm> | dons, maybe https://hackage.haskell.org/package/terminal-progress-bar ? see also https://hackage.haskell.org/package/concurrent-output |
| 2022-04-06 04:05:15 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) (Ping timeout: 250 seconds) |
| 2022-04-06 04:09:11 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-06 04:13:10 +0000 | <Inst> | nice @ cale |
| 2022-04-06 04:17:13 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2022-04-06 04:20:53 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 04:22:07 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 04:22:17 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-06 04:22:22 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 04:24:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 04:26:47 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-06 04:27:03 +0000 | Inst | (~Liam@2601:6c4:4080:3f80:99cb:ce04:4b4a:7252) (Ping timeout: 260 seconds) |
| 2022-04-06 04:37:49 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-06 04:37:49 +0000 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 04:39:46 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 268 seconds) |
| 2022-04-06 04:41:32 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 04:45:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 04:46:06 +0000 | juri_ | (~juri@178.63.35.222) |
| 2022-04-06 04:47:13 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-06 04:54:20 +0000 | acidjnk | (~acidjnk@p200300d0c7049f3920949ab9d12db827.dip0.t-ipconnect.de) |
| 2022-04-06 04:54:37 +0000 | phma | (phma@2001:5b0:210f:1458:f6d5:edb3:b0ac:9353) (Read error: Connection reset by peer) |
| 2022-04-06 04:55:35 +0000 | phma | (~phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) |
| 2022-04-06 05:02:24 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 05:03:15 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-06 05:06:48 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 05:10:39 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-04-06 05:11:10 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 05:11:10 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 05:11:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 05:19:52 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-06 05:22:33 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-06 05:23:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 05:24:36 +0000 | chomwitt | (~chomwitt@2a02:587:dc1d:9d00:8198:a338:78ea:2e75) |
| 2022-04-06 05:28:58 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 05:29:07 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:19c2:a1cd:6600:38ba) (Ping timeout: 260 seconds) |
| 2022-04-06 05:29:27 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-06 05:29:32 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 05:29:48 +0000 | vysn | (~vysn@user/vysn) |
| 2022-04-06 05:32:41 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-06 05:33:51 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-06 05:40:22 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 05:41:12 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 05:44:30 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 05:48:34 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Quit: xff0x) |
| 2022-04-06 05:48:41 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 05:49:16 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-06 05:59:45 +0000 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-06 06:00:22 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 06:00:25 +0000 | phma | (~phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) (Read error: Connection reset by peer) |
| 2022-04-06 06:01:57 +0000 | michalz | (~michalz@185.246.204.122) |
| 2022-04-06 06:04:02 +0000 | phma | (phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) |
| 2022-04-06 06:09:00 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 06:09:19 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-06 06:11:33 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-06 06:11:59 +0000 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-04-06 06:13:13 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 06:14:07 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 06:18:02 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Ping timeout: 250 seconds) |
| 2022-04-06 06:33:40 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 06:37:56 +0000 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) |
| 2022-04-06 06:41:52 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 268 seconds) |
| 2022-04-06 06:44:36 +0000 | coot | (~coot@213.134.190.95) |
| 2022-04-06 06:49:14 +0000 | ss- | (~ss-@187.83.249.216.dyn.smithville.net) (Ping timeout: 250 seconds) |
| 2022-04-06 06:50:09 +0000 | rotateq | (~user@ip-078-094-235-194.um19.pools.vodafone-ip.de) |
| 2022-04-06 06:50:46 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-06 06:52:12 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 06:53:46 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:151b:b295:6bbb:fc2b) |
| 2022-04-06 06:54:28 +0000 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) |
| 2022-04-06 06:59:16 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-06 06:59:44 +0000 | akegalj | (~akegalj@141-136-220-180.dsl.iskon.hr) |
| 2022-04-06 07:05:22 +0000 | abastro | (~abab9579@192.249.26.40) |
| 2022-04-06 07:06:32 +0000 | lawt | (~lawt@2601:200:8200:6870:dea6:32ff:fea1:adf9) (Ping timeout: 268 seconds) |
| 2022-04-06 07:06:58 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-04-06 07:07:16 +0000 | lawt | (~lawt@2601:200:8200:6870:dea6:32ff:fea1:adf9) |
| 2022-04-06 07:09:50 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:10:16 +0000 | akegalj | (~akegalj@141-136-220-180.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-06 07:11:55 +0000 | phma | (phma@2001:5b0:210b:cac8:deba:7701:3a6f:3d70) (Read error: Connection reset by peer) |
| 2022-04-06 07:12:03 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-06 07:13:29 +0000 | phma | (~phma@2001:5b0:210d:afb8:c88d:676:78f3:7b6d) |
| 2022-04-06 07:14:55 +0000 | awschnap | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 07:15:31 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 260 seconds) |
| 2022-04-06 07:16:04 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 07:16:12 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 07:16:35 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 07:24:58 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) |
| 2022-04-06 07:25:03 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 07:25:16 +0000 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) (Ping timeout: 272 seconds) |
| 2022-04-06 07:28:07 +0000 | renzhi | (~xp@2607:fa49:6500:b100::205b) (Ping timeout: 268 seconds) |
| 2022-04-06 07:30:57 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-06 07:31:02 +0000 | <maerwald> | dons: roll your own |
| 2022-04-06 07:31:15 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 07:31:26 +0000 | <maerwald> | I have rather mixed experience with exising libs (including concurrent-output) |
| 2022-04-06 07:31:37 +0000 | <maerwald> | terminal escape codes are actually easy |
| 2022-04-06 07:31:49 +0000 | <[exa]> | (looking at the scrollback, the rolling utf horse is _vastly_ underrated) |
| 2022-04-06 07:32:39 +0000 | <Axman6> | If that was int-e's comment, it didn't show up for me :'( |
| 2022-04-06 07:33:00 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:34:28 +0000 | <geekosaur> | I just got a bunch of boxes :( |
| 2022-04-06 07:36:30 +0000 | <dons> | i think to do it properly its almost a ui library. definitely concurrent, some queue of events you can push to cheaply. |
| 2022-04-06 07:36:48 +0000 | <dons> | probably should just port https://crates.io/crates/indicatif |
| 2022-04-06 07:37:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 07:38:11 +0000 | <dons> | it doesn't look enormous. https://github.com/console-rs/indicatif/blob/main/src/style.rs |
| 2022-04-06 07:39:59 +0000 | <abastro> | Concurrent? |
| 2022-04-06 07:40:43 +0000 | <dons> | i wouldn't want to block my main computation emitting progress wiggles |
| 2022-04-06 07:40:49 +0000 | <dons> | so there's another thread involved somewhere there |
| 2022-04-06 07:40:57 +0000 | <abastro> | Hmm |
| 2022-04-06 07:41:10 +0000 | <Axman6> | dons: if it's good enough for node.js, it's good enough for us! |
| 2022-04-06 07:41:11 +0000 | <abastro> | I guess progress bar UI library would be great |
| 2022-04-06 07:41:20 +0000 | <abastro> | Tho rolling your own won't also be that expensive |
| 2022-04-06 07:41:37 +0000 | <Axman6> | (Re: node running literally twice as fast when you turned off the progress indicator on the command line) |
| 2022-04-06 07:41:46 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 07:41:46 +0000 | <dons> | haha |
| 2022-04-06 07:41:50 +0000 | <dons> | i didn't know that |
| 2022-04-06 07:42:00 +0000 | <Axman6> | yeah it was pretty amazing, classic noce |
| 2022-04-06 07:42:02 +0000 | <dons> | yeah but threads are expensive in node land. cheap for us ;) |
| 2022-04-06 07:42:03 +0000 | <Axman6> | node* |
| 2022-04-06 07:42:56 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 07:43:11 +0000 | <dons> | well i made my thing massively better. it can process 10M facts in about 3G of ram now (was >16G). takes 2 mins to analyze instead of 15-20 |
| 2022-04-06 07:43:12 +0000 | <Axman6> | https://github.com/npm/npm/issues/11283 |
| 2022-04-06 07:43:28 +0000 | <Axman6> | (npm, not node, but it's all a mess so they all get the blame) |
| 2022-04-06 07:43:41 +0000 | <dons> | just classic fold-style IO. process input in lazy bytestring chunks, parse each chunk, and generate output, in one pass. |
| 2022-04-06 07:43:48 +0000 | <Axman6> | nice! I assume you can't share the code? |
| 2022-04-06 07:43:51 +0000 | <dons> | all in a runStateT that gathers outptu state along the way |
| 2022-04-06 07:44:03 +0000 | <dons> | oh will put it up shortly . sec.. its open |
| 2022-04-06 07:44:32 +0000 | renzhi | (~xp@2607:fa49:6500:b100::19a0) |
| 2022-04-06 07:44:51 +0000 | <maerwald> | dons: https://www.lihaoyi.com/post/BuildyourownCommandLinewithANSIescapecodes.html#progress-indicator |
| 2022-04-06 07:44:55 +0000 | <dons> | some big savings batching Aeson writes to file into 1M object chunks |
| 2022-04-06 07:45:01 +0000 | <maerwald> | really, you don't need a library for that |
| 2022-04-06 07:45:17 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 07:46:13 +0000 | <maerwald> | after I dropped the use of concurrent-output and used escape codes directly, I had a lot less bugs |
| 2022-04-06 07:47:23 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-06 07:48:32 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-06 07:49:04 +0000 | sondr3 | (~sondr3@2001:700:200:f113:6431:7042:a807:6895) |
| 2022-04-06 07:49:13 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) (Remote host closed the connection) |
| 2022-04-06 07:52:19 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 07:53:51 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 07:56:01 +0000 | napping | (~brandon@65.128.49.110) (Quit: leaving) |
| 2022-04-06 07:56:37 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-06 07:58:11 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 08:00:25 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-06 08:01:43 +0000 | <dons> | this was the gist of it https://github.com/donsbot/Glean/commit/411482ce79b40503859407d9c6e4cb37e594b1b4?diff=split#diff-b… |
| 2022-04-06 08:14:42 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 08:15:59 +0000 | chenqisu1 | (~chenqisu1@183.217.200.239) (Quit: Leaving) |
| 2022-04-06 08:16:09 +0000 | MajorBiscuit | (~MajorBisc@2a02:a461:129d:1:193d:75d8:745d:e91e) (Ping timeout: 250 seconds) |
| 2022-04-06 08:16:59 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 08:18:10 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 08:18:13 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 08:18:45 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-06 08:20:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 08:22:20 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 08:23:00 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-06 08:23:16 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2022-04-06 08:23:31 +0000 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2022-04-06 08:23:55 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-06 08:24:09 +0000 | davl | (~davl@207.154.228.18) (Quit: ...) |
| 2022-04-06 08:24:20 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-06 08:24:28 +0000 | davl | (~davl@207.154.228.18) |
| 2022-04-06 08:24:42 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 08:24:49 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 272 seconds) |
| 2022-04-06 08:24:59 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9c62:9a76:c74f:33e7) |
| 2022-04-06 08:25:26 +0000 | qwedfg_ | (~qwedfg@user/qwedfg) |
| 2022-04-06 08:25:52 +0000 | siers | (~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 08:26:04 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 272 seconds) |
| 2022-04-06 08:26:12 +0000 | siers | (~ij@user/ij) |
| 2022-04-06 08:26:13 +0000 | xnyhps_ | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Ping timeout: 240 seconds) |
| 2022-04-06 08:27:09 +0000 | lis | (~quassel@lis.moe) |
| 2022-04-06 08:27:25 +0000 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 240 seconds) |
| 2022-04-06 08:27:49 +0000 | lisq | (~quassel@lis.moe) (Ping timeout: 240 seconds) |
| 2022-04-06 08:28:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-06 08:28:13 +0000 | w1gz | (~do@159.89.11.133) (Ping timeout: 240 seconds) |
| 2022-04-06 08:29:00 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 08:29:01 +0000 | grgz | (~grgz@grgz.me) (Ping timeout: 240 seconds) |
| 2022-04-06 08:29:04 +0000 | robbert-vdh | (~robbert@robbertvanderhelm.nl) |
| 2022-04-06 08:29:04 +0000 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2022-04-06 08:29:08 +0000 | w1gz | (~do@159.89.11.133) |
| 2022-04-06 08:29:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 08:29:21 +0000 | acro | (~acro@user/acro) |
| 2022-04-06 08:29:26 +0000 | quintasan | (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-06 08:29:34 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-04-06 08:29:35 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-04-06 08:29:47 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 08:30:16 +0000 | grgz | (~grgz@grgz.me) |
| 2022-04-06 08:30:34 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 2022-04-06 08:30:36 +0000 | quintasan | (~quassel@quintasan.pl) |
| 2022-04-06 08:31:29 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 08:31:41 +0000 | beaky_ | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-04-06 08:32:18 +0000 | bahamas | (~lucian@86.120.77.115) |
| 2022-04-06 08:32:18 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-04-06 08:32:22 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Remote host closed the connection) |
| 2022-04-06 08:32:51 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-04-06 08:33:10 +0000 | sphynx | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2022-04-06 08:34:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-06 08:35:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-06 08:35:52 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 08:35:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 08:37:28 +0000 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-04-06 08:37:29 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 08:38:06 +0000 | leah2 | (~leah@vuxu.org) |
| 2022-04-06 08:38:36 +0000 | bliminse | (~bliminse@host86-185-253-73.range86-185.btcentralplus.com) |
| 2022-04-06 08:39:44 +0000 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 252 seconds) |
| 2022-04-06 08:40:17 +0000 | Buggys | (~Buggys@185.149.90.52) (Ping timeout: 252 seconds) |
| 2022-04-06 08:40:18 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 252 seconds) |
| 2022-04-06 08:40:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 08:40:23 +0000 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 2022-04-06 08:40:57 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-06 08:42:42 +0000 | synthmeat | (~synthmeat@user/synthmeat) (Quit: WeeChat 3.0) |
| 2022-04-06 08:44:35 +0000 | swistak | (~swistak@185.21.216.141) (Ping timeout: 268 seconds) |
| 2022-04-06 08:45:10 +0000 | swistak | (~swistak@185.21.216.141) |
| 2022-04-06 08:45:23 +0000 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 250 seconds) |
| 2022-04-06 08:46:27 +0000 | peutri | (~peutri@bobo.desast.re) |
| 2022-04-06 08:46:48 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:c8af:4307:df41:9668) |
| 2022-04-06 08:49:29 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-06 08:51:48 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 08:52:05 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 08:53:45 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 08:54:02 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 08:56:54 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 260 seconds) |
| 2022-04-06 08:57:02 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2022-04-06 08:57:05 +0000 | asm | (~alexander@user/asm) (Ping timeout: 250 seconds) |
| 2022-04-06 08:57:26 +0000 | shane | (~shane@ana.rch.ist) (Ping timeout: 245 seconds) |
| 2022-04-06 08:57:34 +0000 | shane | (~shane@ana.rch.ist) |
| 2022-04-06 08:57:36 +0000 | synthmeat | (~synthmeat@user/synthmeat) |
| 2022-04-06 08:59:15 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2022-04-06 09:00:06 +0000 | methylene[m] | (~methylene@2001:470:69fc:105::1:ccc0) (Quit: You have been kicked for being idle) |
| 2022-04-06 09:00:09 +0000 | jkaye[m] | (~jkayematr@2001:470:69fc:105::1:86f7) (Quit: You have been kicked for being idle) |
| 2022-04-06 09:00:10 +0000 | shlevy[m] | (~shlevymat@2001:470:69fc:105::1:d3b1) (Quit: You have been kicked for being idle) |
| 2022-04-06 09:00:18 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-04-06 09:00:29 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-04-06 09:01:25 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) |
| 2022-04-06 09:01:55 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 09:04:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 09:06:32 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 09:06:50 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 09:10:26 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 09:10:34 +0000 | asm | (~alexander@burner.asm89.io) |
| 2022-04-06 09:10:43 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) |
| 2022-04-06 09:10:59 +0000 | abastro | (~abab9579@192.249.26.40) (Ping timeout: 246 seconds) |
| 2022-04-06 09:12:26 +0000 | fax | (~fax@2a02:c7f:f097:7f00:8c5c:bbbe:c07f:5d1b) (Remote host closed the connection) |
| 2022-04-06 09:15:41 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-04-06 09:15:41 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-06 09:15:45 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-06 09:16:02 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2022-04-06 09:16:51 +0000 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 260 seconds) |
| 2022-04-06 09:24:18 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-06 09:25:25 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-06 09:26:52 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 09:32:59 +0000 | off^ | (~off@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-06 09:36:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 09:41:06 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 09:42:33 +0000 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 268 seconds) |
| 2022-04-06 09:43:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 09:45:21 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2022-04-06 09:46:13 +0000 | acidjnk | (~acidjnk@p200300d0c7049f3920949ab9d12db827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 09:48:34 +0000 | zer0bitz | (~zer0bitz@2001:2003:f0bb:7700:ace8:59bc:253a:4c28) |
| 2022-04-06 09:51:57 +0000 | abastro | (~abab9579@192.249.26.40) |
| 2022-04-06 09:52:05 +0000 | Midjak | (~Midjak@226.34.136.77.rev.sfr.net) |
| 2022-04-06 09:57:45 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 09:58:46 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 09:59:09 +0000 | Guest50 | (~Guest50@174.25.172.74) |
| 2022-04-06 10:01:05 +0000 | Guest50 | (~Guest50@174.25.172.74) (Client Quit) |
| 2022-04-06 10:01:25 +0000 | BlackboardN | (~Blackboar@user/BlackboardN) (Ping timeout: 240 seconds) |
| 2022-04-06 10:04:53 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-06 10:07:08 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-04-06 10:08:44 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 10:08:55 +0000 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 10:08:58 +0000 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-04-06 10:09:06 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-04-06 10:09:44 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:18:18 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 260 seconds) |
| 2022-04-06 10:19:05 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 10:20:18 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 10:20:59 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:22:38 +0000 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) |
| 2022-04-06 10:27:04 +0000 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-06 10:30:38 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-04-06 10:30:47 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 10:30:49 +0000 | chomwitt | (~chomwitt@2a02:587:dc1d:9d00:8198:a338:78ea:2e75) (Ping timeout: 248 seconds) |
| 2022-04-06 10:31:58 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 10:32:29 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:38:11 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-06 10:39:54 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 10:40:13 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 10:40:26 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 10:41:29 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 10:42:30 +0000 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-06 10:42:55 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 10:43:44 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:44:52 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-06 10:48:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 10:52:04 +0000 | crazazy | (~user@130.89.171.62) |
| 2022-04-06 10:53:32 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 10:54:51 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 10:56:30 +0000 | razetime | (~quassel@117.193.2.68) |
| 2022-04-06 10:57:51 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-06 10:57:51 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 10:58:02 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 10:59:16 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 11:03:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-06 11:04:31 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 11:06:44 +0000 | Buggys | (~Buggys@185.149.90.52) |
| 2022-04-06 11:09:38 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-06 11:11:06 +0000 | chomwitt | (~chomwitt@athedsl-31574.home.otenet.gr) |
| 2022-04-06 11:11:39 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 11:12:38 +0000 | renatofdds | (~user@177-105-141-162.life.com.br) |
| 2022-04-06 11:14:45 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-06 11:14:51 +0000 | <razetime> | janus: thanks for the help. I think I will send a message on discourse now. |
| 2022-04-06 11:17:08 +0000 | renatofdds | (~user@177-105-141-162.life.com.br) () |
| 2022-04-06 11:17:24 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-06 11:19:20 +0000 | <razetime> | i am unable to privately message people on the haskell discourse website. Is there some verification needed? |
| 2022-04-06 11:23:21 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 11:32:56 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2022-04-06 11:40:12 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-04-06 11:45:55 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-06 11:48:46 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 11:49:36 +0000 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-06 11:52:18 +0000 | <absence> | does "asum . fmap f" have a good name, similar to traverse for "sequenceA . fmap f"? |
| 2022-04-06 11:53:01 +0000 | <hpc> | :t \f -> asum . fmap f |
| 2022-04-06 11:53:03 +0000 | <lambdabot> | (Foldable t, Alternative f, Functor t) => (a1 -> f a2) -> t a1 -> f a2 |
| 2022-04-06 11:54:19 +0000 | <hpc> | https://hackage.haskell.org/package/Agda-2.6.2.2/docs/Agda-Utils-Applicative.html#v:foldMapA seems to be an exact match |
| 2022-04-06 11:54:22 +0000 | sondr3 | (~sondr3@2001:700:200:f113:6431:7042:a807:6895) (Quit: sondr3) |
| 2022-04-06 11:54:57 +0000 | <hpc> | https://hoogle.haskell.org/?hoogle=foldMapA -- looks like it's in a few other packages |
| 2022-04-06 11:55:05 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 11:56:00 +0000 | <absence> | hpc: oh nice, thanks! |
| 2022-04-06 11:58:00 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 12:00:06 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 12:02:51 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-04-06 12:03:18 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-06 12:04:31 +0000 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 12:12:05 +0000 | frost | (~frost@user/frost) |
| 2022-04-06 12:12:38 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 12:15:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 12:17:14 +0000 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-06 12:26:12 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 12:27:09 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 12:27:42 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 12:31:21 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 12:31:31 +0000 | dextaa_54 | (~dextaa@user/dextaa) |
| 2022-04-06 12:36:30 +0000 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) |
| 2022-04-06 12:54:47 +0000 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-06 12:56:11 +0000 | <Guest89> | Hi, if have something of 'type ParsedSource = Located (HsModule GhcPs)' how do i access the 'HsModule'? |
| 2022-04-06 12:56:28 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 13:00:05 +0000 | <boxscape> | Guest89: pattern match on `L l themodule` |
| 2022-04-06 13:00:53 +0000 | <boxscape> | Guest89: alternatively, you should be able to use `unLoc` I think |
| 2022-04-06 13:01:13 +0000 | Teacup | (~teacup@user/teacup) (Quit: Teacup) |
| 2022-04-06 13:01:19 +0000 | beaky_ | beaky |
| 2022-04-06 13:01:43 +0000 | <boxscape> | https://hackage.haskell.org/package/ghc-9.2.1/docs/GHC.html#v:unLoc |
| 2022-04-06 13:09:00 +0000 | <Guest89> | Mh.. it knows neither `L` nor `unLoc`. Do I need to tell it to import them explicit? Or is my ghc too old (8.10.7)? |
| 2022-04-06 13:09:04 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 13:10:44 +0000 | razetime | (~quassel@117.193.2.68) (Ping timeout: 246 seconds) |
| 2022-04-06 13:11:13 +0000 | <boxscape> | Guest89: seems to exist in that version as well (docs for 8.10.7: https://hackage.haskell.org/package/ghc-8.10.7/docs/GHC.html#t:GenLocated). You do need to `import GHC`, though. |
| 2022-04-06 13:13:24 +0000 | Teacup | (~teacup@user/teacup) |
| 2022-04-06 13:18:43 +0000 | <Guest89> | Ah, okay. That did the trick. Thanks a lot. Regarding the different ghc version though: How common/okay is it to run outdated versions? Or should I update immediately? |
| 2022-04-06 13:19:08 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-06 13:20:05 +0000 | <merijn> | Guest89: I tend to use the second to last or third to last usually :p |
| 2022-04-06 13:20:14 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-06 13:20:37 +0000 | <merijn> | Guest89: Only reasons to upgrade sooner are: 1) you need a newly implemented feature only in the latest version or 2) you need a bugfix only in the latest version |
| 2022-04-06 13:20:40 +0000 | <geekosaur> | 8.10.7is still very widely used |
| 2022-04-06 13:21:16 +0000 | <Guest89> | Alright, thanks! |
| 2022-04-06 13:21:48 +0000 | <boxscape> | Guest89: with the GHC API which you're using here in particular though, things might be changing faster than with some other things, e.g. the module hierarchy of the GHC API changed in I think 9.0 so a lot of modules have different names |
| 2022-04-06 13:22:29 +0000 | <boxscape> | (GHC.Plugins instead of GhcPlugins, as an example) |
| 2022-04-06 13:22:34 +0000 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-04-06 13:24:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-06 13:25:22 +0000 | <Guest89> | boxscape: So if I were to use ghc to parse Haskell projects from GitHub, running an outdated version could lead to errors? |
| 2022-04-06 13:25:33 +0000 | razetime | (~quassel@117.254.34.247) |
| 2022-04-06 13:26:15 +0000 | <boxscape> | though that doesn't mean that you can't use older versions, just that if you use the GHC API, you need to be ready to accept that newer GHC version might have changed the API |
| 2022-04-06 13:26:27 +0000 | frost | (~frost@user/frost) |
| 2022-04-06 13:26:28 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-04-06 13:27:34 +0000 | <boxscape> | Guest89: I wouldn't expect that unless the haskell projects use very new features. But if you want to compile your parsing project in a newer GHC version than you originally developed it in, you might have to change some things |
| 2022-04-06 13:30:05 +0000 | <boxscape> | Guest89: though the module renaming I mentioned is probably the biggest offender there |
| 2022-04-06 13:32:17 +0000 | <janus> | razetime: you may need a certain amount of experience-points |
| 2022-04-06 13:32:25 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-06 13:32:28 +0000 | <razetime> | experience-points? |
| 2022-04-06 13:32:28 +0000 | <janus> | razetime: what about using e-mail instead? |
| 2022-04-06 13:32:36 +0000 | <razetime> | i did use email :) |
| 2022-04-06 13:32:41 +0000 | <janus> | razetime: yes, discourse has some kind of leveling system, i think |
| 2022-04-06 13:32:49 +0000 | <razetime> | ah figures |
| 2022-04-06 13:32:51 +0000 | <janus> | i don't remember what they call it, may not be experience-points |
| 2022-04-06 13:32:52 +0000 | <boxscape> | Guest89: there's also https://hackage.haskell.org/package/ghc-lib which lets you use a fixed version of the GHC API regardless of the GHC version you're using |
| 2022-04-06 13:33:07 +0000 | <boxscape> | (I haven't used it though) |
| 2022-04-06 13:33:08 +0000 | <boxscape> | so then these concerns don't really apply anymore |
| 2022-04-06 13:34:26 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 13:34:53 +0000 | Teacup | (~teacup@user/teacup) (Quit: Teacup) |
| 2022-04-06 13:34:57 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 13:35:33 +0000 | Teacup | (~teacup@user/teacup) |
| 2022-04-06 13:38:37 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 13:38:52 +0000 | <Guest89> | boxscape: ah, I see sounds interesting. Since I am already using other Libs for parsing which have their own GHC version they depend on, that shouldn't do much in my case though should it? |
| 2022-04-06 13:42:17 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 248 seconds) |
| 2022-04-06 13:42:18 +0000 | <boxscape> | Guest89: are you saying those libs make use of the GHC API for parsing? |
| 2022-04-06 13:42:25 +0000 | <boxscape> | If so then yeah, ghc-lib probably is not an option here |
| 2022-04-06 13:44:09 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-06 13:45:50 +0000 | <Guest89> | boxscape: Yes, as far as I understand they do. Although the errors could also stem from the lib being semi abandoned or some other error on my part. |
| 2022-04-06 13:48:43 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 13:51:20 +0000 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-06 13:52:21 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 13:52:44 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Client Quit) |
| 2022-04-06 13:53:02 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (rcirc on GNU Emacs 27.2) |
| 2022-04-06 13:54:10 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-04-06 13:54:36 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-06 13:56:36 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-04-06 13:56:54 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 13:56:55 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 13:56:55 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 13:57:29 +0000 | rotateq | (~user@ip-078-094-235-194.um19.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-04-06 14:04:08 +0000 | Macbethwin | (~chargen@8.31.163.87) |
| 2022-04-06 14:04:54 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-06 14:05:32 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-06 14:05:36 +0000 | <absence> | other than forgetting the HasCallStack constraint, is there anything that could cause "getCallStack callStack" to return an empty list? |
| 2022-04-06 14:06:30 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 14:06:58 +0000 | polyphem | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Remote host closed the connection) |
| 2022-04-06 14:07:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-06 14:07:10 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-04-06 14:07:23 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 14:08:10 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-06 14:09:57 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 14:11:54 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 14:13:13 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-06 14:14:48 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-06 14:15:29 +0000 | marquis_andras | (~marquis_a@14-201-230-116.tpgi.com.au) |
| 2022-04-06 14:19:01 +0000 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-06 14:20:21 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-04-06 14:21:03 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 14:22:10 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-06 14:22:49 +0000 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-06 14:23:26 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-06 14:24:30 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-06 14:24:55 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-06 14:24:57 +0000 | abastro | (~abab9579@192.249.26.40) (Ping timeout: 248 seconds) |
| 2022-04-06 14:27:03 +0000 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-06 14:27:32 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-06 14:28:21 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-06 14:31:23 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 14:31:56 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 14:33:55 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 14:34:29 +0000 | libertyprime | (~libertypr@118-92-82-225.dsl.dyn.ihug.co.nz) |
| 2022-04-06 14:35:22 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:3dd7:b2a5:f63f:5163) (Quit: WeeChat 3.4.1) |
| 2022-04-06 14:36:00 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-06 14:36:02 +0000 | <libertyprime> | hey guys. I did a write up on my thoughts for adding a new context to haskell syntax maybe in the form of a language extension. thoughts? https://semiosis.github.io/posts/purity-and-reality/ |
| 2022-04-06 14:40:19 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:676f:8485:4af0:d43b) |
| 2022-04-06 14:41:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-06 14:43:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 14:44:40 +0000 | <geekosaur> | tempted to point to CPT invariance |
| 2022-04-06 14:44:52 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
| 2022-04-06 14:45:40 +0000 | <geekosaur> | in particular you can see an antiparticle as a particle moving backwards in time, and everything still works |
| 2022-04-06 14:47:48 +0000 | cdman | (~dcm@user/dmc/x-4369397) (Ping timeout: 268 seconds) |
| 2022-04-06 14:52:47 +0000 | stef204 | (~stef204@user/stef204) |
| 2022-04-06 14:53:37 +0000 | <libertyprime> | I'll have to add CPT symmetry to that list :P |
| 2022-04-06 14:54:22 +0000 | sondr3 | (~sondr3@pc130-197.eduroam.uib.no) (Quit: sondr3) |
| 2022-04-06 14:54:45 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 15:06:55 +0000 | razetime | (~quassel@117.254.34.247) (Ping timeout: 268 seconds) |
| 2022-04-06 15:10:27 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.4.1) |
| 2022-04-06 15:11:13 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-06 15:12:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-06 15:13:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 15:16:58 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 15:19:51 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-04-06 15:20:57 +0000 | razetime | (~quassel@117.193.2.68) |
| 2022-04-06 15:21:40 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-06 15:25:05 +0000 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-06 15:31:19 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 15:33:44 +0000 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) |
| 2022-04-06 15:34:26 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-06 15:42:41 +0000 | sander | (~sander@user/sander) (Ping timeout: 268 seconds) |
| 2022-04-06 15:49:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-06 15:50:48 +0000 | sander | (~sander@user/sander) |
| 2022-04-06 15:51:04 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-06 15:51:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:151b:b295:6bbb:fc2b) (Quit: WeeChat 2.8) |
| 2022-04-06 15:51:58 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 15:54:22 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-06 15:56:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 15:56:47 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-04-06 15:57:54 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-06 15:59:45 +0000 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-06 16:00:06 +0000 | reactormonk[m] | (~reactormo@2001:470:69fc:105::3c24) (Quit: You have been kicked for being idle) |
| 2022-04-06 16:00:31 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-06 16:00:51 +0000 | razetime | (~quassel@117.193.2.68) (Read error: Connection reset by peer) |
| 2022-04-06 16:00:55 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 16:01:25 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 16:04:09 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-06 16:04:53 +0000 | odnes | (~odnes@5-203-209-2.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-04-06 16:07:43 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-06 16:08:14 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 16:16:41 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-06 16:16:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 16:18:14 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-06 16:20:05 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-04-06 16:20:18 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 268 seconds) |
| 2022-04-06 16:20:34 +0000 | sammelweis | (~quassel@c-68-48-18-140.hsd1.mi.comcast.net) |
| 2022-04-06 16:20:55 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-06 16:22:20 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 16:23:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-06 16:26:42 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-06 16:27:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 16:28:23 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-06 16:32:38 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-06 16:37:00 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-06 16:37:45 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2022-04-06 16:37:55 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 16:38:49 +0000 | MajorBiscuit | (~MajorBisc@c-001-028-031.client.tudelft.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 16:40:42 +0000 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-04-06 16:41:04 +0000 | CATS | (apic@brezn3.muc.ccc.de) (Remote host closed the connection) |
| 2022-04-06 16:46:15 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-04-06 16:47:35 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 16:48:03 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 16:50:58 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-06 16:51:11 +0000 | hololeap_ | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2022-04-06 16:51:12 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-06 16:52:02 +0000 | cosmos1 | (~cosmos@user/cosmos1) |
| 2022-04-06 16:53:48 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 16:54:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2022-04-06 16:58:34 +0000 | BlackboardN | (~Blackboar@user/BlackboardN) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 16:59:06 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:9c62:9a76:c74f:33e7) (Quit: ccntrq) |
| 2022-04-06 16:59:23 +0000 | BlackboardN | (~Blackboar@user/BlackboardN) |
| 2022-04-06 17:00:18 +0000 | <shapr> | acowley: hey, are you around for questions about org-mode + nixos + haskell? |
| 2022-04-06 17:04:19 +0000 | <shapr> | acowley: I'm following https://www.arcadianvisions.com/2018/org-nix-direnv.html but I can't figure out how to get packages in scope for runhaskell |
| 2022-04-06 17:07:10 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-04-06 17:08:48 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-06 17:13:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 17:16:14 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-06 17:17:02 +0000 | cosmos1 | (~cosmos@user/cosmos1) (Quit: b ru h) |
| 2022-04-06 17:17:03 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-06 17:25:47 +0000 | libertyprime | (~libertypr@118-92-82-225.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-04-06 17:31:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 17:31:44 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 17:31:44 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 17:34:32 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 17:35:09 +0000 | lis | lisq |
| 2022-04-06 17:42:02 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-04-06 17:43:33 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 17:50:17 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-06 17:50:51 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-06 17:50:51 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-06 17:50:51 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-06 17:52:11 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 268 seconds) |
| 2022-04-06 17:52:26 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-06 17:54:28 +0000 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 17:55:16 +0000 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-06 17:55:38 +0000 | sander | (~sander@user/sander) |
| 2022-04-06 17:57:55 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 17:59:02 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 18:00:11 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 246 seconds) |
| 2022-04-06 18:00:57 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 18:04:14 +0000 | econo | (uid147250@user/econo) |
| 2022-04-06 18:06:20 +0000 | tfeb | (~tfb@88.98.95.237) |
| 2022-04-06 18:09:47 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-06 18:12:24 +0000 | mbuf | (~Shakthi@136.185.80.19) (Quit: Leaving) |
| 2022-04-06 18:14:14 +0000 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-06 18:18:14 +0000 | Macbethwin | (~chargen@8.31.163.87) (Ping timeout: 272 seconds) |
| 2022-04-06 18:18:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-06 18:19:57 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-06 18:21:06 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-06 18:23:35 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 18:23:47 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 18:24:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-06 18:28:27 +0000 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-04-06 18:31:37 +0000 | <seydar> | test |
| 2022-04-06 18:31:50 +0000 | <Henson> | say I'm defining a helper function that is within another function and I'm also adding a type signature of the helper function. If the parent function has some type "Foo a" and the prototype for the helper function also has "Foo a" I get an error about "Couldn't match type ‘a1’ with ‘a’" and it has a conflict with the inner "a" and the outer "a. How can I resolve this kind of problem? |
| 2022-04-06 18:33:05 +0000 | <monochrom> | Two things, do both. Turn on ScopedTypeVariables. In the outer type sig, add "forall a." |
| 2022-04-06 18:33:32 +0000 | theproffesor | (~theproffe@2601:282:847f:7f00::87) |
| 2022-04-06 18:33:47 +0000 | <Henson> | monochrom: ok, thank you! |
| 2022-04-06 18:39:40 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 268 seconds) |
| 2022-04-06 18:41:31 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-04-06 18:47:42 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-06 18:48:01 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4.1) |
| 2022-04-06 18:48:33 +0000 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-06 18:53:27 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-06 18:54:59 +0000 | tfeb | (~tfb@88.98.95.237) (Quit: drinking to forget) |
| 2022-04-06 18:58:46 +0000 | Macbethwin_ | chargen |
| 2022-04-06 18:59:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-06 19:02:41 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2022-04-06 19:04:57 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 19:05:47 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2022-04-06 19:09:48 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 19:15:47 +0000 | ss- | (~ss-@2001:18e8:2:28b9:f000::1a5) |
| 2022-04-06 19:16:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 19:19:08 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-06 19:19:41 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c) |
| 2022-04-06 19:20:15 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 19:20:43 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 19:22:08 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 19:26:13 +0000 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-06 19:26:38 +0000 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-06 19:27:13 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-06 19:32:04 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 19:36:46 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-06 19:37:02 +0000 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-04-06 19:37:37 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 19:38:35 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 19:43:48 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 268 seconds) |
| 2022-04-06 19:43:55 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 19:45:39 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-06 19:45:56 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 19:47:49 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 19:47:58 +0000 | Jon | (jon@dow.land) (Read error: Connection reset by peer) |
| 2022-04-06 19:48:10 +0000 | Jon | (jon@dow.land) |
| 2022-04-06 19:49:44 +0000 | CATS | (apic@brezn3.muc.ccc.de) |
| 2022-04-06 19:52:25 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-06 19:55:20 +0000 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 2022-04-06 19:56:51 +0000 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-06 19:57:16 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 19:57:50 +0000 | acidjnk | (~acidjnk@p200300d0c7049f39b8d686b04cd6897b.dip0.t-ipconnect.de) |
| 2022-04-06 20:00:06 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 20:01:21 +0000 | ss- | (~ss-@2001:18e8:2:28b9:f000::1a5) (Quit: Client closed) |
| 2022-04-06 20:01:54 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-04-06 20:02:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 20:02:50 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 20:02:56 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-06 20:03:34 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 20:04:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-04-06 20:06:31 +0000 | neurocyte861449 | (~neurocyte@IP-212232089093.dynamic.medianet-world.de) |
| 2022-04-06 20:06:31 +0000 | neurocyte861449 | (~neurocyte@IP-212232089093.dynamic.medianet-world.de) (Changing host) |
| 2022-04-06 20:06:31 +0000 | neurocyte861449 | (~neurocyte@user/neurocyte) |
| 2022-04-06 20:07:02 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 20:08:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 252 seconds) |
| 2022-04-06 20:13:34 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-04-06 20:16:52 +0000 | zer0bitz | (~zer0bitz@2001:2003:f0bb:7700:ace8:59bc:253a:4c28) (Read error: Connection reset by peer) |
| 2022-04-06 20:18:48 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-06 20:19:05 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-04-06 20:19:35 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-04-06 20:19:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 20:21:31 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-06 20:22:07 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-06 20:24:23 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-06 20:24:25 +0000 | pavonia | (~user@user/siracusa) |
| 2022-04-06 20:25:08 +0000 | michalz | (~michalz@185.246.204.122) (Remote host closed the connection) |
| 2022-04-06 20:25:26 +0000 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) |
| 2022-04-06 20:27:32 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) |
| 2022-04-06 20:27:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-06 20:28:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 20:30:43 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 20:33:06 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 20:34:47 +0000 | |beo| | |beowulf| |
| 2022-04-06 20:35:16 +0000 | |beowulf| | (1000@gabilgathol.bandrate.org) (Changing host) |
| 2022-04-06 20:35:16 +0000 | |beowulf| | (1000@sourcemage/mage/beowulf) |
| 2022-04-06 20:38:04 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-06 20:42:04 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-06 20:43:23 +0000 | gawen | (~gawen@user/gawen) |
| 2022-04-06 20:45:15 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) |
| 2022-04-06 20:48:08 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-06 20:48:49 +0000 | awpr | (uid446117@id-446117.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-06 20:52:09 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-06 20:53:25 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) |
| 2022-04-06 20:55:18 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 20:56:14 +0000 | Macbethwin_ | (~chargen@8.31.163.87) |
| 2022-04-06 20:57:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b7bb:c936:d84d:659c) (Quit: WeeChat 2.8) |
| 2022-04-06 20:57:31 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 20:57:38 +0000 | deadmarshal_ | (~deadmarsh@95.38.116.176) (Ping timeout: 246 seconds) |
| 2022-04-06 20:57:47 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-04-06 20:58:23 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 250 seconds) |
| 2022-04-06 20:59:39 +0000 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 21:00:05 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-06 21:00:22 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-06 21:01:14 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::e9d9) |
| 2022-04-06 21:01:45 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-06 21:01:50 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-06 21:03:24 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 21:03:41 +0000 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 21:04:10 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-06 21:05:42 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-06 21:06:09 +0000 | sander | (~sander@user/sander) |
| 2022-04-06 21:07:54 +0000 | sander | (~sander@user/sander) (Client Quit) |
| 2022-04-06 21:07:58 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 21:08:52 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-06 21:10:07 +0000 | sander | (~sander@user/sander) |
| 2022-04-06 21:11:18 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 21:11:46 +0000 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Quit: Leaving...) |
| 2022-04-06 21:11:50 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-06 21:13:08 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-06 21:14:16 +0000 | Macbethwin_ | chargen |
| 2022-04-06 21:15:43 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-06 21:15:44 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:15:59 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-06 21:20:06 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 21:22:00 +0000 | crazazy` | (~user@2001:67c:2564:a307:6d3:b0ff:fef1:40aa) |
| 2022-04-06 21:24:26 +0000 | crazazy | (~user@130.89.171.62) (Ping timeout: 272 seconds) |
| 2022-04-06 21:24:58 +0000 | crazazy` | (~user@2001:67c:2564:a307:6d3:b0ff:fef1:40aa) (Remote host closed the connection) |
| 2022-04-06 21:25:12 +0000 | crazazy` | (~user@2001:67c:2564:a307:29cf:359c:a8f8:b37) |
| 2022-04-06 21:25:27 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-06 21:25:48 +0000 | crazazy` | (~user@2001:67c:2564:a307:29cf:359c:a8f8:b37) (Remote host closed the connection) |
| 2022-04-06 21:26:13 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-06 21:27:28 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 21:27:54 +0000 | sander | (~sander@user/sander) (Quit: So long! :)) |
| 2022-04-06 21:28:45 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:31:37 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-04-06 21:32:02 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 21:32:27 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 21:33:36 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-06 21:36:55 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 21:37:40 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 21:38:13 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-04-06 21:38:36 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:9dee:240c:5988:ddb8) (Remote host closed the connection) |
| 2022-04-06 21:39:38 +0000 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-06 21:42:20 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 21:43:35 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-06 21:46:01 +0000 | <lyxia> | Do the MonadFix laws imply mfix (const t) = t ? https://hackage.haskell.org/package/base-4.16.0.0/docs/Control-Monad-Fix.html |
| 2022-04-06 21:46:14 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 252 seconds) |
| 2022-04-06 21:46:15 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-06 21:48:04 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-04-06 21:50:45 +0000 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-06 21:57:53 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 21:59:03 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-06 21:59:47 +0000 | <monochrom> | Interesting. Nice exercise. Yes with much meaningless equational reasoning :) |
| 2022-04-06 22:00:06 +0000 | <monochrom> | I'll post my proof paste in a moment. |
| 2022-04-06 22:01:17 +0000 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Quit: WeeChat 3.4) |
| 2022-04-06 22:01:55 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-06 22:02:25 +0000 | <monochrom> | https://paste.tomsmeding.com/m6GansIE |
| 2022-04-06 22:04:18 +0000 | <monochrom> | I should put it on an exam and devastate the whole class! |
| 2022-04-06 22:04:50 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 2022-04-06 22:06:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-06 22:07:18 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 22:10:13 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-06 22:10:56 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::e9d9) (Ping timeout: 250 seconds) |
| 2022-04-06 22:12:04 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-06 22:12:38 +0000 | acidjnk | (~acidjnk@p200300d0c7049f39b8d686b04cd6897b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-04-06 22:15:42 +0000 | chargen | (~chargen@8.31.163.87) (Leaving) |
| 2022-04-06 22:25:41 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-06 22:25:48 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-06 22:29:53 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-06 22:30:18 +0000 | <maerwald[m]> | You like to torment students, don't you? ; ) |
| 2022-04-06 22:34:14 +0000 | img | (~img@user/img) |
| 2022-04-06 22:35:22 +0000 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-06 22:35:26 +0000 | <monochrom> | The class average is always too high, I always look for upping the game! |
| 2022-04-06 22:36:57 +0000 | <hpc> | it's like configuring a sound system, you get the full range of the class > 0 and < 100 (non-inclusive), and then adjust the curve :D |
| 2022-04-06 22:37:42 +0000 | <maerwald[m]> | So ppl get punished for being above average? |
| 2022-04-06 22:39:32 +0000 | <hpc> | so you find the limit of everyone's knowledge and have an accurate basis to decide the curve from |
| 2022-04-06 22:39:40 +0000 | <hpc> | maybe "punishing", maybe "rewarding" |
| 2022-04-06 22:40:01 +0000 | <hpc> | if almost everyone is getting 100s, maybe the class is too easy |
| 2022-04-06 22:40:18 +0000 | <hpc> | and you can go through the concepts faster, or get more advanced |
| 2022-04-06 22:41:02 +0000 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-04-06 22:41:11 +0000 | <maerwald[m]> | Maybe they just want to be done so they can go home and you pour more stuff at them :D |
| 2022-04-06 22:41:50 +0000 | <maerwald[m]> | They'll lern that too and then pretend to be average |
| 2022-04-06 22:42:53 +0000 | <monochrom> | Ppl get punished. Period. >:) |
| 2022-04-06 22:42:56 +0000 | <hpc> | if they want to be lazy that's on them |
| 2022-04-06 22:42:56 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.5) |
| 2022-04-06 22:44:05 +0000 | <maerwald[m]> | They're usually lazy, because that allows fusing homework close before the class |
| 2022-04-06 22:44:54 +0000 | <abastro[m]> | Well, Haskell has laziness so |
| 2022-04-06 22:45:06 +0000 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-04-06 22:45:13 +0000 | <hpc> | strictly speaking, haskell is just non-strict :P |
| 2022-04-06 22:45:21 +0000 | <abastro[m]> | Students learning it would be kind of lazy |
| 2022-04-06 22:45:31 +0000 | <abastro[m]> | Ah :P |
| 2022-04-06 22:45:50 +0000 | bezmuth | (~bezmuth@host86-136-197-212.range86-136.btcentralplus.com) |
| 2022-04-06 22:47:32 +0000 | <abastro[m]> | Wait what is that exam problem, that sounds hellish |
| 2022-04-06 22:47:45 +0000 | <maerwald[m]> | This is how laziness works: this should be evaluated, unless... or maybe not. Ohh...let me check that in the debugger. |
| 2022-04-06 22:47:59 +0000 | redb | (~nmh@136.49.49.211) |
| 2022-04-06 22:48:44 +0000 | <hpc> | that's the beauty of IO |
| 2022-04-06 22:48:48 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-06 22:48:53 +0000 | <abastro[m]> | Yep, laziness allows doing what is necessary, being more efficient |
| 2022-04-06 22:48:54 +0000 | <hpc> | the students are evaluated just before being execut- i mean, what? |
| 2022-04-06 22:49:18 +0000 | <abastro[m]> | Haha |
| 2022-04-06 22:49:30 +0000 | <maerwald[m]> | abastro: that's a gross oversimplification |
| 2022-04-06 22:49:56 +0000 | <maerwald[m]> | Laziness gets you punished by monochrom |
| 2022-04-06 22:50:00 +0000 | <abastro[m]> | Lmao |
| 2022-04-06 22:50:24 +0000 | <abastro[m]> | <del>But..but sensei haskell is lazy by default</del> |
| 2022-04-06 22:50:46 +0000 | <maerwald[m]> | Unless you're above average, then you get punished even of you are strict |
| 2022-04-06 22:51:30 +0000 | <abastro[m]> | Wait why? |
| 2022-04-06 22:53:28 +0000 | <monochrom> | abastro[m]: I was just kidding, my courses are really in no position to talk about MonadFix, too many other topics of relevance already. But the question was "from MonadFix laws can you prove mfix (const t) = t". My solution is at https://paste.tomsmeding.com/m6GansIE |
| 2022-04-06 22:54:26 +0000 | <abastro[m]> | Oh, interesting |
| 2022-04-06 22:56:49 +0000 | <abastro[m]> | Btw is your profession professor? |
| 2022-04-06 22:56:50 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-06 22:57:35 +0000 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-06 22:57:51 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2022-04-06 22:58:45 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 23:00:18 +0000 | alp_ | (~alp@user/alp) |
| 2022-04-06 23:00:21 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 23:01:01 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (Ping timeout: 240 seconds) |
| 2022-04-06 23:01:18 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) (Quit: Client closed) |
| 2022-04-06 23:02:24 +0000 | <abastro[m]> | Oh I'm sorry for asking.. |
| 2022-04-06 23:03:17 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-06 23:03:18 +0000 | Guest89 | (~Guest89@2a01:41e1:47ec:c500:e741:fb6e:5f12:6189) |
| 2022-04-06 23:03:43 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-04-06 23:05:46 +0000 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-04-06 23:06:14 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2022-04-06 23:10:09 +0000 | Guest|3 | (~Guest|3@taffa.wpa.dal.ca) |
| 2022-04-06 23:10:38 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 246 seconds) |
| 2022-04-06 23:10:50 +0000 | <Guest|3> | getting the error message "curl: (60) SSL certificate problem: certificate has expired |
| 2022-04-06 23:10:51 +0000 | <Guest|3> | More details here: https://curl.haxx.se/docs/sslcerts.html" |
| 2022-04-06 23:11:08 +0000 | <Guest|3> | when trying to install GHC |
| 2022-04-06 23:11:29 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-06 23:11:57 +0000 | koz | (~koz@121.99.240.58) |
| 2022-04-06 23:12:02 +0000 | chomwitt | (~chomwitt@athedsl-31574.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2022-04-06 23:12:33 +0000 | bezmuth | (~bezmuth@host86-136-197-212.range86-136.btcentralplus.com) (Quit: bezmuth) |
| 2022-04-06 23:12:45 +0000 | <Guest|3> | can somebody please help me figure out how to download GHC? |
| 2022-04-06 23:12:55 +0000 | bezmuth | (~bezmuth@2a00:23c4:8a8f:5900:daa0:b5b1:cd63:bdb7) |
| 2022-04-06 23:15:06 +0000 | <geekosaur> | works here. are you sure you don't have out of date root certificates? |
| 2022-04-06 23:16:32 +0000 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-06 23:21:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-06 23:21:53 +0000 | <hpc> | have you tried the fixes on that link? |
| 2022-04-06 23:24:58 +0000 | <Guest|3> | I have fixed it now, thank you for the responses |
| 2022-04-06 23:25:02 +0000 | Guest|3 | (~Guest|3@taffa.wpa.dal.ca) (Quit: Connection closed) |
| 2022-04-06 23:27:22 +0000 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-06 23:29:08 +0000 | Guest27 | (~Guest27@2601:281:d47f:1590::e9d9) |
| 2022-04-06 23:30:03 +0000 | yauhsien | (~yauhsien@61-231-21-149.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-06 23:31:21 +0000 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-04-06 23:32:15 +0000 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-06 23:34:52 +0000 | wrengr | (~wrengr@249.189.233.35.bc.googleusercontent.com) |
| 2022-04-06 23:36:23 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:c8af:4307:df41:9668) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-06 23:43:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-04-06 23:44:45 +0000 | <dons> | moin moin |
| 2022-04-06 23:45:49 +0000 | <geekosaur> | o/ |
| 2022-04-06 23:53:29 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-06 23:58:51 +0000 | Midjak | (~Midjak@226.34.136.77.rev.sfr.net) (Quit: This computer has gone to sleep) |