Newest at the top
| 2025-03-16 16:11:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-16 16:10:45 +0100 | <Inst> | tbh i probably should just think by myself more; the truth is, a lot of the bad ideas have already been tried and shown to have failed |
| 2025-03-16 16:10:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-16 16:07:27 +0100 | Square | (~Square@user/square) Square |
| 2025-03-16 16:06:07 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-16 16:05:39 +0100 | <Inst> | a different idea might be to structure it as Request a, with a containing options for the data, but it might not be a better way to do it |
| 2025-03-16 16:05:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 16:05:15 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-03-16 16:05:05 +0100 | <Inst> | this record type has a LOT of data |
| 2025-03-16 16:04:53 +0100 | <Inst> | https://hackage.haskell.org/package/wai-3.2.4/docs/src/Network.Wai.Internal.html#Request |
| 2025-03-16 16:04:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-16 16:04:38 +0100 | <EvanR> | programs (compiled a certain way) doing particular tasks have performance |
| 2025-03-16 16:03:36 +0100 | <EvanR> | and performance of a Foo a sounds like what's the speed of a programming language |
| 2025-03-16 16:02:57 +0100 | <EvanR> | what's an extensible object |
| 2025-03-16 16:01:11 +0100 | <Inst> | maybe the correct solution is sum types instead |
| 2025-03-16 16:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:00:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 15:59:09 +0100 | <Inst> | actually maybe type families might be better here |
| 2025-03-16 15:58:34 +0100 | <Inst> | what's the track record for data Foo a type extensible objects in terms of performance? |
| 2025-03-16 15:58:12 +0100 | Inst | (~Inst@user/Inst) Inst |
| 2025-03-16 15:57:26 +0100 | yu | (~yu@dmc516.resnet.ust.hk) (Client Quit) |
| 2025-03-16 15:57:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-16 15:57:01 +0100 | yu | (~yu@dmc516.resnet.ust.hk) |
| 2025-03-16 15:52:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:51:03 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:50:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:45:19 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:45:10 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-16 15:42:45 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-03-16 15:42:30 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-03-16 15:42:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-16 15:40:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-16 15:36:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:32:17 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-16 15:31:59 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-16 15:31:38 +0100 | euleritian | (~euleritia@dynamic-176-006-136-106.176.6.pool.telefonica.de) |
| 2025-03-16 15:31:21 +0100 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
| 2025-03-16 15:30:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-360c-a724-bc10-9663-354c-c52a.rev.sfr.net) alexherbo2 |
| 2025-03-16 15:30:41 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-03-16 15:26:52 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-03-16 15:25:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-16 15:22:29 +0100 | turlando | (~turlando@user/turlando) turlando |
| 2025-03-16 15:21:13 +0100 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-03-16 15:21:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 15:20:18 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-16 15:18:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-16 15:13:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 15:10:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-16 15:06:38 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-03-16 15:05:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |