Newest at the top
| 2026-06-09 23:29:49 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-06-09 23:26:47 +0000 | Square | (~Square4@user/square) (Remote host closed the connection) |
| 2026-06-09 23:24:19 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 2026-06-09 23:19:19 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-09 23:19:13 +0000 | Square | (~Square4@user/square) Square |
| 2026-06-09 23:13:30 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:ea14:91d4:4302:1049) (Ping timeout: 252 seconds) |
| 2026-06-09 23:10:07 +0000 | <humasect> | objection heresay |
| 2026-06-09 23:09:59 +0000 | <tomsmeding> | (it's past midnight here, see y'all) |
| 2026-06-09 23:09:56 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:c3b9:7f99:8cff:a364) |
| 2026-06-09 23:09:31 +0000 | <EvanR> | lol |
| 2026-06-09 23:09:24 +0000 | <tomsmeding> | indeed, taking the shortest path to bed maximises proper time, i.e. one's time in bed |
| 2026-06-09 23:08:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-09 23:08:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-09 23:08:22 +0000 | <EvanR> | and the "shortest" path from A to B maximizes proper time |
| 2026-06-09 23:07:44 +0000 | tomsmeding | is always timelike |
| 2026-06-09 23:07:33 +0000 | tomsmeding | knows nothing about relativity |
| 2026-06-09 23:07:12 +0000 | <EvanR> | taking the long way around from A to B in relativity causes a timelike path to take less proper time |
| 2026-06-09 23:06:50 +0000 | <tomsmeding> | isn't that supposed to be a 4D metric space or something |
| 2026-06-09 23:06:28 +0000 | <EvanR> | unless it's relativity |
| 2026-06-09 23:06:13 +0000 | <lambdabot> | False |
| 2026-06-09 23:06:12 +0000 | <tomsmeding> | > (5-1)^2 <= (5-3)^2 + (3-1)^2 |
| 2026-06-09 23:05:07 +0000 | <tomsmeding> | EvanR: right, squared euclidean doesn't behave like a length; for example, a metric also requires d(a,b) <= d(a,x) + d(x,b), because taking a detour shouldn't make your trip shorter |
| 2026-06-09 23:01:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 22:57:00 +0000 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2026-06-09 22:50:57 +0000 | <EvanR> | Num was one practical organization while breaking it up would be another, but someone would complain either way |
| 2026-06-09 22:50:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-09 22:48:49 +0000 | <EvanR> | I guess the first three obeys |a*xhat| = |a| while the latter doesn't |
| 2026-06-09 22:47:18 +0000 | <EvanR> | would it be funny if euclidean norm, taxicab norm, and chebychev are all perfectly cromulent norms but squared euclidean is not |
| 2026-06-09 22:45:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 22:38:39 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-09 22:38:00 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-09 22:36:53 +0000 | Axma13896 | (~Axman6@user/axman6) Axman6 |
| 2026-06-09 22:35:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-09 22:29:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 22:29:20 +0000 | Guest388 | (~user@2001:1c00:a16:9d00:246:e3b:d72c:b985) () |
| 2026-06-09 22:28:32 +0000 | Bob | Guest388 |
| 2026-06-09 22:28:11 +0000 | Bob | (~user@2001:1c00:a16:9d00:246:e3b:d72c:b985) |
| 2026-06-09 22:18:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-09 22:13:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-09 22:12:21 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:ea14:91d4:4302:1049) |
| 2026-06-09 22:11:17 +0000 | Dykam | (Dykam@dykam.nl) Dykam |
| 2026-06-09 22:10:19 +0000 | Dykam | (Dykam@dykam.nl) (Ping timeout: 245 seconds) |
| 2026-06-09 22:10:04 +0000 | davl | (~davl@207.154.228.18) davl |
| 2026-06-09 22:09:04 +0000 | davl | (~davl@207.154.228.18) (Ping timeout: 245 seconds) |
| 2026-06-09 22:04:04 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e871:d960:9f2c:8e13) (Ping timeout: 245 seconds) |
| 2026-06-09 22:02:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-06-09 22:02:26 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Ping timeout: 264 seconds) |
| 2026-06-09 22:01:43 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-06-09 22:01:28 +0000 | TwinAdam_ | (~TwinAdam@73.88.233.213) |
| 2026-06-09 22:01:23 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |