Newest at the top
| 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 |
| 2026-02-19 21:17:02 +0100 | <tomsmeding> | the GHC user's guide has a list of infelicities :) |
| 2026-02-19 21:16:26 +0100 | <EvanR> | infelicity infelicity. Wow this word is so underused now a days |
| 2026-02-19 21:16:06 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 21:15:05 +0100 | <gentauro> | https://pdfs.semanticscholar.org/c42c/2dcd3ab811c85e3962c31fb5f12ee5965b63.pdf |
| 2026-02-19 21:14:48 +0100 | <tomsmeding> | you can :set lots of things |
| 2026-02-19 21:14:39 +0100 | <tomsmeding> | yes |
| 2026-02-19 21:14:35 +0100 | <newmind> | or unset it |
| 2026-02-19 21:14:21 +0100 | <newmind> | so can you :set -interactive-print to something else? |