Newest at the top
| 2026-02-19 22:13:27 +0100 | <lambdabot> | False |
| 2026-02-19 22:13:25 +0100 | <tomsmeding> | > sin pi == 0 |
| 2026-02-19 22:13:24 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-19 22:12:44 +0100 | tomsmeding | . o O ( not bad ) |
| 2026-02-19 22:12:38 +0100 | <lambdabot> | True |
| 2026-02-19 22:12:36 +0100 | <tomsmeding> | > sinh (asinh pi) == pi |
| 2026-02-19 22:08:21 +0100 | <EvanR> | at least pi not being disturbed by the identity function |
| 2026-02-19 22:08:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 22:08:01 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2026-02-19 22:02:34 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2026-02-19 22:02:16 +0100 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Server closed connection) |
| 2026-02-19 22:02:15 +0100 | sixfourtwelve | (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Ping timeout: 272 seconds) |
| 2026-02-19 22:02:03 +0100 | pierrot | (~pi@user/pierrot) pierrot |
| 2026-02-19 22:01:46 +0100 | pierrot | (~pi@user/pierrot) (Server closed connection) |
| 2026-02-19 21:58:47 +0100 | pinkc | (~luke@user/pinkc) (Client Quit) |
| 2026-02-19 21:58:24 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-19 21:55:30 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-19 21:55:20 +0100 | pinkc | (~luke@user/pinkc) pinkc |
| 2026-02-19 21:53:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-19 21:48:42 +0100 | oskarw | (~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2)) |
| 2026-02-19 21:46:36 +0100 | mcfrdy | (~mcfrdy@user/mcfrdy) mcfrdy |
| 2026-02-19 21:46:16 +0100 | mcfrdy | (~mcfrdy@user/mcfrdy) (Server closed connection) |
| 2026-02-19 21:45:30 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-19 21:42:02 +0100 | halloy7365 | (~halloy736@2404:4400:a100:9177:29eb:6604:6ca8:ff8b) |
| 2026-02-19 21:40:09 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2026-02-19 21:39:53 +0100 | <monochrom> | <-- tautology hacker |
| 2026-02-19 21:39:46 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) (Server closed connection) |
| 2026-02-19 21:39:11 +0100 | <c_wraith> | ah yes. pi falling out of the identity function |
| 2026-02-19 21:38:54 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-19 21:38:46 +0100 | <monochrom> | Oh yeah, clearly, sinh (arcsinh pi) = pi |
| 2026-02-19 21:38:31 +0100 | <darkling> | :) |
| 2026-02-19 21:38:10 +0100 | <tomsmeding> | a real number will suffice, but not a nice one |
| 2026-02-19 21:37:58 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 21:37:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-19 21:37:13 +0100 | <darkling> | EvanR: Only if you throw imaginary numbers into the functions, I think. |
| 2026-02-19 21:37:01 +0100 | <c_wraith> | circles are undeniably round |
| 2026-02-19 21:34:40 +0100 | <monochrom> | I concur :) |
| 2026-02-19 21:34:28 +0100 | <EvanR> | .oO( does pi fall out of hyperbolic trig at all ) |
| 2026-02-19 21:33:47 +0100 | <tomsmeding> | (pi is for circles right? That's why you should round it here) |
| 2026-02-19 21:33:11 +0100 | <yahb2> | S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S Z))))))))))))))))))) |
| 2026-02-19 21:33:11 +0100 | <tomsmeding> | % fromIntegral (round (exp pi - pi)) :: Nat |
| 2026-02-19 21:32:59 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Read error: Connection reset by peer) |
| 2026-02-19 21:32:51 +0100 | <lambdabot> | 19.999099979189474 |
| 2026-02-19 21:32:49 +0100 | <monochrom> | > exp pi - pi |
| 2026-02-19 21:32:40 +0100 | <EvanR> | off by one error! |
| 2026-02-19 21:32:36 +0100 | <EvanR> | yeah I count 29 |
| 2026-02-19 21:31:57 +0100 | <yahb2> | S (S Z) |
| 2026-02-19 21:31:57 +0100 | <monochrom> | % 2 :: Nat |
| 2026-02-19 21:31:44 +0100 | <lambdabot> | Not in scope: type constructor or class ‘Nat’ |
| 2026-02-19 21:31:42 +0100 | <monochrom> | > 2 :: Nat |