Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 .. 5022
— 502,152 events total
2021-03-19 22:13:45 × texasmynsted quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2021-03-19 22:14:09 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 22:14:30 → texasmynsted joins (~texasmyns@99.96.221.112)
2021-03-19 22:14:37 → jneira joins (501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6)
2021-03-19 22:16:24 → {abby} joins (~{abby}@unaffiliated/demhydraz)
2021-03-19 22:16:24 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:16:33 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:17:58 → Moyst_ joins (~moyst@212-149-213-144.bb.dnainternet.fi)
2021-03-19 22:18:24 → coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 22:19:12 × dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-19 22:21:07 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 22:21:53 hackage zeolite-lang 0.14.0.0 - Zeolite is a statically-typed, general-purpose programming language. https://hackage.haskell.org/package/zeolite-lang-0.14.0.0 (ta0kira)
2021-03-19 22:22:23 → apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 22:24:01 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds)
2021-03-19 22:28:00 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 22:33:17 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 22:34:12 × dsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) ()
2021-03-19 22:39:20 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 240 seconds)
2021-03-19 22:42:04 → nrh^ joins (~hph@ip98-184-89-2.mc.at.cox.net)
2021-03-19 22:43:51 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 22:43:55 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-19 22:44:07 → _Alleria joins (~AllahuAkb@2603-7000-3040-0000-e868-95dd-6dea-dfa1.res6.spectrum.com)
2021-03-19 22:45:35 × chirpsalot quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1)
2021-03-19 22:45:35 × Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1)
2021-03-19 22:46:43 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-f429-7221-6ab1-0f3b.res6.spectrum.com) (Ping timeout: 244 seconds)
2021-03-19 22:47:20 × knupfer quits (~Thunderbi@200116b82c36b5005cb9ab2db6c57d7c.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-03-19 22:47:36 × Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-19 22:50:20 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 22:50:29 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-19 22:50:56 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds)
2021-03-19 22:53:20 → nighmi joins (~felix@port-92-196-48-44.dynamic.as20676.net)
2021-03-19 22:53:26 × xff0x_ quits (~xff0x@2001:1a81:5242:1600:4bf:6bdb:4ec0:5322) (Ping timeout: 264 seconds)
2021-03-19 22:53:30 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Ping timeout: 260 seconds)
2021-03-19 22:54:01 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2021-03-19 22:54:11 → xff0x_ joins (~xff0x@2001:1a81:5242:1600:160f:f8e7:a361:9fb7)
2021-03-19 22:57:37 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Quit: Leaving)
2021-03-19 22:58:36 × zebrag quits (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 22:58:54 → zebrag joins (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 23:01:56 × DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection)
2021-03-19 23:05:42 → solidus-river joins (~fuag1@174.127.249.180)
2021-03-19 23:05:54 × molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 23:06:12 <solidus-river> hey all, i recently read that StateT and WriterT have space leaks / are broken? Is this still true? Where can I find out more
2021-03-19 23:06:35 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 23:07:49 × plast1k_ quits (~plast1k_@105.178.32.7) (Ping timeout: 256 seconds)
2021-03-19 23:08:51 → molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-19 23:09:16 → acidjnk_new joins (~acidjnk@p200300d0c72b95935491844d6bd44613.dip0.t-ipconnect.de)
2021-03-19 23:09:29 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-dtqotmfxqlmxiruq) (Quit: Connection closed for inactivity)
2021-03-19 23:11:23 hackage hspec-junit-formatter 1.0.0.0 - A JUnit XML runner/formatter for hspec https://hackage.haskell.org/package/hspec-junit-formatter-1.0.0.0 (mjgpy3)
2021-03-19 23:11:52 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 265 seconds)
2021-03-19 23:12:58 × fendor quits (~fendor@91.141.3.89.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-19 23:13:50 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-19 23:15:20 × xff0x_ quits (~xff0x@2001:1a81:5242:1600:160f:f8e7:a361:9fb7) (Ping timeout: 240 seconds)
2021-03-19 23:16:24 → xff0x_ joins (~xff0x@2001:1a81:5242:1600:2503:fe44:d20d:de0b)
2021-03-19 23:16:36 × coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 23:16:36 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 23:17:09 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 23:18:51 <jackdk> solidus-river: not sure for StateT, but for with traditional WriterT : 1. if you use lists directly, you build up left-associated (++) which are O(n^2) runtime; 2. If nothing is forcing the additions to the writer log as you go, you defer work to the end. You could look at using a WriterT with (DList a) for your w or https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Writer-CPS.html
2021-03-19 23:19:46 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 23:20:33 <solidus-river> jackdk, thanks, that's a much better explanation than the article gave already.
2021-03-19 23:20:45 <jackdk> "the article"?
2021-03-19 23:21:09 <solidus-river> yeah, it was from fp complete but i read it last night and not sure I'll be able to find it again
2021-03-19 23:21:46 <solidus-river> to it's credit it did link to another article for more info but the only thing written in the entry was "stateT / writerT are fundamentally broken even with the strict versions and have space leaks"
2021-03-19 23:21:51 <solidus-river> or something along those lines
2021-03-19 23:22:09 <jackdk> yeah, I believe that I've read that too, but I haven't looked at the guts of the implementation
2021-03-19 23:23:11 → mastarija joins (~mastarija@31.217.23.172)
2021-03-19 23:24:39 <solidus-river> found it, this was the link
2021-03-19 23:24:40 <solidus-river> https://mail.haskell.org/pipermail/libraries/2012-October/018599.html
2021-03-19 23:24:42 → shreyasminocha joins (~shreyasmi@unaffiliated/shreyasminocha)
2021-03-19 23:24:45 <solidus-river> its quite old so i thought maybe it was a relic
2021-03-19 23:25:07 <solidus-river> the hpaste link is expired
2021-03-19 23:25:13 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-19 23:25:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 23:26:32 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2021-03-19 23:27:40 <solidus-river> how can i understand better why (++) ends up being O(n^2)
2021-03-19 23:28:56 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 23:30:06 <infinisil> Pretty sure it should be O(n)
2021-03-19 23:30:06 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 23:30:15 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 23:31:38 × paintedindigo quits (~paintedin@2603-6011-4a41-8ada-92fb-02f3-fc7c-289b.res6.spectrum.com) (Quit: Leaving)
2021-03-19 23:31:47 × molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-19 23:33:36 × chenshen quits (~chenshen@2620:10d:c090:400::5:a8c8) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-19 23:33:44 <solidus-river> more concretely, the pipes tutorial mentions at the end that sequence, replicateM and mapM all work in quadratic time with respect to n but doesn't really explain it. It seems really suprising to me that they would be n^2 so i'm hoping to understand why
2021-03-19 23:33:47 <solidus-river> http://hackage.haskell.org/package/pipes-4.3.12/docs/Pipes-Tutorial.html#g:10
2021-03-19 23:34:21 → chenshen joins (~chenshen@2620:10d:c090:400::5:a8c8)
2021-03-19 23:35:08 → fl0_id joins (~fl0_id@2a01:4f8:171:4de::40:2)
2021-03-19 23:35:23 × chenshen quits (~chenshen@2620:10d:c090:400::5:a8c8) (Client Quit)
2021-03-19 23:36:31 × carlomagno quits (~cararell@148.87.23.5) (Quit: Leaving.)
2021-03-19 23:37:33 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-19 23:38:48 × texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 245 seconds)
2021-03-19 23:39:12 <jackdk> it's left-associated (++) in particular. Write out `((([1] ++ [2]) ++ [3]) ++ [4]) ++ [5]` on a piece of paper, and crank through the evaluation by hand. You'll notice that you walk the prefix of the list over and over again
2021-03-19 23:39:47 <jackdk> whereas `[1] ++ ([2] ++ ([3] ++ ([4] ++ [5])))` is O(n)
2021-03-19 23:40:09 × wonko7 quits (~wonko7@45.15.17.60) (Ping timeout: 264 seconds)
2021-03-19 23:41:51 → codygman__ joins (~user@47.186.207.161)
2021-03-19 23:42:23 × Codaraxis quits (~Codaraxis@193.27.14.10) (Read error: Connection reset by peer)
2021-03-19 23:42:35 <monochrom> You will also need to expand (++) as: [] ++ ys = ys; (x:xs) ++ ys = x : (xs ++ ys)
2021-03-19 23:43:04 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-19 23:44:09 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 23:45:04 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Max SendQ exceeded)
2021-03-19 23:45:28 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-19 23:45:35 → texasmynsted joins (~texasmyns@99.96.221.112)
←Prev  Next→
Page 1 .. 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 .. 5022

All times are in UTC.