Logs: freenode/#haskell
| 2021-03-10 18:37:07 | sm[m] | appears! |
| 2021-03-10 18:37:27 | <tomsmeding> | agree with maerwald |
| 2021-03-10 18:37:45 | <Ebin> | ok |
| 2021-03-10 18:38:34 | <monochrom> | But perhaps people know from other communities that tooling wars are nothing new. |
| 2021-03-10 18:39:05 | × | alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-10 18:39:36 | <maerwald> | If cabal v1 wasn't that buried in the cli, I'd still recommend that for beginners. It's sufficient. |
| 2021-03-10 18:39:36 | <carbolymer> | tomsmeding: I'm trying to understand your algorithm - what do you mean by suffix sums? |
| 2021-03-10 18:39:58 | <carbolymer> | tomsmeding: sums of all possible suffixes of haystack? |
| 2021-03-10 18:40:00 | <tomsmeding> | carbolymer: https://en.wikipedia.org/wiki/Prefix_sum but then suffixes instead of prefixes :p |
| 2021-03-10 18:40:00 | <sm[m]> | I would send Ebin straight to |
| 2021-03-10 18:40:00 | <sm[m]> | @where htac |
| 2021-03-10 18:40:01 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2021-03-10 18:40:03 | <tomsmeding> | carbolymer: yes |
| 2021-03-10 18:40:07 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 2021-03-10 18:40:17 | <monochrom> | "buried in the cli" seems to be a widespread, entrenched, institutionalized problem. |
| 2021-03-10 18:40:19 | <carbolymer> | thx for the link |
| 2021-03-10 18:40:54 | <tomsmeding> | carbolymer: earlier you said that the length of the list would be ~500k, whereas later you said that the haystack would be ~300 chars; which is true? :p |
| 2021-03-10 18:41:13 | <monochrom> | I was trying to use docker (and get by by learning the minimum) a few days ago. "docker --help" lists a million commands. For each command, "docker foo --help" lists a million knobs. |
| 2021-03-10 18:41:17 | <carbolymer> | tomsmeding: both, I have 500k haystacks, each ~300 chars |
| 2021-03-10 18:41:20 | geekosaur | assumes that means 500k count of 300-char strings |
| 2021-03-10 18:41:22 | <Ebin> | is there any haskell related discord groups |
| 2021-03-10 18:41:27 | <tomsmeding> | ooooh I see |
| 2021-03-10 18:41:36 | <monochrom> | It drove home the strength of a proper GUI/TUI menu system. |
| 2021-03-10 18:41:37 | <maerwald> | Ebin: there's a matrix channel |
| 2021-03-10 18:42:04 | tomsmeding | thinks that changes carbolymer's problem |
| 2021-03-10 18:42:16 | <carbolymer> | I think so |
| 2021-03-10 18:42:22 | <carbolymer> | I need to do a lot of searches |
| 2021-03-10 18:42:28 | <maerwald> | monochrom: I like git's difference between `-h` and `--help` |
| 2021-03-10 18:42:50 | <maerwald> | but maybe that's too subtle |
| 2021-03-10 18:43:03 | <monochrom> | Speaking of which, I'm thankful for "ghcup tui". |
| 2021-03-10 18:43:19 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds) |
| 2021-03-10 18:43:22 | × | freeman42x[m]_ quits (uid387759@gateway/web/irccloud.com/x-npqivcpbpqfrcrva) (Quit: Connection closed for inactivity) |
| 2021-03-10 18:43:22 | × | freeman42x[m]__ quits (uid387759@gateway/web/irccloud.com/x-eoxtflmbywridyms) (Quit: Connection closed for inactivity) |
| 2021-03-10 18:43:34 | <maerwald> | that would be hard to do for docker, I guess |
| 2021-03-10 18:44:11 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 246 seconds) |
| 2021-03-10 18:44:38 | <maerwald> | grouping commands would already be of help: commands for images, for containers, insepction commands... like, what's your general motivation |
| 2021-03-10 18:45:13 | × | roconnor quits (~roconnor@host-45-58-192-182.dyn.295.ca) (Ping timeout: 256 seconds) |
| 2021-03-10 18:45:45 | <maerwald> | `docker create` is for containers only... although it could be for everything... |
| 2021-03-10 18:45:53 | <maerwald> | they didn't think of that |
| 2021-03-10 18:45:55 | <geekosaur> | git handles this not too terribly |
| 2021-03-10 18:46:18 | <tomsmeding> | carbolymer: have you tried a regex engine that constructs a finite state machine, I believe regex-tfda does? |
| 2021-03-10 18:46:20 | <tomsmeding> | no joke |
| 2021-03-10 18:46:53 | tomsmeding | wonders if it's worth JITing code given a particular needle |
| 2021-03-10 18:47:37 | <carbolymer> | w8, ghc has jit? |
| 2021-03-10 18:47:48 | <tomsmeding> | no :p |
| 2021-03-10 18:48:05 | <carbolymer> | so how ? :D |
| 2021-03-10 18:48:08 | <tomsmeding> | like, you could link to llvm |
| 2021-03-10 18:48:21 | <tomsmeding> | which is not something you do in an evening :p |
| 2021-03-10 18:48:44 | <tomsmeding> | there are haskell packages that wrap llvm into something usable from haskell |
| 2021-03-10 18:48:46 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-10 18:48:50 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-10 18:49:07 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-03-10 18:49:08 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-03-10 18:49:10 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-10 18:49:13 | × | dxld quits (~dxld@80-109-136-248.cable.dynamic.surfer.at) (Ping timeout: 245 seconds) |
| 2021-03-10 18:49:40 | <maerwald> | just send the list to google and let them search through it |
| 2021-03-10 18:50:10 | <carbolymer> | tomsmeding: interesting |
| 2021-03-10 18:50:15 | <maerwald> | I'm pretty sure there's a microservice for that :p |
| 2021-03-10 18:50:29 | <carbolymer> | tomsmeding: you mean, regex-tfda builds FSM from search pattern? |
| 2021-03-10 18:51:08 | <tomsmeding> | that's what all good regex engines do |
| 2021-03-10 18:51:31 | <tomsmeding> | your regex is trivial -- just a simple string -- but that doesn't mean that building an FSM is not worth it |
| 2021-03-10 18:51:57 | <tomsmeding> | regex-tdfa by the way, sorry typo |
| 2021-03-10 18:52:08 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-03-10 18:52:22 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-10 18:52:52 | <carbolymer> | yeah I found it |
| 2021-03-10 18:53:02 | × | Ebin quits (6746c694@103.70.198.148) (Quit: Connection closed) |
| 2021-03-10 18:53:10 | → | dxld joins (~dxld@rush.pub.dxld.at) |
| 2021-03-10 18:53:46 | × | mananamenos_ quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 256 seconds) |
| 2021-03-10 18:53:56 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-10 18:55:17 | → | mayleesia joins (590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de) |
| 2021-03-10 18:56:02 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-10 18:58:21 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-10 18:59:40 | × | dm9 quits (~weechat@p200300dcb71b99004a5d60fffe655171.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-03-10 19:01:09 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds) |
| 2021-03-10 19:01:14 | × | dxld quits (~dxld@rush.pub.dxld.at) (Ping timeout: 264 seconds) |
| 2021-03-10 19:02:25 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-03-10 19:02:46 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-10 19:02:56 | → | mananamenos_ joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-10 19:03:37 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-10 19:04:23 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2021-03-10 19:05:15 | → | dxld joins (~dxld@77.116.91.109.wireless.dyn.drei.com) |
| 2021-03-10 19:06:04 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-03-10 19:06:19 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-10 19:06:23 | × | alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-10 19:06:50 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 2021-03-10 19:07:28 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-03-10 19:07:55 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-10 19:08:06 | → | Tops2 joins (~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de) |
| 2021-03-10 19:08:13 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-10 19:09:06 | <carbolymer> | tomsmeding: so far regex seems to be slower than isInfixOf, i haven't found how much yet ;) |
| 2021-03-10 19:09:19 | <tomsmeding> | lol ok |
| 2021-03-10 19:09:33 | <tomsmeding> | that's a weird failing of the regex engine though, I'd say |
| 2021-03-10 19:09:43 | <sclv> | no, not really |
| 2021-03-10 19:10:00 | <sclv> | direct functions like `isInfixOf` are almost always going to be superior to general purpose matchers |
| 2021-03-10 19:10:27 | <sclv> | especially if you use something like bytestring or data.text where they have specialized algorithms for efficient string search |
| 2021-03-10 19:10:36 | <sclv> | er substring search |
| 2021-03-10 19:10:38 | × | jdt quits (~jdt@208.85.233.130) (Ping timeout: 260 seconds) |
| 2021-03-10 19:10:55 | <tomsmeding> | fair point |
| 2021-03-10 19:11:09 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-10 19:11:28 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
All times are in UTC.