Logs: liberachat/#haskell
| 2025-09-17 05:50:48 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2025-09-17 05:50:48 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2025-09-17 05:50:48 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 2025-09-17 05:50:48 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 2025-09-17 05:50:48 | → | rselim joins (ce261f06ff@user/milesrout) |
| 2025-09-17 05:50:48 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2025-09-17 05:50:48 | → | laman joins (laman@rego.ai) |
| 2025-09-17 05:50:48 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-17 05:50:48 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 2025-09-17 05:50:48 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 2025-09-17 05:50:48 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2025-09-17 05:50:48 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2025-09-17 05:50:48 | tungsten.libera.chat | sets mode +v yahb2 |
| 2025-09-17 05:50:50 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Max SendQ exceeded) |
| 2025-09-17 05:51:13 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2025-09-17 05:51:39 | ubert1 | is now known as ubert |
| 2025-09-17 05:51:50 | → | Square2 joins (~Square@user/square) |
| 2025-09-17 05:53:29 | × | FANTOM quits (~fantom@90.244.165.186) (Ping timeout: 260 seconds) |
| 2025-09-17 05:54:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-17 05:54:46 | → | FANTOM joins (~fantom@90.244.165.186) |
| 2025-09-17 05:59:09 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-17 06:07:25 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 06:09:27 | → | Square joins (~Square4@user/square) |
| 2025-09-17 06:10:04 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 06:12:04 | trickard_ | is now known as trickard |
| 2025-09-17 06:13:54 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-09-17 06:20:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 06:23:19 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-09-17 06:23:32 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-17 06:25:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-17 06:29:22 | → | Jackneill joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 2025-09-17 06:29:37 | × | jackneill__ quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (Quit: Leaving) |
| 2025-09-17 06:36:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-17 06:40:00 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-17 06:40:09 | × | jmcantre1 quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-17 06:40:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-17 06:45:06 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-17 06:48:01 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-17 06:51:24 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-17 06:55:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-09-17 06:57:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-17 06:57:34 | → | califax joins (~califax@user/califx) |
| 2025-09-17 07:00:00 | × | caconym7478 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-17 07:00:23 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-17 07:00:40 | → | caconym7478 joins (~caconym@user/caconym) |
| 2025-09-17 07:10:52 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-17 07:20:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 07:22:48 | apache | is now known as apache2 |
| 2025-09-17 07:27:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-17 07:28:11 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 07:34:00 | × | ubert quits (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-17 07:34:13 | → | ubert joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 2025-09-17 07:36:45 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2025-09-17 07:41:12 | → | chele joins (~chele@user/chele) |
| 2025-09-17 07:50:40 | × | ubert quits (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-17 07:54:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-17 08:01:57 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 08:08:52 | <yin> | > 15 * 1.2 :: Float |
| 2025-09-17 08:08:53 | <lambdabot> | 18.0 |
| 2025-09-17 08:09:15 | <yin> | > 15 * 1.2 :: Double |
| 2025-09-17 08:09:16 | <lambdabot> | 18.0 |
| 2025-09-17 08:09:52 | <tomsmeding> | % putStrLn "hi yahb" |
| 2025-09-17 08:09:52 | <yahb2> | hi yahb |
| 2025-09-17 08:10:59 | <tomsmeding> | > 15 * realToFrac (1.2 :: Float) :: Double |
| 2025-09-17 08:11:00 | <lambdabot> | 18.000000715255737 |
| 2025-09-17 08:11:55 | <tomsmeding> | > 15 * toRational (1.2 :: Double) - 18 |
| 2025-09-17 08:11:57 | <lambdabot> | (-3) % 4503599627370496 |
| 2025-09-17 08:12:08 | <tomsmeding> | > 15 * toRational (1.2 :: Float) - 18 |
| 2025-09-17 08:12:09 | <lambdabot> | 3 % 4194304 |
| 2025-09-17 08:12:23 | <tomsmeding> | 3 / 4194304 |
| 2025-09-17 08:12:27 | <tomsmeding> | > 3 / 4194304 |
| 2025-09-17 08:12:29 | <lambdabot> | 7.152557373046875e-7 |
| 2025-09-17 08:12:36 | <yin> | wait, did I just multiply 2 Integers and then convert to Float? |
| 2025-09-17 08:12:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 2025-09-17 08:12:58 | → | caconym74781 joins (~caconym@user/caconym) |
| 2025-09-17 08:13:18 | <yin> | > (15 :: Float) * (1.2 :: Float) |
| 2025-09-17 08:13:19 | <lambdabot> | 18.0 |
| 2025-09-17 08:13:25 | <yin> | hum... |
| 2025-09-17 08:13:59 | <yin> | silly me |
| 2025-09-17 08:14:27 | <yin> | nevermind all that |
| 2025-09-17 08:15:20 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-09-17 08:15:29 | <tomsmeding> | this is not JS ;) |
| 2025-09-17 08:16:16 | <tomsmeding> | > [fromIntegral i * (1.2 :: Float) | i <- [1 :: Int .. 16]] |
| 2025-09-17 08:16:17 | <lambdabot> | [1.2,2.4,3.6000001,4.8,6.0,7.2000003,8.400001,9.6,10.8,12.0,13.200001,14.400... |
| 2025-09-17 08:16:27 | <tomsmeding> | 15 just happens to round correctly |
| 2025-09-17 08:16:43 | → | haveo_ joins (~weechat@pacamara.iuwt.fr) |
| 2025-09-17 08:17:03 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-17 08:17:37 | <tomsmeding> | > 1000001 * 1.2 :: Float |
| 2025-09-17 08:17:38 | <lambdabot> | 1200001.3 |
| 2025-09-17 08:17:56 | <tomsmeding> | > 1000001 * 1.2 :: Double |
| 2025-09-17 08:17:57 | <lambdabot> | 1200001.2 |
| 2025-09-17 08:18:00 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-17 08:19:09 | <tomsmeding> | > realToFrac (toRational (1.2 :: Float) - (6 % 5)) :: Double |
| 2025-09-17 08:19:10 | <lambdabot> | 4.76837158203125e-8 |
| 2025-09-17 08:19:36 | <tomsmeding> | now what's funny is: |
| 2025-09-17 08:19:40 | <tomsmeding> | > 1000001 * realToFrac (toRational (1.2 :: Float) - (6 % 5)) :: Double |
| 2025-09-17 08:19:42 | <lambdabot> | 4.768376350402832e-2 |
| 2025-09-17 08:20:50 | <yin> | > 0.1 + 0.2 |
| 2025-09-17 08:20:51 | <lambdabot> | 0.30000000000000004 |
| 2025-09-17 08:20:57 | <tomsmeding> | so 1000001 * the error in 1.2 :: Float is (slightly) less than 0.05, yet 1000001 * 1.2 comes out 0.1 too large |
All times are in UTC.