| 2026-06-10 00:05:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 00:06:04 +0000 | Square3 | (~Square@user/square) Square |
| 2026-06-10 00:07:16 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-06-10 00:09:01 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-10 00:09:26 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2026-06-10 00:09:44 +0000 | sudden | (~cat@user/sudden) sudden |
| 2026-06-10 00:09:47 +0000 | kilolympus0 | (~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-06-10 00:11:21 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-06-10 00:11:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-06-10 00:14:07 +0000 | Square3 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-06-10 00:16:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 2026-06-10 00:16:22 +0000 | Square3 | (~Square@user/square) Square |
| 2026-06-10 00:19:25 +0000 | comonad | (~comonad@p200300d0270b48007e9ebd3a85faa87e.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2026-06-10 00:19:33 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:c3b9:7f99:8cff:a364) (Quit: ricmaps) |
| 2026-06-10 00:21:15 +0000 | kilolympus0 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-06-10 00:22:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 00:23:47 +0000 | comonad | (~comonad@p200300d0270b48007e9ebd3a85faa87e.dip0.t-ipconnect.de) |
| 2026-06-10 00:27:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-10 00:29:03 +0000 | Square3 | (~Square@user/square) (Ping timeout: 241 seconds) |
| 2026-06-10 00:29:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-10 00:38:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 00:41:48 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-10 00:43:14 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2026-06-10 00:44:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-10 00:46:00 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2026-06-10 00:48:28 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-06-10 00:49:09 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-06-10 00:50:41 +0000 | DetourNe- | DetourNetworkUK |
| 2026-06-10 00:52:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fe12:152c:dc21:40b0) (Ping timeout: 244 seconds) |
| 2026-06-10 00:54:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 00:55:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-10 00:59:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-10 01:04:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 01:09:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-10 01:20:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 01:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 247 seconds) |
| 2026-06-10 01:32:42 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-06-10 01:33:43 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-06-10 01:35:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 01:40:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-10 01:44:06 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-10 01:47:33 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-10 01:49:50 +0000 | Axma13896 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2026-06-10 01:51:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 01:52:54 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-06-10 01:54:39 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-06-10 01:56:10 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-10 01:56:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-10 02:00:49 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-10 02:06:25 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-06-10 02:07:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 02:08:37 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 276 seconds) |
| 2026-06-10 02:10:08 +0000 | td_ | (~td@i53870934.versanet.de) |
| 2026-06-10 02:11:19 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-06-10 02:12:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-10 02:12:37 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) (Client Quit) |
| 2026-06-10 02:14:19 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-06-10 02:18:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-06-10 02:23:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 02:24:48 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-06-10 02:28:29 +0000 | <monochrom> | Relativity uses sqrt(dx^2 + dy^2 + dz^2 - c*dt^2) (under the constraint that you don't go faster than c so the sqrt is real). Sometimes you can think of the time axis as like imaginary numbers. |
| 2026-06-10 02:28:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-10 02:29:39 +0000 | <monochrom> | or maybe it's sqrt(c*dt^2 - (dx^2 + dy^2 + dz^2)), I forgot which. |
| 2026-06-10 02:30:24 +0000 | Googulator6 | (~Googulato@94-21-172-222.pool.digikabel.hu) (Quit: Client closed) |
| 2026-06-10 02:31:31 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-10 02:32:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-10 02:33:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-10 02:34:00 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-06-10 02:40:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 02:42:07 +0000 | <EvanR> | it's ds^2 = -dt^2 + dx^2 + dy^2 + dz^2, where the right hand side may easily end up negative for e.g. a particle just sitting there |
| 2026-06-10 02:42:30 +0000 | <EvanR> | so you need to be careful when attempting to take the square root (ds^2 is effectively just notation) |
| 2026-06-10 02:47:10 +0000 | <EvanR> | given the above proper time is dtau = sqrt(-ds^2) |
| 2026-06-10 02:47:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-06-10 02:48:31 +0000 | <EvanR> | and if it's a spacelike curve, d properlength = sqrt(ds^2) |
| 2026-06-10 02:58:48 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-10 03:00:13 +0000 | Axman636 | (~Axman6@user/axman6) Axman6 |
| 2026-06-10 03:02:35 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 252 seconds) |
| 2026-06-10 03:03:39 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-06-10 03:12:06 +0000 | eron | (~eron@179.118.254.196) lidenbrock |
| 2026-06-10 03:14:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 03:20:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-06-10 03:23:52 +0000 | spew | (~spew@user/spew) spew |
| 2026-06-10 03:24:07 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2026-06-10 03:31:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 03:36:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-10 03:45:00 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2026-06-10 03:46:33 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-06-10 03:46:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 03:48:40 +0000 | rainbyte | (~rainbyte@181.47.219.31) (Quit: rainbyte) |
| 2026-06-10 03:48:53 +0000 | rainbyte | (~rainbyte@181.47.219.31) rainbyte |
| 2026-06-10 03:52:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-10 04:02:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-10 04:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-10 04:14:20 +0000 | eron | (~eron@179.118.254.196) (Quit: Client closed) |