Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 254 255 256 257 258 259 260 261 262 263 264 .. 5022
502,152 events total
2020-09-27 19:15:53 <Guest_8> in the CISC
2020-09-27 19:16:10 <ski> is `CISC' another folder ?
2020-09-27 19:16:41 <Guest_8> lec3 is a file in folder CISC and CISC is on desktop
2020-09-27 19:16:48 <ski> C:\Users\123>cd Desktop\CISC
2020-09-27 19:17:06 <ski> C:\Users\123\Desktop\CISC>ghci lec3.hs
2020-09-27 19:17:28 <Guest_8> cd Desktop\cisc360
2020-09-27 19:17:51 <ski> if it's actually called `cisc360', then yes
2020-09-27 19:18:28 <Guest_8> omg
2020-09-27 19:18:32 <Guest_8> it worked
2020-09-27 19:18:42 <Guest_8> thanks for helping me out ski
2020-09-27 19:18:46 <ski> np
2020-09-27 19:18:48 <Guest_8> I love you man
2020-09-27 19:19:29 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 19:19:43 × chaosmasttter quits (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-09-27 19:20:20 snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-27 19:22:31 o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 19:24:37 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 19:25:20 thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 19:25:45 × dead10cc quits (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 240 seconds)
2020-09-27 19:27:22 Saukk joins (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-09-27 19:28:20 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-27 19:28:35 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-27 19:29:16 chaosmasttter joins (~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de)
2020-09-27 19:29:22 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 19:29:27 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 19:31:01 kuribas joins (~user@ptr-25vy0iaf5qqps5l6i5w.18120a2.ip6.access.telenet.be)
2020-09-27 19:34:25 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 19:34:42 × Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-09-27 19:35:16 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 19:38:06 × Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-27 19:38:41 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-27 19:39:23 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 19:39:54 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-pfytdyvohwtqwlkb) (Quit: Connection closed for inactivity)
2020-09-27 19:39:59 Tops21 joins (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de)
2020-09-27 19:40:05 Amras joins (~Amras@unaffiliated/amras0000)
2020-09-27 19:40:15 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-27 19:42:21 elliott__ joins (~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 19:43:22 × Tops2 quits (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-09-27 19:45:13 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 19:45:21 elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 19:46:16 × knupfer quits (~Thunderbi@200116b824c86d0065865d8c33a01615.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-27 19:46:27 knupfer joins (~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de)
2020-09-27 19:46:44 × Guest_8 quits (b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca) (Ping timeout: 245 seconds)
2020-09-27 19:47:25 × kenran quits (~maier@mue-88-130-62-200.dsl.tropolys.de) (Ping timeout: 240 seconds)
2020-09-27 19:48:20 <koz_> What's the easiest way to get a NominalDiffTime as a _whole_ number of milliseconds?
2020-09-27 19:49:16 × xff0x_ quits (~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 244 seconds)
2020-09-27 19:49:22 × fendor quits (~fendor@91.141.0.143.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-27 19:49:47 bitmapper joins (uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn)
2020-09-27 19:50:13 xff0x_ joins (~fox@port-92-195-106-234.dynamic.as20676.net)
2020-09-27 19:50:13 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-09-27 19:50:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 19:50:56 <[exa]> I like how time-difference question often tend not to have a reasonable solution
2020-09-27 19:51:10 DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-09-27 19:51:48 <koz_> [exa]: Well, 'reasonable' is relative the situation.
2020-09-27 19:52:45 o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 19:53:05 <[exa]> anyway you can convert the N.D.T. to Pico which is Fixed E12 (iirc), from which you should be able to get a workable Integer
2020-09-27 19:53:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 19:53:08 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-27 19:53:29 <koz_> [exa]: Yeah, just realized nominalDiffTimeToSeconds returns picoseconds, not seconds...
2020-09-27 19:53:40 <koz_> :t realToFrac
2020-09-27 19:53:42 <lambdabot> (Real a, Fractional b) => a -> b
2020-09-27 19:53:52 <[exa]> they have their own div' and mod' btw
2020-09-27 19:55:17 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Quit: WeeChat 2.9)
2020-09-27 19:55:29 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 19:55:46 dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-09-27 19:57:23 TooDifficult joins (~TooDiffic@139.59.59.230)
2020-09-27 19:58:28 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-09-27 19:59:27 × TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit)
2020-09-27 20:00:07 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-27 20:02:11 dead10cc joins (63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 20:02:52 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 256 seconds)
2020-09-27 20:03:06 oisdk joins (~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6)
2020-09-27 20:07:12 × stree_ quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-09-27 20:07:29 stree joins (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net)
2020-09-27 20:08:34 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-09-27 20:09:58 hackage mtl-uplift 0.1.0.0 - Lift substacks of monad transformer stacks https://hackage.haskell.org/package/mtl-uplift-0.1.0.0 (sgschlesinger)
2020-09-27 20:10:35 <koz_> "... but just to know which monad tops it"
2020-09-27 20:10:38 koz_ giggles
2020-09-27 20:11:14 <[exa]> monad stacks now have substacks?!
2020-09-27 20:11:17 <glguy> koz_: multiply by 1000 and round
2020-09-27 20:11:18 <[exa]> man
2020-09-27 20:11:32 GyroW_ joins (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be)
2020-09-27 20:11:32 × GyroW_ quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-27 20:11:32 GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-09-27 20:12:05 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-09-27 20:13:00 × geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection)
2020-09-27 20:13:56 <glguy> % :t \x -> round (x * 1000 :: NominalDiffTime) :: Integer
2020-09-27 20:13:56 <yahb> glguy: NominalDiffTime -> Integer
2020-09-27 20:14:07 × knupfer quits (~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-09-27 20:14:10 v_m_v joins (~vm_v@31-10-157-87.cgn.dynamic.upc.ch)
2020-09-27 20:14:20 × Tops21 quits (~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-09-27 20:15:37 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 20:15:54 × elliott__ quits (~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-27 20:18:11 × jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Ping timeout (120 seconds))
2020-09-27 20:19:26 falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 20:20:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 20:20:26 raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 20:21:37 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 20:22:18 finkata joins (~dpetrov@83.222.188.39)
2020-09-27 20:22:36 dhil joins (~dhil@11.29.39.217.dyn.plus.net)

All times are in UTC.