Newest at the top
| 2025-12-13 10:38:04 +0100 | <EvanR> | false friends |
| 2025-12-13 10:37:51 +0100 | <EvanR> | neither 0.1+0.2 nor 0.3 equals 0.3 xD |
| 2025-12-13 10:37:22 +0100 | <EvanR> | gotta love floating point math |
| 2025-12-13 10:36:55 +0100 | <lambdabot> | 300000000000000044408920985006261616945266723632812500 |
| 2025-12-13 10:36:54 +0100 | <EvanR> | > let (m,e) = decodeFloat (0.1 + 0.2) in m * 5^54 |
| 2025-12-13 10:36:15 +0100 | itaipu | (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-12-13 10:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-13 10:35:19 +0100 | <tomsmeding> | oh. haha :p |
| 2025-12-13 10:35:07 +0100 | <gentauro> | tomsmeding: this is my goto `pastebin` -> https://paste.tomsmeding.com/ (please bookmark if you don't have it /s) |
| 2025-12-13 10:34:47 +0100 | <lambdabot> | 299999999999999988897769753748434595763683319091796875 |
| 2025-12-13 10:34:46 +0100 | <EvanR> | > let (m,e) = decodeFloat 0.3 in m * 5^54 |
| 2025-12-13 10:34:45 +0100 | <tomsmeding> | 5? |
| 2025-12-13 10:34:23 +0100 | <lambdabot> | 11999999999999999555910790149937383830547332763671875 |
| 2025-12-13 10:34:22 +0100 | <EvanR> | > let (m,e) = decodeFloat 0.3 in m * 5^52 |
| 2025-12-13 10:33:20 +0100 | <tomsmeding> | I was talking about https://0.30000000000000004.com |
| 2025-12-13 10:33:00 +0100 | <tomsmeding> | ... pastebin? Are we talking about the same website? |
| 2025-12-13 10:32:08 +0100 | <gentauro> | tomsmeding: it's my goto `pastebin` no matter if it's haskell related or anything else. Best `pastebin` out there without any kind of doubt. Kudos to the author, however it is (Y) |
| 2025-12-13 10:31:43 +0100 | o342 | (~o342@113.199.255.216) (Quit: Leaving) |
| 2025-12-13 10:31:26 +0100 | <gentauro> | I guess they forgot to add SimCorp as well in that section |
| 2025-12-13 10:31:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 10:30:40 +0100 | <gentauro> | it's a small (FP) world :) |
| 2025-12-13 10:30:33 +0100 | <gentauro> | M. Tofte (SML) -> Major_projects_using_SML |
| 2025-12-13 10:29:35 +0100 | <gentauro> | improvements to an early draft» |
| 2025-12-13 10:29:31 +0100 | <gentauro> | Fun fact: Acknowledgements: «Thanks also to M. Tofte and … for suggesting |
| 2025-12-13 10:28:31 +0100 | <gentauro> | Moggi89 (On leave from Univ. di Pisa) ;) |
| 2025-12-13 10:25:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-13 10:25:32 +0100 | <gentauro> | fun fact, I went to study there (Polo Fibonacci / Scuola Superiore Santa Ana) just cos of that xD |
| 2025-12-13 10:25:01 +0100 | <gentauro> | lucabtz: No Moggi, no Haskell ;) |
| 2025-12-13 10:24:46 +0100 | <tomsmeding> | gentauro: there's a name in the website footer |
| 2025-12-13 10:23:39 +0100 | <gentauro> | tomsmeding: tell me about it. Do you know who made it? I guess we all own the person a few beers :P |
| 2025-12-13 10:20:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-13 10:19:12 +0100 | o342 | (~o342@113.199.255.216) |
| 2025-12-13 10:18:32 +0100 | trickard_ | trickard |
| 2025-12-13 10:15:20 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-13 10:13:16 +0100 | <tomsmeding> | gentauro: that website is great, thank you lol |
| 2025-12-13 10:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 10:09:46 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) |
| 2025-12-13 10:09:26 +0100 | <haskellbridge> | <sm> yikes |
| 2025-12-13 10:09:24 +0100 | Enrico63 | (~Enrico63@host-95-251-99-143.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-13 10:00:57 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-13 10:00:44 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-13 09:59:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-13 09:58:46 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-13 09:54:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-13 09:54:01 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-12-13 09:50:56 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-12-13 09:50:11 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2025-12-13 09:48:58 +0100 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Ping timeout: 246 seconds) |
| 2025-12-13 09:48:52 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) |
| 2025-12-13 09:48:37 +0100 | xnyhps | (~xnyhps@s.xnyhps.nl) (Ping timeout: 246 seconds) |