Newest at the top
| 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 |
| 2026-02-19 21:31:39 +0100 | tomsmeding | . o O ( https://xkcd.com/217/ ) |
| 2026-02-19 21:31:35 +0100 | <monochrom> | should be 29 though |
| 2026-02-19 21:31:29 +0100 | pinkc | (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 21:31:07 +0100 | <monochrom> | haha |
| 2026-02-19 21:30:50 +0100 | <tomsmeding> | EvanR: are there also 30 ) |
| 2026-02-19 21:30:30 +0100 | <tomsmeding> | I... would have been distraught hadn't there be |
| 2026-02-19 21:29:57 +0100 | <monochrom> | heh |
| 2026-02-19 21:29:50 +0100 | <EvanR> | I counted |
| 2026-02-19 21:29:45 +0100 | <EvanR> | tomsmeding, btw there are 30 S in case you were wondering |
| 2026-02-19 21:29:05 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2026-02-19 21:28:26 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) (Server closed connection) |
| 2026-02-19 21:26:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-19 21:20:00 +0100 | <EvanR> | vocabulary intensifies |
| 2026-02-19 21:19:55 +0100 | <newmind> | or "inner rage" for me >.> |
| 2026-02-19 21:19:18 +0100 | <EvanR> | while "enshittification" evokes a transition from "ok" to "no ok anymore" |
| 2026-02-19 21:18:51 +0100 | <EvanR> | it conjures up problematic behaviors or lack of behaviors that have always been there |