Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 303 304 305 306 307 308 309 310 311 312 313 .. 5022
— 502,152 events total
2020-09-29 19:06:43 × elcaro quits (~anonymous@45.32.191.75) (Ping timeout: 256 seconds)
2020-09-29 19:06:44 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 19:06:46 → benl23 joins (sid284234@gateway/web/irccloud.com/x-ghlogzbejlthcofn)
2020-09-29 19:06:48 × heyj quits (sid171370@gateway/web/irccloud.com/x-gbwtmgtkvwxnufqr) (Ping timeout: 260 seconds)
2020-09-29 19:06:48 → Firedancer__ joins (sid336191@gateway/web/irccloud.com/x-sstfhgxjcldlniie)
2020-09-29 19:06:56 × puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 272 seconds)
2020-09-29 19:06:59 → affinespaces joins (sid327561@gateway/web/irccloud.com/x-pmydnplqbvmshcfw)
2020-09-29 19:07:05 → rann_ joins (sid175221@gateway/web/irccloud.com/x-iiyrjbxtmscqghei)
2020-09-29 19:07:07 × Firedancer quits (sid336191@gateway/web/irccloud.com/x-hgqilzghfblwpocf) (Ping timeout: 240 seconds)
2020-09-29 19:07:07 Firedancer__ is now known as Firedancer
2020-09-29 19:07:08 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 19:07:16 × BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 260 seconds)
2020-09-29 19:07:27 → sgraf_ joins (sid326656@gateway/web/irccloud.com/x-jfxyumxhbkdnvfol)
2020-09-29 19:07:31 → sethetter__ joins (sid17895@gateway/web/irccloud.com/x-mezhbcfrdugnnivw)
2020-09-29 19:07:33 × Tritlo quits (sid58727@gateway/web/irccloud.com/x-csyclvuwsofrnkal) (Ping timeout: 260 seconds)
2020-09-29 19:07:37 → adius joins (sid321344@gateway/web/irccloud.com/x-uiqaepphrufnogik)
2020-09-29 19:07:43 × sgraf quits (sid326656@gateway/web/irccloud.com/x-ljndrirzbtbynvou) (Ping timeout: 260 seconds)
2020-09-29 19:07:44 × rann quits (sid175221@gateway/web/irccloud.com/x-skhgikkvbkdanbtl) (Ping timeout: 260 seconds)
2020-09-29 19:07:44 sgraf_ is now known as sgraf
2020-09-29 19:07:45 rann_ is now known as rann
2020-09-29 19:07:57 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:b8df:2d55:a789:4c6e) (Client Quit)
2020-09-29 19:08:08 × Suigetsu quits (~kakashi@223.226.34.93) (Remote host closed the connection)
2020-09-29 19:08:59 → Tritlo joins (sid58727@gateway/web/irccloud.com/x-bpkuocxqeatvohss)
2020-09-29 19:08:59 → heyj joins (sid171370@gateway/web/irccloud.com/x-etzhorqwefwzvcps)
2020-09-29 19:09:28 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:1912:3cad:d0f5:3993)
2020-09-29 19:09:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-29 19:10:05 → machinedgod joins (~machinedg@45.78.189.122)
2020-09-29 19:12:46 → puffnfresh_ joins (~puffnfres@45.76.124.5)
2020-09-29 19:12:59 × Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-29 19:13:03 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-09-29 19:13:44 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-29 19:17:03 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 19:17:08 → mu__ joins (~mu@unaffiliated/mu)
2020-09-29 19:17:34 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2020-09-29 19:18:50 × mu__ quits (~mu@unaffiliated/mu) (Client Quit)
2020-09-29 19:19:38 <koz_> Noughtmare[m]: Thanks. That's really good.
2020-09-29 19:22:54 → BIG_JIMMY_D joins (~jim@108.61.185.76)
2020-09-29 19:23:42 → elcaro joins (~anonymous@45.32.191.75)
2020-09-29 19:24:11 × machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 240 seconds)
2020-09-29 19:24:28 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-09-29 19:25:12 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-29 19:28:22 <dolio> I guess a counterpoint is that a lot of this advice is about accounting. If you're doing something else, it might be more acceptable to use doubles.
2020-09-29 19:28:42 <dolio> Like, some kind of statistical analysis of things involving money.
2020-09-29 19:28:46 <geekosaur> might be acceptable but there's still a lot to know about how to work around their issues
2020-09-29 19:28:46 → byte[]1 joins (~byte]@84.39.116.180)
2020-09-29 19:29:05 <geekosaur> which includes doing different things depending on what magnitudes are involved
2020-09-29 19:29:30 <dolio> Sure.
2020-09-29 19:31:31 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-09-29 19:31:45 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-29 19:31:48 <dolio> It's more that accounting has rules that make IEEE floating point impossible to use, whereas other scenarios it might be possible, but still difficult. :)
2020-09-29 19:32:22 → fredcy joins (fredcy@2600:3c03::f03c:91ff:febd:37d7)
2020-09-29 19:32:41 × fredcy quits (fredcy@2600:3c03::f03c:91ff:febd:37d7) (Client Quit)
2020-09-29 19:32:41 fredcy- is now known as fredcy
2020-09-29 19:34:16 × whiteline_ quits (~whiteline@unaffiliated/whiteline) (Read error: Connection reset by peer)
2020-09-29 19:34:19 → coot joins (~coot@37.30.59.210.nat.umts.dynamic.t-mobile.pl)
2020-09-29 19:34:34 → whiteline joins (~whiteline@unaffiliated/whiteline)
2020-09-29 19:35:29 <monochrom> There is an unhealthy dose of scaremongering against floating point.
2020-09-29 19:36:33 × jollygood2 quits (~bc815b99@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2020-09-29 19:36:39 <monochrom> The outcry is "it has errors!" but the blindspot is: compared to what? For the same number of bits, base-2 floating point is the least errorneous among all ways of using those bits.
2020-09-29 19:36:43 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-09-29 19:38:18 <monochrom> The real subtext is "it doesn't do intuitive decimal".
2020-09-29 19:38:49 <monochrom> as if decimal were the holy grail of accuracy.
2020-09-29 19:39:03 <Noughtmare[m]> The main point of the blog post is also that the errors should be explicit.
2020-09-29 19:39:16 <Noughtmare[m]> You can't just create or destroy money.
2020-09-29 19:39:26 <monochrom> That's a social construct.
2020-09-29 19:39:52 <Cheery> https://github.com/cheery/lijp
2020-09-29 19:39:53 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 19:39:56 <geekosaur> so is money
2020-09-29 19:40:07 <monochrom> Yeah :)
2020-09-29 19:40:10 → luke joins (~luke@bitnomial/staff/luke)
2020-09-29 19:40:21 → h joins (bdd4038e@189-212-3-142.static.axtel.net)
2020-09-29 19:40:24 → catkiki joins (~catkiki@m90-134-157-227.cust.tele2.hr)
2020-09-29 19:40:34 <monochrom> More seriously, I respect the accounting requirement of conservation of money.
2020-09-29 19:40:45 h is now known as Guest61881
2020-09-29 19:40:57 × fredcy quits (fredcy@2600:3c00::f03c:91ff:feae:15ae) (Read error: Connection reset by peer)
2020-09-29 19:41:05 × Guest61881 quits (bdd4038e@189-212-3-142.static.axtel.net) (Remote host closed the connection)
2020-09-29 19:41:07 <monochrom> I disrepect "floating point has errors" as if the accounting requirement didn't have even worse errors.
2020-09-29 19:41:38 <dolio> I don't know. The thing about IEEE is that it has ways of dealing with the errors, but my understanding is that if you don't learn the right way, you probably won't accidentally write code that has good behavior with respect to error accumulation.
2020-09-29 19:41:58 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-29 19:42:19 <dolio> So either the errors are completely irrelevant for whatever you're doing, or you still have to study non-trivial stuff.
2020-09-29 19:43:13 <dolio> A lot of people probably write code in the 'irrelevant' part, though.
2020-09-29 19:43:38 → voyons_calice joins (~dan@162.246.216.28)
2020-09-29 19:44:45 <Chousuke> The "inexactitude" of floating point is only a problem because it can be used by people who don't know better. If you use it and your application can deal with the potentially accumulated errors, then it's not wrong, and not a problem.
2020-09-29 19:45:04 × stree quits (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-09-29 19:45:22 → stree joins (~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net)
2020-09-29 19:45:28 × lucid_0x80 quits (~lucid_0x8@188.253.231.113) (Ping timeout: 260 seconds)
2020-09-29 19:45:46 <Chousuke> but lots of people will try to use a screwdriver as a hammer, and often it works, too :/
2020-09-29 19:46:14 × voyons_osti quits (~dan@107-190-41-58.cpe.teksavvy.com) (Ping timeout: 256 seconds)
2020-09-29 19:46:47 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 19:47:13 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-29 19:47:15 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 19:48:18 × Guest18 quits (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed)
2020-09-29 19:50:11 <sm[m]> anecdote: hledger started with Double, for simplicity and speed. It wasn't a problem for normal accounting; it took years until somebody encountered a tiny rounding error.
2020-09-29 19:53:07 × chaosmasttter quits (~chaosmast@p200300c4a70aba01f8f8cb9b34fa26e3.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-29 19:53:21 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-29 19:57:11 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-29 19:57:25 → jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-29 19:57:25 → mu_ joins (~mu@unaffiliated/mu)
2020-09-29 19:57:53 → juuandyy joins (~juuandyy@90.166.144.65)
2020-09-29 19:58:10 × meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.1 - https://znc.in)
←Prev  Next→
Page 1 .. 303 304 305 306 307 308 309 310 311 312 313 .. 5022

All times are in UTC.