Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 277 278 279 280 281 282 283 284 285 286 287 .. 5022
— 502,152 events total
2020-09-28 21:18:26 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-09-28 21:19:37 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 21:19:43 × archaephyrryx quits (~archaephy@straasha.imrryr.org) (Ping timeout: 260 seconds)
2020-09-28 21:23:09 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-28 21:24:33 × argent0 quits (~argent0@168.227.96.7) (Ping timeout: 265 seconds)
2020-09-28 21:26:23 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-28 21:29:02 → sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-09-28 21:30:58 hackage uniqueness-periods-vector-examples 0.7.1.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.7.1.0 (OleksandrZhabenko)
2020-09-28 21:33:07 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-09-28 21:34:02 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 21:34:35 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-28 21:35:27 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-28 21:36:10 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-28 21:36:58 hackage network-types-icmp 1.0.0.0 - Types for representing ICMP and ICMPv6 messages. https://hackage.haskell.org/package/network-types-icmp-1.0.0.0 (adamflott)
2020-09-28 21:37:04 <cohn> is there a function to get the fractional part of a double?
2020-09-28 21:37:14 <cohn> so, e.g. 4.47 -> 0.47
2020-09-28 21:37:27 <dolio> > mod' 4.47 1.0
2020-09-28 21:37:29 <lambdabot> 0.46999999999999975
2020-09-28 21:37:56 <cohn> dolio: thanks
2020-09-28 21:37:59 × Enrico63 quits (5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds)
2020-09-28 21:38:10 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 21:38:31 × chaosmasttter quits (~chaosmast@p200300c4a70aba01051f9f9accc8fe29.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-28 21:38:38 <cohn> dolio: where does `mod'` live? It doesn't appear to be in Prelude
2020-09-28 21:39:15 <dolio> I forget exactly. Maybe Data.Fixed.
2020-09-28 21:39:23 <ddellacosta> yeah ^
2020-09-28 21:39:23 <cohn> dolio: yea, that's what Hoogle says
2020-09-28 21:39:28 → argent0 joins (~argent0@168.227.96.4)
2020-09-28 21:39:28 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-09-28 21:39:31 <monochrom> I think properFraction is the more common way.
2020-09-28 21:39:33 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 21:39:35 <dolio> Even though it operates on floating point numbers.
2020-09-28 21:39:39 <monochrom> > properFraction 4.47
2020-09-28 21:39:41 <lambdabot> (4,0.46999999999999975)
2020-09-28 21:40:07 <dolio> Oh, yeah, that's probably better.
2020-09-28 21:40:31 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-09-28 21:40:43 → madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net)
2020-09-28 21:41:04 <dolio> mod' is probably using properFraction with additional arithmetic or something.
2020-09-28 21:41:15 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-28 21:41:52 <monochrom> But mod' is very useful and general when it is like "the remainder after taking out integral chunks of pi" :)
2020-09-28 21:42:20 × reppertj quits (~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-28 21:42:37 <dolio> I guess it isn't, but it looks like mod' is more complicated.
2020-09-28 21:44:45 <monochrom> In retrospect with hindsight, mod' would be provided in Prelude along with all the other common arithmetic operations. Because even common floating point hardware has an instruction for it.
2020-09-28 21:45:37 <dolio> Yeah, that'd be nice. It looks like mod' isn't actually using that, unless there are some rewrite rules.
2020-09-28 21:47:22 <monochrom> Ah, I cited hardware just for some kind of evidence for "it is a frequently wished-for thing".
2020-09-28 21:50:03 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 21:53:17 × fendor quits (~fendor@77.119.128.154.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-28 21:53:42 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-28 21:54:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-28 21:56:11 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-28 21:56:16 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
2020-09-28 21:57:24 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 21:58:00 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.8)
2020-09-28 21:59:14 × sepi quits (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2020-09-28 22:00:47 → brandonchinn178 joins (43bce2b8@67.188.226.184)
2020-09-28 22:01:56 × brandonchinn178 quits (43bce2b8@67.188.226.184) (Remote host closed the connection)
2020-09-28 22:03:17 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-28 22:04:14 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-09-28 22:04:14 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:04:39 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:04:49 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-28 22:05:02 <dansho> what do i need to install on linus mint to run ghcup?
2020-09-28 22:05:22 <dansho> im getting libtinfo cant load shared library, but its installed
2020-09-28 22:05:36 <Uniaika> ah, maybe conflicting libraries?
2020-09-28 22:05:50 <hpc> a particular version it's expecting?
2020-09-28 22:05:51 <Uniaika> dansho: here, ghcup is a statically-linked executable
2020-09-28 22:06:04 <Uniaika> dansho: what is the result of `ldd /path/to/ghcup` ?
2020-09-28 22:06:52 <amf> anyone have an example of using hpack's conditionals to support multiple ghc versions? getting my feet wet with travis/github actions
2020-09-28 22:07:11 <Uniaika> amf: yes, 2sec
2020-09-28 22:07:30 <dansho> Uniaika, there is no executable, i run `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh`
2020-09-28 22:07:37 <Uniaika> amf: https://github.com/Kleidukos/irssi-hs/blob/master/package.yaml#L64
2020-09-28 22:07:47 <Uniaika> ah so you don't have an executable *yet*
2020-09-28 22:07:54 <Uniaika> dansho: may we have a full log of the operation?
2020-09-28 22:09:13 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-09-28 22:09:39 <maerwald> dansho: which mint version?
2020-09-28 22:10:30 <int-e> dansho: AIUI, that'll download a ghcup executable and put it into ~/.ghcup/bin
2020-09-28 22:10:46 × howdoi quits (uid224@gateway/web/irccloud.com/x-rdeeidynjivnuofk) (Quit: Updating details, brb)
2020-09-28 22:10:53 <amf> Uniaika: thanks! it looks like you cant do anything too fancy though, for instance i wanted to support 3 ghc versions, but i would likely have to list out all ghc flags
2020-09-28 22:10:58 <dansho> Uniaika, here's the last bit, https://hastebin.com/yicicosagu
2020-09-28 22:11:23 <maerwald> dansho: try this: ~/.ghcup/bin/ghcup install ghc -u https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-x86_64-fedora27-linux.tar.xz 8.8.4
2020-09-28 22:11:24 → howdoi joins (uid224@gateway/web/irccloud.com/x-mbjggxgdrdmqyxnj)
2020-09-28 22:11:35 <Uniaika> amf: my stance on complicated YAML is that it can be easily generated from Dhall :P
2020-09-28 22:11:40 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 22:11:49 <dansho> maerwald, Linux Mint 20
2020-09-28 22:12:00 <amf> Uniaika: yeah I just saw the GH actions in dhall. Going to steal that when I get a chance
2020-09-28 22:12:02 <Uniaika> but don't be shy to use Cabal + Nix with stack!
2020-09-28 22:12:08 <Uniaika> :3
2020-09-28 22:13:23 <amf> baby steps. scars still healing from cabal hell.. but nice to see v1 commands getting an RFC to be dropped
2020-09-28 22:13:51 <dansho> `ldd .ghcup/bin/ghcup` "not a dynamic executable"
2020-09-28 22:14:04 <maerwald> dansho: did you run the above command?
2020-09-28 22:14:04 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 22:14:33 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 22:16:02 → adam_wespiser joins (~adam_wesp@209.6.42.110)
2020-09-28 22:16:47 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-28 22:17:30 <dansho> maerwald, it seems to have worked, i dont have ghc on path though
2020-09-28 22:17:33 <dansho> do i need to add .ghcup/bin?
2020-09-28 22:17:47 <maerwald> dansho: now rerun the original curl command
2020-09-28 22:18:47 × st8less quits (~st8less@2603:a060:11fe:0:b186:dda4:132a:2a8a) (Ping timeout: 240 seconds)
2020-09-28 22:19:16 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds)
2020-09-28 22:20:10 <dansho> maerwald, works now, ty =)
2020-09-28 22:20:38 × adam_wespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 277 278 279 280 281 282 283 284 285 286 287 .. 5022

All times are in UTC.