Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 533 534 535 536 537 538 539 540 541 542 543 .. 5022
— 502,152 events total
2020-10-09 11:34:48 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-09 11:34:49 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-09 11:34:50 → darjeeling_ joins (~darjeelin@122.245.210.138)
2020-10-09 11:34:52 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-09 11:34:53 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-09 11:34:53 → spinnylights joins (~zoe@pool-100-6-142-89.pitbpa.fios.verizon.net)
2020-10-09 11:34:54 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-09 11:34:56 → remexre_ joins (~nathan@207-153-38-50.fttp.usinternet.com)
2020-10-09 11:34:57 → martin02 joins (silas@hund.fs.lmu.de)
2020-10-09 11:35:05 → jiribenes1 joins (jbjiribene@gateway/shell/matrix.org/x-hlzxlgqhzheuoshi)
2020-10-09 11:35:20 → giaco joins (~jack@2-238-151-49.ip244.fastwebnet.it)
2020-10-09 11:35:32 <kuribas> lyxia: Aeson is meant to do text encoding/decoding, so it should have to mess with bytestring encodings.
2020-10-09 11:35:54 <dminuoso> kuribas: You probably get better performance if you dont roundtrip through text.
2020-10-09 11:36:00 → kadoban joins (kadobanmat@gateway/shell/matrix.org/x-vbpdmawecokvypon)
2020-10-09 11:36:07 <lyxia> that seems to be a pretty arbitrary requirement
2020-10-09 11:36:12 → nihilazo joins (nihilazoma@gateway/shell/matrix.org/x-gmshkgiyniprfgmk)
2020-10-09 11:36:12 → michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-qaoqeszlpidmiidi)
2020-10-09 11:36:32 → hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-pxllgyrlikkrbict)
2020-10-09 11:36:37 × chaosmasttter quits (~chaosmast@p200300c4a70b4001c004325a2a510724.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-09 11:36:39 <dminuoso> Also, if you require Text, then you're *still* forced into a particular decoder, namely those provided by text.
2020-10-09 11:37:04 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2020-10-09 11:37:23 <kuribas> dminuoso: there are different encoders for Text.
2020-10-09 11:37:31 <dminuoso> And ontop, that puts additional burden on the programmer, since you yourself have to explicitly use decodeUtf8, since Utf16/32 is invalid for JSON.
2020-10-09 11:37:38 <dminuoso> (Outside closed systems)
2020-10-09 11:37:57 <kuribas> lyxia: for example, I may want to generate a json string into Text.
2020-10-09 11:38:07 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 246 seconds)
2020-10-09 11:38:19 <kuribas> ByteString and Text shouldn't be interchangeable
2020-10-09 11:38:25 <phadej> It's not about having either, yes, aeson should have an option to generate Text directly too
2020-10-09 11:38:48 <phadej> but due mentioned performance reasons, one have to pick one, and ByteString is "better" choice
2020-10-09 11:39:20 <phadej> bold claim: make stack support backpack (or go away), then there could be backpacked Aeson for either bytestrings or text
2020-10-09 11:39:52 <dminuoso> phadej: An even bolder claim, before we use backpack, can we have a functional documentation for it first? :p
2020-10-09 11:39:52 <phadej> i.e. lets rather not choose either, but make library support everything (but without performance penalties)
2020-10-09 11:40:11 <kuribas> phadej: that would be a better option of course... Is aeson really that optimized on speed?
2020-10-09 11:40:11 → jkaye[m] joins (jkayematri@gateway/shell/matrix.org/session)
2020-10-09 11:40:11 → aqd joins (~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-09 11:40:11 → theDon joins (~td@94.134.91.7)
2020-10-09 11:40:11 → CindyLinz joins (~cindy_utf@112.121.78.20)
2020-10-09 11:40:11 → arahael joins (~arahael@203.194.43.207)
2020-10-09 11:40:11 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-09 11:40:11 → ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-10-09 11:40:11 → joshmeredith joins (sid387798@gateway/web/irccloud.com/x-lhhtwrcyukiolswv)
2020-10-09 11:40:11 → pong joins (chiya@2406:3003:2077:2341::babe)
2020-10-09 11:40:11 → coeus joins (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de)
2020-10-09 11:40:11 → nopf joins (~frosch@static.179.17.76.144.clients.your-server.de)
2020-10-09 11:40:11 → M2tias joins (m2@seri.fi)
2020-10-09 11:40:12 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/session) (Changing host)
2020-10-09 11:40:12 → jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-qpddmqzxjujexbdo)
2020-10-09 11:40:16 <phadej> kuribas: it is
2020-10-09 11:40:59 <phadej> the addition of toEncoding was purely motivated by performance considerations
2020-10-09 11:41:05 → hekkaidekapus] joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-09 11:41:25 <phadej> otherwise you (can quite easily in fact) use toJSON + Value -> Text function
2020-10-09 11:41:39 → carlomagno1 joins (~cararell@inet-hqmc01-o.oracle.com)
2020-10-09 11:42:07 <phadej> writing Text -> Value parser is in fact also ok and possible, I guess someone just need to do the legwork there
2020-10-09 11:42:23 <phadej> (as parsing side of aeson always goes through `Value`)
2020-10-09 11:42:32 <kuribas> I thought Text was still quite performant
2020-10-09 11:42:39 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-09 11:42:54 <kuribas> was aeson made pre-Text?
2020-10-09 11:43:03 × hekkaidekapus[ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-09 11:43:05 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 11:43:13 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 260 seconds)
2020-10-09 11:43:45 × chele__ quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2020-10-09 11:44:27 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-09 11:45:20 <phadej> text is performant when you already have it
2020-10-09 11:45:35 × spinnylights quits (~zoe@pool-100-6-142-89.pitbpa.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-09 11:45:36 <phadej> for parsing, in fact it isn't as you have to decode backing UTF16 on the fly
2020-10-09 11:46:10 × marek quits (~mmahut@209.250.249.245) (Ping timeout: 246 seconds)
2020-10-09 11:46:11 <phadej> Vector Word32 would be more performant (i.e. UTF32 encoding), if you can afford having 4bytes per character
2020-10-09 11:48:11 → cpressey joins (~cpressey@79-72-202-104.dynamic.dsl.as9105.com)
2020-10-09 11:48:21 → marek joins (~mmahut@209.250.249.245)
2020-10-09 11:48:52 <phadej> in fact, `text` is weird compromise nowadays, utf16 isn't really space efficient, nor is fixed-width (i.e. as performant as it can get)
2020-10-09 11:49:28 <phadej> but then there are reasons why its internal encoding isn't changed
2020-10-09 11:50:37 <kuribas> if the internals aren't leaky, we could change to utf8
2020-10-09 11:51:25 × galagora quits (c5ed143c@197.237.20.60) (Remote host closed the connection)
2020-10-09 11:52:43 <phadej> https://github.com/text-utf8/META/issues/1
2020-10-09 11:53:01 <phadej> "we" doesn't work
2020-10-09 11:53:31 <phadej> people burnout climbing this kind of hills
2020-10-09 11:54:01 <dminuoso> Presumably the main issue is that those people have day jobs, hobby projects, maintainer positions for dozens of other projects..
2020-10-09 11:54:19 <dminuoso> So if you have a personal life and still want to get text-utf8 done, it's gonna be hard.
2020-10-09 11:54:42 <phadej> yes, these kind of issues should be someones dayjob
2020-10-09 11:56:30 <phadej> Though, honestly, I don't think that driving these kind of big-scale changes through is a nice job
2020-10-09 11:58:03 <phadej> and IMHO that team should be at least of size three
2020-10-09 11:58:16 <phadej> so it's not any single person's job either
2020-10-09 11:58:55 <__skn> CX
2020-10-09 11:59:17 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2020-10-09 11:59:27 <phadej> because these kind of libraries should be associated with a single person
2020-10-09 11:59:55 → mmohammadi981266 joins (~mmohammad@5.238.185.98)
2020-10-09 12:04:08 → jedws joins (~jedws@121.209.161.98)
2020-10-09 12:05:08 <dminuoso> *shouldn't
2020-10-09 12:06:37 → R8128 joins (~R8128@77-170-72-55.fixed.kpn.net)
2020-10-09 12:08:34 × jedws quits (~jedws@121.209.161.98) (Ping timeout: 246 seconds)
2020-10-09 12:10:14 × mmohammadi981266 quits (~mmohammad@5.238.185.98) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-10-09 12:11:07 <Cheery> I wrote a tool that fetches a og:title/og:description from the website and dumps it along the link.
2020-10-09 12:11:37 <Cheery> Now I'd need a tool that can get in bunch of text, and produce a short summary from it.
2020-10-09 12:11:50 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-09 12:12:45 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-09 12:13:09 → alp joins (~alp@2a01:e0a:58b:4920:d4ea:6c81:73c8:e91a)
2020-10-09 12:13:33 → mmohammadi981266 joins (~mmohammad@5.238.185.98)
2020-10-09 12:14:57 <Cheery> Yay.. there's a linux tool for that. :)
2020-10-09 12:15:31 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-10-09 12:15:31 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
←Prev  Next→
Page 1 .. 533 534 535 536 537 538 539 540 541 542 543 .. 5022

All times are in UTC.