Newest at the top
| 2026-01-18 00:00:53 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> the idea is (and it works and speeds up runtime considerably) that I add lots of INLINEs and INLINEABLE and then in each line starting with "Is @<some type>" a function is either inlined or called (but with unfolding available), which GHC now sees operating at concrete type, so it specializes the function (or its inlining) to that specific type |
| 2026-01-17 23:58:48 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> but the hacks in my code are actually poor man's monomorphisation, so they need to be so crude |
| 2026-01-17 23:58:13 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: yay, that's impressive; I may use this for something in the future, but |
| 2026-01-17 23:57:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:54:24 +0100 | <Leary> | Man of Letters (Mikolaj): That's a big improvement, but there's still a lot of duplication. Consider something like this: https://gist.github.com/LSLeary/4db7ad8d3068ee493d3d075df02b01e7 |
| 2026-01-17 23:47:47 +0100 | Inline | (~User@2001-4dd6-dd24-0-d5a6-802e-e6e6-ce59.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 23:46:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 23:46:36 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 23:45:44 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:d838:d5ff:fe1f:3ebe) (Ping timeout: 260 seconds) |
| 2026-01-17 23:43:33 +0100 | Inline | (~User@2001-4dd6-dd24-0-886a-5b51-ee9-3d0b.ipv6dyn.netcologne.de) (Ping timeout: 256 seconds) |
| 2026-01-17 23:41:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:41:34 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 23:40:05 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2026-01-17 23:36:45 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:d838:d5ff:fe1f:3ebe) |
| 2026-01-17 23:30:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 23:25:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:24:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 23:22:44 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-17 23:18:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-17 23:15:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 23:10:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:58:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 22:58:19 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 22:58:04 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-01-17 22:52:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:46:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-17 22:41:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 22:39:40 +0100 | trickard_ | trickard |
| 2026-01-17 22:36:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:34:28 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 22:34:16 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 22:33:18 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-01-17 22:32:37 +0100 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2026-01-17 22:32:24 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-17 22:29:01 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-17 22:25:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 22:20:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:18:53 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 22:09:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 22:09:22 +0100 | trickard_ | trickard |
| 2026-01-17 22:05:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:54:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 21:49:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:49:32 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-17 21:38:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 21:35:17 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 21:35:04 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 21:33:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:27:08 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-17 21:22:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |