Newest at the top
| 2025-11-07 19:03:58 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 19:03:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-07 19:03:55 +0100 | Googulator78 | (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-11-07 19:03:35 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) (Client Quit) |
| 2025-11-07 19:02:16 +0100 | acidjnk | (~acidjnk@p200300d6e717192240280f2fde8c0479.dip0.t-ipconnect.de) acidjnk |
| 2025-11-07 19:00:45 +0100 | Googulator69 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 18:59:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 18:58:44 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-07 18:56:28 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-07 18:51:49 +0100 | emperori | (~emperori@2401:4900:6286:fc4d:c464:378c:4752:c5b7) (Remote host closed the connection) |
| 2025-11-07 18:51:16 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-07 18:51:16 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-07 18:51:16 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-07 18:50:43 +0100 | emperori | (~emperori@2401:4900:6286:fc4d:c464:378c:4752:c5b7) |
| 2025-11-07 18:49:49 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2025-11-07 18:48:12 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5425:82ad:9644:72ca) (Ping timeout: 252 seconds) |
| 2025-11-07 18:48:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-07 18:46:08 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-11-07 18:45:43 +0100 | Googulator78 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 18:45:42 +0100 | Googulator3 | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-11-07 18:43:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 18:42:22 +0100 | acidjnk | (~acidjnk@2003:d6:e717:1922:4028:f2f:de8c:479) (Ping timeout: 260 seconds) |
| 2025-11-07 18:41:00 +0100 | <tomsmeding> | [exa]: see also the type right above the link I sent you (drevLambda), as well as this type https://git.tomsmeding.com/chad-fast/tree/src/AST.hs?id=38150f4f9792156d8c59439fe47ecb69a0a0e00b#n… |
| 2025-11-07 18:40:20 +0100 | <tomsmeding> | emphasis on slightly |
| 2025-11-07 18:40:14 +0100 | <tomsmeding> | yes with syntax highlighting it's slightly less horrendous (the highlighting on my git site is horribly broken) |
| 2025-11-07 18:39:44 +0100 | <tomsmeding> | I could write one-off data types for all of these to wrap the existentials that way but that would just be more verbose |
| 2025-11-07 18:39:25 +0100 | <tomsmeding> | also these things are CPS not because they open resources but because they introduce a bunch of existential type variables |
| 2025-11-07 18:39:22 +0100 | [exa] | pops a bottle of defensive geuze |
| 2025-11-07 18:39:15 +0100 | <[exa]> | my eyes |
| 2025-11-07 18:38:50 +0100 | <tomsmeding> | [exa]: because I'm in deep https://git.tomsmeding.com/chad-fast/tree/src/CHAD.hs?id=38150f4f9792156d8c59439fe47ecb69a0a0e00b#… |
| 2025-11-07 18:38:45 +0100 | <[exa]> | it needs like 2943872598347 resources open, so there's bracket everywhere |
| 2025-11-07 18:38:27 +0100 | <[exa]> | writing a database that has to merge segments, like lucene |
| 2025-11-07 18:37:55 +0100 | <tomsmeding> | if you find a way to do something decent with too many nested CPS-style functions, let me know |
| 2025-11-07 18:37:14 +0100 | <tomsmeding> | [exa]: another sign that ContT is not what you want: callCC exists |
| 2025-11-07 18:34:15 +0100 | <[exa]> | so we need a bigger gun than ContT, great! :D |
| 2025-11-07 18:33:53 +0100 | <[exa]> | tomsmeding: actually yeah that seems to be the issue |
| 2025-11-07 18:32:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-07 18:27:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-07 18:25:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-07 18:24:04 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-07 18:19:37 +0100 | myxokephale | (~myxos@2001:579:8380:f20:f473:5072:5243:c7a6) (Ping timeout: 260 seconds) |
| 2025-11-07 18:18:15 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-11-07 18:18:02 +0100 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-07 18:17:40 +0100 | Googulator3 | (~Googulato@team.broadbit.hu) |
| 2025-11-07 18:17:21 +0100 | Googulator3 | (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2025-11-07 18:16:56 +0100 | myxos | (~myxos@2001:579:8380:f20:6ebf:41cf:49b4:43a6) myxokephale |
| 2025-11-07 18:16:49 +0100 | <haskellbridge> | <loonycyborg> Exactly same code can have totally different effects depending on how you hack the environment before running it :P |
| 2025-11-07 18:16:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-07 18:16:16 +0100 | <haskellbridge> | <loonycyborg> Python dynamicness is both blessing and curse. If you can redefine pretty much anything at runtime(like rewrite classes and change dicts with local variables) then it's near impossible to reason about the code in general |
| 2025-11-07 18:14:30 +0100 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |