Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 298 299 300 301 302 303 304 305 306 307 308 .. 5022
— 502,152 events total
2020-09-29 17:13:30 <maerwald> boom
2020-09-29 17:13:35 <maerwald> (it works)
2020-09-29 17:15:19 <ski> contravariance of mutable container ?
2020-09-29 17:16:37 × wonko7 quits (~wonko7@2a01:e35:2ffb:7040:8c5f:831a:4acc:45dd) (Ping timeout: 272 seconds)
2020-09-29 17:16:37 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 17:17:07 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 17:20:12 <maerwald> monochrom: you mean this? https://github.com/haskell/tar/issues/57
2020-09-29 17:20:26 <monochrom> Yeah
2020-09-29 17:20:28 <maerwald> I think it might actually be related to ByteString, but I have to check
2020-09-29 17:21:01 <maerwald> or it might get worse
2020-09-29 17:21:07 × borne quits (~fritjof@200116b864231000537d5cc8226f9d9f.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-09-29 17:21:13 <monochrom> Ah then, maybe 9.0.1 doesn't help.
2020-09-29 17:21:24 <maerwald> they made bytestring faster... but no one knows if that increased the memory footprint I think
2020-09-29 17:21:31 <geekosaur> bytestring still needs to be updatd to use the new mechanism
2020-09-29 17:21:35 <monochrom> 9.0.1's change is for OverloadedString bytestrings, if I read correctly
2020-09-29 17:21:56 <maerwald> I usually don't put 200mb string literals in my code
2020-09-29 17:21:59 <monochrom> And what geekosaur said.
2020-09-29 17:22:09 → coot joins (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl)
2020-09-29 17:22:14 <geekosaur> and in any case there are multiple ways that ByteStrings fragment and possibly leak memory, as I understand it, and this helps only one of them
2020-09-29 17:22:18 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-29 17:22:50 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-29 17:23:01 <maerwald> the streamly maintainer wants to completely replace it with a Stream of Word8
2020-09-29 17:23:01 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-09-29 17:23:25 <maerwald> maybe that solves all our problems
2020-09-29 17:26:08 <aldum> is OverloadedStrings default now, or am I misunderstanding you?
2020-09-29 17:26:11 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-09-29 17:26:38 <geekosaur> no, it's not the default
2020-09-29 17:26:39 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 17:27:07 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 17:27:23 <geekosaur> but OverloadedStrings means you have a string literal somewhere that in this case gets converted to a ByteString, which means the string ow exists twice unless there's some trickery to share the representation
2020-09-29 17:27:34 <geekosaur> this is said trickery
2020-09-29 17:28:20 <geekosaur> (it can't be a normal FroeignPr like with most ByteStrings because it would then be freeable, but it's not in the heap because it was compiled in)
2020-09-29 17:29:01 × puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 264 seconds)
2020-09-29 17:30:40 × elcaro quits (~anonymous@45.32.191.75) (Ping timeout: 260 seconds)
2020-09-29 17:30:40 × BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 272 seconds)
2020-09-29 17:31:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-29 17:34:21 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 258 seconds)
2020-09-29 17:34:59 × alp quits (~alp@2a01:e0a:58b:4920:c58c:601c:cb46:bf0c) (Ping timeout: 272 seconds)
2020-09-29 17:35:06 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-09-29 17:36:44 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 17:36:45 × zabracks quits (sid322453@gateway/web/irccloud.com/x-biellhbdwvaqjeyr) (Ping timeout: 240 seconds)
2020-09-29 17:36:47 × systemfault quits (sid267009@gateway/web/irccloud.com/x-sfyoklqzvaqfavha) (Ping timeout: 240 seconds)
2020-09-29 17:36:47 × lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-gzrfkljqohobksef) (Ping timeout: 240 seconds)
2020-09-29 17:36:47 × idnar quits (sid12240@gateway/web/irccloud.com/x-ksrpwtdqweqhqhsk) (Ping timeout: 240 seconds)
2020-09-29 17:36:47 × verlet64_ quits (sid261276@gateway/web/irccloud.com/x-gtjwwpwdhrqekihq) (Ping timeout: 240 seconds)
2020-09-29 17:36:58 × aizen_s quits (sid462968@gateway/web/irccloud.com/x-dmmzhntvaxdtjaeg) (Ping timeout: 256 seconds)
2020-09-29 17:36:59 × rann quits (sid175221@gateway/web/irccloud.com/x-qththkjntwgnhebq) (Ping timeout: 240 seconds)
2020-09-29 17:37:05 × moobar quits (sid171730@gateway/web/irccloud.com/x-gndqbhnlgmetppkc) (Ping timeout: 246 seconds)
2020-09-29 17:37:07 × yogani quits (sid42623@gateway/web/irccloud.com/x-nguvyfsvhgyshvjf) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × PotatoGim quits (sid99505@gateway/web/irccloud.com/x-zoyefvrqhzvagror) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × xyggos quits (uid216035@gateway/web/irccloud.com/x-hospzqdbwodsdydc) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × cstrahan quits (sid36118@gateway/web/irccloud.com/x-qpyatyyfmsjoedfl) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-xojalosetjeggitu) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-tponbxdqtfpxmwel) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × chessai quits (sid225296@gateway/web/irccloud.com/x-zzehzebrnlswozjp) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × FMJz____ quits (sid279245@gateway/web/irccloud.com/x-xxlxmdepyepdjiiz) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × albethere quits (sid457088@gateway/web/irccloud.com/x-egacnjjdaxtejyln) (Ping timeout: 260 seconds)
2020-09-29 17:37:07 × mcfilib quits (sid302703@gateway/web/irccloud.com/x-ayrowhifopnqemcf) (Ping timeout: 260 seconds)
2020-09-29 17:37:08 × natim87 quits (sid286962@gateway/web/irccloud.com/x-owkkkawkmfdtpxis) (Ping timeout: 260 seconds)
2020-09-29 17:37:08 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 17:37:08 × simony quits (sid226116@gateway/web/irccloud.com/x-vcsdewznrdwwgnis) (Ping timeout: 260 seconds)
2020-09-29 17:37:08 × cbarrett quits (sid192934@adium/cbarrett) (Ping timeout: 260 seconds)
2020-09-29 17:37:10 × scav quits (sid309693@gateway/web/irccloud.com/x-sroyhqfgixitzetl) (Ping timeout: 246 seconds)
2020-09-29 17:37:12 × wpcarro quits (sid397589@gateway/web/irccloud.com/x-tmnsiiwhaheypbna) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × gregberns_ quits (sid315709@gateway/web/irccloud.com/x-pxdaqtbgiynqrhqa) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × mpickering quits (sid78412@gateway/web/irccloud.com/x-tenczaeanycawpas) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × darthThorik quits (sid39589@gateway/web/irccloud.com/x-eimsyucdiebkhuma) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × davetapley quits (sid666@gateway/web/irccloud.com/x-issjvdpiznczxsoo) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-ootswxobilgmieqa) (Ping timeout: 260 seconds)
2020-09-29 17:37:12 × ^[_ quits (sid43445@gateway/web/irccloud.com/x-tppirwslmjxiosbo) (Ping timeout: 260 seconds)
2020-09-29 17:37:22 → elcaro joins (~anonymous@45.32.191.75)
2020-09-29 17:37:25 × pepeiborra quits (sid443799@gateway/web/irccloud.com/x-mukumnrtxgwgxvcg) (Ping timeout: 240 seconds)
2020-09-29 17:37:25 × banjiewen quits (sid115913@gateway/web/irccloud.com/x-cfyiyxhggjpdnbsm) (Ping timeout: 244 seconds)
2020-09-29 17:37:27 × betawaffle quits (sid2730@gateway/web/irccloud.com/x-wauonuwppwmwhziv) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × NemesisD quits (sid24071@gateway/web/irccloud.com/x-hbgzpmcbhsxfreot) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × dgpratt quits (sid193493@gateway/web/irccloud.com/x-jfcngfvjfuasdztv) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × chpatrick quits (sid239395@gateway/web/irccloud.com/x-hgwhhvpaceqfpsfd) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × jlpeters quits (sid25606@gateway/web/irccloud.com/x-twwkkqhyyggfdivq) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × feepo quits (sid28508@gateway/web/irccloud.com/x-yvdfjmicbugqxtqj) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × kip quits (sid71464@gateway/web/irccloud.com/x-rmonmsxkcjhjcgqe) (Ping timeout: 260 seconds)
2020-09-29 17:37:27 × lally quits (sid388228@gateway/web/irccloud.com/x-lwhbjdguutvknmcz) (Ping timeout: 240 seconds)
2020-09-29 17:37:31 × nick_h quits (sid319833@gateway/web/irccloud.com/x-wfhraakyeevpkesp) (Ping timeout: 272 seconds)
2020-09-29 17:37:31 × hamishmack quits (sid389057@gateway/web/irccloud.com/x-sbssjiiibjkdervd) (Ping timeout: 246 seconds)
2020-09-29 17:37:38 × grfn quits (sid449115@gateway/web/irccloud.com/x-rvpditypzabzksng) (Ping timeout: 272 seconds)
2020-09-29 17:37:38 × gaze__ quits (sid387101@gateway/web/irccloud.com/x-dnjlouysixtlqjqi) (Ping timeout: 272 seconds)
2020-09-29 17:37:38 × conjunctive quits (sid433686@gateway/web/irccloud.com/x-tffvixiwtutlgztn) (Ping timeout: 272 seconds)
2020-09-29 17:37:40 × wildsebastian quits (sid324688@gateway/web/irccloud.com/x-noxobrzcxmeunedz) (Ping timeout: 260 seconds)
2020-09-29 17:37:40 × dmj` quits (sid72307@gateway/web/irccloud.com/x-yskysacdwencbpve) (Ping timeout: 260 seconds)
2020-09-29 17:37:40 × johs quits (sid246410@gateway/web/irccloud.com/x-rkhjgvgwqomlfxih) (Ping timeout: 260 seconds)
2020-09-29 17:37:42 × fweht quits (uid404746@gateway/web/irccloud.com/x-otdjghlxzvvxjpbo) (Ping timeout: 260 seconds)
2020-09-29 17:37:42 × alexknvl quits (sid259568@gateway/web/irccloud.com/x-kbonmpmnmqrrezib) (Ping timeout: 260 seconds)
2020-09-29 17:37:42 × Cir0X quits (sid221743@gateway/web/irccloud.com/x-obthuqhxhrpgtptx) (Ping timeout: 260 seconds)
2020-09-29 17:37:42 × SrPx quits (sid108780@gateway/web/irccloud.com/x-ewgpqpdkoawdjsvm) (Ping timeout: 260 seconds)
2020-09-29 17:37:43 × liquorice quits (sid267884@gateway/web/irccloud.com/x-ubxyjvrpmxhwnqkq) (Ping timeout: 260 seconds)
2020-09-29 17:37:43 × carter quits (sid14827@gateway/web/irccloud.com/x-iroznbxhtklfnfzx) (Ping timeout: 260 seconds)
2020-09-29 17:37:43 × rdivyanshu quits (sid322626@gateway/web/irccloud.com/x-rlikewfaiqjbobsd) (Ping timeout: 260 seconds)
2020-09-29 17:37:43 × tiru quits (tiru@gateway/web/irccloud.com/x-fdoctjaahakycgjg) (Ping timeout: 260 seconds)
2020-09-29 17:37:46 × angerman quits (sid209936@gateway/web/irccloud.com/x-fjowxznciagzmqyd) (Ping timeout: 256 seconds)
2020-09-29 17:37:46 × lightandlight quits (sid135476@gateway/web/irccloud.com/x-nimetgbujjzfnoxs) (Ping timeout: 256 seconds)
2020-09-29 17:37:46 × benwr__ quits (sid372383@gateway/web/irccloud.com/x-ympydwgppzchpmbc) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 298 299 300 301 302 303 304 305 306 307 308 .. 5022

All times are in UTC.