2025/09/24

Newest at the top

2025-09-24 17:27:09 +0200karenw_(~karenw@user/karenw) (Ping timeout: 250 seconds)
2025-09-24 17:26:09 +0200Raito_Bezarius(~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 244 seconds)
2025-09-24 17:25:48 +0200Googulator62(~Googulato@80-95-93-255.pool.digikabel.hu)
2025-09-24 17:25:47 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 17:24:52 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-24 17:20:47 +0200Googulator20(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 17:20:38 +0200Googulator11(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 17:15:17 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-09-24 17:12:31 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-09-24 17:10:39 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-09-24 17:06:28 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-24 17:06:28 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host)
2025-09-24 17:06:28 +0200arandombit(~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61)
2025-09-24 17:05:48 +0200tromp(~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-24 17:05:18 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-24 17:03:15 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 258 seconds)
2025-09-24 16:53:39 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-24 16:45:14 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-09-24 16:44:39 +0200 <tomsmeding> int-e: thank you!
2025-09-24 16:43:43 +0200Googulator20(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 16:43:33 +0200Googulator20(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 16:42:30 +0200 <int-e> (or maybe start one level above, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/ )
2025-09-24 16:41:18 +0200 <int-e> tomsmeding: There's https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/haskell-execution (and a link to the more recent fast curry paper). No clue whether there's anything better (apart from digging into the actual source code and/or dumping intermediate stages of the compiler at work)
2025-09-24 16:41:08 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-24 16:39:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-09-24 16:36:16 +0200 <tomsmeding> [exa]: sorry for the ping but you tend to know lots of references somehow :)
2025-09-24 16:35:57 +0200 <tomsmeding> question from a colleague: is there a decent reference for how the GHC RTS works? This was brought up but it's very old: https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/new-rts.pdf
2025-09-24 16:24:43 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-24 16:23:15 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-09-24 16:21:54 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-24 16:19:10 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-09-24 16:13:38 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-09-24 16:12:44 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-24 16:06:18 +0200fp(~Thunderbi@2001:708:150:10::72df) (Ping timeout: 248 seconds)
2025-09-24 15:58:22 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-24 15:57:32 +0200ephilalethes(~noumenon@113.51-175-156.customer.lyse.net) noumenon
2025-09-24 15:53:01 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-09-24 15:50:42 +0200Googulator49(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 15:50:41 +0200Googulator20(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 15:49:48 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-24 15:46:34 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-24 15:45:47 +0200Googulator33(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 15:45:41 +0200Googulator49(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 15:37:20 +0200weary-traveler(~user@user/user363627) user363627
2025-09-24 15:35:35 +0200Googulator(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 15:35:35 +0200Googulator33(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)
2025-09-24 15:32:23 +0200karenw_(~karenw@user/karenw) karenw
2025-09-24 15:30:43 +0200Googulator38(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed)
2025-09-24 15:30:38 +0200Googulator79Googulator
2025-09-24 15:30:34 +0200Googulator79(~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu)