Newest at the top
| 2026-02-23 22:32:23 +0100 | <tomsmeding> | nope, unfortunately |
| 2026-02-23 22:31:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-23 22:30:26 +0100 | morj | (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-02-23 22:29:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-23 22:28:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2026-02-23 22:28:04 +0100 | <EvanR> | I was hoping he was going to show some haskell wats |
| 2026-02-23 22:26:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:1a7:fa86:12e2:7e3d) |
| 2026-02-23 22:25:24 +0100 | <tomsmeding> | EvanR: how does it feel |
| 2026-02-23 22:22:12 +0100 | mmaruseacph2 | (~mihai@mihai.page) mmaruseacph2 |
| 2026-02-23 22:21:57 +0100 | mmaruseacph2 | (~mihai@mihai.page) (Server closed connection) |
| 2026-02-23 22:21:10 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-23 22:19:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 264 seconds) |
| 2026-02-23 22:16:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-23 22:14:56 +0100 | sp1ff | (~user@2601:1c2:4701:7850::8cd) sp1ff |
| 2026-02-23 22:12:58 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-23 22:11:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-23 22:11:17 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-23 22:06:32 +0100 | AlexZenon | (~alzenon@178.34.151.130) |
| 2026-02-23 22:06:12 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2026-02-23 22:05:58 +0100 | constxd | (~constxd@user/constxd) constxd |
| 2026-02-23 22:05:57 +0100 | distopico | (~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 +0100 | constxd | (~constxd@user/constxd) (Server closed connection) |
| 2026-02-23 22:02:38 +0100 | AlexZenon | (~alzenon@178.34.151.130) (Ping timeout: 256 seconds) |
| 2026-02-23 22:00:55 +0100 | merijn | (~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 +0100 | petrichor | (~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 +0100 | merijn | (~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) |