Logs: liberachat/#haskell
| 2025-09-22 07:24:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 07:30:23 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-22 07:35:41 | → | Googulator4 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 07:35:43 | × | Googulator74 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:37:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-22 07:40:27 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-22 07:42:03 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-22 07:52:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-22 08:03:15 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-22 08:05:41 | → | Googulator29 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 08:05:43 | × | Googulator4 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 08:08:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-22 08:10:05 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-22 08:10:39 | × | Googulator29 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 08:10:46 | → | Googulator29 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 08:11:17 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2025-09-22 08:11:28 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-22 08:30:39 | → | Googulator35 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 08:30:49 | × | Googulator29 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 08:33:36 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-22 08:35:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-22 08:38:32 | → | kuribas joins (~user@2a02-1810-2825-6000-fedd-5dda-6057-f5dc.ip6.access.telenet.be) |
| 2025-09-22 08:40:25 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-22 08:40:29 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 08:40:46 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-22 08:45:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-22 08:46:20 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 08:46:42 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-22 08:50:17 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 08:50:40 | × | Googulator35 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 08:50:41 | → | Googulator68 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 08:51:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-22 08:56:13 | → | chele joins (~chele@user/chele) |
| 2025-09-22 08:59:52 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-22 09:05:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-09-22 09:06:46 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-22 09:07:53 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-22 09:10:40 | → | Googulator95 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 09:10:43 | × | Googulator68 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 09:12:06 | → | Square joins (~Square4@user/square) |
| 2025-09-22 09:13:40 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-22 09:13:54 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 09:14:08 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 09:15:46 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-22 09:17:16 | × | AlexZenon quits (~alzenon@85.174.180.29) (Ping timeout: 256 seconds) |
| 2025-09-22 09:19:47 | → | Axma53005 joins (~Axman6@user/axman6) |
| 2025-09-22 09:21:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 09:21:29 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 09:21:29 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 09:22:03 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 09:24:10 | → | AlexZenon joins (~alzenon@85.174.180.29) |
| 2025-09-22 09:25:31 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-22 09:26:18 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-22 09:27:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 09:32:43 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-09-22 09:47:04 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-09-22 09:48:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-22 09:49:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-09-22 09:51:00 | <[exa]> | Hey all. Is there any good way to "functionalize" a data structure used for suffix tree construction? It's a tree with "finger" and backlinks, see http://www.cs.helsinki.fi/u/ukkonen/SuffixT1withFigs.pdf |
| 2025-09-22 09:51:32 | <[exa]> | technically I'd just do ST+vector but hoped there'd be something much cooler |
| 2025-09-22 09:53:17 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 09:58:15 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-22 10:02:12 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Ping timeout: 244 seconds) |
| 2025-09-22 10:02:30 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 2025-09-22 10:03:49 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 10:10:21 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) |
| 2025-09-22 10:10:21 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:9931:1658:a8a9:94ac) (Changing host) |
| 2025-09-22 10:10:21 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 10:11:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-22 10:11:30 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 2025-09-22 10:13:26 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-22 10:15:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-22 10:15:44 | → | Googulator18 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 10:15:44 | × | Googulator95 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 10:21:49 | <tomsmeding> | how much performance do you want :p |
| 2025-09-22 10:23:33 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-22 10:25:38 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-22 10:27:11 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-09-22 10:32:31 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-22 10:44:09 | → | mari88678 joins (~mari-este@user/mari-estel) |
| 2025-09-22 10:44:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-22 10:44:38 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-22 10:44:48 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-22 10:46:41 | <merijn> | [exa]: I mean, ST + vector seems very reasonable? |
| 2025-09-22 10:47:14 | <merijn> | You could maybe do some fancy tricks with laziness, but that's probably gonna be much less understandable |
| 2025-09-22 10:47:55 | → | poscat joins (~poscat@user/poscat) |
| 2025-09-22 10:48:51 | <[exa]> | tomsmeding: not a whole lot, was more like thinking if I could code it differently |
| 2025-09-22 10:49:16 | <[exa]> | merijn: yeah I assume it's gonna end with ST but wanted to be cool |
| 2025-09-22 10:49:18 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-09-22 10:49:47 | <[exa]> | OTOH there don't seem to be even data structures to support the backlinks sensibly, sans perhaps some of the ideas from inductive graphs...which is gonna be slow af in this case |
| 2025-09-22 10:51:30 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds) |
| 2025-09-22 10:52:25 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-22 10:52:56 | <tomsmeding> | [exa]: when representing a cyclic graph in haskell, you can essentially choose between an explicit graph representation (Map like fgl, or STVector etc.) or an implicit graph representation (an infinite data type with sharing to produce a cyclical structure in memory) |
| 2025-09-22 10:53:02 | <tomsmeding> | the latter is _extremely_ hard to work with |
| 2025-09-22 10:53:23 | <tomsmeding> | the former is cumbersome, but it has the very big selling point that it... works |
| 2025-09-22 10:54:41 | → | fp1 joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-09-22 10:54:44 | <[exa]> | yeah and the former in my case is just a slower ST vector... :D |
| 2025-09-22 10:55:15 | <[exa]> | ok nvm, I take that any improvement over the vectors is hard, thanks for confirming tho :) |
| 2025-09-22 10:55:44 | <tomsmeding> | nice functional programming is all about trees |
| 2025-09-22 10:55:49 | <tomsmeding> | cyclic graphs are not trees |
All times are in UTC.