Logs: liberachat/#haskell
| 2025-09-22 10:56:04 | <tomsmeding> | so there is a fundamental impedance mismatch that you have to overcome somehow |
| 2025-09-22 10:56:22 | <[exa]> | yeah looks like I'll try to somehow reinvent the algorithm with trees |
| 2025-09-22 10:56:38 | × | fp1 quits (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-09-22 10:56:41 | <tomsmeding> | even DAGs are not trees, but they're a bit closer |
| 2025-09-22 10:56:42 | → | fp2 joins (~Thunderbi@130.233.53.240) |
| 2025-09-22 10:56:56 | <[exa]> | (that's quite stupidest on the whole suffix tree algorithm tho, it looks SO MUCH like a fingertree walk, except it's not) |
| 2025-09-22 10:57:40 | <tomsmeding> | [exa]: perhaps the main tree could be a regular-old tree, but you have a separate Map from some node ID to the corresponding tree node, and backlinks are IDs where you have to go through the Map to find the tree node? |
| 2025-09-22 10:57:57 | <tomsmeding> | then going down is just following a single pointer, and going up goes through a bunch of administration |
| 2025-09-22 10:58:11 | <tomsmeding> | not sure if that helps at all |
| 2025-09-22 10:58:13 | trickard_ | is now known as trickard |
| 2025-09-22 10:58:58 | fp2 | is now known as fp1 |
| 2025-09-22 11:01:29 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 11:03:30 | × | mari88678 quits (~mari-este@user/mari-estel) () |
| 2025-09-22 11:04:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 11:04:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-09-22 11:05:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 11:05:53 | × | dontdieych quits (~dontdieyc@132.226.169.184) (Remote host closed the connection) |
| 2025-09-22 11:06:07 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 2025-09-22 11:06:37 | <jreicher> | [exa]: Take this with a grain of salt, because my experience is still too limited, but I've found implicit graphs better if you manage one "paradigm shift": forget about the graph, and try to make precise the access functions. The structure is implied by those functions if you get them right. |
| 2025-09-22 11:07:00 | <jreicher> | And that's especially true for infinitary expressions. |
| 2025-09-22 11:14:43 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 11:14:56 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 11:15:28 | → | xff0x joins (~xff0x@2405:6580:b080:900:58c5:f92c:e5e0:d47f) |
| 2025-09-22 11:15:43 | → | Googulator24 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 11:15:45 | × | Googulator18 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 11:23:56 | × | Athas quits (athas@2a01:7c8:aaac:1cf:d66b:b110:e135:a326) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-22 11:24:08 | → | Athas joins (athas@2a01:7c8:aaac:1cf:d153:5501:dd03:4891) |
| 2025-09-22 11:24:13 | × | Googulator24 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 11:24:29 | → | Googulator24 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 11:24:48 | → | Guest77 joins (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) |
| 2025-09-22 11:28:05 | × | fp1 quits (~Thunderbi@130.233.53.240) (Ping timeout: 265 seconds) |
| 2025-09-22 11:30:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-22 11:31:40 | <merijn> | [exa]: In general arrays/vectors are very hard to beat for graph algorithms :p |
| 2025-09-22 11:31:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2025-09-22 11:32:46 | × | inline_ quits (~inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-22 11:33:40 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-09-22 11:33:59 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-09-22 11:34:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 11:35:37 | × | Googulator24 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 11:35:41 | → | Googulator95 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 11:38:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-22 11:41:30 | trickard_ | is now known as trickard |
| 2025-09-22 11:45:07 | × | tromp quits (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 11:48:30 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 11:48:49 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-09-22 11:49:23 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 260 seconds) |
| 2025-09-22 11:50:57 | <[exa]> | jreicher: yep, very true |
| 2025-09-22 11:51:00 | <[exa]> | merijn: it |
| 2025-09-22 11:51:21 | <[exa]> | ...'s going to be an array in the memory anyway, right :D |
| 2025-09-22 11:53:09 | → | internatetional joins (~nate@2404:c0:7050::111d:130) |
| 2025-09-22 12:00:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 12:01:43 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2025-09-22 12:02:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-22 12:02:54 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 12:05:28 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 12:05:32 | × | Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-22 12:06:03 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-22 12:07:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-22 12:09:14 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 260 seconds) |
| 2025-09-22 12:09:45 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-22 12:10:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-22 12:10:42 | → | Googulator1 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 12:10:42 | × | Googulator95 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 12:12:04 | × | internatetional quits (~nate@2404:c0:7050::111d:130) (Ping timeout: 265 seconds) |
| 2025-09-22 12:12:49 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-22 12:13:58 | × | Guest77 quits (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Quit: Client closed) |
| 2025-09-22 12:15:46 | × | Googulator1 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 12:15:50 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 12:17:08 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-22 12:20:37 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-22 12:21:23 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 12:23:17 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 12:23:17 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 12:23:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 12:23:28 | → | Axman6 joins (~Axman6@user/axman6) |
| 2025-09-22 12:25:41 | × | Axma53005 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-22 12:29:16 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-09-22 12:34:28 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-22 12:35:36 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 12:35:41 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 12:56:31 | × | AlexZenon quits (~alzenon@85.174.180.29) (Quit: ;-) |
| 2025-09-22 12:57:50 | × | AlexNoo quits (~AlexNoo@85.174.180.29) (Quit: Leaving) |
| 2025-09-22 12:59:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 13:03:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-22 13:03:58 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:04:16 | → | Googulator84 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:10:43 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-22 13:11:04 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-22 13:14:13 | → | Guest77 joins (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) |
| 2025-09-22 13:14:21 | × | Guest77 quits (~Guest77@2803:9400:454a:1e81:f12b:330c:3ff6:cee3) (Client Quit) |
| 2025-09-22 13:15:33 | × | Googulator84 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:15:39 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:17:34 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 13:20:39 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-22 13:25:52 | → | Googulator65 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 13:26:16 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 13:26:23 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-22 13:27:02 | → | AlexNoo joins (~AlexNoo@85.174.180.29) |
| 2025-09-22 13:37:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-22 13:38:53 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
All times are in UTC.