Logs: liberachat/#haskell
| 2025-09-10 14:45:47 | × | ruvam quits (~ruvam@user/ruvam) (Ping timeout: 248 seconds) |
| 2025-09-10 14:46:22 | <EvanR> | would be a serious question if performance is important |
| 2025-09-10 14:47:51 | <EvanR> | a vector of the populations of fixed categories could be a big impovement |
| 2025-09-10 14:48:29 | → | ruvam joins (~ruvam@user/ruvam) |
| 2025-09-10 14:48:40 | <merijn> | Vector won't help if you have to convert when querying "list without". But iff it makes sense to swap to Vector globally in the program that might help substantially |
| 2025-09-10 14:48:57 | <EvanR> | "list without" would be, zero out that category |
| 2025-09-10 14:49:09 | <EvanR> | "list" without |
| 2025-09-10 14:49:23 | <merijn> | Or just Vector.filter or something |
| 2025-09-10 14:49:37 | <merijn> | For vectors of size 10 the traversal costs are pretty small |
| 2025-09-10 14:49:49 | <EvanR> | I'm just fantasizing that population count is all that matters |
| 2025-09-10 14:50:37 | <EvanR> | real world use case, your characters inventory is always sorted |
| 2025-09-10 14:50:43 | <__monty__> | EvanR: Rather than zeroing out it'd be decrementing the count according to their spec. |
| 2025-09-10 14:50:44 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-09-10 14:50:46 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 14:51:05 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 14:51:14 | <EvanR> | you think listWithout x would return a "list" that still has x, just fewer? |
| 2025-09-10 14:51:23 | → | user0 joins (~user0@67.161.181.189) |
| 2025-09-10 14:51:42 | × | qqe quits (~qqq@185.54.23.136) (Read error: Connection reset by peer) |
| 2025-09-10 14:52:05 | <__monty__> | That's what they said re duplicates. |
| 2025-09-10 14:52:27 | <EvanR> | I see that. Confusing naming then |
| 2025-09-10 14:56:24 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-10 15:12:18 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-09-10 15:14:03 | → | qqe joins (~qqq@185.54.23.136) |
| 2025-09-10 15:14:20 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-09-10 15:17:32 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-10 15:22:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-10 15:23:04 | × | fp quits (~Thunderbi@wireless-86-50-141-202.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-10 15:31:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-10 15:42:09 | → | karenw joins (~karenw@user/karenw) |
| 2025-09-10 15:42:23 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 15:46:12 | → | Everything joins (~Everythin@178.137.93.79) |
| 2025-09-10 15:46:25 | <kaotica> | /close |
| 2025-09-10 15:46:37 | ← | kaotica parts (~user@user/d4q) (leaving) |
| 2025-09-10 15:46:42 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-10 15:49:36 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-10 15:50:03 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-09-10 15:57:06 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-10 16:02:43 | <dminuoso> | kqr: Well I mean if you want to hack around, nothing stops you from touching theStdGen manually. :-) |
| 2025-09-10 16:03:54 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-09-10 16:04:12 | <dminuoso> | kqr: Also regarding the list problem, what merijn said. Never underestimate the power of linear memory access in the presence of strided prefetchers. :-) |
| 2025-09-10 16:04:36 | → | ubert joins (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) |
| 2025-09-10 16:04:53 | × | user0 quits (~user0@67.161.181.189) (Ping timeout: 250 seconds) |
| 2025-09-10 16:05:16 | <dminuoso> | Even if you go into a hundred elements, chances are its still faster than indirection in the average case. |
| 2025-09-10 16:05:52 | × | ubert1 quits (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2025-09-10 16:06:10 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 16:06:24 | <dminuoso> | Linear memory access is just stupid fast. |
| 2025-09-10 16:07:27 | → | ubert1 joins (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) |
| 2025-09-10 16:08:56 | × | ubert quits (~Thunderbi@77.119.163.183.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2025-09-10 16:08:56 | ubert1 | is now known as ubert |
| 2025-09-10 16:09:04 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-10 16:10:31 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-10 16:13:35 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-10 16:15:23 | × | ubert quits (~Thunderbi@178.165.191.145.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-09-10 16:21:12 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-09-10 16:21:30 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-10 16:27:20 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 258 seconds) |
| 2025-09-10 16:42:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 16:45:09 | × | qqe quits (~qqq@185.54.23.136) (Remote host closed the connection) |
| 2025-09-10 16:46:47 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-10 16:47:02 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-10 16:47:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 16:49:34 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 258 seconds) |
| 2025-09-10 16:50:45 | × | Square3 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2025-09-10 16:51:44 | → | karenw joins (~karenw@user/karenw) |
| 2025-09-10 16:53:54 | <EvanR> | just wait until they invent isolinear memory |
| 2025-09-10 16:58:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 16:58:36 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-09-10 17:00:11 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-09-10 17:03:30 | → | Alleria_ joins (~Alleria@user/alleria) |
| 2025-09-10 17:04:01 | → | user0 joins (~user0@67.161.181.189) |
| 2025-09-10 17:05:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-10 17:06:32 | × | Alleria quits (~Alleria@user/alleria) (Ping timeout: 256 seconds) |
| 2025-09-10 17:07:30 | → | biberao joins (~m@user/biberao) |
| 2025-09-10 17:12:03 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Ping timeout: 250 seconds) |
| 2025-09-10 17:16:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 17:18:28 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Quit: Quit) |
| 2025-09-10 17:18:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-10 17:22:50 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2025-09-10 17:23:23 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-10 17:24:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 17:33:01 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-10 17:35:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 17:39:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 17:44:30 | × | tromp quits (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-10 17:49:13 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-09-10 17:50:44 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-10 17:50:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 17:51:11 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-10 17:55:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-10 17:55:50 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds) |
| 2025-09-10 17:58:05 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-09-10 17:59:43 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-09-10 18:04:30 | <dminuoso> | EvanR: Oh that already exists. It's called a blackhole! |
| 2025-09-10 18:06:13 | → | tromp joins (~textual@2001:1c00:3487:1b00:d00b:7608:aa49:1d61) |
| 2025-09-10 18:06:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-10 18:10:33 | <kqr> | I have converted to MultiSet (which is effectively a strict Map a Int) now, which didn't turn out that great in terms of performance. Slightly slower than lists. (Understandable – the sets have to be rebuilt relatively often and they are very small.) Vectors are the next step! Then if that doesn't work, I'm tempted to encode the element types as integers instead of records of sum type fields. |
| 2025-09-10 18:11:10 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-10 18:11:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-10 18:11:46 | × | Everything quits (~Everythin@178.137.93.79) (Read error: Connection reset by peer) |
| 2025-09-10 18:14:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
All times are in UTC.