Logs: liberachat/#haskell
| 2026-01-13 09:45:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 09:50:26 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-13 09:55:06 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 10:17:40 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-13 10:17:54 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2026-01-13 10:22:31 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2026-01-13 10:25:02 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2026-01-13 10:25:34 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-01-13 10:27:05 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer) |
| 2026-01-13 10:27:34 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 2026-01-13 10:29:09 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 10:31:55 | → | fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) |
| 2026-01-13 10:36:25 | → | akegalj joins (~akegalj@78-2-214-80.adsl.net.t-com.hr) |
| 2026-01-13 10:53:35 | × | fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 240 seconds) |
| 2026-01-13 10:54:27 | → | Enrico63 joins (~Enrico63@host-79-47-14-232.retail.telecomitalia.it) |
| 2026-01-13 10:57:49 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-13 10:57:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-13 11:00:01 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-13 11:03:36 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 11:04:53 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-13 11:06:53 | × | carbolymer quits (~carbolyme@delirium.systems) () |
| 2026-01-13 11:07:19 | → | carbolymer joins (~carbolyme@delirium.systems) |
| 2026-01-13 11:08:06 | × | carbolymer quits (~carbolyme@delirium.systems) (Client Quit) |
| 2026-01-13 11:08:37 | → | carbolymer joins (carbolymer@delirium.systems) |
| 2026-01-13 11:09:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-13 11:13:27 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-13 11:17:25 | → | xff0x joins (~xff0x@ai083101.d.east.v6connect.net) |
| 2026-01-13 11:21:50 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 11:22:15 | → | fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) |
| 2026-01-13 11:28:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-13 11:31:31 | → | danz78649 joins (~danza@user/danza) |
| 2026-01-13 11:33:41 | × | danza quits (~danza@user/danza) (Ping timeout: 244 seconds) |
| 2026-01-13 11:40:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 11:46:15 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 240 seconds) |
| 2026-01-13 11:52:00 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2026-01-13 11:57:19 | × | fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 240 seconds) |
| 2026-01-13 11:57:32 | trickard_ | is now known as trickard |
| 2026-01-13 11:59:35 | → | itaipu joins (~itaipu@168.121.99.54) |
| 2026-01-13 12:05:22 | × | itaipu quits (~itaipu@168.121.99.54) (Ping timeout: 246 seconds) |
| 2026-01-13 12:09:29 | × | danz78649 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-13 12:10:13 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-13 12:20:13 | → | itaipu joins (~itaipu@168.121.99.54) |
| 2026-01-13 12:21:36 | × | Enrico63 quits (~Enrico63@host-79-47-14-232.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-01-13 12:32:43 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-13 12:49:03 | → | fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) |
| 2026-01-13 12:51:06 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-13 12:52:20 | → | img joins (~img@user/img) |
| 2026-01-13 13:14:00 | × | newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-13 13:26:27 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-13 13:28:01 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2026-01-13 13:29:27 | → | danza joins (~danza@user/danza) |
| 2026-01-13 13:36:22 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 246 seconds) |
| 2026-01-13 13:37:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-01-13 13:40:13 | × | fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Ping timeout: 264 seconds) |
| 2026-01-13 13:51:05 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2026-01-13 13:52:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2026-01-13 14:03:46 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-13 14:04:22 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-13 14:09:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-01-13 14:15:01 | × | Miroboru quits (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds) |
| 2026-01-13 14:16:29 | → | Miroboru joins (~myrvoll@188.113.115.67) |
| 2026-01-13 14:17:00 | → | fp joins (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) |
| 2026-01-13 14:17:36 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 14:20:34 | × | Square2 quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-01-13 14:33:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-13 14:38:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2026-01-13 14:52:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-13 14:53:42 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-13 14:54:37 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-13 14:54:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2026-01-13 15:00:27 | × | akegalj quits (~akegalj@78-2-214-80.adsl.net.t-com.hr) (Quit: leaving) |
| 2026-01-13 15:07:55 | × | Googulator43 quits (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-13 15:08:17 | → | Googulator43 joins (~Googulato@2a01-036d-0106-4994-d043-6d2a-58f7-29ea.pool6.digikabel.hu) |
| 2026-01-13 15:08:32 | Googulator43 | is now known as Googulator |
| 2026-01-13 15:09:17 | → | newmind joins (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-01-13 15:11:03 | <haskellbridge> | <thirdofmay18081814goya> what's an implementation of lazy trees? google doesn't come up with much |
| 2026-01-13 15:12:53 | × | fp quits (~Thunderbi@wireless-86-50-140-77.open.aalto.fi) (Quit: fp) |
| 2026-01-13 15:17:13 | <[exa]> | there are many |
| 2026-01-13 15:17:34 | <[exa]> | it's more like there are several techniques that you can apply, depending on the usecase |
| 2026-01-13 15:19:31 | <haskellbridge> | <thirdofmay18081814goya> am just looking to read up on any of them for inspiration, no particular goal in mind at the moment |
| 2026-01-13 15:20:06 | <[exa]> | some libraries use 2-3 finger trees (I think Data.Map,Set and Sequence all have some variant of finger trees inside), and the usual construction you want to read about is called "zipper" |
| 2026-01-13 15:20:41 | <haskellbridge> | <thirdofmay18081814goya> neat, thanks a lot!! |
| 2026-01-13 15:21:42 | <[exa]> | "zipper" is essentially a technique where you grab the tree by an inner node instead of by the root, you need to add some complexity for inverting the pointers along the "spine" (path back to root), but you gain pretty good locality-based speedups (if there are many changes at one certain place in the tree, you don't need to rewrite as much data as if holding the tree by root) |
| 2026-01-13 15:22:50 | <[exa]> | I can't google any good image so lemme screenshot the slides |
| 2026-01-13 15:23:45 | <danza> | i vaguely recall a story about theseus and ariadne |
| 2026-01-13 15:25:16 | <[exa]> | thirdofmay18081814goya: https://imgur.com/a/nj2d5kl (the tree root is above, but actual data structure root is pointed by the finger, and you need some different "reversed" representation for the pink nodes) |
| 2026-01-13 15:27:09 | <[exa]> | in other news, doesn't even look like Set would use any of these things... https://hackage-content.haskell.org/package/containers-0.8/docs/src/Data.Set.Internal.html#Set |
| 2026-01-13 15:28:01 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-13 15:28:22 | <[exa]> | okay there's a cooler one for Data.Sequence: https://hackage-content.haskell.org/package/containers-0.8/docs/src/Data.Sequence.Internal.html#FingerTree |
| 2026-01-13 15:32:07 | → | danz62243 joins (~danza@user/danza) |
| 2026-01-13 15:32:50 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-01-13 15:34:34 | <haskellbridge> | <thirdofmay18081814goya> [exa]: I see! I'll be diving deeper, tyvm!! |
| 2026-01-13 15:37:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-13 15:41:29 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2026-01-13 15:46:05 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-13 15:46:05 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-13 15:46:05 | → | haritz joins (~hrtz@user/haritz) |
| 2026-01-13 15:47:17 | → | spew joins (~spew@user/spew) |
| 2026-01-13 15:49:57 | × | danz62243 quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-13 15:51:49 | × | trickard_ quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
All times are in UTC.