2025/04/02

Newest at the top

2025-04-02 19:13:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-02 19:11:01 +0200 <int-e> That's all the digits you'll get from GHC's implementation of `show` and `Numeric`
2025-04-02 19:10:25 +0200 <yahb2> ([3,1,4,1,5,9,2,6,5,3,5,8,9,7,9,3],1)
2025-04-02 19:10:25 +0200 <int-e> % GHC.Internal.Float.floatToDigits 10 pi
2025-04-02 19:10:11 +0200 <EvanR> yes but all these other languages are using a "better" (shorter) approximation that still works
2025-04-02 19:08:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-02 19:06:50 +0200 <int-e> so 3.1415926535897931 is better in that sense than 3.1415926535897930
2025-04-02 19:06:24 +0200 <int-e> well it should arguable produce a truncated and properly rounded approximation of 3.141592653589793115997963468544185161590576171875 = toRational pi
2025-04-02 19:03:51 +0200 <EvanR> and python
2025-04-02 19:03:32 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-02 19:03:02 +0200 <EvanR> ruby is agreeing with elixir and haskell
2025-04-02 19:02:21 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-04-02 19:00:59 +0200 <int-e> printf is built on top of `show`, isn't it
2025-04-02 19:00:56 +0200 <EvanR> haskell printf is playing a different game
2025-04-02 19:00:30 +0200 <lambdabot> (18,17)
2025-04-02 19:00:28 +0200 <int-e> > (length (show (2*sqrt 2)), length (show pi))
2025-04-02 19:00:21 +0200 <lambdabot> "3.14159265358979300"
2025-04-02 19:00:20 +0200 <EvanR> > printf "%.17g" pi :: String
2025-04-02 19:00:01 +0200 <lambdabot> True
2025-04-02 18:59:59 +0200 <int-e> > read "3.1415926535897930" == pi
2025-04-02 18:59:53 +0200 <lambdabot> True
2025-04-02 18:59:51 +0200 <int-e> > read "3.1415926535897931" == pi
2025-04-02 18:59:33 +0200 <EvanR> it (sometimes?) seems that DBL_DECIMAL_DIG with %g shows one more digit than necessary
2025-04-02 18:58:21 +0200 <lambdabot> True
2025-04-02 18:58:20 +0200 <int-e> > read (show pi) == pi
2025-04-02 18:57:29 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) ft
2025-04-02 18:57:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-02 18:57:14 +0200 <EvanR> is C the odd man out here on acceptable round tripping of floats
2025-04-02 18:56:39 +0200 <EvanR> you get 3.1415926535897931
2025-04-02 18:55:48 +0200 <EvanR> but if you use the float.h DBL_DECIMAL_DIG to choose number of significant digits to printf M_PI
2025-04-02 18:55:04 +0200 <EvanR> in haskell and elixir the value of pi is displayed by default as 3.141592653589793
2025-04-02 18:52:29 +0200sprotte24(~sprotte24@p200300d16f1053003d869356f7727199.dip0.t-ipconnect.de)
2025-04-02 18:52:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-02 18:52:09 +0200acidjnk_new(~acidjnk@p200300d6e71c4f85f1d07f3bc9f1d735.dip0.t-ipconnect.de) acidjnk
2025-04-02 18:46:09 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-04-02 18:45:51 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-02 18:42:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-02 18:40:13 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-04-02 18:39:33 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-04-02 18:36:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-02 18:35:13 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-04-02 18:23:34 +0200ubert1(~Thunderbi@2a02:8109:ab8a:5a00:9418:e1bb:944:39ba) (Quit: ubert1)
2025-04-02 18:22:40 +0200inca(~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com) (Read error: Connection reset by peer)
2025-04-02 18:22:28 +0200krei-se(~krei-se@p5dea1e73.dip0.t-ipconnect.de) krei-se
2025-04-02 18:20:55 +0200krei-se-(~krei-se@p5dea1e73.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-04-02 18:20:48 +0200inca(~inca@4-138-135-64.gray-ng.dsl.pinetreenetworks.com)
2025-04-02 18:17:30 +0200tromp(~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437)
2025-04-02 18:16:20 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-04-02 18:16:15 +0200ash3en1ash3en
2025-04-02 18:16:15 +0200ash3en(~Thunderbi@193.32.248.154) (Ping timeout: 246 seconds)