Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 191 192 193 194 195 196 197 198 199 200 201 .. 5022
— 502,152 events total
2020-09-24 23:03:56 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 256 seconds)
2020-09-24 23:04:38 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 258 seconds)
2020-09-24 23:05:20 × alexm_ quits (~alexm_@161.8.233.138) (Ping timeout: 272 seconds)
2020-09-24 23:05:20 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-24 23:08:23 × mpereira quits (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64) (Ping timeout: 272 seconds)
2020-09-24 23:10:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-24 23:11:10 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 23:11:21 → mu__ joins (~mu@unaffiliated/mu)
2020-09-24 23:12:04 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-09-24 23:13:57 → mounty joins (~mounty@2001:8000:2f59:0:4326:3e7a:dda9:8da8)
2020-09-24 23:16:32 × st8less quits (~st8less@2603:a060:11fe:0:b0dd:9d1b:8825:d363) (Ping timeout: 260 seconds)
2020-09-24 23:17:00 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-24 23:17:38 → cosimone joins (~cosimone@5.171.26.126)
2020-09-24 23:20:52 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds)
2020-09-24 23:20:52 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 23:21:20 → mu joins (~mu@unaffiliated/mu)
2020-09-24 23:21:49 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-24 23:23:04 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-09-24 23:23:21 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-24 23:27:17 → oisdk joins (~oisdk@2001:bb6:3329:d100:fd58:7633:8b1d:97)
2020-09-24 23:28:48 → Tops2 joins (~Tobias@dyndsl-095-033-092-020.ewe-ip-backbone.de)
2020-09-24 23:31:15 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 23:31:21 → mu__ joins (~mu@unaffiliated/mu)
2020-09-24 23:31:42 × nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection)
2020-09-24 23:32:42 → archaephyrryx joins (~archaephy@straasha.imrryr.org)
2020-09-24 23:33:46 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 23:34:03 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-24 23:36:49 × verement quits (~anonymous@cpe-76-167-229-223.san.res.rr.com) (Quit: verement)
2020-09-24 23:38:42 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-24 23:41:15 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 23:41:16 × jedws quits (~jedws@2001:8003:337f:1b00:844e:ad32:1295:53d0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 23:41:20 → mu joins (~mu@unaffiliated/mu)
2020-09-24 23:41:24 → nitework joins (~workaroun@2001:a61:b1f:ed01:6f89:c766:dd6f:102c)
2020-09-24 23:42:12 → Volt_ joins (~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-09-24 23:43:23 → nineonine joins (~nineonine@50.216.62.2)
2020-09-24 23:44:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-24 23:45:24 × nitework quits (~workaroun@2001:a61:b1f:ed01:6f89:c766:dd6f:102c) (Quit: Leaving)
2020-09-24 23:47:06 → xian joins (~xian@pool-108-40-123-246.bltmmd.fios.verizon.net)
2020-09-24 23:49:23 → verement joins (~anonymous@cpe-76-167-229-223.san.res.rr.com)
2020-09-24 23:49:29 ← xian parts (~xian@pool-108-40-123-246.bltmmd.fios.verizon.net) ()
2020-09-24 23:50:54 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 23:51:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 23:52:43 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 272 seconds)
2020-09-24 23:52:54 × spew quits (uid195861@gateway/web/irccloud.com/x-waxyqwwasdbxecct) (Quit: Connection closed for inactivity)
2020-09-24 23:53:37 × jespada quits (~jespada@90.254.241.6) (Ping timeout: 264 seconds)
2020-09-24 23:55:08 × kotrcka quits (4e2917d3@78.41.23.211) (Remote host closed the connection)
2020-09-24 23:56:25 → jespada joins (~jespada@90.254.241.6)
2020-09-24 23:56:49 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-24 23:58:21 × emmanuel_erc quits (~user@2604:2000:1382:ce03:71a7:7eea:bdbf:f3a4) (Remote host closed the connection)
2020-09-25 00:00:01 × chmac quits (~chmac@195.140.213.38) ()
2020-09-25 00:01:15 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 00:01:21 → mu__ joins (~mu@unaffiliated/mu)
2020-09-25 00:02:57 hackage ttc 0.2.3.0 - Textual Type Classes https://hackage.haskell.org/package/ttc-0.2.3.0 (TravisCardwell)
2020-09-25 00:04:45 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-25 00:04:58 × whiteline quits (~whiteline@unaffiliated/whiteline) (Ping timeout: 260 seconds)
2020-09-25 00:11:08 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 00:11:19 → mu joins (~mu@unaffiliated/mu)
2020-09-25 00:11:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 00:12:03 → whiteline joins (~whiteline@unaffiliated/whiteline)
2020-09-25 00:16:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-25 00:19:21 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-25 00:21:15 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 00:21:21 → mu__ joins (~mu@unaffiliated/mu)
2020-09-25 00:23:20 → fendor_ joins (~fendor@91.141.3.153.wireless.dyn.drei.com)
2020-09-25 00:25:08 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-25 00:25:58 × fendor quits (~fendor@178.165.129.251.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2020-09-25 00:27:13 → mud joins (~mud@unaffiliated/kadoban)
2020-09-25 00:29:12 × ericsagnes quits (~ericsagne@2405:6580:0:5100:5ab:3807:9c89:ee30) (Ping timeout: 260 seconds)
2020-09-25 00:30:50 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 00:31:20 → mpereira joins (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64)
2020-09-25 00:31:23 → mu joins (~mu@unaffiliated/mu)
2020-09-25 00:32:00 ← archaephyrryx parts (~archaephy@straasha.imrryr.org) ()
2020-09-25 00:32:00 → archaephyrryx joins (~archaephy@straasha.imrryr.org)
2020-09-25 00:32:53 <koz_> I need to go from Data.Fixed.Pico to Data.Fixed.Milli, rounding down (i.e., hacking off all the digits I'm not interested in). How do I spell that?
2020-09-25 00:34:11 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-25 00:34:45 <Axman6> coerce . (`div` 1000)
2020-09-25 00:34:46 <Axman6> >_>
2020-09-25 00:34:58 <koz_> Axman6: Wait seriously.
2020-09-25 00:35:00 <Axman6> that's almost definitely wrong
2020-09-25 00:35:07 → crobbins_ joins (~crobbins@2601:2c1:380:ec40:314e:bdc5:b293:4089)
2020-09-25 00:35:07 <koz_> Yeah, I thought so.
2020-09-25 00:35:18 <koz_> Since I don't think Fixed coerces like that.
2020-09-25 00:35:18 <Axman6> I think
2020-09-25 00:35:52 × mpereira quits (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64) (Ping timeout: 260 seconds)
2020-09-25 00:36:12 <Axman6> but, picoToMilli is probably something like picoToMilli (Fixed n) = Fixed (n `div` 1000000) -- I can't remember what the right factor is
2020-09-25 00:37:04 → lambda-11235 joins (~lambda-11@108-237-120-58.lightspeed.frokca.sbcglobal.net)
2020-09-25 00:37:22 <koz_> Well, Pico is Fixed E12, while Milli is Fixed E3, so I guess nine zeroes?
2020-09-25 00:38:13 <c_wraith> I'm surprised there isn't a conversion function that uses a class to get those right.
2020-09-25 00:38:31 <koz_> c_wraith: Me neither.
2020-09-25 00:38:32 × crobbins quits (~crobbins@2601:2c1:380:ec40:48c0:4650:53a9:7885) (Ping timeout: 260 seconds)
2020-09-25 00:38:38 <koz_> s/neither/too/
2020-09-25 00:38:41 <koz_> Argh.
2020-09-25 00:38:46 <Axman6> would be nice if these days Fixed used Nat instead of unrelated data types
2020-09-25 00:39:04 <Axman6> argh indeed, the queen would be ashamed commonwealth bro
2020-09-25 00:39:05 <c_wraith> still, I think you should be able to use realToFrac ?
2020-09-25 00:41:02 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 00:41:02 <koz_> c_wraith: Like, directly?
2020-09-25 00:41:06 <koz_> :t 1e9
2020-09-25 00:41:07 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:9deb:11e:5cda:a60a)
2020-09-25 00:41:08 <lambdabot> Fractional p => p
←Prev  Next→
Page 1 .. 191 192 193 194 195 196 197 198 199 200 201 .. 5022

All times are in UTC.