Newest at the top
| 2025-01-05 21:23:36 +0100 | <kaol> | This line used to work on GHC 8.8 (why upgrade too often?) but I get a "couldn't match type i1 with i" on GHC 9.6. Anyone spot anything obvious? https://github.com/kaol/snaplet-customauth/blob/master/Snap/Snaplet/CustomAuth/User.hs#L60 |
| 2025-01-05 21:18:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-05 21:16:20 +0100 | <kaol> | Unless I builderize this whole thing. Maybe later. |
| 2025-01-05 21:15:44 +0100 | <kaol> | It's okay for my use, I was just wondering if there was a particular standard library function that I missed. |
| 2025-01-05 21:15:17 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2025-01-05 21:15:11 +0100 | <EvanR> | another idea is to use memoization to keep a cache of rendered numbers if they're usually small |
| 2025-01-05 21:15:01 +0100 | <int-e> | there's the whole builder machinery in bytestring which includes formatting integers as decimal |
| 2025-01-05 21:14:39 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-05 21:14:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 21:13:56 +0100 | <EvanR> | and e.g. not be negative |
| 2025-01-05 21:13:38 +0100 | <EvanR> | unless you can exploit assumptions about how big the number will get |
| 2025-01-05 21:13:05 +0100 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-05 21:13:01 +0100 | <EvanR> | it's probably not worth trying to make a "fast" version of the underlying algorithm I suspect |
| 2025-01-05 21:12:06 +0100 | <EvanR> | somewhere |
| 2025-01-05 21:12:03 +0100 | <EvanR> | f = pack . show |
| 2025-01-05 21:10:52 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-05 21:10:24 +0100 | <kaol> | Char8.pack that is, someone ate my dot. |
| 2025-01-05 21:09:12 +0100 | <kaol> | Can I do better than Data.ByteString.Char8 pack $ show @Int n? |
| 2025-01-05 21:08:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-05 21:07:29 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-05 21:07:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-05 21:03:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-05 21:01:36 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-01-05 21:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-05 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-05 20:59:05 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-05 20:58:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 20:55:46 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-05 20:55:28 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-05 20:54:29 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-05 20:51:48 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-05 20:48:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-05 20:43:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 20:43:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-05 20:41:37 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-05 20:39:19 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-05 20:32:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-05 20:28:26 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-05 20:23:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 20:17:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-05 20:13:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-05 20:12:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-05 20:05:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 19:54:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-05 19:53:06 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-05 19:50:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-05 19:50:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-05 19:49:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-05 19:49:17 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-05 19:39:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |