| 2026-03-16 00:00:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 00:03:17 +0100 | <monochrom> | Nice, so PN induces a great question for amortized time! |
| 2026-03-16 00:04:35 +0100 | <jreicher> | Not following, and I want to! |
| 2026-03-16 00:04:52 +0100 | <EvanR> | PN becomes more efficient if your code uses right to left language |
| 2026-03-16 00:05:38 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 00:05:49 +0100 | <monochrom> | A single input symbol may trigger an unbounded number of stack pops. This is a great recipe for disaster^W intresting amortized time! |
| 2026-03-16 00:06:43 +0100 | <jreicher> | You mean RPN can be amortized and PN can't? |
| 2026-03-16 00:06:48 +0100 | <monochrom> | PN. |
| 2026-03-16 00:07:17 +0100 | <jreicher> | I'm missing something that's probably obvious, sorry. :) I think I need you to spell it out. |
| 2026-03-16 00:08:45 +0100 | <jreicher> | Do you mean the question induced is what is the amortized time? |
| 2026-03-16 00:09:08 +0100 | <monochrom> | The basic amortization example is a stack whose API has push, pop, multipop(n). multipop(n) worst case time is Ω(n), but amortized time stays O(1). |
| 2026-03-16 00:09:29 +0100 | <jreicher> | Yep, I got you. :) Phew. And I agree, that's nice. |
| 2026-03-16 00:09:36 +0100 | <monochrom> | PN is then just bells and whistles dressing up that stack API. |
| 2026-03-16 00:09:53 +0100 | <jreicher> | And easily understandable bells and whistles, which is why it might be a good example. |
| 2026-03-16 00:11:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:14:02 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-16 00:18:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 00:20:32 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-03-16 00:22:16 +0100 | Guest24 | (~Guest24@94.42.242.59) |
| 2026-03-16 00:25:15 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) |
| 2026-03-16 00:26:37 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e24f:1ef:ed48:3e20) (Ping timeout: 244 seconds) |
| 2026-03-16 00:29:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:34:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 00:35:22 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-16 00:35:50 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-16 00:44:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 00:49:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 00:50:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-16 00:56:41 +0100 | wickedjargon | (~user@S0106ac17c8c20e24.vc.shawcable.net) wickedjargon |
| 2026-03-16 01:00:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:01:45 +0100 | st_aldini | (~Betterbir@136.48.46.187) st_aldini |
| 2026-03-16 01:04:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-16 01:15:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:16:56 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-16 01:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 01:25:22 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 248 seconds) |
| 2026-03-16 01:25:26 +0100 | Guest24 | (~Guest24@94.42.242.59) (Quit: Client closed) |
| 2026-03-16 01:31:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:35:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 01:40:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-16 01:45:51 +0100 | wickedjargon | (~user@S0106ac17c8c20e24.vc.shawcable.net) (Remote host closed the connection) |
| 2026-03-16 01:46:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 01:50:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 01:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 02:01:23 +0100 | xff0x_ | (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) (Ping timeout: 272 seconds) |
| 2026-03-16 02:04:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:08:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-16 02:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:24:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 02:30:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e515b93fdf75026bf1fc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-16 02:30:58 +0100 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2026-03-16 02:34:55 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon |
| 2026-03-16 02:41:46 +0100 | craunts795335385 | (~craunts@61.245.22.252) |
| 2026-03-16 02:43:12 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 2026-03-16 02:43:26 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 02:46:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:47:38 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Remote host closed the connection) |
| 2026-03-16 02:47:52 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) wickedjargon |
| 2026-03-16 02:48:14 +0100 | Square2 | (~Square@user/square) (Read error: Connection reset by peer) |
| 2026-03-16 02:48:19 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 2026-03-16 02:49:17 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-16 02:49:22 +0100 | elarks | (~elarks@user/yerrii) (Ping timeout: 268 seconds) |
| 2026-03-16 02:49:50 +0100 | craunts795335385 | (~craunts@61.245.22.252) (Quit: Ping timeout (120 seconds)) |
| 2026-03-16 02:50:29 +0100 | somemathguy | (~somemathg@user/somemathguy) (Remote host closed the connection) |
| 2026-03-16 02:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 02:50:49 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-03-16 02:57:16 +0100 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2026-03-16 02:58:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 02:59:54 +0100 | czan | (~czan@user/mange) (Ping timeout: 245 seconds) |
| 2026-03-16 03:00:10 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 03:03:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-16 03:03:24 +0100 | wickedjargon | (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Ping timeout: 246 seconds) |
| 2026-03-16 03:05:36 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-16 03:13:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:18:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 03:24:52 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 03:29:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:35:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 03:37:03 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-03-16 03:47:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 03:52:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 03:55:32 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 04:00:48 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-16 04:02:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:03:24 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-16 04:05:30 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 04:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 04:08:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-16 04:17:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:22:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-16 04:31:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:34:16 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-16 04:36:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 04:41:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-03-16 04:42:05 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 04:46:15 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 04:47:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 04:50:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-16 04:51:40 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 04:52:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-16 05:02:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:07:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 05:17:07 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-16 05:18:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:22:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 05:24:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-03-16 05:31:22 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-03-16 05:32:56 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-16 05:32:56 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-16 05:37:24 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-16 05:39:51 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 05:44:57 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-16 05:48:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 05:49:32 +0100 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 244 seconds) |
| 2026-03-16 05:52:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-16 05:56:15 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2026-03-16 05:56:36 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-03-16 05:58:19 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2026-03-16 06:03:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:08:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-16 06:11:59 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-03-16 06:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:22:17 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 06:23:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 06:24:56 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-16 06:25:19 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection) |
| 2026-03-16 06:25:33 +0100 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-03-16 06:27:15 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 06:33:43 +0100 | michalz | (~michalz@185.246.207.200) |
| 2026-03-16 06:33:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:36:00 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 06:38:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-16 06:41:26 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-16 06:45:45 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-03-16 06:49:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-16 06:53:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |