Newest at the top
| 2026-03-03 21:24:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 21:22:55 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-03 21:22:31 +0100 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-03 21:18:19 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 2026-03-03 21:17:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:16:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-03 21:15:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-03-03 21:15:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-03 21:13:10 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-03 21:09:13 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2026-03-03 21:06:56 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-03-03 21:06:27 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-03 21:06:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 21:01:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 21:00:47 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-03 20:56:02 +0100 | yin | (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-03-03 20:51:12 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-03 20:50:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 20:49:11 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-03 20:48:30 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-03-03 20:48:28 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Ping timeout: 240 seconds) |
| 2026-03-03 20:48:23 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-03 20:47:18 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) v0id_7 |
| 2026-03-03 20:45:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:44:05 +0100 | <EvanR> | it boils down to what laws if any we expect the operations to follow. and we didn't define any observations so yeah dev null or () |
| 2026-03-03 20:42:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-03 20:41:11 +0100 | <monochrom> | If it only has delete, then it's observationally equivalent to /dev/null, then you can add insert trivially. |
| 2026-03-03 20:40:22 +0100 | <EvanR> | how do you mean doomed to also support insert |
| 2026-03-03 20:40:09 +0100 | atejandev | (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 2026-03-03 20:39:56 +0100 | <monochrom> | That data structure is doomed to also support insert trivially. So once again delete is no easier than insert. :) |
| 2026-03-03 20:39:51 +0100 | atejandev | (~ajdev@user/atejandev) atejandev |
| 2026-03-03 20:39:51 +0100 | atejandev | (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) (Changing host) |
| 2026-03-03 20:39:42 +0100 | <EvanR> | if it's easy enough it can also double as an insert. Start with a plenum and whatever was deleted counts as inserted |
| 2026-03-03 20:38:54 +0100 | <EvanR> | someone should come up with a datastructure which only has delete |
| 2026-03-03 20:38:25 +0100 | <monochrom> | I taught data structure courses. A pattern emerges: Delete is complicated for every data structure, including BSTs, open-addressing hash tables, and Bloom filters. |
| 2026-03-03 20:35:49 +0100 | ajdev | atejandev |
| 2026-03-03 20:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 20:32:08 +0100 | <haskellbridge> | <shapr> Hi |
| 2026-03-03 20:31:57 +0100 | Square | (~Square@user/square) Square |
| 2026-03-03 20:30:44 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-03 20:29:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:28:05 +0100 | u0_a216 | (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) (Ping timeout: 245 seconds) |
| 2026-03-03 20:27:55 +0100 | <mc2> | hello |
| 2026-03-03 20:27:51 +0100 | mc2 | (~mc@user/mc2) mc2 |
| 2026-03-03 20:25:36 +0100 | u0_a2162 | (~molidae@223.187.121.211) |
| 2026-03-03 20:25:00 +0100 | kuribas | (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-03-03 20:20:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-03-03 20:20:24 +0100 | Square | (~Square@user/square) Square |
| 2026-03-03 20:20:13 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 20:19:17 +0100 | ajdev | (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) |