Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 247 248 249 250 251 252 253 254 255 256 257 .. 5022
— 502,152 events total
2020-09-27 11:22:00 → aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-27 11:22:25 aplainze1akind is now known as aplainzetakind
2020-09-27 11:24:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 11:24:46 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-09-27 11:25:40 × mmohammadi98129 quits (~mmohammad@2.178.218.61) (Ping timeout: 246 seconds)
2020-09-27 11:26:15 → dhil joins (~dhil@11.29.39.217.dyn.plus.net)
2020-09-27 11:26:55 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 11:27:30 → ericsagnes joins (~ericsagne@2405:6580:0:5100:74e9:5ac6:5b4b:6ddf)
2020-09-27 11:29:57 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-27 11:31:28 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-09-27 11:32:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-27 11:33:01 → _hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-27 11:34:23 → zargoertzel joins (~zar@fw4.ciirc.cvut.cz)
2020-09-27 11:35:03 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-27 11:37:20 × zariuq quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 256 seconds)
2020-09-27 11:39:46 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:42:32 × chaosmasttter quits (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-27 11:43:27 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 240 seconds)
2020-09-27 11:43:38 × knupfer quits (~Thunderbi@mue-88-130-61-225.dsl.tropolys.de) (Quit: knupfer)
2020-09-27 11:43:39 → knupfer1 joins (~Thunderbi@200116b824c86d00d435c8b89e73e911.dip.versatel-1u1.de)
2020-09-27 11:44:20 × Achylles quits (~Achylles@201-1-35-151.dsl.telesp.net.br) (Quit: Leaving)
2020-09-27 11:44:21 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 11:44:47 × rprije quits (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 240 seconds)
2020-09-27 11:45:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 11:45:27 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-27 11:45:56 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 11:46:03 knupfer1 is now known as knupfer
2020-09-27 11:46:11 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-27 11:46:44 × Enrico63 quits (5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds)
2020-09-27 11:46:45 × Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-09-27 11:47:36 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 265 seconds)
2020-09-27 11:47:41 → drbean joins (~drbean@TC210-63-209-205.static.apol.com.tw)
2020-09-27 11:48:18 × John20 quits (~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-27 11:49:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:51:07 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 11:53:34 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 11:54:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 11:56:30 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-09-27 11:57:40 × MononcQc1 quits (~MononcQc@84.39.117.57) (Remote host closed the connection)
2020-09-27 11:58:43 × fluturel_ quits (~fluturel@82.137.14.51) (Ping timeout: 265 seconds)
2020-09-27 11:59:37 × fluturel quits (~fluturel@82.137.14.51) (Ping timeout: 264 seconds)
2020-09-27 12:00:06 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:01:05 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 12:04:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 12:04:46 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 12:05:05 → ahri joins (~ahri@178.209.40.84)
2020-09-27 12:05:34 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-27 12:09:03 × xff0x_ quits (~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 272 seconds)
2020-09-27 12:10:12 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:11:44 → xff0x_ joins (~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0)
2020-09-27 12:12:56 × shwouchk quits (uid154201@gateway/web/irccloud.com/x-ykbxoiqnbfhomykv) (Quit: Connection closed for inactivity)
2020-09-27 12:14:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 12:17:24 → rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 12:20:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:22:07 → Saten-san joins (~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 12:24:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 12:30:41 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 12:35:46 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-27 12:36:32 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-27 12:37:19 × Saten-san quits (~Saten-san@ip-62-235-12-222.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-27 12:50:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:52:52 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-27 12:53:55 → random joins (~random@185.219.70.106)
2020-09-27 12:55:11 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 12:56:09 → ksamak joins (~ksamak@178.162.212.214)
2020-09-27 12:56:25 × jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Connection closed)
2020-09-27 12:57:35 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 12:57:36 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 12:58:10 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 12:59:26 → machinedgod joins (~machinedg@24.105.81.50)
2020-09-27 13:00:46 → sw1nn joins (~sw1nn@host86-129-128-20.range86-129.btcentralplus.com)
2020-09-27 13:00:50 → jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-27 13:00:51 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:02:37 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-09-27 13:04:05 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 13:04:52 → ahri joins (~ahri@178.209.40.84)
2020-09-27 13:05:32 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 13:07:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-27 13:09:05 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-27 13:09:36 → ggole joins (~ggole@2001:8003:8119:7200:259a:6f8b:cb91:2342)
2020-09-27 13:10:57 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:14:11 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-27 13:15:12 × xsperry quits (~as@cpe-188-129-91-153.dynamic.amis.hr) (Changing host)
2020-09-27 13:15:12 → xsperry joins (~as@unaffiliated/xsperry)
2020-09-27 13:15:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-27 13:15:47 × mirrorbird quits (~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 240 seconds)
2020-09-27 13:17:26 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 13:18:00 → Saten-san joins (~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 13:21:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:22:48 × minwuek quits (uid466029@gateway/web/irccloud.com/x-fkobzjneikrfqrhj) ()
2020-09-27 13:23:03 → p0a joins (~user@unaffiliated/p0a)
2020-09-27 13:25:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 13:31:16 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:31:30 <p0a> if I want to calculate n*(n+1)/2, which is an integer
2020-09-27 13:31:52 <p0a> do I have to do all the conversions in between? fromIntegral and then with floor?
2020-09-27 13:32:01 <int-e> odd:t div
2020-09-27 13:32:03 <int-e> oops
2020-09-27 13:32:05 <int-e> :t div
2020-09-27 13:32:06 <lambdabot> Integral a => a -> a -> a
2020-09-27 13:32:18 <int-e> so, no, just don't use /
←Prev  Next→
Page 1 .. 247 248 249 250 251 252 253 254 255 256 257 .. 5022

All times are in UTC.