Logs: freenode/#haskell
| 2021-03-10 21:13:45 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 2021-03-10 21:14:34 | → | roconnor joins (~roconnor@host-45-58-192-182.dyn.295.ca) |
| 2021-03-10 21:14:38 | → | cheater joins (~user@unaffiliated/cheater) |
| 2021-03-10 21:15:23 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 2021-03-10 21:16:21 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 21:17:35 | <carbolymer> | tomsmeding: that's weird, in your synthetic benchmark boyer-moore wins, but in my case it's 7.8 times slower than `isInfixOf` |
| 2021-03-10 21:17:41 | × | Boomerang quits (~Boomerang@2a05:f6c7:2179:0:82f:9d51:f6fc:aa85) (Quit: Leaving) |
| 2021-03-10 21:17:47 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-10 21:18:02 | <carbolymer> | tomsmeding: also, this karp-rabin from stringsearch is 4 times slower than in `isInfixOf` |
| 2021-03-10 21:18:42 | <carbolymer> | I give up for today ;] |
| 2021-03-10 21:18:47 | <carbolymer> | tomsmeding: thanks! |
| 2021-03-10 21:20:21 | × | graingert quits (sid128301@gateway/web/irccloud.com/x-vwzoafonxaqqvvrv) () |
| 2021-03-10 21:20:24 | × | dxld quits (~dxld@77.116.91.109.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-03-10 21:21:36 | → | dxld joins (~dxld@80-109-136-248.cable.dynamic.surfer.at) |
| 2021-03-10 21:21:39 | → | graingert joins (sid128301@gateway/web/irccloud.com/x-egpegejfputxptdj) |
| 2021-03-10 21:21:46 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 276 seconds) |
| 2021-03-10 21:24:13 | × | LKoen quits (~LKoen@194.250.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.”) |
| 2021-03-10 21:25:08 | ← | lagooned1 parts (lagooned@irc.nathanic.org) ("WeeChat 3.0") |
| 2021-03-10 21:25:21 | × | fendor_ quits (~fendor@77.119.131.80.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-10 21:25:37 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-03-10 21:27:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-10 21:30:17 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-10 21:30:38 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 21:32:00 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-10 21:33:26 | → | hydroxon1um joins (7458bdce@116.88.189.206) |
| 2021-03-10 21:34:04 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 21:35:23 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-10 21:37:57 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-10 21:38:45 | <hydroxon1um> | ghcup question: does export PATH="$HOME/.cabal/bin:$HOME/.ghcup/bin:$PATH" still make sense, when `cabal` is already available in $HOME/.ghcup/bin ? |
| 2021-03-10 21:39:14 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-10 21:39:54 | <c_wraith> | nah. if you're good with ghcup managing cabal, it's fine to remove that. (I'm good with ghcup managing cabal on my systems) |
| 2021-03-10 21:40:03 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-10 21:40:41 | <geekosaur> | well,, cabal v2-install still installs to ~/.cabal/bin doesn't it? or does ghcup make a config that writes to ~/.ghcup/bin? |
| 2021-03-10 21:41:03 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-10 21:41:09 | <geekosaur> | granting that v2-install is somewhat risky, I think that's mostly for libraries as opposed to executables |
| 2021-03-10 21:41:59 | <hydroxon1um> | c_wraith I was confused that ghcup has a feature to |
| 2021-03-10 21:42:28 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-10 21:42:35 | <hydroxon1um> | set the cabal version, but the `$HOME/.cabal/bin` essentially blocked it. Thanks for the advice! |
| 2021-03-10 21:43:06 | <c_wraith> | oh, geekosaur is right about where cabal-installed binaries end up. |
| 2021-03-10 21:43:29 | <geekosaur> | so I'd swap those two PATH entries so ghcup controls cabal |
| 2021-03-10 21:43:55 | <geekosaur> | and maybe remove ~/.cabal/bin/cabal |
| 2021-03-10 21:44:31 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-10 21:45:03 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 21:47:00 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-10 21:47:00 | <gentauro> | xD |
| 2021-03-10 21:47:03 | <gentauro> | ups |
| 2021-03-10 21:47:29 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 2021-03-10 21:47:33 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 245 seconds) |
| 2021-03-10 21:47:34 | cheater1 | is now known as cheater |
| 2021-03-10 21:47:39 | × | lolmac quits (sid171216@gateway/web/irccloud.com/x-dswidkrvjmjmjdpe) () |
| 2021-03-10 21:47:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 21:48:03 | → | lolmac joins (sid171216@gateway/web/irccloud.com/x-vxospmhxltncfrpx) |
| 2021-03-10 21:48:45 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-10 21:49:26 | <hydroxon1um> | Thanks again. It all makes sense now. |
| 2021-03-10 21:50:24 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-10 21:51:38 | × | alx741 quits (~alx741@186.178.108.96) (Ping timeout: 264 seconds) |
| 2021-03-10 21:51:38 | × | zangi quits (~azure@103.154.230.250) (Read error: Connection reset by peer) |
| 2021-03-10 21:51:49 | → | zangi joins (~azure@103.154.230.250) |
| 2021-03-10 21:53:55 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-10 21:56:16 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 2021-03-10 21:56:41 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 246 seconds) |
| 2021-03-10 21:56:47 | → | crestfallen joins (~john@128.32.176.159) |
| 2021-03-10 21:57:37 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 265 seconds) |
| 2021-03-10 21:58:08 | × | sMuNiX quits (~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca) (Quit: WeeChat 3.0.1) |
| 2021-03-10 21:58:27 | × | hseg quits (~gesh@IGLD-84-228-239-48.inter.net.il) (Ping timeout: 256 seconds) |
| 2021-03-10 21:58:30 | → | sMuNiX joins (~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca) |
| 2021-03-10 22:00:22 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-10 22:04:01 | × | ubert quits (~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-03-10 22:05:25 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-03-10 22:05:37 | → | alx741 joins (~alx741@186.178.108.206) |
| 2021-03-10 22:05:49 | × | petrus quits (~petrus@unaffiliated/petrus) (Quit: WeeChat 3.0.1) |
| 2021-03-10 22:07:05 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-10 22:07:17 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:07:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-10 22:08:14 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-10 22:09:27 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-10 22:09:50 | → | shailangsa joins (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) |
| 2021-03-10 22:11:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-10 22:12:08 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-10 22:12:41 | → | nighmi joins (~felix@port-92-196-49-206.dynamic.as20676.net) |
| 2021-03-10 22:14:06 | × | crestfallen quits (~john@128.32.176.159) (Remote host closed the connection) |
| 2021-03-10 22:17:51 | × | conal quits (~conal@209.58.139.5) (Quit: Computer has gone to sleep.) |
| 2021-03-10 22:20:12 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-10 22:20:47 | → | Benzi-Junior joins (~BenziJuni@88-149-64-40.du.xdsl.is) |
| 2021-03-10 22:24:34 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-10 22:26:21 | × | minoru_shiraeesh quits (~shiraeesh@77.94.25.47) (Ping timeout: 264 seconds) |
| 2021-03-10 22:26:45 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 22:27:17 | × | knupfer quits (~Thunderbi@200116b82cb0c7005129c843079bc5a1.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-10 22:31:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-10 22:32:03 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-10 22:32:49 | → | gitgood joins (~gitgood@82-132-217-203.dab.02.net) |
| 2021-03-10 22:34:32 | × | typetetris quits (sid275937@gateway/web/irccloud.com/x-slhwzzrziatkashc) () |
| 2021-03-10 22:34:49 | → | typetetris joins (sid275937@gateway/web/irccloud.com/x-smfcwawxcrxnnpiq) |
| 2021-03-10 22:38:03 | × | taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-uwapfgfwuhshyodw) () |
| 2021-03-10 22:38:19 | → | taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-wtishcwvfhlmyfby) |
| 2021-03-10 22:39:27 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 22:40:13 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-10 22:40:46 | × | royal_screwup214 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-10 22:40:49 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-10 22:41:05 | → | royal_screwup214 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
All times are in UTC.