2026/02/19

Newest at the top

2026-02-19 21:40:09 +0100ggVGc(~ggVGc@a.lowtech.earth)
2026-02-19 21:39:53 +0100 <monochrom> <-- tautology hacker
2026-02-19 21:39:46 +0100ggVGc(~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 +0100jmcantrell_(~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 +0100jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net)
2026-02-19 21:37:42 +0100Sgeo(~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 +0100rekahsoft(~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 +0100tomsmeding. o O ( https://xkcd.com/217/ )
2026-02-19 21:31:35 +0100 <monochrom> should be 29 though
2026-02-19 21:31:29 +0100pinkc(~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 +0100welterde(welterde@thinkbase.srv.welterde.de) welterde
2026-02-19 21:28:26 +0100welterde(welterde@thinkbase.srv.welterde.de) (Server closed connection)
2026-02-19 21:26:55 +0100Frostillicus(~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 +0100Frostillicus(~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?