Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 .. 5022
— 502,152 events total
2021-03-04 09:40:14 → notzmv joins (~zmv@unaffiliated/zmv)
2021-03-04 09:42:06 × chenshen quits (~chenshen@2620:10d:c090:400::5:9f47) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-04 09:43:00 → boxscape joins (86ab2c0d@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.44.13)
2021-03-04 09:43:27 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-czcoxqegzsrqhure) (Quit: Connection closed for inactivity)
2021-03-04 09:43:30 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-03-04 09:43:55 × mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2021-03-04 09:44:59 × vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection)
2021-03-04 09:45:11 → mapperr joins (~mapperr@vmi389916.contaboserver.net)
2021-03-04 09:45:23 → vchlup_ joins (~vchlup@nat.brnet.cz)
2021-03-04 09:47:09 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-03-04 09:47:22 → nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-04 09:48:03 → toorevitimirp joins (~tooreviti@117.182.182.60)
2021-03-04 09:48:06 <Unhammer> weell, that one sounds a bit too much like a costume
2021-03-04 09:51:52 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-04 09:54:02 × nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds)
2021-03-04 09:54:59 → makergrl joins (~ident@29.201.4.46.bc.googleusercontent.com)
2021-03-04 09:56:12 × freeman42x[m] quits (uid387759@gateway/web/irccloud.com/x-tmamqfkiqylunzfs) (Quit: Connection closed for inactivity)
2021-03-04 09:57:32 → ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net)
2021-03-04 09:57:32 × ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-03-04 09:57:32 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2021-03-04 10:03:35 × knupfer quits (~Thunderbi@200116b82c5bbe004d84b8705240f899.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-04 10:03:44 → knupfer joins (~Thunderbi@200116b82c5bbe00c174e65d57f6f6eb.dip.versatel-1u1.de)
2021-03-04 10:04:18 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-04 10:07:46 → m0rphism1 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-04 10:13:08 × boxscape quits (86ab2c0d@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.44.13) (Quit: Connection closed)
2021-03-04 10:13:15 × aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds)
2021-03-04 10:14:33 → gehmehgeh joins (~ircuser1@unaffiliated/gehmehgeh)
2021-03-04 10:14:34 × gehmehgeh quits (~ircuser1@unaffiliated/gehmehgeh) (Changing host)
2021-03-04 10:14:34 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-04 10:14:41 × gienah quits (~mwright@gentoo/developer/gienah) (Quit: Lost terminal)
2021-03-04 10:16:19 × tomsmeding quits (~tomsmedin@2a03:b0c0:0:1010::767:3001) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-04 10:16:39 × dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 260 seconds)
2021-03-04 10:17:14 → tomsmeding joins (~tomsmedin@tomsmeding.com)
2021-03-04 10:17:20 → dsrt^ joins (nehsou@ip98-184-89-2.mc.at.cox.net)
2021-03-04 10:23:01 → nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639)
2021-03-04 10:24:55 → JASTH joins (~Android@78-68-99-187-no2810.tbcn.telia.com)
2021-03-04 10:27:15 × nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds)
2021-03-04 10:30:48 × mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2021-03-04 10:31:17 → pjb joins (~t@2a01cb04063ec5007ce20f826557de89.ipv6.abo.wanadoo.fr)
2021-03-04 10:31:53 → mapperr joins (~mapperr@vmi389916.contaboserver.net)
2021-03-04 10:32:48 × heatsink quits (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) (Remote host closed the connection)
2021-03-04 10:35:43 × hrdl quits (~ef24a0e6@unaffiliated/hrdl) (Remote host closed the connection)
2021-03-04 10:36:22 → alecs joins (~alecs@151.62.127.36)
2021-03-04 10:36:29 × alecs quits (~alecs@151.62.127.36) (Client Quit)
2021-03-04 10:37:04 → alecs joins (~alecs@151.62.127.36)
2021-03-04 10:37:07 × alecs quits (~alecs@151.62.127.36) (Remote host closed the connection)
2021-03-04 10:38:12 → mananamenos_ joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net)
2021-03-04 10:38:22 → kowodo joins (~kowodo@p57b33e73.dip0.t-ipconnect.de)
2021-03-04 10:38:48 × mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2021-03-04 10:41:41 → thc202 joins (~thc202@unaffiliated/thc202)
2021-03-04 10:44:10 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2021-03-04 10:44:21 × seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-04 10:45:32 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-03-04 10:47:01 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2021-03-04 10:48:40 → gienah joins (~mwright@gentoo/developer/gienah)
2021-03-04 10:49:49 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-03-04 10:51:19 × __minoru__shirae quits (~shiraeesh@46.34.206.213) (Ping timeout: 245 seconds)
2021-03-04 10:54:21 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-04 10:55:09 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-04 10:57:00 → jakalx joins (~jakalx@base.jakalx.net)
2021-03-04 10:59:13 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-04 10:59:36 × Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Quit: Leaving)
2021-03-04 11:03:12 betawaffle_ is now known as betawaffle
2021-03-04 11:08:03 → stree joins (~stree@68.36.8.116)
2021-03-04 11:11:56 jiribenes_ is now known as jiribenes
2021-03-04 11:12:29 <nshepperd2> I keep finding myself reaching for something like (Seq a, Map a Int), where the Map lets you look up the position of each element and can be efficiently updated on all Seq operations (insert/delete/split/concatenate), but of course with a naive Map that's impossible to do better than O(n)
2021-03-04 11:14:37 <nshepperd2> edwardk: ^^ do you know any datastructure like this with good asymptotics? I think i vaguely remember seeing a talk from you that mentioned this but can't remember when
2021-03-04 11:15:22 × dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2021-03-04 11:16:04 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-04 11:16:24 <mniip> nshepperd2, segment/fenwick trees might help
2021-03-04 11:16:37 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-04 11:16:49 <mniip> you can do monoidal range update in log time
2021-03-04 11:17:36 → bahamas joins (~lucian@unaffiliated/bahamas)
2021-03-04 11:18:20 <nshepperd2> interesting
2021-03-04 11:18:34 <nshepperd2> that does look relevant
2021-03-04 11:19:48 × walt quits (~ggVGc@a.lowtech.earth) (Changing host)
2021-03-04 11:19:48 → walt joins (~ggVGc@unaffiliated/walt)
2021-03-04 11:19:53 walt is now known as ggVGc
2021-03-04 11:21:39 → cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-04 11:22:09 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds)
2021-03-04 11:24:05 <mniip> I guess the FP analog would be a map that stores a monoid element in every node
2021-03-04 11:24:19 <mniip> and the value in the leaf is the concatenation of the elements along the path
2021-03-04 11:24:31 <mniip> so you can update an entire subtree in O(1)
2021-03-04 11:26:11 → dexterlb_ joins (~dexterlb@2a01:9e40:2:2::2)
2021-03-04 11:28:27 <nshepperd2> so far what i've been able to come up with on my own is: 1. use a linked list (fwd :: Map a a, bwd :: Map a a) which is efficient but doesn't support everything Seq does; or 2. Bimap Key a where Key is some datatype that is dense like the real numbers (eg. [Int]) which degrades in performance if you repeatedly insert between two elements
2021-03-04 11:29:00 × JASTH quits (~Android@78-68-99-187-no2810.tbcn.telia.com) (Read error: Connection reset by peer)
2021-03-04 11:29:22 bjobjo_ is now known as bjobjo
2021-03-04 11:33:12 → heatsink joins (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d)
2021-03-04 11:33:25 → average joins (uid473595@gateway/web/irccloud.com/x-xflnwfcmhqvolkuk)
2021-03-04 11:35:10 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-04 11:35:19 <siraben> nshepperd2: would finger trees work?
2021-03-04 11:35:38 <siraben> (it's what Seq uses internally but it works over an custom monoid)
2021-03-04 11:35:43 → drbean joins (~drbean@TC210-63-209-31.static.apol.com.tw)
2021-03-04 11:36:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-04 11:36:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-04 11:37:50 <arahael> How do I read a string into an xml document? I'm using hxt and have tried: runX $ readString [ withValidate no ] $ unpack $ decodeUtf8 xml
2021-03-04 11:38:49 <arahael> The problem is that I have a 'fatal error: HTTP handler not configured', there is further instructions I could follow to eg, use the 'withHTTP' option, but how can i *just* parse this xml and not also fetch DTD's and stuff like that?
2021-03-04 11:40:04 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-03-04 11:40:43 → usr25 joins (~usr25@unaffiliated/usr25)
2021-03-04 11:42:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 .. 5022

All times are in UTC.