Logs: liberachat/#haskell
| 2025-09-03 11:14:07 | → | xff0x joins (~xff0x@2405:6580:b080:900:7acf:f68c:d0d:6cb3) |
| 2025-09-03 11:15:16 | × | tromp quits (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-03 11:18:13 | <dminuoso> | magic_rb: There is also the issue of server complexity. There is only synapse really, and configuring synapse is about as much fun as administering Azure AD/Entra ID. |
| 2025-09-03 11:18:36 | <dminuoso> | So its not just shitty clients. :-) |
| 2025-09-03 11:19:43 | <dminuoso> | Plus the protocol choices made it impossible to create simple linear clinets with. |
| 2025-09-03 11:20:34 | <haskellbridge> | <magic_rb> Synapse is tbh not that bad, its worse than hedgedoc but much easier than kube |
| 2025-09-03 11:22:04 | <dminuoso> | Matrix is what happens if you crossed IRC and mailing lists, and did the client with electron using all the SPA UX of a modern web application. |
| 2025-09-03 11:23:36 | <haskellbridge> | <magic_rb> No matrix is what happens if you rewrite irc with a crdt dag |
| 2025-09-03 11:26:40 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-03 11:27:37 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 11:27:44 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-09-03 11:28:02 | → | tv joins (~tv@user/tv) |
| 2025-09-03 11:29:13 | → | califax joins (~califax@user/califx) |
| 2025-09-03 11:29:30 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-09-03 11:31:10 | → | ubert joins (~Thunderbi@2001:871:263:7eb3:cef7:e125:c0d9:e695) |
| 2025-09-03 11:37:12 | <bwe> | I encounter an `undefined` error in a data constructor. But I don't know where it happens. ghc only throws `undefined`. How can I let ghc show more context? |
| 2025-09-03 11:38:42 | <dminuoso> | bwe: Run with +RTS -xc (after compiling with -prof and -fprof-auto) |
| 2025-09-03 11:38:54 | <dminuoso> | And do some praying. |
| 2025-09-03 11:39:28 | <dminuoso> | Most of the time you get a half usable stack trace. |
| 2025-09-03 11:39:38 | × | jespada quits (~jespada@2800:a4:2234:6500:1986:c97a:a8b1:bed2) (Ping timeout: 265 seconds) |
| 2025-09-03 11:40:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-03 11:41:33 | <dminuoso> | bwe: The quality largely depends on your code style and how it interacts with -fprof-auto - otherwise you might have to granularly add SCC annotations. |
| 2025-09-03 11:41:50 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-03 11:41:51 | → | jespada joins (~jespada@2800:a4:2229:b100:e0a4:75ef:98aa:50af) |
| 2025-09-03 11:42:03 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 11:42:37 | <dminuoso> | It's one of the big price points of our execution model that good stack traces are really hard.. :( |
| 2025-09-03 11:43:25 | <haskellbridge> | <magic_rb> With a lot of tiny functions relying on inlining it should produce sensible stack traces right |
| 2025-09-03 11:44:33 | <dminuoso> | I wonder whether ghci shouldnt be able to instrument the code such that every exception is properly traceable. |
| 2025-09-03 11:45:20 | <dminuoso> | At first glance it seems easy If we disabled the simplifier |
| 2025-09-03 11:45:46 | <haskellbridge> | <magic_rb> With -prof it disables opts by default |
| 2025-09-03 11:45:56 | <haskellbridge> | <magic_rb> You have to force them back on with -O2 i think |
| 2025-09-03 11:46:14 | <dminuoso> | Well INLINE is still respected |
| 2025-09-03 11:46:24 | <dminuoso> | I think the SCC are just optimization barriers? |
| 2025-09-03 11:46:24 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-09-03 11:46:39 | <haskellbridge> | <magic_rb> Last time i did -prof it was for heatmaps and without -O2 the result is unusable since no inlining occurs |
| 2025-09-03 11:46:58 | <haskellbridge> | <magic_rb> dminuoso no thats the issue. Inlining deletes SCCs |
| 2025-09-03 11:47:24 | <haskellbridge> | <magic_rb> You have to disable inlining if you want a full stack trace. Enable inlining if youre hunting performance bottlenecks |
| 2025-09-03 11:47:53 | <dminuoso> | haskellbridge: okay then I consider it a but for -fprof-auto to not SCC annotate INLINE bindings. |
| 2025-09-03 11:48:08 | <dminuoso> | If -prof already disables that, that's just intentional inconvenience. |
| 2025-09-03 11:48:10 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2025-09-03 11:48:14 | <dminuoso> | It makes no sense. |
| 2025-09-03 11:48:27 | <dminuoso> | s/but/bug/ |
| 2025-09-03 11:51:21 | <haskellbridge> | <magic_rb> Idk if i did -prof-auto, but i think so. Im not an expert tho |
| 2025-09-03 11:54:39 | <bwe> | dminuoso: thx |
| 2025-09-03 11:59:06 | trickard_ | is now known as trickard |
| 2025-09-03 12:02:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-03 12:04:25 | → | tv joins (~tv@user/tv) |
| 2025-09-03 12:07:36 | × | Athas quits (athas@2a01:7c8:aaac:1cf:ca94:5e7:f880:789a) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-03 12:07:48 | → | Athas joins (athas@2a01:7c8:aaac:1cf:26ef:a68:404a:576a) |
| 2025-09-03 12:10:23 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-09-03 12:10:35 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
| 2025-09-03 12:10:35 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
| 2025-09-03 12:10:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 12:15:58 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-03 12:22:39 | × | ubert quits (~Thunderbi@2001:871:263:7eb3:cef7:e125:c0d9:e695) (Ping timeout: 265 seconds) |
| 2025-09-03 12:24:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) |
| 2025-09-03 12:28:53 | → | tv joins (~tv@user/tv) |
| 2025-09-03 12:34:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 12:35:14 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-03 12:35:35 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 12:39:46 | × | tv quits (~tv@user/tv) (Ping timeout: 256 seconds) |
| 2025-09-03 12:39:55 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-03 12:46:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-09-03 12:48:33 | → | califax joins (~califax@user/califx) |
| 2025-09-03 12:52:28 | → | tv joins (~tv@user/tv) |
| 2025-09-03 12:53:46 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
| 2025-09-03 12:53:46 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
| 2025-09-03 12:53:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 12:59:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-03 12:59:12 | → | mari56772 joins (~mari-este@user/mari-estel) |
| 2025-09-03 13:00:44 | × | tv quits (~tv@user/tv) (Ping timeout: 256 seconds) |
| 2025-09-03 13:01:48 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 2025-09-03 13:05:43 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 13:07:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-03 13:07:17 | trickard_ | is now known as trickard |
| 2025-09-03 13:10:03 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-03 13:12:36 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) |
| 2025-09-03 13:12:36 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:8c82:5f1d:5114:2a6f) (Changing host) |
| 2025-09-03 13:12:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-03 13:21:02 | → | tv joins (~tv@user/tv) |
| 2025-09-03 13:21:08 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-03 13:21:27 | → | trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 13:21:43 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-09-03 13:21:45 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2025-09-03 13:23:00 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-03 13:26:14 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-03 13:38:45 | → | tv joins (~tv@user/tv) |
| 2025-09-03 13:38:59 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 2025-09-03 13:39:55 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 13:40:01 | → | comonad joins (~comonad@p200300d0271e9900c772a68d96fd2955.dip0.t-ipconnect.de) |
| 2025-09-03 13:40:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:41bc:975b:4e15:a306) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-03 13:44:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-09-03 13:44:27 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-03 13:44:35 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-03 13:46:04 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
| 2025-09-03 13:49:46 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-03 13:50:20 | × | fp quits (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2025-09-03 13:54:28 | → | fp joins (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) |
| 2025-09-03 13:57:45 | → | Square3 joins (~Square4@user/square) |
| 2025-09-03 13:58:53 | → | rustisafungus joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
All times are in UTC.