Newest at the top
2024-10-04 21:30:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-04 21:30:02 +0200 | neuroevolutus | (~neuroevol@146.70.211.46) neuroevolutus |
2024-10-04 21:28:45 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
2024-10-04 21:28:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-04 21:26:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 21:21:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-10-04 21:19:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-04 21:19:23 +0200 | xyres137 | (~xyres137@85.73.110.232) (Remote host closed the connection) |
2024-10-04 21:19:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-04 21:17:48 +0200 | simendsjo | (~user@84.211.91.108) simendsjo |
2024-10-04 21:16:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 21:16:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-04 21:14:51 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.60)) |
2024-10-04 21:11:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 21:07:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
2024-10-04 21:03:33 +0200 | xyres137 | (~xyres137@85.73.110.232) |
2024-10-04 21:02:40 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-10-04 21:01:14 +0200 | <EvanR> | that's unfortunate |
2024-10-04 21:00:44 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-04 21:00:38 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-10-04 21:00:29 +0200 | <lambdabot> | "*Exception: printf: bad formatting char 'a' |
2024-10-04 21:00:28 +0200 | <EvanR> | > printf "%a" (1/16) :: String |
2024-10-04 21:00:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-04 21:00:21 +0200 | <lambdabot> | "6.25e-2" |
2024-10-04 21:00:19 +0200 | <EvanR> | > printf "%g" (1/16) :: String |
2024-10-04 21:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-10-04 20:59:42 +0200 | <EvanR> | smh |
2024-10-04 20:59:40 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
2024-10-04 20:59:38 +0200 | <lambdabot> | 6.25e-2 |
2024-10-04 20:59:37 +0200 | <EvanR> | > 1/16 |
2024-10-04 20:56:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-04 20:56:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-10-04 20:55:32 +0200 | <lambdabot> | "0.0625" |
2024-10-04 20:55:31 +0200 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) :: String |
2024-10-04 20:55:25 +0200 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
2024-10-04 20:55:25 +0200 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M143143463937... |
2024-10-04 20:55:25 +0200 | <lambdabot> | error: |
2024-10-04 20:55:24 +0200 | <geekosaur> | > Text.Printf.printf "%.4f" (1/16) |
2024-10-04 20:54:51 +0200 | <geekosaur> | you can't change the format used by the `Show` instance, though; you have to format it explicitly instead |
2024-10-04 20:54:18 +0200 | <lambdabot> | "0.0625" |
2024-10-04 20:54:17 +0200 | <geekosaur> | > Numeric.showFFloat (Just 4) (1/16) "" |
2024-10-04 20:53:39 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2024-10-04 20:53:15 +0200 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
2024-10-04 20:52:43 +0200 | <KicksonButt> | I'm trying to print 1/16 as 0.0625 but Haskell gives me 6.25e-2 |
2024-10-04 20:50:25 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-10-04 20:47:31 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2024-10-04 20:46:59 +0200 | <KicksonButt> | Hello, world |
2024-10-04 20:45:37 +0200 | KicksonButt | (~quassel@187.21.174.221) |
2024-10-04 20:45:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-04 20:45:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |