Logs: liberachat/#haskell
| 2025-09-24 11:36:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-24 11:36:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-24 11:37:52 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2025-09-24 11:40:03 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-24 11:44:46 | → | Inline joins (~Inline@ip-005-146-196-132.um05.pools.vodafone-ip.de) |
| 2025-09-24 11:45:34 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-24 11:47:48 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 11:48:07 | → | Googulator joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 11:49:11 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-24 11:50:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-09-24 11:53:41 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-24 12:01:16 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 12:01:38 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 12:01:51 | → | Googulator joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 12:02:31 | × | broccoli-colonis quits (~Thunderbi@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: broccoli-colonis) |
| 2025-09-24 12:02:43 | × | _bo quits (~bo@98.red-83-56-255.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2025-09-24 12:07:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-09-24 12:08:18 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-09-24 12:09:16 | → | fp joins (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) |
| 2025-09-24 12:12:23 | <sajenim> | thank god thats over, absolutely hated having to use java |
| 2025-09-24 12:12:38 | <Inline> | oh |
| 2025-09-24 12:13:03 | <sajenim> | just did my oop exam, haskell was my first language so ... it was frustrating |
| 2025-09-24 12:15:36 | → | Googulator34 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 12:15:39 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 12:17:33 | → | srk_ joins (~sorki@user/srk) |
| 2025-09-24 12:18:03 | × | srk quits (~sorki@user/srk) (Ping timeout: 265 seconds) |
| 2025-09-24 12:20:22 | srk_ | is now known as srk |
| 2025-09-24 12:20:38 | × | Googulator34 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 12:20:44 | → | Googulator96 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 12:20:54 | × | fp quits (~Thunderbi@wireless-86-50-141-96.open.aalto.fi) (Remote host closed the connection) |
| 2025-09-24 12:21:03 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-24 12:25:58 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-09-24 12:33:51 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Remote host closed the connection) |
| 2025-09-24 12:40:40 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 12:40:45 | × | Googulator96 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 12:40:46 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 2025-09-24 12:43:07 | → | xff0x joins (~xff0x@2405:6580:b080:900:ff3d:7da6:9258:188) |
| 2025-09-24 12:44:22 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-24 12:49:46 | Googulator40 | is now known as Googulator |
| 2025-09-24 13:02:10 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-24 13:03:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) |
| 2025-09-24 13:04:03 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-09-24 13:05:08 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-24 13:05:43 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:05:46 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:07:04 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 2025-09-24 13:07:37 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2025-09-24 13:14:26 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-09-24 13:16:03 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 2025-09-24 13:16:47 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 13:20:08 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-24 13:21:27 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-09-24 13:23:58 | → | Vajb joins (~Vajb@n5hm5k9t3gvbmoru6qi-1.v6.elisa-mobile.fi) |
| 2025-09-24 13:25:37 | → | Googulator38 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:25:41 | → | acidjnk joins (~acidjnk@p200300d6e717193624b210ba5e3df64b.dip0.t-ipconnect.de) |
| 2025-09-24 13:25:44 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:30:34 | → | Googulator79 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:30:38 | Googulator79 | is now known as Googulator |
| 2025-09-24 13:30:43 | × | Googulator38 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:32:23 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-09-24 13:35:35 | → | Googulator33 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:35:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:37:20 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-24 13:45:41 | → | Googulator49 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:45:47 | × | Googulator33 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:46:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-24 13:49:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 13:50:41 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 13:50:42 | × | Googulator49 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 13:53:01 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-24 13:57:32 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 2025-09-24 13:58:22 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-24 14:06:18 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 248 seconds) |
| 2025-09-24 14:12:44 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-09-24 14:13:38 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-09-24 14:19:10 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-24 14:21:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-24 14:23:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-24 14:24:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-24 14:35:57 | <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 14:36:16 | <tomsmeding> | [exa]: sorry for the ping but you tend to know lots of references somehow :) |
| 2025-09-24 14:39:08 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-24 14:41:08 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-24 14:41:18 | <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 14:42:30 | <int-e> | (or maybe start one level above, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/ ) |
| 2025-09-24 14:43:33 | × | Googulator20 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 14:43:43 | → | Googulator20 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 14:44:39 | <tomsmeding> | int-e: thank you! |
| 2025-09-24 14:45:14 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-09-24 14:53:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-24 15:03:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-24 15:05:18 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-24 15:05:48 | × | tromp quits (~textual@2001:1c00:3487:1b00:c5e8:54d7:3489:19df) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-24 15:06:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) |
| 2025-09-24 15:06:28 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:15f4:44c6:cf8f:dc61) (Changing host) |
| 2025-09-24 15:06:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-24 15:10:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-09-24 15:12:31 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-24 15:15:17 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-24 15:20:38 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
All times are in UTC.