2025/04/28

Newest at the top

2025-04-28 19:51:46 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 276 seconds)
2025-04-28 19:48:45 +0200justsomeguy(~justsomeg@user/justsomeguy) justsomeguy
2025-04-28 19:37:29 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-04-28 19:36:39 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2025-04-28 19:32:26 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-04-28 19:32:09 +0200 <tomsmeding> which could have been on https://www.vex.net/~trebla/humour/tautologies.html
2025-04-28 19:32:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-28 19:31:51 +0200 <tomsmeding> after multiplying by a power of 2
2025-04-28 19:31:34 +0200 <tomsmeding> EvanR: all floats end up between 10 and 100 in binary, yes
2025-04-28 19:30:54 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-04-28 19:28:29 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds)
2025-04-28 19:25:47 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft
2025-04-28 19:21:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-28 19:18:39 +0200alexherbo2(~alexherbo@2a02-8440-250b-b0ac-956d-23d3-b043-d827.rev.sfr.net) alexherbo2
2025-04-28 19:15:16 +0200acidjnk_new(~acidjnk@p200300d6e71c4f61394430d048071491.dip0.t-ipconnect.de)
2025-04-28 19:13:38 +0200jco(~jco@78-70-217-44-no600.tbcn.telia.com) jco
2025-04-28 19:10:32 +0200 <EvanR> ok yeah adding in the exponential factor leads to a decimal form but not necessarily normalized
2025-04-28 19:06:29 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-28 19:04:23 +0200Buliarous(~gypsydang@46.232.210.139) Buliarous
2025-04-28 19:03:54 +0200Buliarous(~gypsydang@46.232.210.139) (Remote host closed the connection)
2025-04-28 19:00:52 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-04-28 18:53:12 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-28 18:51:50 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds)
2025-04-28 18:51:01 +0200euleritian(~euleritia@77.23.248.47) (Ping timeout: 248 seconds)
2025-04-28 18:47:23 +0200Googulator47(~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-04-28 18:47:08 +0200Googulator47(~Googulato@2a01-036d-0106-093f-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-04-28 18:44:18 +0200 <EvanR> but
2025-04-28 18:44:04 +0200 <EvanR> I forgot to handle the exponent
2025-04-28 18:40:30 +0200euleritian(~euleritia@77.23.248.47)
2025-04-28 18:40:13 +0200euleritian(~euleritia@dynamic-176-006-132-060.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-28 18:39:51 +0200 <EvanR> that's not between 10^k and 2*10^k ...
2025-04-28 18:37:22 +0200euleritian(~euleritia@dynamic-176-006-132-060.176.6.pool.telefonica.de)
2025-04-28 18:37:14 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-28 18:37:04 +0200 <lambdabot> 3.125e-2
2025-04-28 18:37:03 +0200 <int-e> > 2^^(-5)
2025-04-28 18:36:45 +0200 <EvanR> k that can't be right
2025-04-28 18:36:14 +0200 <EvanR> you won't see the decimal form starting with 3
2025-04-28 18:35:45 +0200 <EvanR> so all floats end up between "ten and twenty" before the power of ten jumps
2025-04-28 18:28:55 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-04-28 18:28:26 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-28 18:28:04 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-28 18:24:06 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-28 18:23:38 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-04-28 18:22:50 +0200euleritian(~euleritia@77.23.248.47) (Read error: Connection reset by peer)
2025-04-28 18:22:26 +0200 <tomsmeding> oh my n is your k
2025-04-28 18:22:09 +0200 <tomsmeding> in my formulation, 1/2^n = 5^n * 1/10^n, and 5^n does not end in a zero for any n >= 0
2025-04-28 18:21:45 +0200 <tomsmeding> it is
2025-04-28 18:20:21 +0200 <EvanR> I"m wrong < 2*10^k < 10^(k+1) so it's even a proper decimal float
2025-04-28 18:20:01 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-04-28 18:18:19 +0200acarrico(~acarrico@pppoe-209-99-221-107.greenmountainaccess.net)