Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-15 10:36:07 <sshine> what's a good way to express NominalDiffTime with a precision of one second? NominalDiffTime is implemented with 'Micro'. I'd just wrap it, but I was thinking something like Data.Fixed for time resolutions.
2020-11-15 10:37:41 × Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-15 10:39:23 britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-15 10:42:25 × da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-27-55-71-43.revip3.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-15 10:42:33 tms_ joins (thomaav@cassarossa.samfundet.no)
2020-11-15 10:47:05 × Rembane quits (~Rembane@li346-36.members.linode.com) (Remote host closed the connection)
2020-11-15 10:48:34 akegalj_ joins (~akegalj@93-136-29-37.adsl.net.t-com.hr)
2020-11-15 10:49:48 Rembane joins (~Rembane@li346-36.members.linode.com)
2020-11-15 10:51:48 × akegalj quits (~akegalj@93-136-11-15.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
2020-11-15 10:55:26 × nickr quits (~nickr@84.39.117.57) (Remote host closed the connection)
2020-11-15 10:59:41 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-11-15 11:00:03 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-15 11:01:35 × subttle quits (~anonymous@unaffiliated/subttle) (Ping timeout: 272 seconds)
2020-11-15 11:03:43 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-11-15 11:04:39 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-15 11:05:19 jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-11-15 11:05:44 knupfer joins (~Thunderbi@200116b82c37cc00dc1114fffec6c30d.dip.versatel-1u1.de)
2020-11-15 11:05:47 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 260 seconds)
2020-11-15 11:05:55 thunderrd joins (~thunderrd@183.182.111.169)
2020-11-15 11:05:59 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-15 11:06:44 × knupfer quits (~Thunderbi@200116b82c37cc00dc1114fffec6c30d.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-15 11:06:59 knupfer joins (~Thunderbi@200116b82c37cc0084cc5f3e9837ddce.dip.versatel-1u1.de)
2020-11-15 11:11:43 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-11-15 11:12:58 jakalx joins (~jakalx@base.jakalx.net)
2020-11-15 11:14:31 × shangxiao quits (~davids@101.181.159.140) (Ping timeout: 256 seconds)
2020-11-15 11:15:01 shangxiao joins (~davids@101.181.159.140)
2020-11-15 11:15:57 Moe_Epsilon joins (~Moe_Epsil@178.162.212.214)
2020-11-15 11:27:49 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep)
2020-11-15 11:29:36 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 256 seconds)
2020-11-15 11:30:17 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:2d3f:7a30:33bf:8b65) (Ping timeout: 260 seconds)
2020-11-15 11:33:04 × carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2020-11-15 11:33:11 carldd0 joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-11-15 11:37:15 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_)
2020-11-15 11:37:40 hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-15 11:39:09 alp joins (~alp@2a01:e0a:58b:4920:9050:e88b:814f:ac3d)
2020-11-15 11:42:51 ericsagn1 joins (~ericsagne@2405:6580:0:5100:f576:66f7:e38e:c2d0)
2020-11-15 11:43:29 Aquazi joins (uid312403@gateway/web/irccloud.com/x-ypggeakuiydyhszt)
2020-11-15 11:44:00 hackage constrained-categories 0.4.1.0 - Constrained clones of the category-theory type classes, using ConstraintKinds. https://hackage.haskell.org/package/constrained-categories-0.4.1.0 (leftaroundabout)
2020-11-15 11:46:51 zebrag joins (~inkbottle@aaubervilliers-654-1-73-14.w86-212.abo.wanadoo.fr)
2020-11-15 11:47:10 × inkbottle quits (~inkbottle@aaubervilliers-654-1-5-80.w83-200.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-15 11:49:13 christo joins (~chris@81.96.113.213)
2020-11-15 11:49:33 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
2020-11-15 11:50:29 × fiadliel quits (sid399568@gateway/web/irccloud.com/x-xbmjzphrjjyfrdoz) (Quit: Connection closed for inactivity)
2020-11-15 11:50:37 m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-15 11:51:06 s00pcan joins (~chris@107.181.165.217)
2020-11-15 11:55:48 × carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection)
2020-11-15 12:00:01 × Rennex1 quits (~Rennex@195.140.213.38) ()
2020-11-15 12:06:48 asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-15 12:07:28 britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-15 12:11:29 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 12:11:59 __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-15 12:12:47 × jaspervdj quits (~jaspervdj@213.55.241.138) (Quit: leaving)
2020-11-15 12:14:34 jaspervdj joins (~jaspervdj@213.55.241.138)
2020-11-15 12:15:52 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep)
2020-11-15 12:16:37 coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-15 12:17:34 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-15 12:18:38 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-15 12:19:23 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-15 12:21:12 christo joins (~chris@81.96.113.213)
2020-11-15 12:22:07 Iceland_jack joins (~user@31.124.48.169)
2020-11-15 12:22:49 JohnONolan joins (~JohnONola@193.56.252.12)
2020-11-15 12:26:00 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-15 12:29:13 × akegalj_ quits (~akegalj@93-136-29-37.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
2020-11-15 12:34:11 elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-15 12:36:20 Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se)
2020-11-15 12:36:23 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-15 12:37:37 × HaskellYogi quits (~vivekrama@49.207.219.163) (Quit: Sayonara. Long live Haskell)
2020-11-15 12:39:06 HaskellYogi joins (~vivekrama@49.207.219.163)
2020-11-15 12:40:50 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-15 12:43:36 geekosaur joins (ac3a8f2b@172.58.143.43)
2020-11-15 12:44:49 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-15 12:46:47 akegalj joins (~akegalj@93-136-29-37.adsl.net.t-com.hr)
2020-11-15 12:47:26 carlomagno joins (~cararell@148.87.23.8)
2020-11-15 12:49:09 × jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2020-11-15 12:49:29 jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net)
2020-11-15 12:49:31 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-15 13:02:44 × kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-11-15 13:03:52 kish` joins (~oracle@unaffiliated/oracle)
2020-11-15 13:08:10 britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-15 13:09:25 crdrost joins (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net)
2020-11-15 13:09:35 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-15 13:13:13 × jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-11-15 13:13:25 jneira_ joins (~jneira@192.red-2-137-106.dynamicip.rima-tde.net)
2020-11-15 13:15:19 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-15 13:16:01 hackage hakyll-convert 0.3.0.3 - Convert from other blog engines to Hakyll. https://hackage.haskell.org/package/hakyll-convert-0.3.0.3 (AlexanderBatischev)
2020-11-15 13:17:01 × akegalj quits (~akegalj@93-136-29-37.adsl.net.t-com.hr) (Quit: leaving)
2020-11-15 13:17:28 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-15 13:18:01 × jneira_ quits (~jneira@192.red-2-137-106.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2020-11-15 13:18:10 jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net)
2020-11-15 13:21:41 × jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-11-15 13:22:00 jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net)
2020-11-15 13:24:24 Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-15 13:26:09 jmcarthur joins (~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d)
2020-11-15 13:29:16 × jneira_ quits (~jneira@198.red-176-83-81.dynamicip.rima-tde.net) (Remote host closed the connection)
2020-11-15 13:32:01 jneira_ joins (~jneira@198.red-176-83-81.dynamicip.rima-tde.net)
2020-11-15 13:33:01 jakalx joins (~jakalx@base.jakalx.net)
2020-11-15 13:35:14 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 13:36:59 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-15 13:37:04 <matthew-> % :t (id 3, id "x")
2020-11-15 13:37:05 <yahb> matthew-: forall {a}. Num a => (a, [Char])

All times are in UTC.