Newest at the top
2024-11-13 15:47:17 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2024-11-13 15:41:04 +0100 | alexherbo2 | (~alexherbo@2a02:8440:3117:f07c:59a9:a91e:4d8c:de8d) alexherbo2 |
2024-11-13 15:37:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
2024-11-13 15:32:47 +0100 | <yin> | |
2024-11-13 15:29:05 +0100 | <yin> | what is this exceptional character that my terminal renders correctly but not the Element app? |
2024-11-13 15:28:08 +0100 | <Hecate> | tomsmeding: thanks |
2024-11-13 15:25:27 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-13 15:18:40 +0100 | <yahb2> | |
2024-11-13 15:18:40 +0100 | <tomsmeding> | % putStr [Data.Char.chr 0xf1991] -- carbolymer: yahb allows you to run IO |
2024-11-13 15:17:01 +0100 | <tomsmeding> | I think this is what you were referring to in your original email |
2024-11-13 15:16:43 +0100 | <tomsmeding> | Furthermore, if there aren't any pointers into tail elements of your list, the GC will always traverse the list from head to tail. If you use the copying GC (i.e. not --nonmoving-gc), then it will (I think!) copy values in order of visiting them, so even if the list wasn't packed beforehand, they will be anyway after a GC pass. |
2024-11-13 15:15:30 +0100 | <tomsmeding> | Hecate: not replying to the email because I'm not a ghc expert but iirc GHC uses a bumping allocator, so if you allocate a bunch of heap nodes right after each other, they will end up adjacently in memory. So you get memory locality, but still pointers. |
2024-11-13 15:14:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-13 15:13:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-11-13 15:05:53 +0100 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) tomsmeding |
2024-11-13 15:05:45 +0100 | Server | +Cnt |
2024-11-13 15:05:44 +0100 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
2024-11-13 15:03:19 +0100 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
2024-11-13 15:00:19 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 260 seconds) |
2024-11-13 14:57:06 +0100 | cstml | (~user@94.125.135.250) (Quit: bye) |
2024-11-13 14:55:08 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Client Quit) |
2024-11-13 14:54:04 +0100 | img | (~img@user/img) img |
2024-11-13 14:53:53 +0100 | cstml | (~user@94.125.135.250) |
2024-11-13 14:53:53 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
2024-11-13 14:53:38 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-11-13 14:52:47 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-11-13 14:51:12 +0100 | alp | (~alp@2001:861:e3d6:8f80:483c:b8c6:93d5:82bd) |
2024-11-13 14:43:07 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-13 14:42:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-11-13 14:39:20 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f718455f4c967233051.dip0.t-ipconnect.de) acidjnk |
2024-11-13 14:39:02 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f718455f4c967233051.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-11-13 14:34:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-11-13 14:32:31 +0100 | alp | (~alp@2001:861:e3d6:8f80:1d14:b56d:a21c:ca06) (Ping timeout: 252 seconds) |
2024-11-13 14:20:25 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
2024-11-13 14:20:11 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2024-11-13 14:13:56 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: battery) |
2024-11-13 14:01:31 +0100 | Flow | (~none@gentoo/developer/flow) flow |
2024-11-13 13:59:43 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
2024-11-13 13:54:59 +0100 | flow | (~none@gentoo/developer/flow) (Ping timeout: 260 seconds) |
2024-11-13 13:51:12 +0100 | turlando | (~turlando@user/turlando) turlando |
2024-11-13 13:49:49 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Quit: Leaving) |
2024-11-13 13:26:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f718455f4c967233051.dip0.t-ipconnect.de) acidjnk |
2024-11-13 13:25:26 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
2024-11-13 13:22:30 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 252 seconds) |
2024-11-13 13:20:51 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-13 13:05:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2024-11-13 13:04:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f71e1b1d5072338b10c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-11-13 12:57:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2024-11-13 12:57:05 +0100 | mari33141 | (~mari-este@user/mari-estel) (Quit: bye) |
2024-11-13 12:56:25 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |