Newest at the top
| 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) |
| 2026-03-03 20:19:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 20:17:32 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-03-03 20:17:18 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-03 20:16:23 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-03 20:15:26 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 20:14:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 20:13:17 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-03-03 20:12:57 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) (Changing host) |
| 2026-03-03 20:08:46 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) |
| 2026-03-03 20:05:35 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2026-03-03 20:03:21 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 20:02:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 19:59:38 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 19:57:19 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 2026-03-03 19:54:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-03 19:49:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-03 19:49:13 +0100 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-03-03 19:46:27 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-03 19:45:35 +0100 | wbrawner | (~wbrawner@129.146.105.153) (Ping timeout: 245 seconds) |
| 2026-03-03 19:34:30 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |