| 2020-11-08 00:01:33 +0100 | <bqv> | daydaynatation: does it have type IO a? |
| 2020-11-08 00:03:21 +0100 | falafel | (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) |
| 2020-11-08 00:05:28 +0100 | <maralorn> | srid: I don‘t know. I think writing a default.nix for the hls repo wouldn‘t be to hard. |
| 2020-11-08 00:06:30 +0100 | hackage | type-of-html 1.6.1.0 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.0 (knupfer) |
| 2020-11-08 00:06:42 +0100 | <daydaynatation> | bqv: it has IO () |
| 2020-11-08 00:07:10 +0100 | <daydaynatation> | bqv: i can compile it with ghc without prob |
| 2020-11-08 00:07:37 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) |
| 2020-11-08 00:08:51 +0100 | <daydaynatation> | bqv: sorry, just realize the error comes from another source: |
| 2020-11-08 00:08:53 +0100 | <daydaynatation> | inline-c-cpp:0:67: error: |
| 2020-11-08 00:08:53 +0100 | <daydaynatation> | • Variable not in scope: main :: IO a0 |
| 2020-11-08 00:08:53 +0100 | <daydaynatation> | • Perhaps you meant ‘min’ (imported from Prelude) |
| 2020-11-08 00:09:30 +0100 | jakob_ | (~textual@dynamic-093-135-009-167.93.135.pool.telefonica.de) |
| 2020-11-08 00:09:37 +0100 | <bqv> | ..are you calling main? |
| 2020-11-08 00:09:52 +0100 | <daydaynatation> | yes |
| 2020-11-08 00:10:12 +0100 | <daydaynatation> | Does main have to be inside a Main module? |
| 2020-11-08 00:10:25 +0100 | <Tattletale> | I believe so, yes |
| 2020-11-08 00:10:37 +0100 | <daydaynatation> | I see, let me try |
| 2020-11-08 00:10:43 +0100 | <Tattletale> | I've run into issues from GHC when I have main in a module not called Main |
| 2020-11-08 00:11:01 +0100 | hackage | type-of-html 1.6.1.1 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.1 (knupfer) |
| 2020-11-08 00:11:14 +0100 | <Tattletale> | I don't think the file itself needs to be called Main.hs. It just needs that 'module Main' at the top |
| 2020-11-08 00:11:31 +0100 | jakob_ | (~textual@dynamic-093-135-009-167.93.135.pool.telefonica.de) (Client Quit) |
| 2020-11-08 00:12:42 +0100 | <daydaynatation> | I see |
| 2020-11-08 00:13:17 +0100 | renzhi | (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 244 seconds) |
| 2020-11-08 00:14:30 +0100 | fendor | (~fendor@078132052150.public.t-mobile.at) (Quit: Leaving) |
| 2020-11-08 00:20:04 +0100 | <davean> | daydaynatation: Why are you calling main? |
| 2020-11-08 00:20:27 +0100 | <davean> | and what are you doing with its return there that its wondering about it type? |
| 2020-11-08 00:20:42 +0100 | Deide | (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 2020-11-08 00:20:54 +0100 | <davean> | If it *did* have type IO () you'd get a different error |
| 2020-11-08 00:21:03 +0100 | Deide | (~Deide@217.155.19.23) |
| 2020-11-08 00:21:13 +0100 | <davean> | daydaynatation: so something you're claiming doesn't add up here. |
| 2020-11-08 00:23:30 +0100 | <daydaynatation> | davean: let me post it |
| 2020-11-08 00:24:08 +0100 | knupfer | (~Thunderbi@200116b82cc0b9002da38997f72b7245.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-11-08 00:24:20 +0100 | texasmyn_ | (~texasmyns@64.44.55.108) |
| 2020-11-08 00:24:28 +0100 | texasmynsted | (~texasmyns@64.44.55.84) (Ping timeout: 256 seconds) |
| 2020-11-08 00:25:02 +0100 | texasmynsted | (~texasmyns@64.44.55.108) |
| 2020-11-08 00:25:11 +0100 | riddle00 | (~riddle00@78-62-232-255.static.zebra.lt) |
| 2020-11-08 00:25:49 +0100 | <daydaynatation> | davean: https://pastebin.com/CkXuRvK4 |
| 2020-11-08 00:26:29 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-11-08 00:27:04 +0100 | <Tattletale> | so it's not actually calling main explicitly |
| 2020-11-08 00:28:02 +0100 | <daydaynatation> | Tattletale: why is that> |
| 2020-11-08 00:28:31 +0100 | texasmyn_ | (~texasmyns@64.44.55.108) (Ping timeout: 246 seconds) |
| 2020-11-08 00:28:43 +0100 | <Tattletale> | Oh, I was just thinking aloud. I'll try running it locally to see what happens |
| 2020-11-08 00:29:04 +0100 | <davean> | But to explain, its because theres no call to main |
| 2020-11-08 00:29:05 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2020-11-08 00:29:10 +0100 | <davean> | theres just a definition of main, which is fine |
| 2020-11-08 00:29:27 +0100 | <davean> | but again we were trying to sort through your claims above, so this helps! |
| 2020-11-08 00:29:33 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 00:31:25 +0100 | xerox_ | (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds) |
| 2020-11-08 00:33:45 +0100 | justsomeguy | (~justsomeg@216.186.218.241) |
| 2020-11-08 00:33:46 +0100 | justsomeguy | (~justsomeg@216.186.218.241) (Changing host) |
| 2020-11-08 00:33:46 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-11-08 00:33:55 +0100 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-11-08 00:34:38 +0100 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) |
| 2020-11-08 00:35:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 00:35:36 +0100 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2020-11-08 00:36:53 +0100 | riddle00 | (~riddle00@78-62-232-255.static.zebra.lt) (Ping timeout: 260 seconds) |
| 2020-11-08 00:37:09 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2020-11-08 00:37:09 +0100 | riddle00 | (~riddle00@78-62-232-255.static.zebra.lt) |
| 2020-11-08 00:37:40 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) |
| 2020-11-08 00:38:16 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) (Client Quit) |
| 2020-11-08 00:39:35 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) |
| 2020-11-08 00:39:51 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) (Client Quit) |
| 2020-11-08 00:41:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-11-08 00:41:43 +0100 | <Tattletale> | daydaynatation: I ran into some issues with the compilation due to the missing header files, so I got rid of them. |
| 2020-11-08 00:41:51 +0100 | <Tattletale> | Once I did, I could compile with no problem. |
| 2020-11-08 00:42:10 +0100 | <Tattletale> | The only C++ code left in cppTest involves std::cout and std::endl |
| 2020-11-08 00:42:28 +0100 | vfaronov | (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 2020-11-08 00:42:35 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-11-08 00:43:36 +0100 | <Tattletale> | Note that the std::count code doesn't actually print anything for me. When I run the program, nothing is printed |
| 2020-11-08 00:43:48 +0100 | <Tattletale> | *cout |
| 2020-11-08 00:45:01 +0100 | riddle00 | (~riddle00@78-62-232-255.static.zebra.lt) (Ping timeout: 256 seconds) |
| 2020-11-08 00:45:07 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-08 00:47:36 +0100 | lawr3nce | (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 2020-11-08 00:48:46 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 00:49:46 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Client Quit) |
| 2020-11-08 00:50:13 +0100 | <bqv> | the one frustrating thing with haskell(ghc) i find, is that my file structure always ends up with a Namespace.hs and Namespace/ in every folder, and none of my file managers sort those next to each other |
| 2020-11-08 00:51:02 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-08 00:51:05 +0100 | pta2002 | (~quassel@104.248.23.110) (Ping timeout: 268 seconds) |
| 2020-11-08 00:52:42 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 00:53:21 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 00:55:16 +0100 | <monochrom> | Yeah that could be a bit annoying. I imagine that one day if I'm annoyed enough, I may simply move Namespace.hs to Namespace/IndexHTML.hs :) |
| 2020-11-08 00:57:12 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-08 00:57:28 +0100 | conal | (~conal@64.71.133.70) |
| 2020-11-08 00:58:14 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 00:59:34 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2020-11-08 01:00:02 +0100 | jtk | (~jtk@154.13.1.56) () |
| 2020-11-08 01:00:47 +0100 | <sm[m]> | bqv: agreed |
| 2020-11-08 01:01:21 +0100 | <sm[m]> | I mean, the fact that both are required is tedious |
| 2020-11-08 01:02:08 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2020-11-08 01:04:42 +0100 | <daydaynatation> | Tattletale: thx |
| 2020-11-08 01:05:00 +0100 | <Tattletale> | np |
| 2020-11-08 01:05:41 +0100 | <daydaynatation> | Tattletale: Did you mean you runghc the file with no problem? |
| 2020-11-08 01:05:47 +0100 | <Tattletale> | That's correct |
| 2020-11-08 01:06:04 +0100 | <Tattletale> | My guess is that there's something else with your project that is causing the problem |
| 2020-11-08 01:06:20 +0100 | <Tattletale> | Note that while I can compile and run the program, it doesn't actually print anything |
| 2020-11-08 01:06:24 +0100 | <daydaynatation> | Are you on a mac machine? |
| 2020-11-08 01:06:28 +0100 | <Tattletale> | No, Windows |
| 2020-11-08 01:06:34 +0100 | <daydaynatation> | wsl? |
| 2020-11-08 01:06:41 +0100 | <Tattletale> | No WSL |
| 2020-11-08 01:06:55 +0100 | <daydaynatation> | I can also compile without problem |
| 2020-11-08 01:07:10 +0100 | <Tattletale> | I used this version of inline-c-cpp: 0.4.0.2 |
| 2020-11-08 01:07:37 +0100 | <daydaynatation> | me too |
| 2020-11-08 01:07:40 +0100 | <Tattletale> | What was the problem you were experiencing daydaynatation? |
| 2020-11-08 01:08:26 +0100 | <daydaynatation> | I can ghc myfile, to produce an executable. But I'd like simply use runghc on my file |
| 2020-11-08 01:08:30 +0100 | <daydaynatation> | without compiling it first |
| 2020-11-08 01:08:35 +0100 | <Tattletale> | Oh |
| 2020-11-08 01:08:40 +0100 | <Tattletale> | I was using stack build |
| 2020-11-08 01:09:00 +0100 | <Tattletale> | So runghc was complaining about main? |
| 2020-11-08 01:09:25 +0100 | <daydaynatation> | inline-c-cpp:0:62: error: |
| 2020-11-08 01:09:37 +0100 | <daydaynatation> | • Variable not in scope: main :: IO a0 |
| 2020-11-08 01:10:29 +0100 | <xsperry> | runghc needs main as well |
| 2020-11-08 01:11:04 +0100 | <daydaynatation> | I have a main |
| 2020-11-08 01:11:19 +0100 | <Tattletale> | Here's the pastebin daydaynatation posted earlier: https://pastebin.com/CkXuRvK4 |
| 2020-11-08 01:14:20 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-08 01:15:05 +0100 | daydaynatation | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2020-11-08 01:15:17 +0100 | merkum | (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) |
| 2020-11-08 01:16:20 +0100 | conal | (~conal@64.71.133.70) |
| 2020-11-08 01:16:28 +0100 | merkum | (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) (Remote host closed the connection) |
| 2020-11-08 01:20:07 +0100 | Tattletale | (~Tattletal@unaffiliated/sundancertp) (Quit: rcirc on GNU Emacs 27.1) |
| 2020-11-08 01:22:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2020-11-08 01:22:29 +0100 | irc_user | (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) |
| 2020-11-08 01:23:01 +0100 | _ashbreeze_ | (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 2020-11-08 01:23:14 +0100 | jedws | (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 01:23:30 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 01:23:59 +0100 | machinedgod | (~machinedg@207.253.244.210) (Quit: leaving) |
| 2020-11-08 01:24:19 +0100 | jedws | (~jedws@101.184.150.81) |
| 2020-11-08 01:24:28 +0100 | falafel | (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Remote host closed the connection) |
| 2020-11-08 01:25:03 +0100 | machinedgod | (~machinedg@207.253.244.210) |
| 2020-11-08 01:25:43 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-08 01:26:15 +0100 | machinedgod | (~machinedg@207.253.244.210) (Client Quit) |
| 2020-11-08 01:26:23 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-11-08 01:26:35 +0100 | LKoen_ | (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-11-08 01:29:20 +0100 | xerox_ | (~xerox@unaffiliated/xerox) |
| 2020-11-08 01:29:28 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 01:30:12 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 01:44:09 +0100 | _ashbreeze_ | (~mark@72-161-252-32.dyn.centurytel.net) |
| 2020-11-08 01:44:46 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 01:45:35 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 2020-11-08 01:46:13 +0100 | machinedgod | (~machinedg@207.253.244.210) |
| 2020-11-08 01:46:22 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 01:46:29 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 2020-11-08 01:48:04 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 01:48:04 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2020-11-08 01:49:01 +0100 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2020-11-08 01:50:40 +0100 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-08 01:52:09 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-11-08 01:56:26 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-11-08 01:56:30 +0100 | conal | (~conal@64.71.133.70) |
| 2020-11-08 01:56:30 +0100 | cmeiklejohn1 | (~cmeiklejo@84.39.117.57) |
| 2020-11-08 01:56:53 +0100 | conal | (~conal@64.71.133.70) (Client Quit) |
| 2020-11-08 01:59:27 +0100 | machinedgod | (~machinedg@207.253.244.210) (Ping timeout: 260 seconds) |
| 2020-11-08 01:59:31 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 01:59:42 +0100 | Tops2 | (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Quit: Leaving.) |
| 2020-11-08 01:59:49 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds) |
| 2020-11-08 02:00:13 +0100 | _ashbreeze_ | (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 2020-11-08 02:00:14 +0100 | Tops2 | (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) |
| 2020-11-08 02:00:46 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2020-11-08 02:00:52 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 02:00:56 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 02:01:25 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 02:04:08 +0100 | machinedgod | (~machinedg@207.253.244.210) |
| 2020-11-08 02:04:17 +0100 | Tario | (~Tario@201.192.165.173) |
| 2020-11-08 02:07:07 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 02:07:20 +0100 | Rudd0^ | (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2020-11-08 02:08:05 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 240 seconds) |
| 2020-11-08 02:08:57 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2020-11-08 02:09:11 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 02:11:10 +0100 | jcowan | (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) |
| 2020-11-08 02:12:07 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 02:12:16 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit) |
| 2020-11-08 02:12:45 +0100 | <jcowan> | I would like some help seeing if I correctly understand multiple-parameter type classes. |
| 2020-11-08 02:13:08 +0100 | <jcowan> | Suppose I have a class Thing instantiated by two types Thing1 and Thing2. |
| 2020-11-08 02:14:07 +0100 | <jcowan> | Thing is a commutative group (though I don't need to formalize this) whose operation is *. |
| 2020-11-08 02:14:46 +0100 | jedws | (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 02:15:02 +0100 | <jcowan> | Now it is the case that if you multiply a Thing1 by a Thing1, you get a Thing1, and ditto for Thing2. But if you multiply a Thing1 by a Thing2, you get a Thing1 or a Thing2, depending on the particular objects you are multiplying. |
| 2020-11-08 02:15:34 +0100 | <jcowan> | Is Thing a multi-parameter type class? |
| 2020-11-08 02:19:15 +0100 | jedws | (~jedws@101.184.150.81) |
| 2020-11-08 02:19:31 +0100 | <davean> | No, thats not a type class. Because you need to know what you get back. You could return Either Thing1 Things2 but not Thing1 or Thing2 without it being type level computed |
| 2020-11-08 02:20:15 +0100 | <koz_> | You could do it with an associated type I think? |
| 2020-11-08 02:20:33 +0100 | <davean> | koz_: not if he can't compute which he gets back at the type level. |
| 2020-11-08 02:20:38 +0100 | <koz_> | (but that's outside the scope of MPTCs) |
| 2020-11-08 02:20:46 +0100 | <koz_> | Ah, I see. |
| 2020-11-08 02:21:03 +0100 | <koz_> | Yeah, reading again carefully, that sounds like something needing dependent types, if the result type depends on a value. |
| 2020-11-08 02:21:09 +0100 | <davean> | Right |
| 2020-11-08 02:21:11 +0100 | <koz_> | However, the `Either` option is a good one. |
| 2020-11-08 02:21:32 +0100 | <davean> | Now I think he's conceptualizing it wrong probably given the other things he said, but who knows. Thats a judgement call! |
| 2020-11-08 02:21:51 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2020-11-08 02:21:52 +0100 | <davean> | I'm putting medium money on an X-Y problem |
| 2020-11-08 02:25:05 +0100 | Tops2 | (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2020-11-08 02:26:40 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 2020-11-08 02:27:25 +0100 | Lord_of_Life_ | (~Lord@46.217.216.42) (Ping timeout: 240 seconds) |
| 2020-11-08 02:27:53 +0100 | jedws | (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 02:28:50 +0100 | _ashbreeze_ | (~mark@72-161-252-32.dyn.centurytel.net) |
| 2020-11-08 02:29:19 +0100 | Lord_of_Life | (~Lord@46.217.216.108) |
| 2020-11-08 02:30:59 +0100 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-11-08 02:31:13 +0100 | jedws | (~jedws@101.184.150.81) |
| 2020-11-08 02:31:25 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2020-11-08 02:32:47 +0100 | s00pcan | (~chris@107.181.165.217) |
| 2020-11-08 02:35:48 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 02:36:05 +0100 | machinedgod | (~machinedg@207.253.244.210) (Ping timeout: 240 seconds) |
| 2020-11-08 02:37:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 02:41:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-11-08 02:42:29 +0100 | <jcowan> | davean: So you can't just define the * method as of type Thing -> Thing -> Thing? |
| 2020-11-08 02:43:22 +0100 | machinedgod | (~machinedg@207.253.244.210) |
| 2020-11-08 02:43:23 +0100 | <koz_> | If I wanna do web scraping (or rather, tear apart HTML for pieces), what would you suggest I use? |
| 2020-11-08 02:43:55 +0100 | <koz_> | jcowan: Earlier, you said 'Thing' was a type class, not a type. |
| 2020-11-08 02:43:57 +0100 | <koz_> | Which is it? |
| 2020-11-08 02:44:44 +0100 | <MarcelineVQ> | koz_: tagsoup or taggy prob |
| 2020-11-08 02:45:23 +0100 | <davean> | jcowan: Sure, you can do it as Thing -> Thing -> Thing - but only if Thing is a type, as a type class its a *property* |
| 2020-11-08 02:45:24 +0100 | <koz_> | MarcelineVQ: Thanks! |
| 2020-11-08 02:45:34 +0100 | jcowan | nods |
| 2020-11-08 02:45:43 +0100 | <jcowan> | Eventually this will sink into my brain, I hope, but it hasn't happened yet. |
| 2020-11-08 02:45:48 +0100 | <davean> | jcowan: so you have to do it as "(Thing a, Thing b, Thing c) => a -> b -> c" |
| 2020-11-08 02:45:57 +0100 | <davean> | but then you'd have to be able to return *any* c |
| 2020-11-08 02:46:02 +0100 | <davean> | but you can't return any c |
| 2020-11-08 02:46:14 +0100 | <davean> | you have to return the right c given a and b |
| 2020-11-08 02:46:30 +0100 | <jcowan> | I know that typeclasses are *for* ad hoc polymorphism, but not how they actually work. |
| 2020-11-08 02:46:34 +0100 | <davean> | if you COULD return any c, that would work - thats valid for some type classes |
| 2020-11-08 02:46:46 +0100 | <jcowan> | As for example? |
| 2020-11-08 02:47:03 +0100 | <davean> | well, for example we can make a IntergerIshMultuplication class |
| 2020-11-08 02:47:36 +0100 | <davean> | and if it has fromInteger and toInteger available we can multiple them together (as Integers) and convert them back out to an c of that class |
| 2020-11-08 02:48:00 +0100 | <davean> | Integeral a => IntegerMultiplication a |
| 2020-11-08 02:48:18 +0100 | <davean> | (IntegerMultiplication a, IntegerMultiplication b, IntegerMultiplication c) => a -> b -> c |
| 2020-11-08 02:48:39 +0100 | <davean> | integerMultiplicate a b = fromInteger $ toInteger a * toInteger b |
| 2020-11-08 02:48:44 +0100 | <davean> | good idea? Probably not. |
| 2020-11-08 02:48:48 +0100 | <davean> | but it serves as an example. |
| 2020-11-08 02:49:36 +0100 | Tsu | (~Tsu@176.78.119.52) |
| 2020-11-08 02:49:55 +0100 | Tsu | (~Tsu@176.78.119.52) () |
| 2020-11-08 02:50:18 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-105-24.w86-212.abo.wanadoo.fr) |
| 2020-11-08 02:51:27 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2020-11-08 02:51:49 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-156-243.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2020-11-08 02:53:06 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-08 02:55:00 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 02:56:46 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2020-11-08 02:59:08 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 03:01:04 +0100 | <koz_> | What's the recommended library to use if you want an HTTP _client_, for pulling HTML off a website? |
| 2020-11-08 03:02:46 +0100 | <davean> | koz_: I certainly won't recomend it, but a lot of people like wreq |
| 2020-11-08 03:02:50 +0100 | <koz_> | dave |
| 2020-11-08 03:02:59 +0100 | <koz_> | davean: What would _you_ recommend then? |
| 2020-11-08 03:03:23 +0100 | <davean> | Nothing in Haskell. Like its hard to even hook DNS to avoid rebind attacks. |
| 2020-11-08 03:03:38 +0100 | <koz_> | So like, you suggest rolling your own? |
| 2020-11-08 03:03:50 +0100 | <davean> | All I see is deficiencies and the ability to do specific types of HTTP client tasks with them. |
| 2020-11-08 03:03:51 +0100 | <koz_> | Or like, borrowing curl or something? |
| 2020-11-08 03:03:56 +0100 | <davean> | I'd suggest considering what youre needs are |
| 2020-11-08 03:04:01 +0100 | <davean> | O |
| 2020-11-08 03:04:12 +0100 | <koz_> | My needs are 'I need to pull HTML off a website, which has HTTPS'. |
| 2020-11-08 03:04:27 +0100 | <davean> | I'm guessing I'd recomend wreq for your task, but there is *not* HTTP client I think in Haskell good enough to actually recomend without understanding your problem |
| 2020-11-08 03:04:27 +0100 | <koz_> | Streaming would be nice, but isn't strictly required. |
| 2020-11-08 03:04:30 +0100 | <MarcelineVQ> | I like req, which is different from wreq |
| 2020-11-08 03:05:13 +0100 | <davean> | koz_: That doesn't answer things like "are DNS rebinding attacks a problem for you?" |
| 2020-11-08 03:05:22 +0100 | <koz_> | davean: What are DNS rebinding attacks? |
| 2020-11-08 03:05:31 +0100 | <koz_> | I've never heard of them. |
| 2020-11-08 03:05:47 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 03:05:49 +0100 | <MarcelineVQ> | http-conduit is backed by conduit, re: streaming |
| 2020-11-08 03:06:01 +0100 | puffnfresh | (~puffnfres@180-150-38-83.b49626.bne.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2020-11-08 03:06:12 +0100 | <davean> | koz_: They're a common time-of-check-to-time-of-use based attack against HTTP clients |
| 2020-11-08 03:06:16 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 03:06:31 +0100 | <davean> | koz_: they work by returning different IPs for a DNS request based on the count of requests from the IP requesting resolution |
| 2020-11-08 03:06:50 +0100 | <davean> | koz_: for example, causing you to request one of AWS's internal IPs and thus charge your account. |
| 2020-11-08 03:06:59 +0100 | <davean> | instead of what it looked like when you checked it |
| 2020-11-08 03:07:28 +0100 | <davean> | Its a very common threat against HTTP clients, and hence why I picked it as an example of Haskell HTTP client deficiencies |
| 2020-11-08 03:07:44 +0100 | <jcowan> | davean: I'll study your example when I am less addled. |
| 2020-11-08 03:07:52 +0100 | <koz_> | The thing is, all I know is that I'll need to scrape data off of pages, on the web, at fixed addresses. |
| 2020-11-08 03:08:02 +0100 | <koz_> | It's basically 'I need data to feed to my scraper'. |
| 2020-11-08 03:08:30 +0100 | <davean> | koz_: right, and if one of those happens to return a redirect, that ends up charging you money, are you happy? |
| 2020-11-08 03:08:51 +0100 | <davean> | If you trust the upstream *also* that changes things for example |
| 2020-11-08 03:08:57 +0100 | <koz_> | I trust the upstream in this case. |
| 2020-11-08 03:08:59 +0100 | <davean> | if you think the upstream is hostile, thats an entirely diferent problem. |
| 2020-11-08 03:09:08 +0100 | <koz_> | The upstream is definitely not hostile. |
| 2020-11-08 03:09:45 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 03:10:05 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2020-11-08 03:11:24 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-11-08 03:11:36 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2020-11-08 03:11:36 +0100 | <koz_> | And I _guess_ that I wouldn't be happy given your example (the redirect charging me money), however, I consider that highly unlikely. |
| 2020-11-08 03:11:45 +0100 | <koz_> | (as in 'hell would freeze over first') |
| 2020-11-08 03:14:39 +0100 | blissful | coomsayer |
| 2020-11-08 03:15:00 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 03:15:09 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-08 03:15:18 +0100 | coomsayer | blissful |
| 2020-11-08 03:19:00 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2020-11-08 03:20:42 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
| 2020-11-08 03:20:54 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 2020-11-08 03:24:02 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 03:24:06 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 03:27:30 +0100 | opticblast | (~june@075-128-229-153.res.spectrum.com) |
| 2020-11-08 03:29:05 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-wmifpqpkrhoujhbk) |
| 2020-11-08 03:29:18 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 03:31:18 +0100 | m0rphism | (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds) |
| 2020-11-08 03:31:22 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 03:33:41 +0100 | christo | (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2020-11-08 03:35:12 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2020-11-08 03:37:56 +0100 | <opticblast> | Is there a good way to split a bytestream `n` bytes from its end? |
| 2020-11-08 03:38:46 +0100 | <opticblast> | I'm thinking something with the type signature `Int -> Stream (Of ByteString) m () -> Stream (Of ByteString) m ByteString`. |
| 2020-11-08 03:40:36 +0100 | tomku | (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2020-11-08 03:40:42 +0100 | <koz_> | opticblast: What if said stream is infinite? Or 50 gigs big? |
| 2020-11-08 03:41:05 +0100 | machinedgod | (~machinedg@207.253.244.210) (Ping timeout: 240 seconds) |
| 2020-11-08 03:41:43 +0100 | <koz_> | s/50/500/ |
| 2020-11-08 03:42:23 +0100 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-11-08 03:43:16 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2020-11-08 03:43:39 +0100 | <opticblast> | Why should an infinite stream pose a problem? It should be possible to determine the next step of the resulting stream in bounded time (O(n)?) |
| 2020-11-08 03:44:08 +0100 | <koz_> | opticblast: You said 'n bytes from its end'. |
| 2020-11-08 03:44:16 +0100 | <koz_> | How do you determine where its end is? |
| 2020-11-08 03:44:34 +0100 | <opticblast> | The naive solution would be to, at each step, ask whether the stream has `n` bytes left |
| 2020-11-08 03:44:41 +0100 | <koz_> | Sure, and what if that never happens? |
| 2020-11-08 03:44:58 +0100 | <opticblast> | Then the return value of the stream will never be requested, so it doesn't matter |
| 2020-11-08 03:45:53 +0100 | <koz_> | Well, you could keep taking chunks of n, then feeding them back in as you go I guess? |
| 2020-11-08 03:46:07 +0100 | <koz_> | You'd need 2n lookahead but that's OK. |
| 2020-11-08 03:46:22 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 03:46:39 +0100 | <koz_> | Try writing this using 'take' - I think that's the primitive you want. |
| 2020-11-08 03:48:58 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 2020-11-08 03:49:41 +0100 | <opticblast> | Wouldn't that have the problem of redoing part of the stream, I think? But `splitAt` works instead |
| 2020-11-08 03:49:58 +0100 | <koz_> | Yeah, splitAt would be better. |
| 2020-11-08 03:50:43 +0100 | <opticblast> | Thanks. |
| 2020-11-08 03:51:31 +0100 | opticblast | (~june@075-128-229-153.res.spectrum.com) (Quit: leaving) |
| 2020-11-08 03:51:50 +0100 | xff0x | (~fox@2001:1a81:52a6:6c00:4a69:14bb:4df0:c5bd) (Ping timeout: 244 seconds) |
| 2020-11-08 03:53:09 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2020-11-08 03:53:57 +0100 | xff0x | (~fox@2001:1a81:52da:100:71ff:17f4:8c8e:497) |
| 2020-11-08 04:00:02 +0100 | cmeiklejohn1 | (~cmeiklejo@84.39.117.57) () |
| 2020-11-08 04:02:34 +0100 | Gurkenglas__ | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 2020-11-08 04:05:24 +0100 | lagothrix | Guest95064 |
| 2020-11-08 04:05:24 +0100 | Guest95064 | (~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services))) |
| 2020-11-08 04:05:32 +0100 | lagothrix | (~lagothrix@unaffiliated/lagothrix) |
| 2020-11-08 04:06:32 +0100 | theDon | (~td@94.134.91.70) (Ping timeout: 258 seconds) |
| 2020-11-08 04:08:24 +0100 | theDon | (~td@muedsl-82-207-238-009.citykom.de) |
| 2020-11-08 04:12:52 +0100 | jcowan | (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) () |
| 2020-11-08 04:14:12 +0100 | Lycurgus | (~niemand@98.4.97.110) (Ping timeout: 258 seconds) |
| 2020-11-08 04:17:28 +0100 | <xsperry> | is there something like "aListOfValidPathCharacters" in System.FilePath or System.Directory? |
| 2020-11-08 04:18:15 +0100 | elliott_ | (~elliott_@170.121.246.50) |
| 2020-11-08 04:18:45 +0100 | elliott_ | (~elliott_@170.121.246.50) (Read error: Connection reset by peer) |
| 2020-11-08 04:22:03 +0100 | Jarsto1 | (~Jarsto@185.204.1.185) |
| 2020-11-08 04:24:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2020-11-08 04:31:12 +0100 | elliott_ | (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-08 04:34:48 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 04:36:11 +0100 | esph | (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9) |
| 2020-11-08 04:37:20 +0100 | esph | (~weechat@unaffiliated/esph) |
| 2020-11-08 04:37:20 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 04:37:23 +0100 | coeus | (~coeus@p200300d027141600339fa72fa0100e7e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 04:37:27 +0100 | esph | (~weechat@unaffiliated/esph) (Client Quit) |
| 2020-11-08 04:38:45 +0100 | esph | (~weechat@unaffiliated/esph) |
| 2020-11-08 04:41:51 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2020-11-08 04:44:05 +0100 | Chi1thangoo | (~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds) |
| 2020-11-08 04:44:16 +0100 | andi- | (~andi-@NixOS/user/andi-) (Remote host closed the connection) |
| 2020-11-08 04:50:51 +0100 | andi- | (~andi-@NixOS/user/andi-) |
| 2020-11-08 04:53:14 +0100 | coeus | (~coeus@p200300d0273fc6004bc0c1d283592f2f.dip0.t-ipconnect.de) |
| 2020-11-08 04:53:55 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-107-146.w86-212.abo.wanadoo.fr) |
| 2020-11-08 04:54:54 +0100 | drbean | (~drbean@TC210-63-209-19.static.apol.com.tw) |
| 2020-11-08 04:55:22 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 04:55:25 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-105-24.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2020-11-08 04:56:07 +0100 | kish | (~oracle@unaffiliated/oracle) |
| 2020-11-08 04:57:08 +0100 | esph | (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9) |
| 2020-11-08 04:57:28 +0100 | esph | (~weechat@unaffiliated/esph) |
| 2020-11-08 05:01:02 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 272 seconds) |
| 2020-11-08 05:01:25 +0100 | Rudd0 | (~Rudd0@185.189.115.98) |
| 2020-11-08 05:01:56 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2020-11-08 05:03:34 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2020-11-08 05:05:01 +0100 | SupaYoshi | (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2020-11-08 05:07:07 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2020-11-08 05:07:39 +0100 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2020-11-08 05:14:37 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-11-08 05:18:07 +0100 | shailangsa | (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2020-11-08 05:20:30 +0100 | shailangsa | (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) |
| 2020-11-08 05:22:39 +0100 | leungbk | (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) |
| 2020-11-08 05:23:20 +0100 | leungbk | (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection) |
| 2020-11-08 05:23:40 +0100 | leungbk | (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) |
| 2020-11-08 05:23:46 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 05:25:50 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2020-11-08 05:26:24 +0100 | pthariensflame | (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e) |
| 2020-11-08 05:26:35 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2020-11-08 05:26:39 +0100 | pthariensflame | (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e) (Client Quit) |
| 2020-11-08 05:29:21 +0100 | leungbk | (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection) |
| 2020-11-08 05:29:25 +0100 | shailangsa | (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2020-11-08 05:29:31 +0100 | leungbk | (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 2020-11-08 05:29:55 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-wmifpqpkrhoujhbk) () |
| 2020-11-08 05:30:18 +0100 | leungbk` | (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6) |
| 2020-11-08 05:30:35 +0100 | shailangsa | (~shailangs@host86-185-102-101.range86-185.btcentralplus.com) |
| 2020-11-08 05:30:57 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) (Quit: Quit) |
| 2020-11-08 05:31:53 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) |
| 2020-11-08 05:32:08 +0100 | irc_user | (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) (Quit: Connection closed for inactivity) |
| 2020-11-08 05:33:16 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2020-11-08 05:34:57 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 05:37:00 +0100 | hackage | pandoc 2.11.1.1 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.1.1 (JohnMacFarlane) |
| 2020-11-08 05:38:25 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 05:39:01 +0100 | hackage | json-to-haskell 0.1.0.0 - https://hackage.haskell.org/package/json-to-haskell-0.1.0.0 (ChrisPenner) |
| 2020-11-08 05:45:53 +0100 | da39a3ee5e6b4b0d | (~textual@cm-171-98-71-90.revip7.asianet.co.th) |
| 2020-11-08 05:48:05 +0100 | texasmynsted | (~texasmyns@64.44.55.108) (Ping timeout: 244 seconds) |
| 2020-11-08 05:48:07 +0100 | leungbk | (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2020-11-08 05:48:13 +0100 | leungbk` | (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6) (Remote host closed the connection) |
| 2020-11-08 05:48:21 +0100 | leungbk | (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 2020-11-08 05:50:59 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection) |
| 2020-11-08 05:52:28 +0100 | x86-64 | (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net) |
| 2020-11-08 05:52:31 +0100 | x86-64 | (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net) () |
| 2020-11-08 05:53:26 +0100 | coot_ | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-08 05:55:25 +0100 | coot | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 2020-11-08 05:55:25 +0100 | coot_ | coot |
| 2020-11-08 05:59:37 +0100 | coot | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-08 06:00:19 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 06:00:53 +0100 | coot | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-08 06:02:41 +0100 | leungbk | (~user@cpe-104-33-52-83.socal.res.rr.com) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2020-11-08 06:03:55 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 06:04:58 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-11-08 06:07:29 +0100 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2020-11-08 06:09:25 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-11-08 06:10:19 +0100 | CodeAlways | bidabong |
| 2020-11-08 06:11:11 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2020-11-08 06:14:23 +0100 | borne | (~fritjof@200116b864092f009eed9778381c1dff.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-11-08 06:15:23 +0100 | <hololeap> | xsperry: no, but you can write something that does that pretty easily. it's just filtering from `listDirectory` |
| 2020-11-08 06:15:55 +0100 | borne | (~fritjof@200116b8646ea500248f34e580571faa.dip.versatel-1u1.de) |
| 2020-11-08 06:16:02 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 06:17:27 +0100 | <hololeap> | assuming that you're looking for files/directories that are filtered using "aListOfValidPathCharacters" |
| 2020-11-08 06:17:27 +0100 | Jarsto1 | (~Jarsto@185.204.1.185) (Remote host closed the connection) |
| 2020-11-08 06:20:00 +0100 | <xsperry> | I want a list of characters that can't be used in a filename, taking current OS/filesystem into account (or a common subset that works on most commonly used OSes and fss) |
| 2020-11-08 06:23:12 +0100 | <koz_> | Doesn't this depend on OS settings in some cases? |
| 2020-11-08 06:23:17 +0100 | <koz_> | (i.e. it'd have to be IO) |
| 2020-11-08 06:32:19 +0100 | gatox | (~gatox@154.13.1.56) |
| 2020-11-08 06:33:10 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2020-11-08 06:33:23 +0100 | rprije | (~rprije@124.148.131.132) |
| 2020-11-08 06:36:57 +0100 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-08 06:37:07 +0100 | day_ | (~Unknown@unaffiliated/day) |
| 2020-11-08 06:37:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 06:40:28 +0100 | day | (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds) |
| 2020-11-08 06:40:28 +0100 | day_ | day |
| 2020-11-08 06:41:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-11-08 06:42:45 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2020-11-08 06:43:55 +0100 | pfurla | (~pfurla@185.108.105.122) |
| 2020-11-08 06:46:26 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-11-08 06:51:03 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 06:51:05 +0100 | scasc | (~szabi@213142096120.public.telering.at) |
| 2020-11-08 06:51:45 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2020-11-08 06:52:09 +0100 | tomku | (~tomku@unaffiliated/tomku) (Remote host closed the connection) |
| 2020-11-08 06:53:20 +0100 | scasc | (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 2020-11-08 06:53:39 +0100 | scasc | (~szabi@213142096120.public.telering.at) |
| 2020-11-08 06:54:36 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 06:54:45 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@68.235.43.102) (Ping timeout: 265 seconds) |
| 2020-11-08 06:54:46 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2020-11-08 06:56:01 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 06:56:38 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 06:57:21 +0100 | Tario | (~Tario@201.192.165.173) |
| 2020-11-08 06:57:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2020-11-08 06:57:46 +0100 | alp | (~alp@2a01:e0a:58b:4920:3858:ae3e:fe9a:1530) |
| 2020-11-08 06:59:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2020-11-08 07:00:01 +0100 | gatox | (~gatox@154.13.1.56) () |
| 2020-11-08 07:00:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2020-11-08 07:00:46 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) |
| 2020-11-08 07:00:56 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 07:13:06 +0100 | falafel | (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) |
| 2020-11-08 07:14:50 +0100 | Benett | (~Benett@unaffiliated/benett) (Quit: ) |
| 2020-11-08 07:18:53 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 07:20:34 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 07:20:48 +0100 | Benett | (~Benett@unaffiliated/benett) |
| 2020-11-08 07:29:18 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) (Remote host closed the connection) |
| 2020-11-08 07:29:43 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) |
| 2020-11-08 07:41:40 +0100 | <hololeap> | xsperry: checking the FS type is the main hurdle here. i don't know of a library for this. other than that, there's the `filepath` module which abstracts over Windows/Posix paths |
| 2020-11-08 07:42:33 +0100 | <hololeap> | (checking the FS and having a table of valid characters for each one that's supported) |
| 2020-11-08 07:42:53 +0100 | Sanchayan | (~Sanchayan@223.226.118.59) |
| 2020-11-08 07:43:41 +0100 | Amras | (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-11-08 07:46:31 +0100 | revtintin | (~revtintin@42.61.242.247) |
| 2020-11-08 07:47:32 +0100 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-11-08 07:47:49 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 07:47:56 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 07:48:20 +0100 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-11-08 07:48:41 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 07:49:08 +0100 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-11-08 07:49:24 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 07:49:55 +0100 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-11-08 07:50:14 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 07:50:43 +0100 | shatriff | (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-11-08 07:51:37 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2020-11-08 07:52:20 +0100 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-11-08 07:52:23 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2020-11-08 07:52:38 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 07:52:58 +0100 | Sanchayan | (~Sanchayan@223.226.118.59) (Quit: leaving) |
| 2020-11-08 07:54:57 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-11-08 07:55:11 +0100 | borne | (~fritjof@200116b8646ea500248f34e580571faa.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-11-08 07:56:28 +0100 | paulk-collins | (~paulk-col@178.162.209.171) |
| 2020-11-08 07:58:14 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:01:05 +0100 | grimgnr | (~user@94.19.246.43) (Ping timeout: 240 seconds) |
| 2020-11-08 08:02:33 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2020-11-08 08:03:26 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-11-08 08:03:57 +0100 | alp | (~alp@2a01:e0a:58b:4920:3858:ae3e:fe9a:1530) (Ping timeout: 272 seconds) |
| 2020-11-08 08:05:26 +0100 | falafel | (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds) |
| 2020-11-08 08:07:40 +0100 | da39a3ee5e6b4b0d | (~textual@cm-171-98-71-90.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 2020-11-08 08:08:10 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:09:51 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds) |
| 2020-11-08 08:11:26 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2020-11-08 08:12:25 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-08 08:15:38 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 08:15:43 +0100 | borne | (~fritjof@200116b8646ea5009eed9778381c1dff.dip.versatel-1u1.de) |
| 2020-11-08 08:18:02 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:18:51 +0100 | ratxue | (~chatzilla@host-92-26-29-55.as13285.net) |
| 2020-11-08 08:20:17 +0100 | alp | (~alp@2a01:e0a:58b:4920:75e3:d89f:787d:6538) |
| 2020-11-08 08:22:40 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-08 08:22:46 +0100 | jedws | (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 08:24:13 +0100 | borne | (~fritjof@200116b8646ea5009eed9778381c1dff.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-11-08 08:27:58 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:30:49 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2020-11-08 08:31:28 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-08 08:32:34 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-11-08 08:34:38 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2020-11-08 08:36:15 +0100 | alp | (~alp@2a01:e0a:58b:4920:75e3:d89f:787d:6538) (Ping timeout: 272 seconds) |
| 2020-11-08 08:37:52 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:38:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 08:40:47 +0100 | xwvvvvwx | (~xwvvvvwx@45.129.56.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2020-11-08 08:42:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2020-11-08 08:42:32 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2020-11-08 08:47:46 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 08:49:31 +0100 | elisper | (uid468625@gateway/web/irccloud.com/x-lcpclsygyloudukt) (Quit: Connection closed for inactivity) |
| 2020-11-08 08:52:50 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-08 08:53:24 +0100 | ratxue | (~chatzilla@host-92-26-29-55.as13285.net) (Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]) |
| 2020-11-08 09:00:57 +0100 | scasc | (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 2020-11-08 09:01:20 +0100 | scasc | (~szabi@213142096120.public.telering.at) |
| 2020-11-08 09:02:23 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-08 09:09:40 +0100 | jneira | (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 246 seconds) |
| 2020-11-08 09:13:47 +0100 | alp | (~alp@2a01:e0a:58b:4920:117:2f04:6037:4aa2) |
| 2020-11-08 09:14:11 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 09:17:12 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-11-08 09:17:42 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 09:22:11 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2020-11-08 09:25:08 +0100 | Saukk | (~Saukk@85-156-19-45.elisa-laajakaista.fi) |
| 2020-11-08 09:25:46 +0100 | jdt | (~jdt@208.85.233.130) (Ping timeout: 272 seconds) |
| 2020-11-08 09:26:00 +0100 | jdt | (~jdt@208.85.233.130) |
| 2020-11-08 09:26:17 +0100 | solonarv | (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 2020-11-08 09:26:18 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 09:30:37 +0100 | knupfer | (~Thunderbi@200116b82ca87300886ecdfffe596602.dip.versatel-1u1.de) |
| 2020-11-08 09:30:39 +0100 | knupfer | (~Thunderbi@200116b82ca87300886ecdfffe596602.dip.versatel-1u1.de) (Client Quit) |
| 2020-11-08 09:30:40 +0100 | christo | (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 2020-11-08 09:30:54 +0100 | knupfer | (~Thunderbi@mue-88-130-61-023.dsl.tropolys.de) |
| 2020-11-08 09:32:04 +0100 | AceNovo | (~chris@184.101.220.149) |
| 2020-11-08 09:35:02 +0100 | AceNovo | (~chris@184.101.220.149) (Client Quit) |
| 2020-11-08 09:35:28 +0100 | AceNovo | (~chris@184.101.220.149) |
| 2020-11-08 09:36:24 +0100 | gluegadget | (sid22336@gateway/web/irccloud.com/x-buopqakexwxxadjm) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:24 +0100 | heyj | (sid171370@gateway/web/irccloud.com/x-yspozlqxggxsaoub) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:24 +0100 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-sjfdetpracswwaxn) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:24 +0100 | simony | (sid226116@gateway/web/irccloud.com/x-oxjsxgaxlozpcnzr) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:38 +0100 | dmj` | (sid72307@gateway/web/irccloud.com/x-qjtomvtmbolmvzoh) (Ping timeout: 264 seconds) |
| 2020-11-08 09:36:38 +0100 | kristjansson | (sid126207@gateway/web/irccloud.com/x-wreqehnlduflmpbh) (Ping timeout: 264 seconds) |
| 2020-11-08 09:36:44 +0100 | systemfault | (sid267009@gateway/web/irccloud.com/x-juyqqmfstcqekvbi) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:55 +0100 | aizen_s | (sid462968@gateway/web/irccloud.com/x-vlashjkdcwnruduz) (Ping timeout: 240 seconds) |
| 2020-11-08 09:36:55 +0100 | jlpeters | (sid25606@gateway/web/irccloud.com/x-xkxchtjwumvvoplq) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:02 +0100 | cemerick | (sid54985@gateway/web/irccloud.com/x-abxbprbujguoyqts) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:02 +0100 | cvlad- | (sid203065@gateway/web/irccloud.com/x-rokspjlhyqzgwkmr) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:02 +0100 | bitonic | (sid61915@gateway/web/irccloud.com/x-lieuqfwkxlflylio) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:02 +0100 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-vnrlcoxvuyddydfi) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | betawaffle | (sid2730@gateway/web/irccloud.com/x-ikvihwtbnolnoplp) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | metadave | (sid28102@gateway/web/irccloud.com/x-usvwvhrdpncruziq) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | rizary | (sid220347@gateway/web/irccloud.com/x-hwxhcpsmvhwyypyw) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | alinab | (uid468903@gateway/web/irccloud.com/x-bpuhjlegovfytkui) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | idnar | (sid12240@gateway/web/irccloud.com/x-spvsesnfgwmivkqu) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | pent | (sid313808@gateway/web/irccloud.com/x-aqvvdlvhxmxwhyuz) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | Nascha | (sid212230@gateway/web/irccloud.com/x-edmffyxxtctzvskg) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | grfn | (sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | kyagrd__ | (sid102627@gateway/web/irccloud.com/x-btmubwofxuaipgll) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | Adeon | (sid418992@gateway/web/irccloud.com/x-abdgcghyselnrphw) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | tnks | (sid412124@gateway/web/irccloud.com/x-ucsxwstjhtlsvuiy) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | gaze__ | (sid387101@gateway/web/irccloud.com/x-qmornwhjznbupdqr) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:03 +0100 | pasukon | (sid49097@gateway/web/irccloud.com/x-zvjflytzjcvxxkxp) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:03 +0100 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:03 +0100 | tchar | (sid301738@gateway/web/irccloud.com/x-rgpmjtqqbhrmcohe) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:03 +0100 | verlet64_ | (sid261276@gateway/web/irccloud.com/x-xjfovybibszlojpl) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:03 +0100 | banjiewen_ | (sid115913@gateway/web/irccloud.com/x-xuhcxuunqkywfagg) (Ping timeout: 272 seconds) |
| 2020-11-08 09:37:04 +0100 | cbarrett | (sid192934@adium/cbarrett) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:06 +0100 | dsal | (sid13060@gateway/web/irccloud.com/x-udvlsvyzdoxkbqyc) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:06 +0100 | nick_h | (sid319833@gateway/web/irccloud.com/x-pmufwyqrxfxlbgib) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:06 +0100 | Tritlo | (sid58727@gateway/web/irccloud.com/x-hhdqrzmvvzwsljje) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:06 +0100 | hamishmack | (sid389057@gateway/web/irccloud.com/x-azqabhmlngqmdotl) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:06 +0100 | affinespaces | (sid327561@gateway/web/irccloud.com/x-mbamrsiemussquvx) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:14 +0100 | bidabong | (uid272474@gateway/web/irccloud.com/x-asdidcduiyoospnp) (Ping timeout: 264 seconds) |
| 2020-11-08 09:37:14 +0100 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-smeovyzgvmjpfemr) (Ping timeout: 264 seconds) |
| 2020-11-08 09:37:14 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-gqmixearkciaakmk) (Ping timeout: 264 seconds) |
| 2020-11-08 09:37:15 +0100 | whez | (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp) (Ping timeout: 246 seconds) |
| 2020-11-08 09:37:22 +0100 | ibloom | (sid350277@gateway/web/irccloud.com/x-ccblpzopmwnfxhss) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:22 +0100 | bjs | (sid190364@gateway/web/irccloud.com/x-gblpydmbtrekwhlk) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:24 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-btnxpfbxhslylctw) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:34 +0100 | mudri | (sid317655@gateway/web/irccloud.com/x-ewrkkkqbsfrqlwpo) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:34 +0100 | ghuntley | (sid16877@gateway/web/irccloud.com/x-hazckpioupzucowz) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:34 +0100 | parisienne | (sid383587@gateway/web/irccloud.com/x-wkbgoesgrpfdelps) (Ping timeout: 244 seconds) |
| 2020-11-08 09:37:37 +0100 | joshmeredith | (sid387798@gateway/web/irccloud.com/x-sxpuerlncnrlahqm) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:37 +0100 | Cir0X | (sid221743@gateway/web/irccloud.com/x-aaolygdvoezcqebh) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:37 +0100 | yogani | (sid42623@gateway/web/irccloud.com/x-nfoqjqvejaeqgmoi) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:37 +0100 | nh2 | (sid309956@gateway/web/irccloud.com/x-qvjqdxrjegrjwybj) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:37 +0100 | jonrh | (sid5185@gateway/web/irccloud.com/x-rqaikalmtlmunorz) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | kozowu | (uid44796@gateway/web/irccloud.com/x-zlvbgrbsoafykjcb) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | nlofaro | (sid258233@gateway/web/irccloud.com/x-uxoxyvtwstbbwbgr) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | drbrule | (sid395654@gateway/web/irccloud.com/x-xwxitsjzvaryowda) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | kip | (sid71464@gateway/web/irccloud.com/x-omvgxpcumzxoitoj) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | koankeeper | (sid216950@gateway/web/irccloud.com/x-zcbnaaysgxdzfzde) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | lightandlight | (sid135476@gateway/web/irccloud.com/x-esxphvmhpsuzltwt) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | chessai | (sid225296@gateway/web/irccloud.com/x-qipjiulksamexnar) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | caasih | (sid13241@gateway/web/irccloud.com/x-hlizsalbvmrkznfg) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | srhb | (sid400352@NixOS/user/srhb) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | adamse | (sid72084@gateway/web/irccloud.com/x-zzuaotsqlmzvumul) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | higherorder | (sid185221@gateway/web/irccloud.com/x-jdkrtrawpxzgiheg) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:38 +0100 | chpatrick | (sid239395@gateway/web/irccloud.com/x-enbwaldjayrccrvg) (Ping timeout: 260 seconds) |
| 2020-11-08 09:37:41 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-ajahqmwjiqmyvpjz) (Ping timeout: 272 seconds) |
| 2020-11-08 09:37:41 +0100 | billstclair | (sid77830@gateway/web/irccloud.com/x-clhgkncritrdqqzs) (Ping timeout: 272 seconds) |
| 2020-11-08 09:37:43 +0100 | acertain | (sid470584@gateway/web/irccloud.com/x-hrqmjvrqmoyyhbrw) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:43 +0100 | benl23 | (sid284234@gateway/web/irccloud.com/x-kweziwrdikjyykbe) (Ping timeout: 268 seconds) |
| 2020-11-08 09:37:44 +0100 | gregberns_ | (sid315709@gateway/web/irccloud.com/x-lhzcnufyopscpuei) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:44 +0100 | typetetris | (sid275937@gateway/web/irccloud.com/x-sdhyqriahiqslcsk) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:44 +0100 | glowcoil | (sid3405@gateway/web/irccloud.com/x-dkdpshuvsuixqjqw) (Ping timeout: 240 seconds) |
| 2020-11-08 09:37:50 +0100 | fiadliel | (sid399568@gateway/web/irccloud.com/x-vfhgfferfkqpsvwi) (Ping timeout: 264 seconds) |
| 2020-11-08 09:37:50 +0100 | moobar | (sid171730@gateway/web/irccloud.com/x-rdzoqwqwylvkfave) (Ping timeout: 264 seconds) |
| 2020-11-08 09:37:50 +0100 | milessabin | (sid86799@gateway/web/irccloud.com/x-hmwhfzuctmzszqzh) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:00 +0100 | cinimod | (uid93893@gateway/web/irccloud.com/x-ohfubecfiwfffiip) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:00 +0100 | kaychaks | (sid236345@gateway/web/irccloud.com/x-tofmstsbickuunjr) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:02 +0100 | rprije | (~rprije@124.148.131.132) (Ping timeout: 256 seconds) |
| 2020-11-08 09:38:04 +0100 | rann | (sid175221@gateway/web/irccloud.com/x-ksxigkdhzdqcjfrs) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:04 +0100 | taktoa[c] | (sid282096@gateway/web/irccloud.com/x-xetnenikiqaoibky) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:04 +0100 | benwr____ | (sid372383@gateway/web/irccloud.com/x-fpmmjvddoaxuhwfl) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:05 +0100 | drupol | (sid117588@gateway/web/irccloud.com/x-botdgnvcemakmhms) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:05 +0100 | conjunctive | (sid433686@gateway/web/irccloud.com/x-svszloomofjzwqrv) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:05 +0100 | angerman | (sid209936@gateway/web/irccloud.com/x-oahfetnahbdvwgfo) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:12 +0100 | SrPx | (sid108780@gateway/web/irccloud.com/x-pdttujrjixkduttv) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:12 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-olzvsuojmvwuxdem) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:12 +0100 | AndreasK | (sid320732@gateway/web/irccloud.com/x-uioigjqavmrtwcmd) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:12 +0100 | ^[ | (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:12 +0100 | scav | (sid309693@gateway/web/irccloud.com/x-techevumsipyqxlk) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | graingert | (sid128301@gateway/web/irccloud.com/x-tezmjotwcjxceyfv) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | alunduil | (alunduil@gateway/web/irccloud.com/x-bdycqsguonemwjha) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | JSharp | (sid4580@wikia/JSharp) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | buggymcbugfix | (sid432603@gateway/web/irccloud.com/x-ikgtfjckezvpthhb) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | PatrickRobotham_ | (sid18270@gateway/web/irccloud.com/x-gkudfyntylnjctrj) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | teehemkay | (sid14792@gateway/web/irccloud.com/x-qrujkmhnrbttdvyo) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-erwaomugptysqssz) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | enemeth79 | (sid309041@gateway/web/irccloud.com/x-qzhpyccgmuuqsrsi) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:13 +0100 | mankyKitty | (sid31287@gateway/web/irccloud.com/x-talstgcllctsrrfx) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:19 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-oyfaffahduvlgnmv) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:19 +0100 | liquorice | (sid267884@gateway/web/irccloud.com/x-kyqvqvczajcsjcev) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:19 +0100 | jared-w | (uid405292@gateway/web/irccloud.com/x-hjvulmngvzyqxsmb) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:19 +0100 | rdivyanshu | (sid322626@gateway/web/irccloud.com/x-vijvgbwevjdmeabn) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:19 +0100 | Boarders | (sid425905@gateway/web/irccloud.com/x-naslsmiaebxgaija) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:19 +0100 | pepeiborra | (sid443799@gateway/web/irccloud.com/x-oyxipiqtflckullf) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:20 +0100 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-rzjhsxvlzniycmws) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:20 +0100 | alanz | (sid110616@gateway/web/irccloud.com/x-kxtlxodtagwnitvv) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:20 +0100 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-fgvrtbnpeqwbcevi) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:24 +0100 | adius | (sid321344@gateway/web/irccloud.com/x-mxoyxwrzcytimbah) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:24 +0100 | stylewarning | (stylewarni@gateway/web/irccloud.com/x-inexyucgqlgjsrum) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:25 +0100 | topos | (sid467876@gateway/web/irccloud.com/x-gyqsqvcawuyxkhnv) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:26 +0100 | entel | (uid256215@botters/entel) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | eruditass | (uid248673@gateway/web/irccloud.com/x-xzxytktqpfjekcra) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | Firedancer | (sid336191@gateway/web/irccloud.com/x-vssbbmzuqcgdgcmb) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | joel135 | (sid136450@gateway/web/irccloud.com/x-tbniwjwivhvzaqau) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | edwinb | (sid69486@gateway/web/irccloud.com/x-jrxtyjijaolnlopz) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | ReinH__ | (sid179972@gateway/web/irccloud.com/x-ryyydyxrmnaxtodq) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:26 +0100 | jackdk | (sid373013@gateway/web/irccloud.com/x-iryzpzzygtrtkbbz) (Ping timeout: 264 seconds) |
| 2020-11-08 09:38:28 +0100 | rprije | (~rprije@124.148.131.132) |
| 2020-11-08 09:38:32 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-umzvzowaztsfellj) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | albethere | (sid457088@gateway/web/irccloud.com/x-fmchgsvxhdmjvieq) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | m-renaud | (sid333785@gateway/web/irccloud.com/x-jxglvjindagumsef) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | darthThorik | (sid39589@gateway/web/irccloud.com/x-tjuwgtcbctwqnxiv) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | integral | (sid296274@p3m/member/integral) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | johs | (sid246410@gateway/web/irccloud.com/x-eafdufqmtlcqylai) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:32 +0100 | FMJz____ | (sid279245@gateway/web/irccloud.com/x-uxwggzqsvvuxwnvv) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:36 +0100 | rodlogic__ | (sid214676@gateway/web/irccloud.com/x-mpkvpqnfqcxewmmv) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:36 +0100 | carter | (sid14827@gateway/web/irccloud.com/x-sizpssbboxwjlzfn) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:36 +0100 | liszt_ | (sid336875@gateway/web/irccloud.com/x-uuxepiucxpvvjuow) (Ping timeout: 244 seconds) |
| 2020-11-08 09:38:38 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-gbteywmncqhxlbkk) (Ping timeout: 246 seconds) |
| 2020-11-08 09:38:38 +0100 | cstrahan | (sid36118@gateway/web/irccloud.com/x-mfvjnlhprdhvdyaw) (Ping timeout: 246 seconds) |
| 2020-11-08 09:38:38 +0100 | eacameron | (sid256985@gateway/web/irccloud.com/x-trisvivfbojkcgwh) (Ping timeout: 246 seconds) |
| 2020-11-08 09:38:48 +0100 | trevorriles | (sid469656@gateway/web/irccloud.com/x-ojxdogvggwklcqfu) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | feepo | (sid28508@gateway/web/irccloud.com/x-egbgmiozjxqiqiea) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | PotatoGim | (sid99505@gateway/web/irccloud.com/x-xnlvbpmqvvvvzlzi) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | jbetz | (sid283648@gateway/web/irccloud.com/x-tnjzeofedetnuotr) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | alexknvl | (sid259568@gateway/web/irccloud.com/x-ezzjogtrhlllcrlf) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | iphy | (sid67735@gateway/web/irccloud.com/x-aopftouqgwvymeyk) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | jetpack_joe | (sid146137@gateway/web/irccloud.com/x-nugkqmiplnjcyaxx) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | hazard-pointer | (sid331723@gateway/web/irccloud.com/x-neubmonftmwlbqas) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:48 +0100 | dgpratt | (sid193493@gateway/web/irccloud.com/x-wpigpkrirfdonsca) (Ping timeout: 260 seconds) |
| 2020-11-08 09:38:55 +0100 | ajmcmiddlin | (sid284402@gateway/web/irccloud.com/x-qluzsktjtgrefogm) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:55 +0100 | thi | (sid97277@gateway/web/irccloud.com/x-vjszalnbbkcfzara) (Ping timeout: 240 seconds) |
| 2020-11-08 09:38:57 +0100 | mpickering | (sid78412@gateway/web/irccloud.com/x-dfpbnrhxzfjezyfr) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-lvxmpywqstmlfjcc) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | runeks | (sid21167@gateway/web/irccloud.com/x-kspayncfhjidsext) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | totbwf | (sid402332@gateway/web/irccloud.com/x-pssrurqrlsgffxlv) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | aristid | (sid1599@gateway/web/irccloud.com/x-ilqgyqbvhbrziter) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | newhoggy | (sid198874@gateway/web/irccloud.com/x-zutcdabnuqtwgxkc) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-yocwsgvbpxleffzc) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | bradparker | (sid262931@gateway/web/irccloud.com/x-uqioclynkqqupcsu) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | agander_m | (sid407952@gateway/web/irccloud.com/x-wvuflyjbjmlajpto) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | J_Arcane | (sid119274@gateway/web/irccloud.com/x-ivyumcmbhtoteijd) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | ocharles | (sid30093@musicbrainz/user/ocharles) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | Kamuela | (sid111576@gateway/web/irccloud.com/x-uvvegwfyydfudwfg) (Ping timeout: 268 seconds) |
| 2020-11-08 09:38:57 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-duordpjumbquhybw) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | Guest76112 | (uid472329@gateway/web/irccloud.com/x-ennruecymrcxflva) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-vjmcrbfkcwlkcexr) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | wpcarro | (sid397589@gateway/web/irccloud.com/x-vqtnwwuckwrwiioj) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | edmundnoble | (sid229620@gateway/web/irccloud.com/x-qtgjwsrxfqtxbxld) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | tiru | (tiru@gateway/web/irccloud.com/x-yaugnfczkppmbvmn) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | mcfilib_ | (sid302703@gateway/web/irccloud.com/x-rzhinfafokictnxq) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | NemesisD | (sid24071@gateway/web/irccloud.com/x-efgfqnbmzmvsdzmv) (Ping timeout: 272 seconds) |
| 2020-11-08 09:38:57 +0100 | parseval | (sid239098@gateway/web/irccloud.com/x-wfyohitmdltgloed) (Ping timeout: 272 seconds) |
| 2020-11-08 09:39:00 +0100 | hackage | gloss 1.13.2.1 - Painless 2D vector graphics, animations and simulations. https://hackage.haskell.org/package/gloss-1.13.2.1 (BenLippmeier) |
| 2020-11-08 09:40:51 +0100 | mjsor | (~matt@c-71-238-82-85.hsd1.or.comcast.net) |
| 2020-11-08 09:43:43 +0100 | scasc | (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 2020-11-08 09:44:01 +0100 | scasc | (~szabi@213142096120.public.telering.at) |
| 2020-11-08 09:45:05 +0100 | coot | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-11-08 09:46:36 +0100 | Amras | (~Amras@unaffiliated/amras0000) |
| 2020-11-08 09:49:00 +0100 | hackage | minizinc-process 0.1.2.0 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.2.0 (LucasDiCioccio) |
| 2020-11-08 09:49:41 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 09:50:31 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 09:51:19 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 2020-11-08 09:51:35 +0100 | alp | (~alp@2a01:e0a:58b:4920:117:2f04:6037:4aa2) (Ping timeout: 246 seconds) |
| 2020-11-08 09:51:53 +0100 | adius | (sid321344@gateway/web/irccloud.com/x-uuhxlducjizxfavl) |
| 2020-11-08 09:51:53 +0100 | Tritlo | (sid58727@gateway/web/irccloud.com/x-dlcmyhezzzrcdorg) |
| 2020-11-08 09:51:54 +0100 | liquorice | (sid267884@gateway/web/irccloud.com/x-tddcmkucbvdtyubo) |
| 2020-11-08 09:51:55 +0100 | drupol | (sid117588@gateway/web/irccloud.com/x-zbnyabdlstrnoeuc) |
| 2020-11-08 09:51:55 +0100 | cvlad- | (sid203065@gateway/web/irccloud.com/x-mazwhejchlyffolo) |
| 2020-11-08 09:51:56 +0100 | gluegadget | (sid22336@gateway/web/irccloud.com/x-dtblqsqvfgxmasgf) |
| 2020-11-08 09:51:59 +0100 | PoliticsII______ | (sid193551@gateway/web/irccloud.com/x-axomckqlurkcrgnc) |
| 2020-11-08 09:52:05 +0100 | moobar | (sid171730@gateway/web/irccloud.com/x-ctnyphywvjgsbjzl) |
| 2020-11-08 09:52:07 +0100 | ibloom | (sid350277@gateway/web/irccloud.com/x-hlioyajxeywwuxmx) |
| 2020-11-08 09:52:08 +0100 | Nascha | (sid212230@gateway/web/irccloud.com/x-mfmiwrmytvzpxdpd) |
| 2020-11-08 09:52:09 +0100 | grfn | (sid449115@gateway/web/irccloud.com/x-srwltizlxwnoqbuo) |
| 2020-11-08 09:52:09 +0100 | aristid | (sid1599@gateway/web/irccloud.com/x-ckvrkhwfnpsjpxkc) |
| 2020-11-08 09:52:12 +0100 | cinimod | (uid93893@gateway/web/irccloud.com/x-ntxgfonmsgfsxqfj) |
| 2020-11-08 09:52:14 +0100 | ProofTechnique | (sid79547@gateway/web/irccloud.com/x-eksujsicoqugirny) |
| 2020-11-08 09:52:15 +0100 | alinab | (uid468903@gateway/web/irccloud.com/x-xcymeicsljvzypjb) |
| 2020-11-08 09:52:15 +0100 | metadave | (sid28102@gateway/web/irccloud.com/x-wybfodxjmjkizymy) |
| 2020-11-08 09:52:17 +0100 | verlet64_ | (sid261276@gateway/web/irccloud.com/x-qwtrkevpekfqyucq) |
| 2020-11-08 09:52:19 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-zbzgkwpcudviljpk) |
| 2020-11-08 09:52:20 +0100 | banjiewen_ | (sid115913@gateway/web/irccloud.com/x-pwjllhheogrzlube) |
| 2020-11-08 09:52:31 +0100 | thi | (sid97277@gateway/web/irccloud.com/x-iakzqiyfoextftan) |
| 2020-11-08 09:52:33 +0100 | tiru | (tiru@gateway/web/irccloud.com/x-tnkszxsozlkikzup) |
| 2020-11-08 09:52:34 +0100 | nick_h | (sid319833@gateway/web/irccloud.com/x-putfzyymjdapnmta) |
| 2020-11-08 09:52:35 +0100 | Lord_of_Life | (~Lord@46.217.216.108) (Changing host) |
| 2020-11-08 09:52:35 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-11-08 09:52:36 +0100 | nh2 | (sid309956@gateway/web/irccloud.com/x-newgxrpdrbwqztzy) |
| 2020-11-08 09:52:38 +0100 | pasukon | (sid49097@gateway/web/irccloud.com/x-naqadmmjejtzyxsk) |
| 2020-11-08 09:52:39 +0100 | jackdk | (sid373013@gateway/web/irccloud.com/x-arnfpemfesqxinsb) |
| 2020-11-08 09:52:39 +0100 | wpcarro | (sid397589@gateway/web/irccloud.com/x-yrrbrsudnjmjbakp) |
| 2020-11-08 09:52:39 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-exulbvidaltptqxo) |
| 2020-11-08 09:52:39 +0100 | yogani | (sid42623@gateway/web/irccloud.com/x-xmbuoxasmdpiyyri) |
| 2020-11-08 09:52:39 +0100 | NemesisD | (sid24071@gateway/web/irccloud.com/x-djyvkklsuqfzcevy) |
| 2020-11-08 09:52:39 +0100 | parseval | (sid239098@gateway/web/irccloud.com/x-zxdodwyrvwdotzxx) |
| 2020-11-08 09:52:39 +0100 | jetpack_joe | (sid146137@gateway/web/irccloud.com/x-vmgmkyseyzxdizaw) |
| 2020-11-08 09:52:39 +0100 | pent | (sid313808@gateway/web/irccloud.com/x-qzwweipqtpyekzzz) |
| 2020-11-08 09:52:39 +0100 | totbwf | (sid402332@gateway/web/irccloud.com/x-txjandoufixsoprd) |
| 2020-11-08 09:52:40 +0100 | albethere | (sid457088@gateway/web/irccloud.com/x-pfxmkbjobzsrdheg) |
| 2020-11-08 09:52:40 +0100 | darthThorik | (sid39589@gateway/web/irccloud.com/x-cfzakqeypjuxmguy) |
| 2020-11-08 09:52:40 +0100 | dsal | (sid13060@gateway/web/irccloud.com/x-lwnzsoovbcvhdctt) |
| 2020-11-08 09:52:42 +0100 | joshmeredith | (sid387798@gateway/web/irccloud.com/x-uqsodavpxzxpcuwv) |
| 2020-11-08 09:52:43 +0100 | tnks | (sid412124@gateway/web/irccloud.com/x-foyfefzalmzctfnv) |
| 2020-11-08 09:52:43 +0100 | idnar | (sid12240@gateway/web/irccloud.com/x-wvmmnuuotscagfyx) |
| 2020-11-08 09:52:49 +0100 | rizary | (sid220347@gateway/web/irccloud.com/x-kpnwyrewkhnqnyhk) |
| 2020-11-08 09:52:55 +0100 | FMJz____ | (sid279245@gateway/web/irccloud.com/x-obdwznzoluazipat) |
| 2020-11-08 09:52:56 +0100 | sclv | (sid39734@haskell/developer/sclv) |
| 2020-11-08 09:52:58 +0100 | kip | (sid71464@gateway/web/irccloud.com/x-idrkkvdsplxgbbpn) |
| 2020-11-08 09:52:58 +0100 | Adeon | (sid418992@gateway/web/irccloud.com/x-zshgawryroibgclt) |
| 2020-11-08 09:52:59 +0100 | kyagrd__ | (sid102627@gateway/web/irccloud.com/x-nvlvexwuoontnaay) |
| 2020-11-08 09:53:00 +0100 | dgpratt | (sid193493@gateway/web/irccloud.com/x-ckplobyhmsyazopr) |
| 2020-11-08 09:53:02 +0100 | taktoa[c] | (sid282096@gateway/web/irccloud.com/x-omebbjqsjvyqmgkl) |
| 2020-11-08 09:53:02 +0100 | bjs | (sid190364@gateway/web/irccloud.com/x-wbdkgrfmfwsfnyyt) |
| 2020-11-08 09:53:03 +0100 | conjunctive | (sid433686@gateway/web/irccloud.com/x-fmugvkbhizxugkfc) |
| 2020-11-08 09:53:03 +0100 | PatrickRobotham_ | (sid18270@gateway/web/irccloud.com/x-fmgigponghvlpyhp) |
| 2020-11-08 09:53:04 +0100 | mankyKitty | (sid31287@gateway/web/irccloud.com/x-beodapysaacbpjue) |
| 2020-11-08 09:53:05 +0100 | kozowu | (uid44796@gateway/web/irccloud.com/x-nvxmuuamyscqvacb) |
| 2020-11-08 09:53:07 +0100 | hamishmack | (sid389057@gateway/web/irccloud.com/x-rzssupzhdhpijtko) |
| 2020-11-08 09:53:07 +0100 | ebutleriv | (sid217783@gateway/web/irccloud.com/x-ckocvqheirpnpehl) |
| 2020-11-08 09:53:08 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-iuvslqcwjrfktbse) |
| 2020-11-08 09:53:08 +0100 | edmundnoble | (sid229620@gateway/web/irccloud.com/x-ehmqsocqyidpgjbk) |
| 2020-11-08 09:53:08 +0100 | nlofaro | (sid258233@gateway/web/irccloud.com/x-euteclalytxdvjpl) |
| 2020-11-08 09:53:09 +0100 | heyj | (sid171370@gateway/web/irccloud.com/x-sjxjehfsqkhmjbvz) |
| 2020-11-08 09:53:10 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-hscbybzlcqmvyxxg) |
| 2020-11-08 09:53:11 +0100 | topos | (sid467876@gateway/web/irccloud.com/x-mqpmkdyaexkjdklr) |
| 2020-11-08 09:53:12 +0100 | jared-w | (uid405292@gateway/web/irccloud.com/x-pnfyamprydnozdqy) |
| 2020-11-08 09:53:14 +0100 | AndreasK | (sid320732@gateway/web/irccloud.com/x-jisuwtkhbrktjxky) |
| 2020-11-08 09:53:14 +0100 | bidabong | (uid272474@gateway/web/irccloud.com/x-ppmzlzztyuerpxde) |
| 2020-11-08 09:53:16 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-eqzthidwnckvywgi) |
| 2020-11-08 09:53:16 +0100 | wildsebastian | (sid324688@gateway/web/irccloud.com/x-ectvsfeiiygtpxsd) |
| 2020-11-08 09:53:17 +0100 | fiadliel | (sid399568@gateway/web/irccloud.com/x-uwigusburxicapvv) |
| 2020-11-08 09:53:17 +0100 | ^[ | (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2020-11-08 09:53:18 +0100 | koankeeper | (sid216950@gateway/web/irccloud.com/x-hjizfwywoqrskybo) |
| 2020-11-08 09:53:18 +0100 | JSharp | (sid4580@wikia/JSharp) |
| 2020-11-08 09:53:21 +0100 | entel | (uid256215@botters/entel) |
| 2020-11-08 09:53:23 +0100 | rann | (sid175221@gateway/web/irccloud.com/x-vvuogpmcvjdddtaw) |
| 2020-11-08 09:53:24 +0100 | angerman | (sid209936@gateway/web/irccloud.com/x-xybpwsyhitgismpo) |
| 2020-11-08 09:53:27 +0100 | mcfilib_ | (sid302703@gateway/web/irccloud.com/x-nfopvhmlkmsaepwm) |
| 2020-11-08 09:53:31 +0100 | tchar | (sid301738@gateway/web/irccloud.com/x-xddtoyyurmxjtavh) |
| 2020-11-08 09:53:36 +0100 | cstrahan | (sid36118@gateway/web/irccloud.com/x-twkbvtvjppokxmel) |
| 2020-11-08 09:53:40 +0100 | dmj` | (sid72307@gateway/web/irccloud.com/x-mdlqgyhdnysmoonb) |
| 2020-11-08 09:53:41 +0100 | betawaffle | (sid2730@gateway/web/irccloud.com/x-bazizvdksepkkljr) |
| 2020-11-08 09:53:43 +0100 | dsturnbull | (sid347899@gateway/web/irccloud.com/x-xmzhvaiswgjcomqa) |
| 2020-11-08 09:53:44 +0100 | hazard-pointer | (sid331723@gateway/web/irccloud.com/x-tiuqkpmdzxgnusmc) |
| 2020-11-08 09:53:50 +0100 | carter | (sid14827@gateway/web/irccloud.com/x-ibvrelberchglxhy) |
| 2020-11-08 09:53:54 +0100 | eruditass | (uid248673@gateway/web/irccloud.com/x-onjuwmppppmuaqzi) |
| 2020-11-08 09:54:00 +0100 | rodlogic__ | (sid214676@gateway/web/irccloud.com/x-egfcshsulxcglqnw) |
| 2020-11-08 09:54:03 +0100 | ajmcmiddlin | (sid284402@gateway/web/irccloud.com/x-czsnahqqucihfqdx) |
| 2020-11-08 09:54:04 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 260 seconds) |
| 2020-11-08 09:54:09 +0100 | liszt_ | (sid336875@gateway/web/irccloud.com/x-sjbstzgazctrjiml) |
| 2020-11-08 09:54:34 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 09:55:27 +0100 | kristjansson | (sid126207@gateway/web/irccloud.com/x-ikddbqhpcfeoprgq) |
| 2020-11-08 09:55:32 +0100 | cemerick | (sid54985@gateway/web/irccloud.com/x-sezszkubzwzwoedv) |
| 2020-11-08 09:55:49 +0100 | systemfault | (sid267009@gateway/web/irccloud.com/x-whnxtdotobbumjjn) |
| 2020-11-08 09:55:50 +0100 | billstclair | (sid77830@gateway/web/irccloud.com/x-dpnwvdsjevdsepff) |
| 2020-11-08 09:55:54 +0100 | jlpeters | (sid25606@gateway/web/irccloud.com/x-vzagypdzbnyflvyr) |
| 2020-11-08 09:55:56 +0100 | glowcoil | (sid3405@gateway/web/irccloud.com/x-erqemrkeinovsomm) |
| 2020-11-08 09:55:59 +0100 | typetetris | (sid275937@gateway/web/irccloud.com/x-elrfbakatxxdutfl) |
| 2020-11-08 09:56:02 +0100 | aizen_s | (sid462968@gateway/web/irccloud.com/x-qmulgqtgjenqdcha) |
| 2020-11-08 09:56:05 +0100 | elvishjerricco | (sid237756@NixOS/user/ElvishJerricco) |
| 2020-11-08 09:56:11 +0100 | cbarrett | (sid192934@adium/cbarrett) |
| 2020-11-08 09:56:20 +0100 | whez | (sid470288@gateway/web/irccloud.com/x-blauwezioburoyvy) |
| 2020-11-08 09:56:20 +0100 | milessabin | (sid86799@gateway/web/irccloud.com/x-orwvqlcdkjbkblde) |
| 2020-11-08 09:56:24 +0100 | ghuntley | (sid16877@gateway/web/irccloud.com/x-ptopsndeynpyjelv) |
| 2020-11-08 09:56:24 +0100 | parisienne | (sid383587@gateway/web/irccloud.com/x-ebmbgbvaxawadpqa) |
| 2020-11-08 09:56:28 +0100 | benwr____ | (sid372383@gateway/web/irccloud.com/x-ygzdfppyyhwzwtmh) |
| 2020-11-08 09:56:34 +0100 | kaychaks | (sid236345@gateway/web/irccloud.com/x-hrbziqwuzupufaru) |
| 2020-11-08 09:56:35 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-kkcazzfyjgmdigdk) |
| 2020-11-08 09:56:43 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-uifctbbgftadercs) |
| 2020-11-08 09:56:44 +0100 | drbrule | (sid395654@gateway/web/irccloud.com/x-vjqqnrysmaxqrzkw) |
| 2020-11-08 09:56:45 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 09:56:46 +0100 | srhb | (sid400352@NixOS/user/srhb) |
| 2020-11-08 09:56:46 +0100 | alunduil | (alunduil@gateway/web/irccloud.com/x-uvppjsitsccsdxlk) |
| 2020-11-08 09:56:49 +0100 | integral | (sid296274@p3m/member/integral) |
| 2020-11-08 09:56:53 +0100 | affinespaces | (sid327561@gateway/web/irccloud.com/x-zagwlzzlhrvzkgni) |
| 2020-11-08 09:56:55 +0100 | m-renaud | (sid333785@gateway/web/irccloud.com/x-ocbxggtmwbqjeteg) |
| 2020-11-08 09:56:57 +0100 | johs | (sid246410@gateway/web/irccloud.com/x-kzxpikhjkxlgpcaf) |
| 2020-11-08 09:56:59 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2020-11-08 09:57:04 +0100 | rslima_____ | (sid26145@gateway/web/irccloud.com/x-sqmdtyjbxdggnirr) |
| 2020-11-08 09:57:06 +0100 | Cir0X | (sid221743@gateway/web/irccloud.com/x-ouxxoxkrtirtgzgf) |
| 2020-11-08 09:57:10 +0100 | adamse | (sid72084@gateway/web/irccloud.com/x-onphgmdjuxtvhyto) |
| 2020-11-08 09:57:11 +0100 | bradparker | (sid262931@gateway/web/irccloud.com/x-hcrjjmdklhbtocmc) |
| 2020-11-08 09:57:14 +0100 | caasih | (sid13241@gateway/web/irccloud.com/x-terlgyaghsopjzfx) |
| 2020-11-08 09:57:15 +0100 | iphy | (sid67735@gateway/web/irccloud.com/x-yrvorexjtguqopbo) |
| 2020-11-08 09:57:15 +0100 | jonrh | (sid5185@gateway/web/irccloud.com/x-znmjmvidrdlxlhvb) |
| 2020-11-08 09:57:15 +0100 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2020-11-08 09:57:15 +0100 | Boarders | (sid425905@gateway/web/irccloud.com/x-gxggczrjyaryshdp) |
| 2020-11-08 09:57:17 +0100 | chessai | (sid225296@gateway/web/irccloud.com/x-hddezucsjemkshob) |
| 2020-11-08 09:57:17 +0100 | acertain | (sid470584@gateway/web/irccloud.com/x-lxulhxxapsiocsfs) |
| 2020-11-08 09:57:17 +0100 | ReinH__ | (sid179972@gateway/web/irccloud.com/x-sdlypohklafvyaji) |
| 2020-11-08 09:57:18 +0100 | teehemkay | (sid14792@gateway/web/irccloud.com/x-xumdvfbicpwvkzkt) |
| 2020-11-08 09:57:18 +0100 | jbetz | (sid283648@gateway/web/irccloud.com/x-lgtmgjydvhzpefgi) |
| 2020-11-08 09:57:18 +0100 | trevorriles | (sid469656@gateway/web/irccloud.com/x-vcwwrvniknzblcpg) |
| 2020-11-08 09:57:19 +0100 | runeks | (sid21167@gateway/web/irccloud.com/x-tsqpbadbudnfxfmt) |
| 2020-11-08 09:57:19 +0100 | chpatrick | (sid239395@gateway/web/irccloud.com/x-qcgsvtfujmzclzre) |
| 2020-11-08 09:57:19 +0100 | buggymcbugfix | (sid432603@gateway/web/irccloud.com/x-rqdusgvomktjpfec) |
| 2020-11-08 09:57:19 +0100 | alexknvl | (sid259568@gateway/web/irccloud.com/x-hdmczryidxkpwdtp) |
| 2020-11-08 09:57:20 +0100 | Firedancer | (sid336191@gateway/web/irccloud.com/x-uafmnbgxlsfyadoa) |
| 2020-11-08 09:57:20 +0100 | enemeth79 | (sid309041@gateway/web/irccloud.com/x-mhnfiahuzjkqbdkg) |
| 2020-11-08 09:57:21 +0100 | mpickering | (sid78412@gateway/web/irccloud.com/x-wtvxaywdclnnytlv) |
| 2020-11-08 09:57:21 +0100 | lightandlight | (sid135476@gateway/web/irccloud.com/x-giniijlnwbauwoqq) |
| 2020-11-08 09:57:21 +0100 | edwinb | (sid69486@gateway/web/irccloud.com/x-elzwlqpwvreqnrml) |
| 2020-11-08 09:57:22 +0100 | alanz | (sid110616@gateway/web/irccloud.com/x-hvvxxgjtvnddfyee) |
| 2020-11-08 09:57:38 +0100 | gregberns_ | (sid315709@gateway/web/irccloud.com/x-ytsmrswniuqtuqcd) |
| 2020-11-08 09:57:40 +0100 | graingert | (sid128301@gateway/web/irccloud.com/x-adgvkrvifopojjaa) |
| 2020-11-08 09:57:43 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-aavthkgvqaggakcc) |
| 2020-11-08 09:57:45 +0100 | eacameron | (sid256985@gateway/web/irccloud.com/x-kkrohjugegafrkxc) |
| 2020-11-08 09:57:50 +0100 | rdivyanshu | (sid322626@gateway/web/irccloud.com/x-yyvemamxcxrcinrm) |
| 2020-11-08 09:57:53 +0100 | stylewarning | (stylewarni@gateway/web/irccloud.com/x-mqhdosxrfptcncnx) |
| 2020-11-08 09:58:02 +0100 | pepeiborra | (sid443799@gateway/web/irccloud.com/x-qimnexanhdwpswoz) |
| 2020-11-08 09:58:05 +0100 | Guest76112 | (uid472329@gateway/web/irccloud.com/x-kbynhnxavlyhpluo) |
| 2020-11-08 09:58:10 +0100 | simony | (sid226116@gateway/web/irccloud.com/x-wzcrwnktljnyyivi) |
| 2020-11-08 09:58:15 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 09:58:23 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 09:58:38 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-woeadvlukonviedq) |
| 2020-11-08 10:00:00 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-tbupfjuevzxmvxnp) |
| 2020-11-08 10:00:01 +0100 | paulk-collins | (~paulk-col@178.162.209.171) () |
| 2020-11-08 10:00:21 +0100 | gaze__ | (sid387101@gateway/web/irccloud.com/x-dzzzzpxfnvpkwdhs) |
| 2020-11-08 10:00:47 +0100 | ocharles | (sid30093@musicbrainz/user/ocharles) |
| 2020-11-08 10:00:56 +0100 | feepo | (sid28508@gateway/web/irccloud.com/x-lshjzkdfazhhdzdf) |
| 2020-11-08 10:01:07 +0100 | J_Arcane | (sid119274@gateway/web/irccloud.com/x-efprusjudjcoflyt) |
| 2020-11-08 10:01:08 +0100 | bitonic | (sid61915@gateway/web/irccloud.com/x-tvoekbkcvpstflog) |
| 2020-11-08 10:01:32 +0100 | nados | (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds) |
| 2020-11-08 10:01:34 +0100 | PotatoGim | (sid99505@gateway/web/irccloud.com/x-xcqktytbackydsev) |
| 2020-11-08 10:01:36 +0100 | benl23 | (sid284234@gateway/web/irccloud.com/x-nkfumgpyqgaploty) |
| 2020-11-08 10:01:43 +0100 | joel135 | (sid136450@gateway/web/irccloud.com/x-dkytwygqyubmegrp) |
| 2020-11-08 10:01:46 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 10:01:53 +0100 | SrPx | (sid108780@gateway/web/irccloud.com/x-htoyitviijeanpkh) |
| 2020-11-08 10:01:55 +0100 | scav | (sid309693@gateway/web/irccloud.com/x-oovxzuxjybuelhjk) |
| 2020-11-08 10:02:13 +0100 | Kamuela | (sid111576@gateway/web/irccloud.com/x-bphhyywmrokmqdlb) |
| 2020-11-08 10:02:13 +0100 | agander_m | (sid407952@gateway/web/irccloud.com/x-zrjfgckotmtugqdf) |
| 2020-11-08 10:02:29 +0100 | mudri | (sid317655@gateway/web/irccloud.com/x-vxrejnyxzsryfgtw) |
| 2020-11-08 10:02:39 +0100 | higherorder | (sid185221@gateway/web/irccloud.com/x-rmcizhodywhiwgzv) |
| 2020-11-08 10:02:52 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-vyeiyfxfsraauowv) |
| 2020-11-08 10:03:00 +0100 | newhoggy | (sid198874@gateway/web/irccloud.com/x-terspefkrxdigoxr) |
| 2020-11-08 10:03:12 +0100 | Kelly | (5596f675@85.150.246.117) |
| 2020-11-08 10:03:32 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-11-08 10:05:19 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-11-08 10:08:33 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 10:10:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2020-11-08 10:10:50 +0100 | mankyKitty | (sid31287@gateway/web/irccloud.com/x-beodapysaacbpjue) (Ping timeout: 264 seconds) |
| 2020-11-08 10:10:53 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 10:11:00 +0100 | mankyKitty | (sid31287@gateway/web/irccloud.com/x-hipdokcciegrtmbw) |
| 2020-11-08 10:11:15 +0100 | angerman | (sid209936@gateway/web/irccloud.com/x-xybpwsyhitgismpo) (Ping timeout: 272 seconds) |
| 2020-11-08 10:11:26 +0100 | JSharp | (sid4580@wikia/JSharp) (Ping timeout: 264 seconds) |
| 2020-11-08 10:11:26 +0100 | pent | (sid313808@gateway/web/irccloud.com/x-qzwweipqtpyekzzz) (Ping timeout: 264 seconds) |
| 2020-11-08 10:11:53 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-tbupfjuevzxmvxnp) (Ping timeout: 272 seconds) |
| 2020-11-08 10:11:53 +0100 | mcfilib_ | (sid302703@gateway/web/irccloud.com/x-nfopvhmlkmsaepwm) (Ping timeout: 272 seconds) |
| 2020-11-08 10:11:53 +0100 | fiadliel | (sid399568@gateway/web/irccloud.com/x-uwigusburxicapvv) (Ping timeout: 272 seconds) |
| 2020-11-08 10:11:53 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-eqzthidwnckvywgi) (Ping timeout: 272 seconds) |
| 2020-11-08 10:12:01 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-08 10:12:31 +0100 | hamishmack | (sid389057@gateway/web/irccloud.com/x-rzssupzhdhpijtko) (Ping timeout: 272 seconds) |
| 2020-11-08 10:12:38 +0100 | parseval | (sid239098@gateway/web/irccloud.com/x-zxdodwyrvwdotzxx) (Ping timeout: 264 seconds) |
| 2020-11-08 10:13:09 +0100 | bitonic | (sid61915@gateway/web/irccloud.com/x-tvoekbkcvpstflog) (Ping timeout: 272 seconds) |
| 2020-11-08 10:13:09 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-exulbvidaltptqxo) (Ping timeout: 272 seconds) |
| 2020-11-08 10:13:09 +0100 | cvlad- | (sid203065@gateway/web/irccloud.com/x-mazwhejchlyffolo) (Ping timeout: 272 seconds) |
| 2020-11-08 10:13:14 +0100 | angerman | (sid209936@gateway/web/irccloud.com/x-vpzhonusupvskvmg) |
| 2020-11-08 10:13:16 +0100 | StoneToad | (~StoneToad@199-167-119-174.ppp.storm.ca) (Ping timeout: 272 seconds) |
| 2020-11-08 10:13:29 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2020-11-08 10:14:05 +0100 | pent | (sid313808@gateway/web/irccloud.com/x-xqrqvlzrksrgsiqc) |
| 2020-11-08 10:14:08 +0100 | parseval | (sid239098@gateway/web/irccloud.com/x-sburcdiemgwzsqhs) |
| 2020-11-08 10:14:19 +0100 | JSharp | (sid4580@wikia/JSharp) |
| 2020-11-08 10:14:40 +0100 | bitonic | (sid61915@gateway/web/irccloud.com/x-nurphsregtkooaez) |
| 2020-11-08 10:14:50 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-otmdrxdrodgxrqxy) |
| 2020-11-08 10:14:54 +0100 | hamishmack | (sid389057@gateway/web/irccloud.com/x-qcqdptgzivzgrpwu) |
| 2020-11-08 10:14:56 +0100 | cvlad- | (sid203065@gateway/web/irccloud.com/x-kgwwtdcwktijsmay) |
| 2020-11-08 10:14:59 +0100 | lexi-lambda | (sid92601@gateway/web/irccloud.com/x-fanmypdregedhpxu) |
| 2020-11-08 10:15:00 +0100 | fiadliel | (sid399568@gateway/web/irccloud.com/x-xbmjzphrjjyfrdoz) |
| 2020-11-08 10:15:03 +0100 | mcfilib_ | (sid302703@gateway/web/irccloud.com/x-riwkfcukospcncdx) |
| 2020-11-08 10:15:40 +0100 | amatecha__ | (sid10006@gateway/web/irccloud.com/x-kzvefycrrmalzbls) |
| 2020-11-08 10:15:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2020-11-08 10:18:13 +0100 | Amras | (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-11-08 10:18:31 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 10:20:17 +0100 | StoneToad | (~StoneToad@199-167-119-137.ppp.storm.ca) |
| 2020-11-08 10:22:12 +0100 | AceNovo | (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 2020-11-08 10:22:37 +0100 | AceNovo | (~chris@184.101.220.149) |
| 2020-11-08 10:22:38 +0100 | Kelly | (5596f675@85.150.246.117) (Remote host closed the connection) |
| 2020-11-08 10:23:28 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 10:28:29 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 10:28:30 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 10:29:27 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 10:29:32 +0100 | drbean | (~drbean@TC210-63-209-19.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 2020-11-08 10:30:00 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 10:31:52 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 10:33:47 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 10:36:05 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-08 10:36:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 10:37:07 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-08 10:38:26 +0100 | xff0x | (~fox@2001:1a81:52da:100:71ff:17f4:8c8e:497) (Ping timeout: 264 seconds) |
| 2020-11-08 10:39:06 +0100 | xff0x | (~fox@2001:1a81:52da:100:907d:99cc:c60e:cc24) |
| 2020-11-08 10:39:32 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 10:42:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2020-11-08 10:43:05 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 240 seconds) |
| 2020-11-08 10:43:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 10:46:15 +0100 | hiroaki | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2020-11-08 10:48:32 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-08 10:48:34 +0100 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-11-08 10:50:17 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 10:52:25 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 10:54:45 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-08 10:55:22 +0100 | rprije | (~rprije@124.148.131.132) (Ping timeout: 246 seconds) |
| 2020-11-08 10:56:23 +0100 | bitmagie | (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) |
| 2020-11-08 10:59:38 +0100 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-11-08 10:59:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2020-11-08 10:59:53 +0100 | tiru | (tiru@gateway/web/irccloud.com/x-tnkszxsozlkikzup) (Read error: Connection reset by peer) |
| 2020-11-08 10:59:59 +0100 | Boarders | (sid425905@gateway/web/irccloud.com/x-gxggczrjyaryshdp) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:02 +0100 | integral | (sid296274@p3m/member/integral) (Ping timeout: 264 seconds) |
| 2020-11-08 11:00:02 +0100 | verlet64_ | (sid261276@gateway/web/irccloud.com/x-qwtrkevpekfqyucq) (Ping timeout: 264 seconds) |
| 2020-11-08 11:00:13 +0100 | tiru | (tiru@gateway/web/irccloud.com/x-nnjznofsaufhsulw) |
| 2020-11-08 11:00:22 +0100 | Boarders | (sid425905@gateway/web/irccloud.com/x-dubpmndbjgfmwzls) |
| 2020-11-08 11:00:24 +0100 | chessai | (sid225296@gateway/web/irccloud.com/x-hddezucsjemkshob) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:24 +0100 | teehemkay | (sid14792@gateway/web/irccloud.com/x-xumdvfbicpwvkzkt) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:32 +0100 | enemeth79 | (sid309041@gateway/web/irccloud.com/x-mhnfiahuzjkqbdkg) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:32 +0100 | whez | (sid470288@gateway/web/irccloud.com/x-blauwezioburoyvy) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:33 +0100 | chessai | (sid225296@gateway/web/irccloud.com/x-kavvwgqdexvffjul) |
| 2020-11-08 11:00:38 +0100 | billstclair | (sid77830@gateway/web/irccloud.com/x-dpnwvdsjevdsepff) (Read error: Connection reset by peer) |
| 2020-11-08 11:00:40 +0100 | integral | (sid296274@p3m/member/integral) |
| 2020-11-08 11:00:42 +0100 | teehemkay | (sid14792@gateway/web/irccloud.com/x-oyaopddsariqskvr) |
| 2020-11-08 11:00:47 +0100 | whez | (sid470288@gateway/web/irccloud.com/x-izvwsjinqbiccect) |
| 2020-11-08 11:00:50 +0100 | verlet64_ | (sid261276@gateway/web/irccloud.com/x-eieynnxuwbvgyafz) |
| 2020-11-08 11:00:51 +0100 | enemeth79 | (sid309041@gateway/web/irccloud.com/x-caupormkuhtvjyua) |
| 2020-11-08 11:00:56 +0100 | billstclair | (sid77830@gateway/web/irccloud.com/x-gmocwseudwezmlvo) |
| 2020-11-08 11:03:13 +0100 | LKoen | (~LKoen@53.253.88.92.rev.sfr.net) |
| 2020-11-08 11:03:39 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-hscbybzlcqmvyxxg) (Quit: Connection closed for inactivity) |
| 2020-11-08 11:03:57 +0100 | adamse | (sid72084@gateway/web/irccloud.com/x-onphgmdjuxtvhyto) (Ping timeout: 260 seconds) |
| 2020-11-08 11:05:44 +0100 | phaul | (~phaul@ruby/staff/phaul) |
| 2020-11-08 11:06:30 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-woeadvlukonviedq) (Quit: Connection closed for inactivity) |
| 2020-11-08 11:06:45 +0100 | ClaudiusMaximus | (~claude@198.123.199.146.dyn.plus.net) |
| 2020-11-08 11:07:03 +0100 | ClaudiusMaximus | (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 2020-11-08 11:07:03 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2020-11-08 11:07:35 +0100 | <bqv> | i'm looking for lenses over the store comonad |
| 2020-11-08 11:07:47 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-11-08 11:07:47 +0100 | <bqv> | the only trace of that being a thing is one stackoverflow post from long ago |
| 2020-11-08 11:09:01 +0100 | <bqv> | is there no library that considers this |
| 2020-11-08 11:10:05 +0100 | s00pcan | (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 2020-11-08 11:12:03 +0100 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2020-11-08 11:14:42 +0100 | knupfer | (~Thunderbi@mue-88-130-61-023.dsl.tropolys.de) (Ping timeout: 272 seconds) |
| 2020-11-08 11:15:41 +0100 | adamse | (sid72084@gateway/web/irccloud.com/x-gugbiavtvejuwlop) |
| 2020-11-08 11:16:06 +0100 | fendor | (~fendor@078132052150.public.t-mobile.at) |
| 2020-11-08 11:17:03 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2020-11-08 11:18:00 +0100 | hackage | buffet 1.0.1 - Assembles many Dockerfiles in one. https://hackage.haskell.org/package/buffet-1.0.1 (evolutics) |
| 2020-11-08 11:20:24 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) (Ping timeout: 272 seconds) |
| 2020-11-08 11:20:51 +0100 | mmohammadi9812 | (~mmohammad@5.115.198.108) |
| 2020-11-08 11:23:39 +0100 | subttle | (~anonymous@unaffiliated/subttle) |
| 2020-11-08 11:25:36 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2020-11-08 11:26:30 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 244 seconds) |
| 2020-11-08 11:26:34 +0100 | invaser | (~Thunderbi@31.148.23.125) (Quit: invaser) |
| 2020-11-08 11:27:05 +0100 | dvratil | (~dvratil@195.206.169.184) |
| 2020-11-08 11:27:21 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-11-08 11:29:27 +0100 | mud | (~mud@unaffiliated/kadoban) (Read error: Connection reset by peer) |
| 2020-11-08 11:29:53 +0100 | mud | (~mud@unaffiliated/kadoban) |
| 2020-11-08 11:30:15 +0100 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-11-08 11:32:00 +0100 | sw1nn | (~sw1nn@2a00:23c6:2385:3a00:764e:ee26:f610:acc0) (Quit: WeeChat 2.9) |
| 2020-11-08 11:33:49 +0100 | sw1nn | (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 2020-11-08 11:34:43 +0100 | AceNovo | (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 2020-11-08 11:35:05 +0100 | AceNovo | (~chris@184.101.220.149) |
| 2020-11-08 11:37:03 +0100 | coot | (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 2020-11-08 11:46:46 +0100 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-11-08 11:46:47 +0100 | <siraben> | bqv: you're looking for a lens library that uses the store comonad encoding? |
| 2020-11-08 11:48:13 +0100 | <bqv> | I'm looking for a way to create a lens over a `Store b a` |
| 2020-11-08 11:48:38 +0100 | <bqv> | I realise the problem is that comonads aren't, by default, writable |
| 2020-11-08 11:48:46 +0100 | <bqv> | Hm |
| 2020-11-08 11:50:19 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2020-11-08 11:51:00 +0100 | hackage | yesod-core 1.6.18.6 - Creation of type-safe, RESTful web applications. https://hackage.haskell.org/package/yesod-core-1.6.18.6 (MichaelSnoyman) |
| 2020-11-08 11:52:46 +0100 | <siraben> | bqv: https://www.schoolofhaskell.com/user/tel/lenses-from-scratch ? |
| 2020-11-08 11:53:30 +0100 | hackage | yesod-eventsource 1.6.0.1 - Server-sent events support for Yesod apps. https://hackage.haskell.org/package/yesod-eventsource-1.6.0.1 (MichaelSnoyman) |
| 2020-11-08 11:54:35 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 258 seconds) |
| 2020-11-08 11:54:52 +0100 | scasc | (~szabi@213142096120.public.telering.at) (Ping timeout: 246 seconds) |
| 2020-11-08 11:55:50 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 11:56:24 +0100 | <bqv> | siraben: I don't quite follow |
| 2020-11-08 11:56:51 +0100 | <siraben> | quaestor: what do you mean by comonads aren't writable? |
| 2020-11-08 11:57:01 +0100 | <siraben> | They are exactly the categorical dual of monads |
| 2020-11-08 11:57:04 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 11:58:09 +0100 | <bqv> | Would fmap on a Store change every value or just one |
| 2020-11-08 11:58:33 +0100 | <bqv> | I meant no way of changing just one value |
| 2020-11-08 11:59:32 +0100 | <siraben> | bqv: store comonad does not, IIRC. You probably want to look at the van Laarhoven encoding of Lenses |
| 2020-11-08 11:59:40 +0100 | <siraben> | That gives you the full Lens s t a b |
| 2020-11-08 11:59:48 +0100 | <siraben> | `type Lens s t a b = Functor f => (a -> f b) -> (s -> f t)` |
| 2020-11-08 12:00:15 +0100 | <bqv> | Ok |
| 2020-11-08 12:00:53 +0100 | <siraben> | bqv: oh, I have a notes on different ways to implement lenses, see https://github.com/siraben/fp-notes/tree/master/lens |
| 2020-11-08 12:01:54 +0100 | <siraben> | some notes* |
| 2020-11-08 12:02:55 +0100 | <bqv> | Awesome |
| 2020-11-08 12:03:53 +0100 | mmohammadi9812 | (~mmohammad@5.115.198.108) (Ping timeout: 256 seconds) |
| 2020-11-08 12:04:17 +0100 | mmohammadi9812 | (~mmohammad@5.115.208.247) |
| 2020-11-08 12:04:34 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) |
| 2020-11-08 12:09:12 +0100 | Franciman | (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-08 12:11:39 +0100 | da39a3ee5e6b4b0d | (~textual@cm-171-98-71-90.revip7.asianet.co.th) |
| 2020-11-08 12:13:46 +0100 | mi23523523 | (~Mi1029384@82.131.36.218.cable.starman.ee) |
| 2020-11-08 12:14:14 +0100 | <mi23523523> | Hello. Can someone give example of grading decimals ? |
| 2020-11-08 12:14:38 +0100 | <mi23523523> | This: (2567.54257)^(257.525472457) kind of thing seems not to work |
| 2020-11-08 12:15:09 +0100 | LKoen | (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2020-11-08 12:15:30 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-08 12:15:34 +0100 | mmohammadi9812 | (~mmohammad@5.115.208.247) (Ping timeout: 256 seconds) |
| 2020-11-08 12:15:40 +0100 | <xerox_> | :t (^) |
| 2020-11-08 12:15:42 +0100 | <lambdabot> | (Integral b, Num a) => a -> b -> a |
| 2020-11-08 12:15:44 +0100 | <xerox_> | :t (**) |
| 2020-11-08 12:15:45 +0100 | <lambdabot> | Floating a => a -> a -> a |
| 2020-11-08 12:16:50 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) |
| 2020-11-08 12:17:02 +0100 | <ClaudiusMaximus> | :t (^^) |
| 2020-11-08 12:17:04 +0100 | <lambdabot> | (Fractional a, Integral b) => a -> b -> a |
| 2020-11-08 12:18:26 +0100 | <ClaudiusMaximus> | > (2567.54257)**(257.525472457) |
| 2020-11-08 12:18:28 +0100 | <lambdabot> | Infinity |
| 2020-11-08 12:18:39 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-11-08 12:18:46 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 12:19:23 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Read error: Connection reset by peer) |
| 2020-11-08 12:19:25 +0100 | <mi23523523> | thank you |
| 2020-11-08 12:19:45 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 2020-11-08 12:19:49 +0100 | <mi23523523> | but it seems that with decimals the grading doesn't work so well |
| 2020-11-08 12:20:37 +0100 | sw1nn | (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2020-11-08 12:21:01 +0100 | <mi23523523> | Kaiepi, who are you ? |
| 2020-11-08 12:21:06 +0100 | <mi23523523> | Are you from Tartu ? |
| 2020-11-08 12:21:35 +0100 | otulp | (~otulp@ti0187q162-7043.bb.online.no) |
| 2020-11-08 12:21:36 +0100 | <Kaiepi> | no? |
| 2020-11-08 12:21:44 +0100 | <Kaiepi> | i've been a lurker for a while |
| 2020-11-08 12:21:45 +0100 | <mi23523523> | alright |
| 2020-11-08 12:22:00 +0100 | <mi23523523> | I know a Kaie from Tartu |
| 2020-11-08 12:22:02 +0100 | sw1nn | (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 2020-11-08 12:27:10 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 2020-11-08 12:27:25 +0100 | aarvar | (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 246 seconds) |
| 2020-11-08 12:28:33 +0100 | mi23523523 | (~Mi1029384@82.131.36.218.cable.starman.ee) (Remote host closed the connection) |
| 2020-11-08 12:31:16 +0100 | <siraben> | What's a grading decimal? |
| 2020-11-08 12:31:56 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 12:32:59 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 12:35:53 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 12:36:23 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 12:37:53 +0100 | alp | (~alp@2a01:e0a:58b:4920:cc91:4498:5c:7f27) |
| 2020-11-08 12:39:22 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 12:39:48 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 12:41:42 +0100 | da39a3ee5e6b4b0d | (~textual@cm-171-98-71-90.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 2020-11-08 12:41:43 +0100 | bitmagie | (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-08 12:43:03 +0100 | gtk | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 12:43:24 +0100 | <gtk> | class Convertible a b | a -> b where... I don't understand why a -> b is necessary |
| 2020-11-08 12:43:52 +0100 | <gtk> | because in the instance definition, we are clear what b is |
| 2020-11-08 12:44:20 +0100 | jedws | (~jedws@101.184.150.81) |
| 2020-11-08 12:44:27 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 12:46:03 +0100 | RoguePointer | (~jigen@unaffiliated/roguepointer) (Quit: <>) |
| 2020-11-08 12:47:59 +0100 | <fendor> | gtk, to guide type inference. It basically says, if you know a, you know b, and iirc, it means that there should only be one instance per a. |
| 2020-11-08 12:49:30 +0100 | <gtk> | only one instance per a! |
| 2020-11-08 12:49:42 +0100 | <gtk> | why the doc don't mention this |
| 2020-11-08 12:49:45 +0100 | <gtk> | this is the key! |
| 2020-11-08 12:50:02 +0100 | <gtk> | thx fendor |
| 2020-11-08 12:50:23 +0100 | <fendor> | gtk, the relevant docs are functional dependencies |
| 2020-11-08 12:50:42 +0100 | <fendor> | https://wiki.haskell.org/Functional_dependencies |
| 2020-11-08 12:50:50 +0100 | Chi1thangoo | (~Chi1thang@87.112.60.168) |
| 2020-11-08 12:50:54 +0100 | <fendor> | *are from |
| 2020-11-08 12:50:55 +0100 | <gtk> | i know. I just think that the dependencies are obvious during instance definition |
| 2020-11-08 12:51:05 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 12:51:43 +0100 | <fendor> | unfortunately, not. Take for instance the array typeclass. It has two parameters, the index type and the value type. They have no dependency, though |
| 2020-11-08 12:51:57 +0100 | <fendor> | would be sad if you could only have one index type per value type or vice versa |
| 2020-11-08 12:52:21 +0100 | <gtk> | good point |
| 2020-11-08 12:53:04 +0100 | m0rphism | (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 2020-11-08 12:55:02 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2020-11-08 12:55:30 +0100 | chisui_ | (2e728e2b@dynamic-046-114-142-043.46.114.pool.telefonica.de) |
| 2020-11-08 12:55:48 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 2020-11-08 12:57:20 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2020-11-08 12:57:29 +0100 | <chisui_> | Hello, is there a way to embed haskell expressions inside of QuasiQuotes without writing your own haskell parser? |
| 2020-11-08 12:57:49 +0100 | valdyn | (~valdyn@host-88-217-143-53.customer.m-online.net) (Remote host closed the connection) |
| 2020-11-08 12:59:21 +0100 | codygman | (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 2020-11-08 12:59:36 +0100 | hiroaki | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 2020-11-08 13:00:01 +0100 | dvratil | (~dvratil@195.206.169.184) () |
| 2020-11-08 13:00:16 +0100 | motte | (~weechat@unaffiliated/motte) (Ping timeout: 260 seconds) |
| 2020-11-08 13:00:28 +0100 | codygman | (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) |
| 2020-11-08 13:00:41 +0100 | hiroaki | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-11-08 13:01:12 +0100 | hiroaki | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 2020-11-08 13:02:00 +0100 | codygman | (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) (Read error: Connection reset by peer) |
| 2020-11-08 13:02:17 +0100 | codygman | (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) |
| 2020-11-08 13:02:24 +0100 | codygman | (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) (Client Quit) |
| 2020-11-08 13:04:22 +0100 | pfurla | (~pfurla@185.108.105.122) (Ping timeout: 256 seconds) |
| 2020-11-08 13:07:44 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2020-11-08 13:07:50 +0100 | bitmagie | (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) |
| 2020-11-08 13:10:25 +0100 | gtk | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2020-11-08 13:11:09 +0100 | carlomagno | (~cararell@148.87.23.11) (Remote host closed the connection) |
| 2020-11-08 13:11:15 +0100 | Sanchayan | (~Sanchayan@223.226.118.59) |
| 2020-11-08 13:12:48 +0100 | Sanchayan | (~Sanchayan@223.226.118.59) (Client Quit) |
| 2020-11-08 13:15:32 +0100 | xff0x | (~fox@2001:1a81:52da:100:907d:99cc:c60e:cc24) (Ping timeout: 260 seconds) |
| 2020-11-08 13:16:04 +0100 | alp | (~alp@2a01:e0a:58b:4920:cc91:4498:5c:7f27) (Ping timeout: 240 seconds) |
| 2020-11-08 13:16:17 +0100 | chisui_ | (2e728e2b@dynamic-046-114-142-043.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2020-11-08 13:16:18 +0100 | xff0x | (~fox@2001:1a81:52da:100:72bb:28a0:cf70:9b87) |
| 2020-11-08 13:19:05 +0100 | berberman_ | berberman |
| 2020-11-08 13:19:06 +0100 | dorkside | (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 2020-11-08 13:19:22 +0100 | drbean | (~drbean@TC210-63-209-151.static.apol.com.tw) |
| 2020-11-08 13:19:32 +0100 | dorkside | (~tdbgamer@208.190.197.222) |
| 2020-11-08 13:19:32 +0100 | dorkside | (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 2020-11-08 13:19:48 +0100 | scasc | (~szabi@213142096120.public.telering.at) |
| 2020-11-08 13:19:52 +0100 | dorkside | (~tdbgamer@208.190.197.222) |
| 2020-11-08 13:19:52 +0100 | dorkside | (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 2020-11-08 13:20:12 +0100 | dorkside | (~tdbgamer@208.190.197.222) |
| 2020-11-08 13:20:12 +0100 | dorkside | (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 2020-11-08 13:20:32 +0100 | dorkside | (~tdbgamer@208.190.197.222) |
| 2020-11-08 13:20:32 +0100 | dorkside | (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 2020-11-08 13:21:21 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 13:22:37 +0100 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 2020-11-08 13:26:49 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 13:28:08 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 13:28:16 +0100 | scasc | (~szabi@213142096120.public.telering.at) (Quit: Leaving) |
| 2020-11-08 13:29:00 +0100 | avdb | (~avdb@ip-62-235-106-244.dsl.scarlet.be) |
| 2020-11-08 13:29:40 +0100 | <chreekat[m]> | Template Haskell? |
| 2020-11-08 13:30:23 +0100 | sakirious | (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2020-11-08 13:31:10 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 13:31:26 +0100 | <frdg> | I just came back to my stack project and GHCID is giving me an error that it cannot find a module that it should be able to find. I am able to run the program successfully with `stack run` and I can load everything into GHCI just fine, so the problem must be GHCID. Here is the error: https://dpaste.org/xmq7 |
| 2020-11-08 13:33:06 +0100 | <frdg> | here is the output if I use the -v flag like it says: I really cant make any sense of it. https://dpaste.org/rjri |
| 2020-11-08 13:34:09 +0100 | revtintin | (~revtintin@42.61.242.247) (Quit: WeeChat 1.9.1) |
| 2020-11-08 13:34:40 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 13:35:59 +0100 | RoguePointer | (~jigen@94.177.235.178) |
| 2020-11-08 13:35:59 +0100 | RoguePointer | (~jigen@94.177.235.178) (Changing host) |
| 2020-11-08 13:35:59 +0100 | RoguePointer | (~jigen@unaffiliated/roguepointer) |
| 2020-11-08 13:37:07 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2020-11-08 13:37:20 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2020-11-08 13:38:13 +0100 | machinedgod | (~machinedg@207.253.244.210) |
| 2020-11-08 13:38:28 +0100 | <fendor> | frdg, try executing "stack exec -- ghci -isrc -iapp ~/haskell/fishing-web-app/app/Main.hs" directly, the error message will probbaly be helpful |
| 2020-11-08 13:40:52 +0100 | <frdg> | fendor: I get the exact same error that ghcid gave. |
| 2020-11-08 13:41:15 +0100 | <fendor> | then I guess that is a stack error |
| 2020-11-08 13:41:39 +0100 | L29Ah | (~L29Ah@unaffiliated/l29ah) (Quit: Gateway shutdown) |
| 2020-11-08 13:41:56 +0100 | <fendor> | maybe hpack did not regenerate the cabal file correctly? Or did you update the .cabal file manually? |
| 2020-11-08 13:42:16 +0100 | <frdg> | I update the cabal file manually |
| 2020-11-08 13:43:05 +0100 | JuanMiguel | (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 2020-11-08 13:43:06 +0100 | <fendor> | frdg, can you maybe share the error message? |
| 2020-11-08 13:43:17 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-08 13:43:22 +0100 | <fendor> | is it this: can't find file: stack exec -- ghci -isrc -iapp ~/haskell/fishing-web-app/app/Main.hs |
| 2020-11-08 13:43:54 +0100 | <frdg> | https://dpaste.org/cD9k |
| 2020-11-08 13:44:43 +0100 | L29Ah | (~L29Ah@unaffiliated/l29ah) |
| 2020-11-08 13:45:13 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 13:45:40 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 13:45:41 +0100 | <fendor> | and this module exists as src/Base.hs? maybe ghcid is not executed in ~/haskell/fishing-web-app but some root directory of it? |
| 2020-11-08 13:45:51 +0100 | <fendor> | *parent directory |
| 2020-11-08 13:46:44 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 13:46:52 +0100 | <frdg> | no it exists in `app/Base.hs` |
| 2020-11-08 13:46:58 +0100 | <fendor> | same thing basically |
| 2020-11-08 13:47:10 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 13:51:02 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 13:52:02 +0100 | <fendor> | frdg, however, if you can re-produce it locally, it definitely is not ghcid specific |
| 2020-11-08 13:52:57 +0100 | <avdb> | I just learned about monads but they seem really "performance intensive", is it really the ideal solution? |
| 2020-11-08 13:53:35 +0100 | knupfer | (~Thunderbi@200116b82ca873008cc39c41af455969.dip.versatel-1u1.de) |
| 2020-11-08 13:53:47 +0100 | <maerwald> | you're right... inlining and specialization sometimes helps |
| 2020-11-08 13:54:09 +0100 | <maerwald> | https://neilmitchell.blogspot.com/2019/10/monads-as-graphs.html is interesting |
| 2020-11-08 13:54:29 +0100 | <maerwald> | and https://www.youtube.com/watch?v=0jI-AlWEwYI |
| 2020-11-08 13:54:32 +0100 | <frdg> | fendor: yes this is surely good to know. I have reinstalled stack since I last worked with this project. It is just strange that I can compile and run it. |
| 2020-11-08 13:55:47 +0100 | <fendor> | frdg, I would rather suggest to nuke the .stack-work/ folder and see if that helps |
| 2020-11-08 13:56:24 +0100 | JuanMiguel | (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 2020-11-08 13:56:51 +0100 | DrGuschtel | (~DrGuschte@84.39.116.180) |
| 2020-11-08 13:57:31 +0100 | <frdg> | fendor: same error after removing that folder |
| 2020-11-08 13:58:06 +0100 | Gurkenglas__ | (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-11-08 13:58:10 +0100 | geekosaur | (ac3a5366@172.58.83.102) |
| 2020-11-08 14:00:00 +0100 | sw1nn | (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Quit: WeeChat 2.9) |
| 2020-11-08 14:00:15 +0100 | bergsans | (~bergsans@c80-217-8-29.bredband.comhem.se) |
| 2020-11-08 14:01:16 +0100 | sw1nn | (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 2020-11-08 14:05:35 +0100 | Saukk | (~Saukk@85-156-19-45.elisa-laajakaista.fi) (Remote host closed the connection) |
| 2020-11-08 14:08:27 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-11-08 14:09:46 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 14:10:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 14:13:06 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 14:18:51 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 2020-11-08 14:19:19 +0100 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2020-11-08 14:19:47 +0100 | <Ariakenom> | avdb, there performance is great afaik. what do u mean? |
| 2020-11-08 14:22:00 +0100 | machinedgod | (~machinedg@207.253.244.210) (Ping timeout: 256 seconds) |
| 2020-11-08 14:23:08 +0100 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 2020-11-08 14:24:38 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2020-11-08 14:25:42 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 2020-11-08 14:25:55 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 14:29:03 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 14:32:33 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 14:32:46 +0100 | Achylles | (~Achylles@187.34.14.187) |
| 2020-11-08 14:33:54 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 14:33:57 +0100 | Achylles | (~Achylles@187.34.14.187) (Max SendQ exceeded) |
| 2020-11-08 14:34:30 +0100 | Achylles | (~Achylles@187.34.14.187) |
| 2020-11-08 14:35:26 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2020-11-08 14:36:07 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-08 14:36:53 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 14:38:11 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 14:44:21 +0100 | texasmynsted | (~texasmyns@64.44.55.100) |
| 2020-11-08 14:44:54 +0100 | knupfer | (~Thunderbi@200116b82ca873008cc39c41af455969.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-11-08 14:45:13 +0100 | drbean | (~drbean@TC210-63-209-151.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 2020-11-08 14:46:19 +0100 | <maerwald> | Ariakenom: it isn't, that's why free monads are slow too and applicative has more ways for the compiler to optimise |
| 2020-11-08 14:46:22 +0100 | shatriff | (~vitaliish@176.52.219.10) (Read error: Connection reset by peer) |
| 2020-11-08 14:46:48 +0100 | <maerwald> | this is a basic problem for effects systems as well |
| 2020-11-08 14:46:51 +0100 | shatriff | (~vitaliish@176.52.219.10) |
| 2020-11-08 14:47:38 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Quit: p-core) |
| 2020-11-08 14:48:04 +0100 | dansho | (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 2020-11-08 14:48:13 +0100 | <Ariakenom> | free monads yes. but normal concrete ones are not |
| 2020-11-08 14:48:47 +0100 | <maerwald> | yes they are, because tho next effect depends on the valuee |
| 2020-11-08 14:49:28 +0100 | Achylles | (~Achylles@187.34.14.187) (Remote host closed the connection) |
| 2020-11-08 14:50:30 +0100 | <maerwald> | also relevant https://www.vidarholen.net/contents/blog/?p=859 wrt transformers slowing down your program by 10% |
| 2020-11-08 14:51:25 +0100 | <maerwald> | it's also true intuitevely, because it's the most expressive tool, where effects depend on values |
| 2020-11-08 14:51:33 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-11-08 14:51:46 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 14:52:42 +0100 | <maerwald> | that limits statical analysis too as described in Neils blog post |
| 2020-11-08 14:54:51 +0100 | Achylles | (~Achylles@187.34.14.187) |
| 2020-11-08 14:54:58 +0100 | <Ariakenom> | the relevant comparison here,, I would think, would be between side effects and IO. And I've never seen any claim that IO is slow. (not that side effects would work in haskell but still) |
| 2020-11-08 14:55:15 +0100 | <maerwald> | for it to perform well at all, you need to rely on GHC to do a lot of nice optimisations. If they break, for esoteric reasons, you're left with bad performance |
| 2020-11-08 14:55:42 +0100 | <merijn> | maerwald: that's only for polymorphic do blocks/monadic actions |
| 2020-11-08 14:55:44 +0100 | <geekosaur> | IO is known to have slow cases. they're usually hidden by ghc optimizations and by I/O itself being slow |
| 2020-11-08 14:56:13 +0100 | <merijn> | There's too many wish-washy words and descriptions in this discussion for it to be remotely useful, though |
| 2020-11-08 14:56:59 +0100 | <merijn> | For one, I call BS on the claim that "Applicative gets better optimised than Monad" beyond "some people have implemented more efficient Applicative instances" |
| 2020-11-08 14:57:29 +0100 | <merijn> | The amount of optimisation GHC does, doesn't make use of class laws, afaik, so that can't matter |
| 2020-11-08 14:58:39 +0100 | geekosaur | (ac3a5366@172.58.83.102) (Remote host closed the connection) |
| 2020-11-08 14:58:40 +0100 | <merijn> | "transformers is 10% slower" is also impossibly general. 10% slow than what? What's your baseline? What's the code? Without precision about what performance/numbers we're tracking, what we're comparing against, this is just some IRC masturbation about our favourite/unfavourite abstractions |
| 2020-11-08 14:58:52 +0100 | <maerwald> | merijn: see the link |
| 2020-11-08 14:59:15 +0100 | <maerwald> | I was very specific |
| 2020-11-08 14:59:20 +0100 | <merijn> | I see 0 mentions of "transformers" when searching that page |
| 2020-11-08 14:59:28 +0100 | <maerwald> | then you didn't read it properly |
| 2020-11-08 14:59:32 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2020-11-08 14:59:48 +0100 | <merijn> | I didn't read, I searched |
| 2020-11-08 14:59:50 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 14:59:52 +0100 | <maerwald> | "Converting them to a cleaner ReaderT led to a 10% total run time regression, so I had to revert it." |
| 2020-11-08 14:59:54 +0100 | <Ariakenom> | search 10% or readert |
| 2020-11-08 14:59:55 +0100 | <merijn> | Anyway, I found it |
| 2020-11-08 15:00:33 +0100 | <merijn> | "10% between functions and ReaderT" <- was that using polymorphic mtl style code or using transformers? Do you have a sample? 10% regression in what? wallclock time? memory? |
| 2020-11-08 15:00:55 +0100 | <maerwald> | run time regression |
| 2020-11-08 15:02:20 +0100 | <maerwald> | ReaderT is a transformer, not mtl |
| 2020-11-08 15:02:36 +0100 | <maerwald> | I didn't look at the PR though |
| 2020-11-08 15:02:51 +0100 | <merijn> | Yes, but you can use ReaderT in a stack and still write intermediate code using mtl |
| 2020-11-08 15:03:01 +0100 | <merijn> | In fact, lots of people do |
| 2020-11-08 15:05:28 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-08 15:07:24 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-11-08 15:08:45 +0100 | <maerwald> | "instances can perform analysis of computations before they are executed, and thus produce shared optimizations." :) |
| 2020-11-08 15:09:08 +0100 | plakband | (~plakband@softbank126126238105.bbtec.net) |
| 2020-11-08 15:10:28 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2020-11-08 15:11:24 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-11-08 15:12:45 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Ping timeout: 240 seconds) |
| 2020-11-08 15:13:17 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-11-08 15:13:30 +0100 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-08 15:14:45 +0100 | <merijn> | My point is that that's just a matter of "<*>" is a different function than >>= |
| 2020-11-08 15:15:27 +0100 | <merijn> | There's no reason you couldn't do the same thing transformers IFF users restrict themselves to <*> |
| 2020-11-08 15:16:00 +0100 | <merijn> | And if they can't restrict themselves to <*> the entire discussion is moot, since that means they can't implement it without using Monad anyway |
| 2020-11-08 15:17:04 +0100 | <merijn> | So "Applicatives are faster than monads" is true in the same vacuous sense that "return 42" is faster than "doing actual computation", which is great if returning 42 is all you need, but utterly pointless if you need something else |
| 2020-11-08 15:17:53 +0100 | <maerwald> | And I've read a lot that <*> often outperform `ap` |
| 2020-11-08 15:19:52 +0100 | <merijn> | That's an artifact of ap not being a class method and predating AMP, being implemented using >>= |
| 2020-11-08 15:20:39 +0100 | <merijn> | We could easily make it either a class method or change it to be <*>, but then everyone who defined Applicative using `ap` has their code break |
| 2020-11-08 15:20:50 +0100 | <merijn> | There's also literally no reason to use "ap" ever |
| 2020-11-08 15:22:36 +0100 | <[exa]> | hm, what's the easiest way/package/function to convert string-ish numbers to unixtime? (even ignoring the about the amount of ambiguity hidden in that task) |
| 2020-11-08 15:23:01 +0100 | <maerwald> | [exa]: there are a few fuzzy time parsers |
| 2020-11-08 15:23:17 +0100 | <[exa]> | in particular, I just found that `Data.UnixTime.parseUnixTime "%Y-%m-%d" "2020-10-32"` is the same as for "2020-10-0" with no error reported |
| 2020-11-08 15:23:36 +0100 | <maerwald> | @hackage fuzzy-dates |
| 2020-11-08 15:23:36 +0100 | <lambdabot> | https://hackage.haskell.org/package/fuzzy-dates |
| 2020-11-08 15:23:37 +0100 | <[exa]> | at least the errors would be cool |
| 2020-11-08 15:23:54 +0100 | <merijn> | [exa]: Where is Data.UnixTime from? |
| 2020-11-08 15:24:00 +0100 | <merijn> | And why are you not using Data.Time? |
| 2020-11-08 15:24:04 +0100 | lep-delete | (~lep@94.31.83.149) (Read error: Connection reset by peer) |
| 2020-11-08 15:24:34 +0100 | <[exa]> | package `unix-time` |
| 2020-11-08 15:24:53 +0100 | <[exa]> | it was here in the project, expected no shenanigans |
| 2020-11-08 15:25:17 +0100 | lep-delete | (~lep@94.31.83.149) |
| 2020-11-08 15:25:25 +0100 | yinfeng | (~yinfeng@114.212.87.131) (Ping timeout: 264 seconds) |
| 2020-11-08 15:25:45 +0100 | <merijn> | [exa]: Seems easiest to just parse a UTCTime using "time" and then use utcTimeToPOSIXSeconds ? |
| 2020-11-08 15:25:51 +0100 | lep-delete | test |
| 2020-11-08 15:26:20 +0100 | test | Guest67212 |
| 2020-11-08 15:26:50 +0100 | <[exa]> | merijn: will try, thanks |
| 2020-11-08 15:31:40 +0100 | Achylles_ | (~Achylles@191.205.18.155) |
| 2020-11-08 15:32:03 +0100 | <__monty__> | Isn't Data.Time anything but lax/fuzzy? |
| 2020-11-08 15:33:33 +0100 | <[exa]> | oh that at least knows how to fail on Oct 32th |
| 2020-11-08 15:34:04 +0100 | <merijn> | __monty__: Hence my suggestion to use that, rather than unix-time? |
| 2020-11-08 15:35:06 +0100 | Achylles | (~Achylles@187.34.14.187) (Ping timeout: 256 seconds) |
| 2020-11-08 15:35:56 +0100 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2020-11-08 15:37:27 +0100 | <__monty__> | Lacking reading comprehension. For some reason I thought [exa] was asking for a lax time parser. |
| 2020-11-08 15:37:49 +0100 | [exa] | googinling what's a lax parser |
| 2020-11-08 15:38:17 +0100 | <[exa]> | like, ideally I'd love to have the time parser from gnu date |
| 2020-11-08 15:38:32 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-08 15:39:01 +0100 | <__monty__> | [exa]: It's a parser that's not strict about the input format it accepts. Think HTML in browsers, at least older browsers. |
| 2020-11-08 15:40:24 +0100 | <[exa]> | oh good, thanks |
| 2020-11-08 15:40:48 +0100 | tochicool | (~tochicool@31.124.45.74) |
| 2020-11-08 15:40:48 +0100 | tochicool | (~tochicool@31.124.45.74) (Client Quit) |
| 2020-11-08 15:41:08 +0100 | tochicool | (~tochicool@188.166.170.246) |
| 2020-11-08 15:41:41 +0100 | <maerwald> | yes, see fuzzy-dates |
| 2020-11-08 15:42:33 +0100 | plutoniix | (~q@node-ull.pool-125-24.dynamic.totinternet.net) |
| 2020-11-08 15:44:10 +0100 | <[exa]> | eyebrow very raised |
| 2020-11-08 15:47:26 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:3b3a:dfa6:d69e:5cd8) (Ping timeout: 264 seconds) |
| 2020-11-08 15:48:40 +0100 | tobiasBora | (~weechat@176-190-197-81.abo.bbox.fr) |
| 2020-11-08 15:49:31 +0100 | <tobiasBora> | Hello, I'd like to know, is there a function like MonadFail m => String -> Maybe a -> m a, that basically fails with String if a is Nothing, else returns a? |
| 2020-11-08 15:51:29 +0100 | <maerwald> | :t \x -> maybe (fail x) pure |
| 2020-11-08 15:51:30 +0100 | <lambdabot> | MonadFail m => String -> Maybe a -> m a |
| 2020-11-08 15:51:42 +0100 | <[exa]> | tobiasBora: `fromMaybe . fail` could work |
| 2020-11-08 15:52:08 +0100 | <[exa]> | (modulo some operand grouping) |
| 2020-11-08 15:52:51 +0100 | <[exa]> | oh ofc I'm missing return, maerwald has it right. :] |
| 2020-11-08 15:53:36 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2020-11-08 15:53:43 +0100 | <maerwald> | :t flip maybe pure . fail |
| 2020-11-08 15:53:45 +0100 | <lambdabot> | MonadFail f => String -> Maybe a -> f a |
| 2020-11-08 15:54:00 +0100 | <tobiasBora> | Cool, thanks a lot! |
| 2020-11-08 15:54:02 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2020-11-08 15:54:25 +0100 | <tobiasBora> | I have so much trouble to parse stuff like flip maybe pure . fail |
| 2020-11-08 15:54:39 +0100 | <maerwald> | stick to the lambda thing then |
| 2020-11-08 15:54:53 +0100 | <maerwald> | this is just eta reduction, which is good for top level functions |
| 2020-11-08 15:56:42 +0100 | Techcable | (znc@irc.techcable.net) (Quit: ZNC - http://znc.in) |
| 2020-11-08 15:56:43 +0100 | <tochicool> | does anyone know why this will not type check? let g f = bimap f f in g id ((),False) |
| 2020-11-08 15:57:21 +0100 | carlomagno | (~cararell@148.87.23.13) |
| 2020-11-08 15:58:06 +0100 | Techcable | (znc@irc.techcable.net) |
| 2020-11-08 15:58:46 +0100 | <fendor> | oh, isn't that because of Monomophism Restriction? |
| 2020-11-08 15:58:57 +0100 | <tobiasBora> | You parent it like "((flip maybe) pure) . fail" = "\x -> ((flip maybe) pure) (fail x)" = "maybe (fail x) pure" I guess. But when you read stuff like "flip maybe pure . fail", is it like trivial for you, or you still have to think about this kind of expressions to understand them? I still miss intuition to parse Haskell code quickly$ |
| 2020-11-08 15:59:12 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:96ae:e603:6cd4:c30b) |
| 2020-11-08 15:59:21 +0100 | <merijn> | tobiasBora: The solution is to give it a name and dump it in a where block |
| 2020-11-08 15:59:25 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-08 16:00:01 +0100 | <maerwald> | it isn't intuitive, it's just hand-optimisation so it can better inline. I almost always start with lambdas and explicit arguments |
| 2020-11-08 16:00:01 +0100 | DrGuschtel | (~DrGuschte@84.39.116.180) () |
| 2020-11-08 16:00:23 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-ugqvpbihzsnuhnwq) |
| 2020-11-08 16:00:44 +0100 | <merijn> | tochicool: Because that requires a RankN type |
| 2020-11-08 16:01:16 +0100 | <merijn> | tochicool: A question: What is the type of 'g'? |
| 2020-11-08 16:03:39 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-11-08 16:04:00 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 16:04:30 +0100 | hackage | minizinc-process 0.1.2.1 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.2.1 (LucasDiCioccio) |
| 2020-11-08 16:04:43 +0100 | hekkaidekapus_ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Client Quit) |
| 2020-11-08 16:05:06 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2020-11-08 16:06:46 +0100 | <tochicool> | merijn: i think ghc is inferring: Bifunctor p => (a -> d) -> p a a -> p d d - but i'm not sure how to type the more general function |
| 2020-11-08 16:07:06 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 16:07:06 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-iuvslqcwjrfktbse) (Quit: Connection closed for inactivity) |
| 2020-11-08 16:07:20 +0100 | Achylles__ | (~Achylles@200-100-230-202.dial-up.telesp.net.br) |
| 2020-11-08 16:07:41 +0100 | <merijn> | tochicool: Basically, what your example needs is some way of expressing that your input function works "for all possible input types" (as 'id' does), right? |
| 2020-11-08 16:08:22 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 2020-11-08 16:08:26 +0100 | alp | (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) |
| 2020-11-08 16:09:07 +0100 | <merijn> | One way to type your specific example would be "Bifunctor p => (forall a . a -> a) -> p b c -> p b c" (the forall indicating that the function is 'a -> a', for, well, all possible 'a') |
| 2020-11-08 16:09:47 +0100 | <merijn> | tochicool: This use of "forall" is a rank 2 type, which requires an extension for GHC to use |
| 2020-11-08 16:10:38 +0100 | <merijn> | Additionally, they're no inferrable (well, technically Rank2 is inferrable, but higher ranks aren't. However the inference for rank 2 types is so horrific that GHC does not implement it) |
| 2020-11-08 16:10:48 +0100 | Achylles_ | (~Achylles@191.205.18.155) (Ping timeout: 256 seconds) |
| 2020-11-08 16:10:50 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2020-11-08 16:10:53 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-11-08 16:10:56 +0100 | <avdb> | I'm confused, is combining functions commutative? For example, if I have f(g(x)), is it the same as g(f(x))? |
| 2020-11-08 16:11:15 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 16:11:22 +0100 | <merijn> | avdb: Not in general, no |
| 2020-11-08 16:11:53 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 2020-11-08 16:12:04 +0100 | luke | (~luke@bitnomial/staff/luke) |
| 2020-11-08 16:12:19 +0100 | <avdb> | https://imgur.com/PCYZBJy.png |
| 2020-11-08 16:12:21 +0100 | <__monty__> | avdb: A simple example would be incrementing and doubling. |
| 2020-11-08 16:12:32 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 2020-11-08 16:12:44 +0100 | <avdb> | I just tried, it is indeed not the same, seems like I found misinformation in a video on YouTube! |
| 2020-11-08 16:12:57 +0100 | <avdb> | Or maybe it only applies to non-numerical functions or something |
| 2020-11-08 16:13:05 +0100 | <__monty__> | Nope. |
| 2020-11-08 16:13:07 +0100 | <merijn> | avdb: nope |
| 2020-11-08 16:13:21 +0100 | <merijn> | avdb: Consider 'f :: Int -> Bool' and 'g :: Char -> Int' |
| 2020-11-08 16:13:30 +0100 | <merijn> | Those can only go one way around :) |
| 2020-11-08 16:13:54 +0100 | <avdb> | https://imgur.com/PCYZBJy.png |
| 2020-11-08 16:14:06 +0100 | <merijn> | avdb: There are classes of functions that are commutative, but you'd have to specify you're only talking about that specific class of functions |
| 2020-11-08 16:14:25 +0100 | <avdb> | Oops wrong screenshot, do you need the video? |
| 2020-11-08 16:14:26 +0100 | <tochicool> | merijn: ok thanks, what i have in mind is something like g :: Bifunctor f => (f :: forall a b . a -> b) -> p a a -> p (f a) (f a) |
| 2020-11-08 16:14:39 +0100 | <avdb> | https://www.youtube.com/watch?v=ZhuHCtR3xq8 |
| 2020-11-08 16:14:41 +0100 | <avdb> | 11:50 |
| 2020-11-08 16:14:57 +0100 | <merijn> | tochicool: You can't write a sensible "forall a b . a -> b" |
| 2020-11-08 16:14:59 +0100 | <avdb> | Sorry for being a little spammy, I need to make sure that I understand it |
| 2020-11-08 16:15:13 +0100 | <merijn> | tochicool: The only possible ones are "undefined" and "unsafeCoerce" |
| 2020-11-08 16:16:19 +0100 | <merijn> | tochicool: Note that something like "(Bifunctor f, Applicative g) => (forall . a -> g a) -> p b c -> p (g b) (g c)" can work |
| 2020-11-08 16:16:28 +0100 | <merijn> | tochicool: But "insufficient info" :) |
| 2020-11-08 16:16:40 +0100 | <__monty__> | avdb: I doubt he's making a mistake. He may be relying on the fact that the type "a -> a" only has a single possible implementation (disregarding errors and undefined etc.). |
| 2020-11-08 16:17:23 +0100 | <avdb> | __monty__: Thanks for the correction, I knew something was off! |
| 2020-11-08 16:18:40 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2020-11-08 16:20:00 +0100 | hackage | ihaskell-hvega 0.3.2.0 - IHaskell display instance for hvega types. https://hackage.haskell.org/package/ihaskell-hvega-0.3.2.0 (DouglasBurke) |
| 2020-11-08 16:21:00 +0100 | hackage | hvega 0.11.0.0 - Create Vega-Lite visualizations (version 4) in Haskell. https://hackage.haskell.org/package/hvega-0.11.0.0 (DouglasBurke) |
| 2020-11-08 16:21:33 +0100 | luke | (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 2020-11-08 16:22:04 +0100 | nbloomf | (~nbloomf@76.217.43.73) |
| 2020-11-08 16:24:35 +0100 | <hekkaidekapus> | merijn: The Rank-N topic apart, it seems this would suffice for tochicool’s immediate question: `f ∷ a → b; bimap f f`. |
| 2020-11-08 16:24:40 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 16:26:08 +0100 | <merijn> | hekkaidekapus: Not in his ((), False) example |
| 2020-11-08 16:26:42 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) |
| 2020-11-08 16:27:08 +0100 | <hekkaidekapus> | merijn: Right, didn’t scroll back enough. |
| 2020-11-08 16:30:18 +0100 | acidjnk_new2 | (~acidjnk@p200300d0c718f691fdd3038ca44bce6e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 16:32:18 +0100 | <tochicool> | merjin: ok thanks :) so there really is no way to get that to work.. |
| 2020-11-08 16:33:36 +0100 | <tochicool> | merijn++ |
| 2020-11-08 16:33:49 +0100 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-08 16:33:53 +0100 | <__monty__> | avdb: I'm at 21:00 and he still hasn't said anything about commuting? |
| 2020-11-08 16:35:11 +0100 | <__monty__> | avdb: At 24:20 he even explicitly says commutation isn't a necessary condition. |
| 2020-11-08 16:35:21 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 16:39:50 +0100 | frdg | (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2020-11-08 16:40:14 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2020-11-08 16:40:20 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 16:40:24 +0100 | geekosaur | (ac3a8b88@172.58.139.136) |
| 2020-11-08 16:41:25 +0100 | vfaronov | (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 2020-11-08 16:43:03 +0100 | <avdb> | __monty__: I made up commuting as an example, ge only said that if you combine f with g like f(g(x)) and g(f(x)) that it's the same thing |
| 2020-11-08 16:43:14 +0100 | renzhi | (~renzhi@2607:fa49:655f:e600::28da) |
| 2020-11-08 16:43:30 +0100 | Franciman | (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-08 16:50:37 +0100 | fendor | (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 256 seconds) |
| 2020-11-08 16:52:03 +0100 | dabura | (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) |
| 2020-11-08 16:52:26 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 258 seconds) |
| 2020-11-08 16:53:05 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-11-08 16:55:20 +0100 | CareBearemcho | (~CareBeare@185.204.1.185) |
| 2020-11-08 16:55:24 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 16:55:37 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-11-08 16:56:25 +0100 | dabura | (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 2020-11-08 16:56:58 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 16:57:27 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 16:57:46 +0100 | <merijn> | tochicool: If you have a more concrete example it might be possible, but it depends on what *exactly* you're trying to do |
| 2020-11-08 16:58:39 +0100 | dabura | (~pablo@45.86.201.19) |
| 2020-11-08 16:59:48 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 17:00:04 +0100 | alvinsj[m] | (alvinsjmat@gateway/shell/matrix.org/x-euntbxjpvrijrxmx) (Quit: Idle for 30+ days) |
| 2020-11-08 17:00:08 +0100 | Wamanuz2 | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2020-11-08 17:01:06 +0100 | alp | (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) (Ping timeout: 268 seconds) |
| 2020-11-08 17:02:06 +0100 | EoF | (~EoF@ip5b419221.dynamic.kabel-deutschland.de) |
| 2020-11-08 17:02:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 17:02:54 +0100 | EoF | (~EoF@ip5b419221.dynamic.kabel-deutschland.de) (Client Quit) |
| 2020-11-08 17:03:40 +0100 | Wamanuz | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2020-11-08 17:06:39 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2020-11-08 17:07:28 +0100 | Wamanuz2 | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2020-11-08 17:07:37 +0100 | Wamanuz2 | (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2020-11-08 17:08:14 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 17:09:40 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) |
| 2020-11-08 17:11:06 +0100 | <__monty__> | avdb: Hmm, I think you should rewatch. He said they're different afaict. |
| 2020-11-08 17:12:40 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds) |
| 2020-11-08 17:15:20 +0100 | knupfer | (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) |
| 2020-11-08 17:15:20 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 17:16:46 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 17:16:59 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 17:17:06 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-11-08 17:18:39 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 17:21:49 +0100 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2020-11-08 17:21:56 +0100 | nbloomf | (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 17:23:05 +0100 | sagax | (~sagax_nb@213.138.71.146) (Ping timeout: 240 seconds) |
| 2020-11-08 17:23:21 +0100 | ggole | (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) |
| 2020-11-08 17:24:31 +0100 | hackage | type-of-html 1.6.1.2 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.2 (knupfer) |
| 2020-11-08 17:25:13 +0100 | dabura | (~pablo@45.86.201.19) (Quit: Lost terminal) |
| 2020-11-08 17:30:07 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 17:37:54 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 17:38:16 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 17:39:14 +0100 | geekosaur | (ac3a8b88@172.58.139.136) (Remote host closed the connection) |
| 2020-11-08 17:39:35 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 17:44:11 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 17:47:38 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2020-11-08 17:49:47 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
| 2020-11-08 17:49:47 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-08 17:50:34 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 17:51:04 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-11-08 17:51:12 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 17:51:29 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-11-08 17:51:58 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 17:52:19 +0100 | Tario | (~Tario@201.192.165.173) |
| 2020-11-08 17:55:04 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds) |
| 2020-11-08 17:55:30 +0100 | Amras | (~Amras@unaffiliated/amras0000) |
| 2020-11-08 17:57:51 +0100 | Franciman | (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-08 17:59:02 +0100 | cosimone | (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 2020-11-08 17:59:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-11-08 18:01:12 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 18:02:01 +0100 | <nut> | is there a tool to find functions with the largest number of lines of code within package? |
| 2020-11-08 18:02:19 +0100 | Raito_Bezarius | (~Raito@unaffiliated/raito-bezarius/x-8764578) |
| 2020-11-08 18:03:09 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-11-08 18:04:07 +0100 | fendor | (~fendor@77.119.131.87.wireless.dyn.drei.com) |
| 2020-11-08 18:05:49 +0100 | Achylles__ | (~Achylles@200-100-230-202.dial-up.telesp.net.br) (Quit: Leaving) |
| 2020-11-08 18:07:07 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2020-11-08 18:07:20 +0100 | dftxbs3e | (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2020-11-08 18:10:45 +0100 | <merijn> | Doubt it |
| 2020-11-08 18:10:59 +0100 | dcoutts | (~duncan@33.14.75.194.dyn.plus.net) (Read error: Connection reset by peer) |
| 2020-11-08 18:11:00 +0100 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer) |
| 2020-11-08 18:11:02 +0100 | <merijn> | Also, how is the lines of code of a function defined? Like, do where blocks count? |
| 2020-11-08 18:11:14 +0100 | DavidEichmann | (~david@43.240.198.146.dyn.plus.net) |
| 2020-11-08 18:11:15 +0100 | dcoutts | (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-08 18:11:15 +0100 | dcoutts | (~duncan@33.14.75.194.dyn.plus.net) (Changing host) |
| 2020-11-08 18:11:15 +0100 | dcoutts | (~duncan@unaffiliated/dcoutts) |
| 2020-11-08 18:11:35 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-nprfqeunfdioejyi) |
| 2020-11-08 18:11:55 +0100 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 2020-11-08 18:14:25 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) (Read error: Connection reset by peer) |
| 2020-11-08 18:14:37 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) |
| 2020-11-08 18:14:38 +0100 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2020-11-08 18:16:38 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2020-11-08 18:16:55 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-11-08 18:20:14 +0100 | <Franciman> | hi maerwald are you here? |
| 2020-11-08 18:20:21 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-11-08 18:20:30 +0100 | hackage | aeson-iproute 0.2.1 - Aeson instances for iproute types https://hackage.haskell.org/package/aeson-iproute-0.2.1 (sickmind) |
| 2020-11-08 18:22:01 +0100 | hackage | persistent-iproute 0.2.5 - Persistent instances for types in iproute https://hackage.haskell.org/package/persistent-iproute-0.2.5 (sickmind) |
| 2020-11-08 18:22:03 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2020-11-08 18:22:37 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-08 18:23:00 +0100 | bennofs1 | (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) |
| 2020-11-08 18:25:06 +0100 | Deide | (~Deide@217.155.19.23) |
| 2020-11-08 18:26:18 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 18:26:46 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-08 18:27:08 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2020-11-08 18:32:11 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 18:32:35 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 18:33:32 +0100 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 2020-11-08 18:34:37 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:96ae:e603:6cd4:c30b) (Ping timeout: 260 seconds) |
| 2020-11-08 18:37:03 +0100 | andreas31 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2020-11-08 18:37:31 +0100 | nados | (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-11-08 18:37:35 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2020-11-08 18:38:51 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2020-11-08 18:41:00 +0100 | andreas31 | (~andreas@gateway/tor-sasl/andreas303) |
| 2020-11-08 18:41:44 +0100 | <tochicool> | merijn: if `mapBoth f = bimap f f` it would be nice to be able to write expressions like `mapBoth (< mempty) (Sum 0, "foo")` without having to duplicate the function like so: `bimap (< mempty) (< mempty) (Sum 0, "foo")` |
| 2020-11-08 18:43:04 +0100 | Kaivo | (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9) |
| 2020-11-08 18:45:12 +0100 | <koz_> | :t join bimap |
| 2020-11-08 18:45:13 +0100 | <lambdabot> | Bifunctor p => (c -> d) -> p c c -> p d d |
| 2020-11-08 18:45:16 +0100 | Saukk | (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 2020-11-08 18:45:18 +0100 | <koz_> | tochicool: ^ |
| 2020-11-08 18:46:20 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 18:46:23 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76) |
| 2020-11-08 18:47:31 +0100 | <merijn> | koz_: No |
| 2020-11-08 18:47:38 +0100 | <nut> | is there Haskell equivalent of fseek? |
| 2020-11-08 18:47:41 +0100 | <merijn> | koz_: You have the same input type 'c' |
| 2020-11-08 18:47:50 +0100 | <merijn> | @hoogle hSeek |
| 2020-11-08 18:47:51 +0100 | <lambdabot> | System.IO hSeek :: Handle -> SeekMode -> Integer -> IO () |
| 2020-11-08 18:47:51 +0100 | <lambdabot> | GHC.IO.Handle hSeek :: Handle -> SeekMode -> Integer -> IO () |
| 2020-11-08 18:47:51 +0100 | <lambdabot> | UnliftIO.IO hSeek :: MonadIO m => Handle -> SeekMode -> Integer -> m () |
| 2020-11-08 18:48:01 +0100 | <merijn> | nut: ^^ |
| 2020-11-08 18:48:06 +0100 | <nut> | nice |
| 2020-11-08 18:48:11 +0100 | <koz_> | merijn: Ah, good point. |
| 2020-11-08 18:48:28 +0100 | <merijn> | tochicool: That *can* work |
| 2020-11-08 18:49:51 +0100 | <merijn> | tochicool: Crucial difference is that (<mempty) always returns bool |
| 2020-11-08 18:49:58 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 246 seconds) |
| 2020-11-08 18:50:49 +0100 | <merijn> | tochicool: "(Monoid b, Ord b, Monoid c, Ord c) => (forall a . (Monoid a, Ord a) => a -> Bool) -> p b c -> p Bool Bool" |
| 2020-11-08 18:51:54 +0100 | <nut> | merijn: i couldn't find the fread equivalent though |
| 2020-11-08 18:52:53 +0100 | todda7 | (~torstein@athedsl-195794.home.otenet.gr) |
| 2020-11-08 18:54:27 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-08 18:54:53 +0100 | <tochicool> | merijn: :D ofcourse, not as general as i would have liked but that's sufficient for my usecase |
| 2020-11-08 18:55:02 +0100 | <tochicool> | merijn: thanks |
| 2020-11-08 18:56:59 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2020-11-08 18:57:02 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 18:58:38 +0100 | <geekosaur> | nut: https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.14.1.0/System-IO.html#v:hGetBuf |
| 2020-11-08 18:59:27 +0100 | <geekosaur> | or one of the other GetBuf functions in that section |
| 2020-11-08 19:00:01 +0100 | CareBearemcho | (~CareBeare@185.204.1.185) () |
| 2020-11-08 19:00:05 +0100 | <merijn> | nut: There's a bunch, hGet and hGetSome are most likely what you want |
| 2020-11-08 19:00:32 +0100 | <merijn> | nut: And then you presumably want either the version from the text or bytestring package, depending on the file contents |
| 2020-11-08 19:01:08 +0100 | <merijn> | geekosaur: hGetBuf seems a bit low level for most usecases, tbh |
| 2020-11-08 19:01:22 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-08 19:01:24 +0100 | <geekosaur> | there's that also. probably bytestring if you're reading chunks instead of lines |
| 2020-11-08 19:01:59 +0100 | <nut> | I'm translating some code from c++ to Haskell. Wondering how to choose these IO functions to make it fast and correct |
| 2020-11-08 19:02:42 +0100 | nbloomf | (~nbloomf@76.217.43.73) |
| 2020-11-08 19:02:59 +0100 | <merijn> | nut: I mean, given the fact that the actual IO to disk will probably dominate I wouldn't worry too much about "fast", as it doesn't take much to be as fast as the disk for most straightforward stuff |
| 2020-11-08 19:03:35 +0100 | <merijn> | nut: Presumably you just want blobs of binary data if you're translating C++? |
| 2020-11-08 19:04:00 +0100 | <nut> | Yes, it's a zipped dictionary file |
| 2020-11-08 19:04:38 +0100 | <merijn> | nut: Then you'll want hGet/hGetSome from bytestring |
| 2020-11-08 19:04:54 +0100 | <merijn> | https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString.html#v:hGet |
| 2020-11-08 19:05:08 +0100 | <nut> | The dictionary file format is so designed to make load time short. So it contains many offset info |
| 2020-11-08 19:05:23 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-08 19:07:25 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-08 19:12:02 +0100 | is_null | (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection) |
| 2020-11-08 19:13:21 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 19:13:25 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 2020-11-08 19:13:39 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-08 19:14:04 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2020-11-08 19:19:08 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2020-11-08 19:19:23 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-11-08 19:20:38 +0100 | wotwot1 | (~wotwot@185.204.1.185) |
| 2020-11-08 19:25:15 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-dgsoicqoiphpcnpi) |
| 2020-11-08 19:25:25 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) (Quit: Quit) |
| 2020-11-08 19:26:01 +0100 | knupfer | (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2020-11-08 19:26:22 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2020-11-08 19:26:25 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2020-11-08 19:30:38 +0100 | alp | (~alp@88.126.45.36) |
| 2020-11-08 19:32:57 +0100 | renzhi | (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds) |
| 2020-11-08 19:33:46 +0100 | JuanMiguel | (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 2020-11-08 19:35:43 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@68.235.43.94) |
| 2020-11-08 19:36:04 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-11-08 19:37:39 +0100 | _noblegas | (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) (Quit: Connection closed for inactivity) |
| 2020-11-08 19:37:39 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-08 19:41:36 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 19:42:13 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
| 2020-11-08 19:42:30 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 2020-11-08 19:43:17 +0100 | jneira | (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) |
| 2020-11-08 19:44:08 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 19:47:24 +0100 | chaosmasttter | (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de) |
| 2020-11-08 19:47:40 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 2020-11-08 19:48:58 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2020-11-08 19:49:03 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds) |
| 2020-11-08 19:49:46 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 19:50:32 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-08 19:50:40 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-11-08 19:52:55 +0100 | bennofs1 | (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2020-11-08 19:53:19 +0100 | bennofs1 | (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) |
| 2020-11-08 19:53:26 +0100 | plutoniix | (~q@node-ull.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2020-11-08 19:53:37 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) |
| 2020-11-08 19:53:45 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-11-08 19:54:35 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2020-11-08 19:55:49 +0100 | dmiles | (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 2020-11-08 19:58:04 +0100 | dcoutts__ | (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-08 19:58:50 +0100 | samebchase- | (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 2020-11-08 19:59:18 +0100 | samebchase- | (~samebchas@51.15.68.182) |
| 2020-11-08 19:59:43 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 2020-11-08 20:00:41 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2020-11-08 20:00:48 +0100 | dcoutts | (~duncan@unaffiliated/dcoutts) (Ping timeout: 256 seconds) |
| 2020-11-08 20:03:24 +0100 | <wz1000> | Is there any canonical way to read/write a file and simultaneously get its modification time? |
| 2020-11-08 20:03:28 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2020-11-08 20:03:41 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 244 seconds) |
| 2020-11-08 20:03:55 +0100 | <davean> | wz1000: simultaneously? |
| 2020-11-08 20:04:02 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 265 seconds) |
| 2020-11-08 20:04:05 +0100 | <davean> | Thats not something you can do on POSIX, they're seperate calls. |
| 2020-11-08 20:04:13 +0100 | <wz1000> | after the operation has completed, but atomically |
| 2020-11-08 20:04:16 +0100 | <geekosaur> | that'd have to be a system call and neither unix nor windows offers such |
| 2020-11-08 20:04:26 +0100 | <davean> | Right |
| 2020-11-08 20:04:37 +0100 | <davean> | well, you can do it on linux or FreeBSD with ZFS |
| 2020-11-08 20:04:46 +0100 | <davean> | but that involves special kernel extensions |
| 2020-11-08 20:04:54 +0100 | <davean> | not at *all* a portable or standard thing. |
| 2020-11-08 20:04:58 +0100 | comerijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-08 20:05:13 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2020-11-08 20:05:26 +0100 | <davean> | And they can only do it via transactional filesystemness. |
| 2020-11-08 20:05:34 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 2020-11-08 20:05:44 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-11-08 20:06:03 +0100 | <davean> | Are you willing to cosplay a kernel developer? No? You can't have that. |
| 2020-11-08 20:06:23 +0100 | <Ariakenom> | filesystems have terrible semantics. race conditions everywhere |
| 2020-11-08 20:07:24 +0100 | bergsans | (~bergsans@c80-217-8-29.bredband.comhem.se) (Quit: leaving) |
| 2020-11-08 20:07:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2020-11-08 20:08:51 +0100 | <Ariakenom> | the common approach is to ignore them |
| 2020-11-08 20:09:21 +0100 | tv | (~tv@unaffiliated/tv) (Ping timeout: 265 seconds) |
| 2020-11-08 20:09:25 +0100 | Rudd0 | (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds) |
| 2020-11-08 20:10:20 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2020-11-08 20:13:22 +0100 | mirrorbird | (~psutcliff@141.98.255.153) |
| 2020-11-08 20:15:29 +0100 | mirrorbird_ | (~psutcliff@141.98.255.153) |
| 2020-11-08 20:16:01 +0100 | tv | (~tv@unaffiliated/tv) |
| 2020-11-08 20:17:47 +0100 | JuanMiguel | (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 2020-11-08 20:18:05 +0100 | tristanC | (~tristanC@unaffiliated/tristanc) (Ping timeout: 246 seconds) |
| 2020-11-08 20:18:19 +0100 | mirrorbird | (~psutcliff@141.98.255.153) (Read error: Connection reset by peer) |
| 2020-11-08 20:18:28 +0100 | alp | (~alp@88.126.45.36) (Ping timeout: 260 seconds) |
| 2020-11-08 20:18:31 +0100 | <davean> | Ok, so you can do it on Linux and FreeBSD via ZFS Transaction Groups, you can do it on Linux via FANotify with root permissions, you can do it on linux with user permissions and inotify if you believe inotify won't drop any events which isn't guarrenteed, you can do it on Windows Post-Vista via NTFS transactions (Much weaker than ZFS transaction groups?), you can do it on ext3+ with journaling by |
| 2020-11-08 20:18:33 +0100 | <davean> | hooking the journal kernel side ... Its not that you can't do it, its that its insane to do it given the fact that all the ways of doing it are super special case. |
| 2020-11-08 20:18:33 +0100 | tristanC | (~tristanC@unaffiliated/tristanc) |
| 2020-11-08 20:18:53 +0100 | <davean> | and it certainly isn't a Haskell question to get it done! If you want to get this done, get involved with the OS you're on. |
| 2020-11-08 20:19:46 +0100 | <davean> | https://www.kernel.org/doc/html/latest/filesystems/journalling.html |
| 2020-11-08 20:19:48 +0100 | <davean> | don |
| 2020-11-08 20:19:53 +0100 | Benzi-Junior | (~BenziJuni@88-149-67-198.du.xdsl.is) (Quit: gone) |
| 2020-11-08 20:19:56 +0100 | <davean> | 't worry, it starts out with "The journalling layer is easy to use. |
| 2020-11-08 20:20:01 +0100 | <davean> | " you'll be fine ;) |
| 2020-11-08 20:20:20 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-67-198.hive.is) |
| 2020-11-08 20:20:54 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 2020-11-08 20:22:11 +0100 | nbloomf | (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 20:24:09 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 20:25:40 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2020-11-08 20:27:05 +0100 | tsaka__ | (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 2020-11-08 20:27:33 +0100 | theelous3 | (~theelous3@unaffiliated/theelous3) |
| 2020-11-08 20:28:28 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 20:28:38 +0100 | todda7 | (~torstein@athedsl-195794.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2020-11-08 20:29:10 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 20:33:52 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 2020-11-08 20:35:27 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2020-11-08 20:35:27 +0100 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2020-11-08 20:35:27 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2020-11-08 20:40:40 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-08 20:41:15 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2020-11-08 20:41:15 +0100 | plakband | (~plakband@softbank126126238105.bbtec.net) (Ping timeout: 256 seconds) |
| 2020-11-08 20:42:01 +0100 | tochicool | (~tochicool@188.166.170.246) (Quit: Konversation terminated!) |
| 2020-11-08 20:42:07 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 20:45:03 +0100 | Franciman | (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-08 20:45:34 +0100 | softwarm | (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection) |
| 2020-11-08 20:45:52 +0100 | conal | (~conal@64.71.133.70) |
| 2020-11-08 20:46:06 +0100 | Sgeo | (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-11-08 20:46:43 +0100 | solonarv | (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) |
| 2020-11-08 20:47:23 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 20:47:52 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 20:50:06 +0100 | mputz | (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 2020-11-08 20:50:13 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 20:50:22 +0100 | AlterEgo- | (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-08 20:51:20 +0100 | avdb | (~avdb@ip-62-235-106-244.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-08 20:54:29 +0100 | acidjnk_new2 | (~acidjnk@p200300d0c718f646f97e112dfc4bc61a.dip0.t-ipconnect.de) |
| 2020-11-08 20:55:21 +0100 | daydaynatation | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 20:56:14 +0100 | daydaynatation | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2020-11-08 20:56:45 +0100 | dansho | (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
| 2020-11-08 20:56:53 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-11-08 20:57:34 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2020-11-08 20:59:28 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 20:59:37 +0100 | knupfer | (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) |
| 2020-11-08 21:00:46 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 21:02:01 +0100 | knupfer | (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-11-08 21:02:14 +0100 | knupfer | (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) |
| 2020-11-08 21:02:25 +0100 | sfvm | (~sfvm@37.228.215.148) |
| 2020-11-08 21:03:33 +0100 | dusty_pacer | (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) (Remote host closed the connection) |
| 2020-11-08 21:03:44 +0100 | dusty_pacer | (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) |
| 2020-11-08 21:03:44 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-11-08 21:05:33 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 21:08:03 +0100 | rprije | (~rprije@124.148.131.132) |
| 2020-11-08 21:10:48 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 2020-11-08 21:11:57 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Read error: Connection reset by peer) |
| 2020-11-08 21:12:14 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
| 2020-11-08 21:13:25 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2020-11-08 21:14:08 +0100 | bliminse | (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 2020-11-08 21:15:01 +0100 | conal | (~conal@64.71.133.70) (Ping timeout: 258 seconds) |
| 2020-11-08 21:16:07 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Client Quit) |
| 2020-11-08 21:16:32 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2020-11-08 21:21:00 +0100 | conal | (~conal@209.58.139.27) |
| 2020-11-08 21:21:23 +0100 | StoneToad_ | (~StoneToad@199-167-119-135.ppp.storm.ca) |
| 2020-11-08 21:21:48 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-11-08 21:22:57 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2020-11-08 21:23:20 +0100 | StoneToad | (~StoneToad@199-167-119-137.ppp.storm.ca) (Ping timeout: 260 seconds) |
| 2020-11-08 21:24:14 +0100 | aarvar | (~foewfoiew@c.24.56.239.179.static.broadstripe.net) |
| 2020-11-08 21:28:34 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 21:28:42 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) (Remote host closed the connection) |
| 2020-11-08 21:28:43 +0100 | ggole | (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) (Quit: Leaving) |
| 2020-11-08 21:31:13 +0100 | mmohammadi9812 | (~mmohammad@5.238.175.25) |
| 2020-11-08 21:32:43 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-08 21:33:18 +0100 | hekkaidekapus | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-08 21:33:39 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-ugqvpbihzsnuhnwq) (Quit: Connection closed for inactivity) |
| 2020-11-08 21:34:21 +0100 | bennofs1 | (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Quit: WeeChat 2.9) |
| 2020-11-08 21:36:55 +0100 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
| 2020-11-08 21:37:09 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2020-11-08 21:38:51 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@68.235.43.94) (Quit: Leaving) |
| 2020-11-08 21:40:00 +0100 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 2020-11-08 21:40:06 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@68.235.43.142) |
| 2020-11-08 21:40:58 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds) |
| 2020-11-08 21:48:04 +0100 | vfaronov | (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 2020-11-08 21:48:08 +0100 | Franciman | (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 2020-11-08 21:49:25 +0100 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 2020-11-08 22:00:01 +0100 | wotwot1 | (~wotwot@185.204.1.185) () |
| 2020-11-08 22:01:21 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 22:01:43 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2020-11-08 22:02:14 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-11-08 22:04:14 +0100 | mirrorbird_ | (~psutcliff@141.98.255.153) (Quit: Leaving) |
| 2020-11-08 22:06:13 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-11-08 22:07:49 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@68.235.43.142) (Quit: Leaving) |
| 2020-11-08 22:08:59 +0100 | <koz_> | How does one satisfy this kind of constraint? http://hackage.haskell.org/package/constraints-extras-0.3.0.2/docs/Data-Constraint-Extras.html#t:H… |
| 2020-11-08 22:09:09 +0100 | <justsomeguy> | Is there a way to search for all functions in the base package that take a list as its first argument? |
| 2020-11-08 22:09:44 +0100 | <justsomeguy> | (Or, failing that, would it be easier to read the source code for base?) |
| 2020-11-08 22:10:58 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!) |
| 2020-11-08 22:11:09 +0100 | <koz_> | The reason I care is that I want an Eq instance to be available for (my particular concretized) DMap from here: http://hackage.haskell.org/package/dependent-map-0.4.0.0/docs/Data-Dependent-Map.html#t:Eq |
| 2020-11-08 22:13:04 +0100 | <justsomeguy> | Ok, it seems everything I want is in GHC.List. |
| 2020-11-08 22:14:24 +0100 | knupfer | (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 2020-11-08 22:14:51 +0100 | <xsperry> | justsomeguy, no AFAIK, but if you know full type of the function you can use hoogle |
| 2020-11-08 22:15:19 +0100 | <geekosaur> | hoogle ought to be fine with "[a] -> b", shouldn't it? |
| 2020-11-08 22:19:53 +0100 | conal | (~conal@209.58.139.27) (Quit: Computer has gone to sleep.) |
| 2020-11-08 22:19:55 +0100 | geekosaur | (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 2020-11-08 22:20:38 +0100 | Collateral | (~Collatera@4e69b241.skybroadband.com) (Ping timeout: 260 seconds) |
| 2020-11-08 22:22:27 +0100 | <justsomeguy> | I wanted to match signatures like “:: [a] -> (a -> b) -> [b]”, but also things like “:: [a] -> a”... pretty much anything beginning with ``:: [a｣ as its first argument. It looks like I can't do that, but that's OK, since I found what I was looking for. |
| 2020-11-08 22:22:48 +0100 | <justsomeguy> | (Whoa, weird formatting error there.) |
| 2020-11-08 22:23:20 +0100 | Collateral | (~Collatera@4e69b241.skybroadband.com) |
| 2020-11-08 22:24:02 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 2020-11-08 22:24:27 +0100 | Ariakenom | (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving) |
| 2020-11-08 22:26:07 +0100 | britva | (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 2020-11-08 22:27:13 +0100 | Guest67212 | lep-delete |
| 2020-11-08 22:30:29 +0100 | ski | (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 2020-11-08 22:34:07 +0100 | britva | (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) |
| 2020-11-08 22:36:15 +0100 | zeta_0 | (~zeta@2601:8c0:1:2630:ed7c:84af:22a9:2ea3) |
| 2020-11-08 22:37:03 +0100 | <zeta_0> | has anyone here gotten haskell-language-server working correctly? i'm having some issues! |
| 2020-11-08 22:37:36 +0100 | <Uniaika> | zeta_0: do tell us! |
| 2020-11-08 22:37:40 +0100 | <Uniaika> | which version are you using? |
| 2020-11-08 22:39:02 +0100 | <zeta_0> | Uniaika: haskell-language-server version: 0.4.0.0 (GHC: 8.6.5), it's binary is recognized, so the PATH is set as well. |
| 2020-11-08 22:40:15 +0100 | <Uniaika> | zeta_0: any reason you're not running on the latest version of HLS? |
| 2020-11-08 22:41:28 +0100 | <zeta_0> | whenever I ran gen-hie, it made a hie.yaml file with path and component set for Main.hs, but not Setup.hs, and whenever I open Main.hs, it gives me a prompt to install hie, it's not recognizing hls. |
| 2020-11-08 22:42:54 +0100 | <zeta_0> | Uniaika: this is the only version of hls in nixos 20.09: https://search.nixos.org/packages?channel=20.09&from=0&size=30&sort=relevance&query=haskellPackage… |
| 2020-11-08 22:43:57 +0100 | <zeta_0> | also, does hls work on single haskell files like ghcide does? |
| 2020-11-08 22:44:42 +0100 | <Uniaika> | hls and ghcide have merged |
| 2020-11-08 22:45:11 +0100 | <Uniaika> | zeta_0: maybe ask your question on #Haskell-ide-engine, you'll be closer to the maintainers |
| 2020-11-08 22:45:24 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76) (Ping timeout: 240 seconds) |
| 2020-11-08 22:45:59 +0100 | conal | (~conal@209.58.139.27) |
| 2020-11-08 22:46:00 +0100 | <zeta_0> | Uniaika: ok, i'll go ask there instead! |
| 2020-11-08 22:47:16 +0100 | newbi | (4dd82022@77.216.32.34) |
| 2020-11-08 22:48:17 +0100 | <newbi> | evening. im having problems with filtering list of characters. can someone give me some insight? |
| 2020-11-08 22:49:03 +0100 | <newbi> | i have to use list comprehension to search for digits in a list of characters. im having problem with finding digits, its always some kind of error |
| 2020-11-08 22:49:13 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2020-11-08 22:49:30 +0100 | <monochrom> | @where paste |
| 2020-11-08 22:49:30 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 2020-11-08 22:49:44 +0100 | alp | (~alp@2a01:e0a:58b:4920:286f:8943:c678:1c5c) |
| 2020-11-08 22:49:56 +0100 | Gurkenglas_ | (Gurkenglas@gateway/vpn/protonvpn/gurkenglas) |
| 2020-11-08 22:50:35 +0100 | <newbi> | f1 xs = [x |x<-xs, x<-[0..9]] |
| 2020-11-08 22:51:59 +0100 | <newbi> | https://paste.tomsmeding.com/NEgGvtvH |
| 2020-11-08 22:52:26 +0100 | <monochrom> | x<-[0..9] does not mean checking whether x is one of [0..9]. |
| 2020-11-08 22:52:50 +0100 | <newbi> | i tried isDIgit but its always some kind of error |
| 2020-11-08 22:53:21 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-08 22:53:27 +0100 | <monochrom> | OK, post your isDigit version, that one has a much much better chance. |
| 2020-11-08 22:53:37 +0100 | Gurkenglas__ | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 2020-11-08 22:54:26 +0100 | <newbi> | https://paste.tomsmeding.com/xjzt6Tu8 |
| 2020-11-08 22:54:43 +0100 | <monochrom> | You need to import it from Data.List |
| 2020-11-08 22:56:44 +0100 | chaosmasttter | (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2020-11-08 22:57:10 +0100 | <newbi> | i think i did but it still shows the same error |
| 2020-11-08 22:57:52 +0100 | <monochrom> | Post the most up to date complete code. |
| 2020-11-08 22:58:00 +0100 | <monochrom> | Every byte counts. |
| 2020-11-08 22:58:16 +0100 | ericsagn1 | (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) |
| 2020-11-08 22:58:17 +0100 | <newbi> | its the same line of code, i just added "import Data.List" |
| 2020-11-08 22:58:49 +0100 | <monochrom> | Order matters too. Just "adding" is not enough and I can't see where you added it. |
| 2020-11-08 22:59:04 +0100 | <newbi> | i added it above the function |
| 2020-11-08 22:59:06 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 22:59:13 +0100 | <newbi> | f1 xs = [x |x<-xs, isDigit(x)] |
| 2020-11-08 22:59:16 +0100 | <monochrom> | And the exact verbatim error message? |
| 2020-11-08 22:59:32 +0100 | <monochrom> | Because it works for me, I can't see what error you got. |
| 2020-11-08 22:59:33 +0100 | <comerijn> | Also, isDigit isn't *in* Data.List, so... |
| 2020-11-08 22:59:42 +0100 | <monochrom> | Oh oops, sorry. Data.Char |
| 2020-11-08 23:00:04 +0100 | <newbi> | yesss |
| 2020-11-08 23:00:11 +0100 | <comerijn> | monochrom: pfft, you n00b ;) |
| 2020-11-08 23:00:13 +0100 | <newbi> | it works! thank you so much |
| 2020-11-08 23:00:25 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-11-08 23:00:29 +0100 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2020-11-08 23:00:49 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-08 23:02:17 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-11-08 23:02:23 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-08 23:03:01 +0100 | hackage | technique 0.2.5 - Procedures and Sequences https://hackage.haskell.org/package/technique-0.2.5 (AndrewCowie) |
| 2020-11-08 23:04:58 +0100 | ensyde | (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-11-08 23:05:33 +0100 | thir | (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-11-08 23:06:25 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-08 23:08:08 +0100 | Amras | (~Amras@unaffiliated/amras0000) (Ping timeout: 244 seconds) |
| 2020-11-08 23:13:00 +0100 | <koz_> | :t foldM |
| 2020-11-08 23:13:02 +0100 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 2020-11-08 23:13:07 +0100 | tsaka__ | (~torstein@ppp-2-84-22-81.home.otenet.gr) (Remote host closed the connection) |
| 2020-11-08 23:13:32 +0100 | tsaka__ | (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 2020-11-08 23:13:54 +0100 | <newbi> | im still having problems with this one https://paste.tomsmeding.com/OpsTZZjd |
| 2020-11-08 23:14:10 +0100 | <newbi> | it can filter a string but it cant filter a list |
| 2020-11-08 23:14:19 +0100 | <newbi> | what can i do so it can |
| 2020-11-08 23:14:21 +0100 | conal | (~conal@209.58.139.27) (Quit: Computer has gone to sleep.) |
| 2020-11-08 23:15:18 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 23:16:49 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-11-08 23:16:49 +0100 | Feuermagier | (~Feuermagi@213.178.26.41) |
| 2020-11-08 23:17:45 +0100 | britva | (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep) |
| 2020-11-08 23:17:45 +0100 | <Feuermagier> | how can I elegantly switch on number ranges? eg: 0 to 10 do a; 11 to 20 do b |
| 2020-11-08 23:18:25 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-08 23:18:28 +0100 | <hekkaidekapus> | newbi: What are the types of x and y in `x = 'a'; y = 5`? |
| 2020-11-08 23:19:04 +0100 | <newbi> | x is char and y is int |
| 2020-11-08 23:19:19 +0100 | <koz_> | Feuermagier: Guards, probably? |
| 2020-11-08 23:19:25 +0100 | christo | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-08 23:19:30 +0100 | <hekkaidekapus> | newbi: What about `z = '5'`? |
| 2020-11-08 23:19:39 +0100 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2020-11-08 23:19:39 +0100 | <newbi> | still char heh |
| 2020-11-08 23:19:49 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-08 23:20:13 +0100 | <hekkaidekapus> | newbi: And `xs = [1, 2]`? |
| 2020-11-08 23:20:30 +0100 | <newbi> | its a list of integers |
| 2020-11-08 23:20:51 +0100 | <hekkaidekapus> | So, can I do `xs = [1, '2']`? |
| 2020-11-08 23:20:55 +0100 | <newbi> | oh okay when i put everything in commas it works. but can you have a mixed list? |
| 2020-11-08 23:21:02 +0100 | <newbi> | its like a mixed list |
| 2020-11-08 23:21:10 +0100 | <newbi> | i dont know if you can do that |
| 2020-11-08 23:21:16 +0100 | <Feuermagier> | koz_, sry, a bit new :) - guards are the: func 0 = a; func 1 = b; func n = something; - right? |
| 2020-11-08 23:21:28 +0100 | <koz_> | Feuermagier: No, that's different. |
| 2020-11-08 23:21:30 +0100 | <koz_> | Let me paste. |
| 2020-11-08 23:21:49 +0100 | <hekkaidekapus> | newbi: You cannot. A list is a collection of elements of the same type. |
| 2020-11-08 23:22:09 +0100 | christo | (~chris@81.96.113.213) |
| 2020-11-08 23:22:21 +0100 | <newbi> | thank you :) |
| 2020-11-08 23:22:35 +0100 | <hekkaidekapus> | newbi: In your pasted code, you want `f1 ['a','2','4','b','4']`. |
| 2020-11-08 23:22:55 +0100 | <koz_> | Feuermagier: https://gist.github.com/kozross/c866e0fcf9736131ebf8548f425b3f69 |
| 2020-11-08 23:23:25 +0100 | <koz_> | There's no requirement to use the && and comparisons either - any predicate would work. |
| 2020-11-08 23:23:25 +0100 | <Feuermagier> | koz_, thank you! - looks exactly like what i need :D |
| 2020-11-08 23:23:37 +0100 | britva | (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 2020-11-08 23:24:14 +0100 | <Feuermagier> | koz_, if doAThing returns the function I assume I can rely on it being executed top to bot? |
| 2020-11-08 23:24:33 +0100 | <koz_> | Feuermagier: What do you mean 'returns the function'? |
| 2020-11-08 23:24:54 +0100 | bitmagie | (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2020-11-08 23:25:19 +0100 | <Feuermagier> | koz_, well, actually, I think everything in haskell "returns" |
| 2020-11-08 23:25:19 +0100 | newbi | (4dd82022@77.216.32.34) (Remote host closed the connection) |
| 2020-11-08 23:25:40 +0100 | <koz_> | Feuermagier: Basically, if your guards are non-overlapping, this doesn't matter. |
| 2020-11-08 23:25:46 +0100 | <Feuermagier> | koz_, just meant that it won't fall through if matched |
| 2020-11-08 23:25:52 +0100 | <Feuermagier> | exactly |
| 2020-11-08 23:26:00 +0100 | <koz_> | If your guards _are_ overlapping, I believe top-to-bottom, but I would argue overlapping guards are probably a bug. |
| 2020-11-08 23:26:14 +0100 | <koz_> | We avoid 'fall-through' by having 'otherwise' at the end, which is a synonym for 'True'. |
| 2020-11-08 23:26:55 +0100 | zeta_0 | (~zeta@2601:8c0:1:2630:ed7c:84af:22a9:2ea3) (Quit: rcirc on GNU Emacs 27.1) |
| 2020-11-08 23:27:42 +0100 | rawtaz1 | (~rawtaz@178.239.168.171) |
| 2020-11-08 23:28:03 +0100 | jedws | (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-11-08 23:28:24 +0100 | kish` | (~oracle@unaffiliated/oracle) |
| 2020-11-08 23:29:15 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:95b6:c7bf:d0d6:b6df) (Ping timeout: 272 seconds) |
| 2020-11-08 23:31:05 +0100 | kish | (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds) |
| 2020-11-08 23:31:31 +0100 | subttle | (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 2020-11-08 23:31:54 +0100 | jneira | (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) (Ping timeout: 272 seconds) |
| 2020-11-08 23:33:02 +0100 | <comerijn> | guards are always top to bottom |
| 2020-11-08 23:33:19 +0100 | <comerijn> | Incidentally, if you have incomplete guards it will fall through to the next matching pattern |
| 2020-11-08 23:33:28 +0100 | <comerijn> | Which can be very useful in a bunch of cases |
| 2020-11-08 23:34:36 +0100 | Tario | (~Tario@201.192.165.173) |
| 2020-11-08 23:36:08 +0100 | lep-delete | Guest67212 |
| 2020-11-08 23:36:22 +0100 | <koz_> | @pl \f g x -> fmap (>>= f) (g x) |
| 2020-11-08 23:36:22 +0100 | <lambdabot> | (.) . fmap . (=<<) |
| 2020-11-08 23:36:33 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:f95b:bc04:4b:611e) |
| 2020-11-08 23:36:46 +0100 | <koz_> | Lol, so I can replace that with (.) . (<$>) . (=<<), sick. |
| 2020-11-08 23:36:54 +0100 | <koz_> | Are we J now? |
| 2020-11-08 23:37:50 +0100 | jbox | (~atlas@unaffiliated/jbox) |
| 2020-11-08 23:40:43 +0100 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving) |
| 2020-11-08 23:42:09 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-11-08 23:42:57 +0100 | <comerijn> | What? |
| 2020-11-08 23:42:59 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-11-08 23:43:06 +0100 | <comerijn> | That's, like, 15 characters |
| 2020-11-08 23:43:18 +0100 | <comerijn> | That's like 3x the size of the average J program :p |
| 2020-11-08 23:43:25 +0100 | <koz_> | comerijn: Lol. |
| 2020-11-08 23:43:43 +0100 | <koz_> | It's all those parens. |
| 2020-11-08 23:43:50 +0100 | <koz_> | It's like, LispJ. |
| 2020-11-08 23:47:38 +0100 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2020-11-08 23:50:37 +0100 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2020-11-08 23:50:52 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2020-11-08 23:51:49 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-11-08 23:52:39 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-08 23:52:53 +0100 | machinedgod | (~machinedg@24.105.81.50) (Client Quit) |
| 2020-11-08 23:53:17 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2020-11-08 23:54:56 +0100 | <koz_> | :t compare 1 2 |
| 2020-11-08 23:54:57 +0100 | <lambdabot> | Ordering |
| 2020-11-08 23:55:02 +0100 | <koz_> | > compare 1 2 |
| 2020-11-08 23:55:04 +0100 | <lambdabot> | LT |
| 2020-11-08 23:55:09 +0100 | <koz_> | > compare 2 1 |
| 2020-11-08 23:55:12 +0100 | <lambdabot> | GT |
| 2020-11-08 23:55:20 +0100 | <koz_> | OK, I'm not forgetting the order. |
| 2020-11-08 23:56:56 +0100 | jbox | (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer) |
| 2020-11-08 23:57:13 +0100 | jonatanb | (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds) |
| 2020-11-08 23:57:22 +0100 | jbox | (~atlas@unaffiliated/jbox) |
