Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 194 195 196 197 198 199 200 201 202 203 204 .. 5022
— 502,152 events total
2020-09-25 03:03:11 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-09-25 03:03:41 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-25 03:03:49 → andi- joins (~andi-@NixOS/user/andi-)
2020-09-25 03:03:49 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-25 03:04:59 → evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-25 03:05:41 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-09-25 03:05:47 × totallynotnate quits (~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-25 03:09:25 × machinedgod quits (~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 240 seconds)
2020-09-25 03:10:10 × alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection)
2020-09-25 03:10:16 → shafox joins (~shafox@106.51.234.111)
2020-09-25 03:11:57 ← thiross parts (~user@161.129.40.8) ("ERC (IRC client for Emacs 27.1)")
2020-09-25 03:12:09 → mirrorbird joins (~psutcliff@m83-187-173-228.cust.tele2.se)
2020-09-25 03:15:24 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-25 03:15:27 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-25 03:17:20 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-25 03:18:35 → z1 joins (~z@static-198-54-129-86.cust.tzulo.com)
2020-09-25 03:22:14 → bpalmer1 joins (~bpalmer@185.204.1.185)
2020-09-25 03:24:02 <z1> I'm trying to figure out why the runtime of this function is theta(km + n(m^2)). Is the (n(m^2)) term due to having to copy the (ws ++x) term each iteration?
2020-09-25 03:24:04 <z1> f xss = g [] xss
2020-09-25 03:24:06 <z1> g ws [] = ws
2020-09-25 03:24:08 <z1> g ws (x:xs) = g (ws ++ x) xs
2020-09-25 03:24:30 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-25 03:25:00 <dolio> Yes, `ws ++ x` has to rebuild `ws`.
2020-09-25 03:25:31 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-09-25 03:25:32 → adamwesp_ joins (~adam_wesp@209.6.42.110)
2020-09-25 03:25:48 <z1> @dolio awesome thanks!
2020-09-25 03:25:48 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-25 03:25:48 <lambdabot> Unknown command, try @list
2020-09-25 03:25:49 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-09-25 03:25:51 → Sgeo_ joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-25 03:25:55 × z1 quits (~z@static-198-54-129-86.cust.tzulo.com) (Quit: WeeChat 2.9)
2020-09-25 03:26:14 aplainzetakind is now known as aplainzet
2020-09-25 03:26:15 × aplainzet quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-09-25 03:26:30 <ski> better use direct recursion version here, rather than an accumulator
2020-09-25 03:26:38 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-vldvpjxmmaehkxbx) ()
2020-09-25 03:27:23 × elliott__ quits (~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-25 03:27:47 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 240 seconds)
2020-09-25 03:28:03 × bspar_ quits (~bspar@2604:a880:0:1010::776:e001) (Remote host closed the connection)
2020-09-25 03:28:11 × Hijiri_ quits (~Hijiri@104.236.61.10) (Ping timeout: 240 seconds)
2020-09-25 03:28:18 → Hijiri joins (~Hijiri@104.236.61.10)
2020-09-25 03:28:33 <ski> in general, avoid left-nesting calls to `++', like `((([] ++ x0) ++ x1) ++ x2) ++ x3', which is what happens with the accumulator, in your definition
2020-09-25 03:28:34 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 256 seconds)
2020-09-25 03:28:35 × mantovani_ quits (~mantovani@104.131.207.121) (Ping timeout: 240 seconds)
2020-09-25 03:28:48 × mirrorbird quits (~psutcliff@m83-187-173-228.cust.tele2.se) (Quit: Leaving)
2020-09-25 03:29:00 → mantovani joins (~mantovani@104.131.207.121)
2020-09-25 03:29:09 → bspar joins (~bspar@2604:a880:0:1010::776:e001)
2020-09-25 03:29:35 <ski> `x2' will there be traversed once, `x1' twice, `x0' thrice .. hence this ends up quadratic, rather than the expected linear
2020-09-25 03:31:01 <ski> (also, if you'd like to, read about the "Schlemiel the Painter" algorithm, by Joel Spolsky, at <https://www.joelonsoftware.com/2001/12/11/back-to-basics/>)
2020-09-25 03:31:19 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-25 03:32:01 → _vaibhavingale_ joins (~Adium@203.188.228.27)
2020-09-25 03:34:56 → justan0theruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-25 03:36:42 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-25 03:36:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 03:41:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-25 03:42:10 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 03:42:47 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 03:47:44 → shad0w_ joins (~shad0w_@160.202.37.157)
2020-09-25 03:48:57 × alexm_ quits (~alexm_@161.8.233.138) (Ping timeout: 272 seconds)
2020-09-25 03:51:29 × xff0x quits (~fox@2001:1a81:52cd:2700:30eb:9359:b5d6:26a0) (Ping timeout: 272 seconds)
2020-09-25 03:52:08 → xff0x joins (~fox@2001:1a81:52cd:2700:e58f:2a70:d271:af84)
2020-09-25 03:56:01 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-09-25 03:56:22 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-25 04:00:27 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-25 04:01:23 → crobbins_ joins (~crobbins@2601:2c1:380:ec40:d96c:72da:8879:7899)
2020-09-25 04:01:37 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds)
2020-09-25 04:03:31 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 272 seconds)
2020-09-25 04:03:50 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-25 04:03:55 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-25 04:04:07 × crobbins quits (~crobbins@2601:2c1:380:ec40:80f3:e48e:7123:1353) (Ping timeout: 260 seconds)
2020-09-25 04:04:27 → ahri joins (~ahri@178.209.40.84)
2020-09-25 04:05:14 → zacts joins (~zacts@dragora/developer/zacts)
2020-09-25 04:06:02 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 04:07:19 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-25 04:07:19 → day_ joins (~Unknown@unaffiliated/day)
2020-09-25 04:08:01 × asan quits (~yan4138@180.164.96.158) (Ping timeout: 264 seconds)
2020-09-25 04:08:17 → asan joins (~yan4138@124.78.5.33)
2020-09-25 04:09:59 × jedws quits (~jedws@2001:8003:337f:1b00:1449:7df0:4af3:7c20) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-25 04:11:14 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds)
2020-09-25 04:11:14 day_ is now known as day
2020-09-25 04:13:11 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-25 04:13:36 → jedws joins (~jedws@2001:8003:337f:1b00:1449:7df0:4af3:7c20)
2020-09-25 04:14:56 → Rudd0^ joins (~Rudd0@185.189.115.98)
2020-09-25 04:16:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 04:17:29 → mu joins (~mu@unaffiliated/mu)
2020-09-25 04:18:36 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2020-09-25 04:20:35 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 04:23:33 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-25 04:24:57 × bloodstalker quits (~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-25 04:26:37 × alexm_ quits (~alexm_@161.8.233.138) (Ping timeout: 265 seconds)
2020-09-25 04:26:37 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 04:26:41 → falafel_ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-25 04:28:34 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-09-25 04:29:06 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-09-25 04:29:09 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 04:29:27 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-25 04:29:54 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-25 04:32:38 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-25 04:34:30 → mpereira joins (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64)
2020-09-25 04:34:35 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-25 04:35:56 × shad0w_ quits (~shad0w_@160.202.37.157) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 194 195 196 197 198 199 200 201 202 203 204 .. 5022

All times are in UTC.