Newest at the top
| 2026-01-27 13:58:45 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 13:58:31 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 13:57:39 +0100 | mange | (~mange@user/mange) (Client Quit) |
| 2026-01-27 13:53:55 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Client Quit) |
| 2026-01-27 13:53:43 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-27 13:53:23 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-27 13:48:37 +0100 | mange | (~mange@user/mange) (Ping timeout: 264 seconds) |
| 2026-01-27 13:37:05 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-27 13:36:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-27 13:29:07 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-27 13:16:31 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 264 seconds) |
| 2026-01-27 13:06:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-27 13:02:57 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-27 12:58:22 +0100 | acidjnk | (~acidjnk@p200300d6e71719605c0a3441a338f285.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-01-27 12:55:15 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e5235c0a3441a338f285.dip0.t-ipconnect.de) |
| 2026-01-27 12:54:27 +0100 | fp | (~Thunderbi@wireless-86-50-141-120.open.aalto.fi) fp |
| 2026-01-27 12:50:58 +0100 | danza | (~danza@user/danza) () |
| 2026-01-27 12:42:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-27 12:30:41 +0100 | hakutaku | (~textual@185.106.95.100) |
| 2026-01-27 12:18:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b844:e6e5:f5dd:7cc5) |
| 2026-01-27 12:17:06 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-27 12:16:25 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-27 12:11:37 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2026-01-27 12:08:07 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Ping timeout: 240 seconds) |
| 2026-01-27 12:07:03 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-01-27 12:04:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-27 12:02:59 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 250 seconds) |
| 2026-01-27 11:52:02 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-27 11:45:20 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 11:44:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-27 11:44:23 +0100 | Square | (~Square4@user/square) Square |
| 2026-01-27 11:42:56 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2026-01-27 11:29:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-27 11:28:53 +0100 | internatetional | (~nate@2404:c0:2447:3b47:188e:3e81:8514:389a) (Client Quit) |
| 2026-01-27 11:28:51 +0100 | internatetional | (~nate@2404:c0:2447:3b47:188e:3e81:8514:389a) internatetional |
| 2026-01-27 11:27:00 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2026-01-27 11:25:32 +0100 | jreicher | (~joelr@user/jreicher) (Quit: Power outage) |
| 2026-01-27 11:23:28 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 11:19:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2026-01-27 11:16:40 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-27 11:13:43 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 246 seconds) |
| 2026-01-27 11:12:44 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-27 11:12:29 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-27 11:12:27 +0100 | <gentauro> | tl;dw -> https://www.youtube.com/watch?v=8hJtTIkDr5U&t=241s (around 04:01 ish) |
| 2026-01-27 11:11:23 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-27 11:09:53 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-01-27 11:06:41 +0100 | <int-e> | (unless you want to distinguish between linear and quadratic growth, say, but I didn't do that) |
| 2026-01-27 11:06:06 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-27 11:05:48 +0100 | <int-e> | jreicher: Anyway. The reason why I wrote up that example was to show that it wouldn't rely on any big patterns or huge numbers of arguments but stay polynomially bounded in the number of cases, at which point the precise parameter you pick stops to matter. |
| 2026-01-27 10:54:17 +0100 | <gentauro> | I really miss the hole eXchange concept :'( |