Logs: liberachat/#haskell
| 2021-05-25 11:00:19 | → | xwx joins (~george@user/george) |
| 2021-05-25 11:00:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 11:01:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 11:04:21 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 272 seconds) |
| 2021-05-25 11:05:37 | bsima1 | is now known as bsima |
| 2021-05-25 11:06:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-25 11:06:26 | × | Franciman quits (~francesco@host-80-180-196-134.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-05-25 11:06:33 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-25 11:07:54 | × | Mark_ quits (uid14803@user/mark/x-9597255) (Quit: Connection closed for inactivity) |
| 2021-05-25 11:08:55 | × | nan` quits (~nan`@68.235.43.165) (Remote host closed the connection) |
| 2021-05-25 11:09:25 | → | nan` joins (~nan`@68.235.43.165) |
| 2021-05-25 11:11:43 | hpc_ | is now known as hpc |
| 2021-05-25 11:12:19 | → | kewa joins (~kewa@5.138.211.57) |
| 2021-05-25 11:12:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-25 11:12:41 | → | tonyz joins (~tonyz@2a02:587:2805:3d8f:34c8:4ae2:aa52:cf49) |
| 2021-05-25 11:12:56 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:13:58 | × | nan` quits (~nan`@68.235.43.165) (Ping timeout: 264 seconds) |
| 2021-05-25 11:14:24 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-05-25 11:16:45 | → | forell joins (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2021-05-25 11:16:49 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:18:16 | × | alp quits (~alp@163.172.83.213) (Changing host) |
| 2021-05-25 11:18:16 | → | alp joins (~alp@user/alp) |
| 2021-05-25 11:18:53 | → | satai joins (~satai@ip-37-188-173-38.eurotel.cz) |
| 2021-05-25 11:19:36 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-25 11:19:58 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-25 11:20:16 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:21:36 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds) |
| 2021-05-25 11:22:10 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Quit: SanchayanM) |
| 2021-05-25 11:22:54 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-25 11:23:35 | → | coot joins (~coot@89-64-70-112.dynamic.chello.pl) |
| 2021-05-25 11:23:37 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Client Quit) |
| 2021-05-25 11:23:47 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: No route to host) |
| 2021-05-25 11:24:01 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:25:58 | × | kewa quits (~kewa@5.138.211.57) (Ping timeout: 264 seconds) |
| 2021-05-25 11:27:46 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 2021-05-25 11:28:58 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-25 11:34:09 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-25 11:34:48 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:37:03 | → | nan`_ joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-25 11:37:07 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-25 11:39:45 | × | ixlun quits (~user@195.213.99.113) (Remote host closed the connection) |
| 2021-05-25 11:39:46 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-25 11:40:00 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-25 11:40:05 | → | Plazma joins (~weenis@user/plazma) |
| 2021-05-25 11:41:47 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-25 11:43:46 | → | Morrow joins (~Morrow@147.161.9.201) |
| 2021-05-25 11:45:19 | → | samhh joins (~samhh@90.252.103.244) |
| 2021-05-25 11:46:20 | × | coot quits (~coot@89-64-70-112.dynamic.chello.pl) (Quit: coot) |
| 2021-05-25 11:49:22 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 264 seconds) |
| 2021-05-25 11:49:58 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 264 seconds) |
| 2021-05-25 11:50:08 | → | smitop joins (uid328768@user/smitop) |
| 2021-05-25 11:51:42 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-05-25 11:53:39 | <boxscape> | If I have to keep comparing suffixes of a bunch of short (~20 characters) Text values, would it be wise to reverse them and compare prefixes instead? |
| 2021-05-25 11:53:49 | <boxscape> | (i.e. Data.Text.Text) |
| 2021-05-25 11:54:39 | <tomsmeding> | boxscape: element indexing is O(1) on a Text, so that shouldn't matter at all -- in fact the additional reverse will likely make it a bit slower :) |
| 2021-05-25 11:54:53 | <boxscape> | tomsmeding okay, thanks |
| 2021-05-25 11:54:58 | <tomsmeding> | (due to the fact that you're calling an additional function -- namely reverse) |
| 2021-05-25 11:55:02 | <boxscape> | right |
| 2021-05-25 11:57:05 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-25 11:59:21 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-25 12:03:41 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-05-25 12:07:40 | tdammers_ | is now known as tdammers |
| 2021-05-25 12:08:30 | → | juhp joins (~juhp@bb219-75-40-154.singnet.com.sg) |
| 2021-05-25 12:08:55 | <merijn> | tomsmeding: It's not, though :p |
| 2021-05-25 12:09:22 | <tomsmeding> | lazy/strict text you mean? |
| 2021-05-25 12:09:35 | dminuoso | waits for the O(sqrt(n)) argument |
| 2021-05-25 12:09:44 | <merijn> | No, I mean that Text does not have O(1) element indexing for any sensible notion of element |
| 2021-05-25 12:10:01 | <dminuoso> | Oh |
| 2021-05-25 12:10:02 | <opqdonut> | is Text utf-8 internally? |
| 2021-05-25 12:10:02 | <merijn> | Naah, not the silly O(sqrt(n)) argument |
| 2021-05-25 12:10:06 | <merijn> | No |
| 2021-05-25 12:10:11 | <dminuoso> | opqdonut: its utf16 |
| 2021-05-25 12:10:14 | <dminuoso> | Sadly. :) |
| 2021-05-25 12:10:16 | <opqdonut> | right well yeah |
| 2021-05-25 12:10:19 | <tomsmeding> | opqdonut: a number of people are currently working very hard to make text utf-8 :p |
| 2021-05-25 12:10:19 | <merijn> | And that's mostly irrelevant, tbh |
| 2021-05-25 12:10:27 | <opqdonut> | no constant-time indexing since it's not constant-width |
| 2021-05-25 12:10:37 | <merijn> | The value of UTF-8 Text is overrated, imo |
| 2021-05-25 12:10:51 | × | xwx quits (~george@user/george) (Ping timeout: 272 seconds) |
| 2021-05-25 12:10:52 | <dminuoso> | Until you want to interface with other libraries |
| 2021-05-25 12:10:55 | → | argento joins (~argent0@168.227.96.51) |
| 2021-05-25 12:11:02 | <dminuoso> | via ffi |
| 2021-05-25 12:11:09 | <tomsmeding> | merijn: okay very good point. However, for suffix equality checking, you only need the (perhaps non-sensible) notion of element that is "a two-byte unit" |
| 2021-05-25 12:11:11 | <int-e> | merijn: oh, the one about energy flow through a surface? |
| 2021-05-25 12:11:23 | <merijn> | opqdonut: Even with constant-width unicode it's no clear to me if it'd be O(1), because of weird stuff like combining characters and various weirdness of unicode |
| 2021-05-25 12:11:23 | → | WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-25 12:11:25 | → | brandonh joins (~brandonh@51.190.236.231) |
| 2021-05-25 12:11:40 | ← | Plazma parts (~weenis@user/plazma) () |
| 2021-05-25 12:11:45 | <opqdonut> | merijn: oh right, sure. O(1) to access the nth codepoint, but that's mostly not what people want |
| 2021-05-25 12:11:48 | <tomsmeding> | (which would make my conclusion correct but my argument wrong) |
| 2021-05-25 12:11:54 | <opqdonut> | but some variation of nth character |
| 2021-05-25 12:12:02 | <dminuoso> | int-e: its not about energy flow, but rather the combined argument of the speed of light and that the maximum amount of entropy of a given space is limited by its surface, not its volume. |
| 2021-05-25 12:12:04 | <boxscape> | (I'm only dealing with characters allowed in filenames fwit) |
| 2021-05-25 12:12:09 | <boxscape> | s/fwit/fwiw |
| 2021-05-25 12:12:19 | <merijn> | opqdonut: Basically, i'm increasingly convinced that any form of indexing text is just insanity :p |
| 2021-05-25 12:12:24 | <opqdonut> | boxscape: aren't filenames better modeled as ByteString in most systems? |
| 2021-05-25 12:12:28 | <dminuoso> | opqdonut: the notion of "character" is not clear, honestly, |
| 2021-05-25 12:12:32 | <merijn> | opqdonut: Define "most systems" |
| 2021-05-25 12:12:32 | <tomsmeding> | opqdonut: yeah |
| 2021-05-25 12:12:32 | → | hellcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
All times are in UTC.