Logs: liberachat/#haskell
| 2026-03-03 19:20:30 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 2026-03-03 19:25:00 | × | kuribas quits (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-03-03 19:25:36 | → | u0_a2162 joins (~molidae@223.187.121.211) |
| 2026-03-03 19:27:51 | → | mc2 joins (~mc@user/mc2) |
| 2026-03-03 19:27:55 | <mc2> | hello |
| 2026-03-03 19:28:05 | × | u0_a216 quits (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) (Ping timeout: 245 seconds) |
| 2026-03-03 19:29:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 19:30:44 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 2026-03-03 19:31:57 | → | Square joins (~Square@user/square) |
| 2026-03-03 19:32:08 | <haskellbridge> | <shapr> Hi |
| 2026-03-03 19:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 19:35:49 | ajdev | is now known as atejandev |
| 2026-03-03 19:38:25 | <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 19:38:54 | <EvanR> | someone should come up with a datastructure which only has delete |
| 2026-03-03 19:39:42 | <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 19:39:51 | × | atejandev quits (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) (Changing host) |
| 2026-03-03 19:39:51 | → | atejandev joins (~ajdev@user/atejandev) |
| 2026-03-03 19:39:56 | <monochrom> | That data structure is doomed to also support insert trivially. So once again delete is no easier than insert. :) |
| 2026-03-03 19:40:09 | × | atejandev quits (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 2026-03-03 19:40:22 | <EvanR> | how do you mean doomed to also support insert |
| 2026-03-03 19:41:11 | <monochrom> | If it only has delete, then it's observationally equivalent to /dev/null, then you can add insert trivially. |
| 2026-03-03 19:42:25 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-03 19:44:05 | <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 19:45:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 19:47:18 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 2026-03-03 19:48:23 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-03 19:48:28 | × | skinkitten quits (~skinkitte@user/skinkitten) (Ping timeout: 240 seconds) |
| 2026-03-03 19:48:30 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-03-03 19:49:11 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-03 19:50:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 19:51:12 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-03 19:56:02 | × | yin quits (~zero@user/zero) (Ping timeout: 248 seconds) |
| 2026-03-03 20:00:47 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-03 20:01:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 20:06:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-03 20:06:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-03 20:06:56 | → | karenw_ joins (~karenw@user/karenw) |
| 2026-03-03 20:09:13 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2026-03-03 20:13:10 | → | yin joins (~zero@user/zero) |
| 2026-03-03 20:15:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-03 20:15:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-03-03 20:16:10 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-03 20:17:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 20:18:19 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 2026-03-03 20:22:31 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-03-03 20:22:55 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-03 20:24:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 20:35:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 20:40:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-03 20:40:22 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-03 20:45:27 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 2026-03-03 20:45:31 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-03-03 20:50:26 | Digitteknohippie | is now known as Digit |
| 2026-03-03 20:51:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 20:54:57 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-03-03 20:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 20:58:56 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2026-03-03 21:00:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 21:01:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-03-03 21:01:33 | → | spew joins (~spew@user/spew) |
| 2026-03-03 21:01:57 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-03 21:04:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-03 21:04:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-03 21:05:37 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-03-03 21:06:49 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-03-03 21:11:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-03-03 21:13:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-03-03 21:15:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 21:16:00 | × | spew quits (~spew@user/spew) (Ping timeout: 245 seconds) |
| 2026-03-03 21:17:12 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-03-03 21:20:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-03 21:20:56 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 2026-03-03 21:21:03 | → | connrs joins (~connrs@user/connrs) |
| 2026-03-03 21:25:16 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-03 21:25:40 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-03-03 21:31:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 21:36:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-03 21:36:32 | <yin> | if i want to make number literals of a custom type, do i just define the Num instance with fromInteger? |
| 2026-03-03 21:37:28 | <mauke> | yes |
| 2026-03-03 21:38:38 | <yin> | and ignore the warning about missing other Num operations |
| 2026-03-03 21:39:38 | <mauke> | no |
| 2026-03-03 21:39:43 | <EvanR> | you could imagining at least inheriting the operations on Integer mapped through to your type where defined |
| 2026-03-03 21:40:46 | <yin> | fair enough |
| 2026-03-03 21:44:31 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds) |
| 2026-03-03 21:46:39 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-03 21:47:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 21:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-03 22:02:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-03 22:03:48 | ← | aaronm04 parts (~user@user/aaronm04) (WeeChat 4.1.0) |
| 2026-03-03 22:08:46 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 22:09:15 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2026-03-03 22:09:41 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 2026-03-03 22:10:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-03 22:10:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-03 22:11:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-03-03 22:13:41 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-03-03 22:16:18 | <yin> | welp, i ended up doing the right thing |
| 2026-03-03 22:16:20 | <yin> | i think |
| 2026-03-03 22:17:01 | <yin> | https://paste.jrvieira.com/1772576191926 |
| 2026-03-03 22:20:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
All times are in UTC.