Newest at the top
| 2025-03-16 16:55:46 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-03-16 16:52:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-16 16:52:02 +0100 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-03-16 16:50:54 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-03-16 16:48:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-16 16:47:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:41:53 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-16 16:39:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-16 16:37:16 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-16 16:34:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:28:00 +0100 | Inst | (~Inst@user/Inst) () |
| 2025-03-16 16:23:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-16 16:19:07 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-16 16:18:04 +0100 | halloy7351 | (~halloy735@81.215.239.1) (Quit: halloy7351) |
| 2025-03-16 16:17:45 +0100 | halloy7351 | (~halloy735@81.215.239.1) |
| 2025-03-16 16:16:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-16 16:14:03 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 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 |