IRCBrowse

2026/02/23

Newest at the top

2026-02-23 22:06:32 +0100AlexZenon(~alzenon@178.34.151.130)
2026-02-23 22:06:12 +0100distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) distopico
2026-02-23 22:05:58 +0100constxd(~constxd@user/constxd) constxd
2026-02-23 22:05:57 +0100distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection)
2026-02-23 22:05:49 +0100 <EvanR> which might still be unenlightened dependent on precision
2026-02-23 22:05:29 +0100 <EvanR> I was unenlightened but now I'm unenlightened minus that bit of enlightenment
2026-02-23 22:04:06 +0100constxd(~constxd@user/constxd) (Server closed connection)
2026-02-23 22:02:38 +0100AlexZenon(~alzenon@178.34.151.130) (Ping timeout: 256 seconds)
2026-02-23 22:00:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-23 21:59:43 +0100 <tomsmeding> the imagery in the video is appropriate
2026-02-23 21:59:28 +0100 <[exa]> I like how 3:24 looks like a bible reference
2026-02-23 21:59:12 +0100 <tomsmeding> (for the unenlightened: the "batman" is a reference to https://www.destroyallsoftware.com/talks/wat 3:24)
2026-02-23 21:58:56 +0100petrichor(~jez@user/petrichor) petrichor
2026-02-23 21:57:58 +0100 <EvanR> ha
2026-02-23 21:57:55 +0100 <newmind> EvanR: is the punchline segfault or illegal operation?
2026-02-23 21:57:38 +0100 <tomsmeding> and the story yielded an infinite stream of indivisible batman?
2026-02-23 21:57:01 +0100 <EvanR> bottom, NaN, and prime 1 walk into a bar
2026-02-23 21:56:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-23 21:55:11 +0100 <tomsmeding> that's a good way to annoy mathematicians
2026-02-23 21:54:44 +0100 <tomsmeding> nice!
2026-02-23 21:54:41 +0100 <[exa]> yes
2026-02-23 21:54:30 +0100 <tomsmeding> what, 1 and 2?
2026-02-23 21:54:26 +0100 <[exa]> man I got hated
2026-02-23 21:54:17 +0100 <[exa]> I once called these "degenerate" primes in front of both abstract&linear algebra folks at once
2026-02-23 21:54:14 +0100 <tomsmeding> "an odd prime p" is not even really shorter than "a prime p ≥ 3"
2026-02-23 21:53:35 +0100 <EvanR> I get you
2026-02-23 21:53:23 +0100 <EvanR> oh wait
2026-02-23 21:53:18 +0100 <tomsmeding> which I always find a funny phrasing, almost certainly chosen because it's the shortest way to express the intended set
2026-02-23 21:53:11 +0100 <EvanR> given an odd non-1 prime...
2026-02-23 21:52:49 +0100 <tomsmeding> there's plenty of math that assumes odd primes
2026-02-23 21:52:33 +0100 <EvanR> so you don't have to preface everything you say about primes with "assuming no 1s"
2026-02-23 21:51:44 +0100 <lambdabot> Infinity
2026-02-23 21:51:42 +0100 <humasect> > (1 / 0)
2026-02-23 21:51:32 +0100 <tomsmeding> "assuming these are all numbers"
2026-02-23 21:51:31 +0100 <EvanR> another case of math beating us, by defining 1 to be not a prime
2026-02-23 21:51:11 +0100 <EvanR> I have to preface everything I say about floats with "assuming no NaNs"
2026-02-23 21:51:04 +0100 <lambdabot> NaN
2026-02-23 21:51:02 +0100 <tomsmeding> > (1 / 0) + (-1 / 0)
2026-02-23 21:50:32 +0100 <tomsmeding> NaN, however, breaks everything it touches; EvanR perhaps this influences what you observe
2026-02-23 21:50:28 +0100 <EvanR> I approve
2026-02-23 21:50:09 +0100 <lambdabot> True
2026-02-23 21:50:07 +0100 <tomsmeding> > (1 / 0) * 2 > 3
2026-02-23 21:49:44 +0100 <lambdabot> 1.5707963267948966
2026-02-23 21:49:43 +0100 <tomsmeding> > atan (1 / 0)
2026-02-23 21:49:35 +0100 <haskellbridge> <ijouw> atan (1/0)
2026-02-23 21:49:23 +0100 <tomsmeding> infinity actually behaves kind of okay under certain floating point operations
2026-02-23 21:49:23 +0100 <haskellbridge> <ijouw> I don't remember where it comes up and a value is more reasonable
2026-02-23 21:46:47 +0100peutri(~peutri@bobo.desast.re) peutri
2026-02-23 21:46:12 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-23 21:45:53 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving)