Newest at the top
| 2025-07-27 17:39:54 +0200 | jjanzen | (~user@user/jjanzen) (Ping timeout: 260 seconds) |
| 2025-07-27 17:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-27 17:37:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 17:31:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:30:29 +0200 | <lxsameer> | is there any typeclass for composibility of values of a data type? |
| 2025-07-27 17:29:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-27 17:26:36 +0200 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 17:24:50 +0200 | <EvanR> | the overhead is egregious |
| 2025-07-27 17:24:31 +0200 | <EvanR> | it's pretty nice, if you don't care about memory |
| 2025-07-27 17:24:01 +0200 | <f-a> | EvanR: that is what I was doing :P But I guess it has been done many times |
| 2025-07-27 17:23:50 +0200 | <EvanR> | enjoy |
| 2025-07-27 17:23:43 +0200 | <EvanR> | f-a, list of data Bit = O | I |
| 2025-07-27 17:23:15 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-27 17:20:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 17:15:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 17:15:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-07-27 17:15:31 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-27 17:15:02 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-07-27 17:14:02 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 17:12:47 +0200 | <f-a> | thanks. It is bitrot, but I can get it up in shape, I think |
| 2025-07-27 17:11:54 +0200 | <Leary> | f-a: Try the 'bitstring' package? I haven't used it before, but I did have success with 'bitarray' from the same author. |
| 2025-07-27 17:07:32 +0200 | <f-a> | Do we have bitstrings in Haskell? I am trying to implement this https://www.gnu.org/software/gnubg/manual/html_node/A-technical-description-of-the-Position-ID.html and it is a bit clunky with Data.Bits. I would prefer to concatenate bits, like a string. |
| 2025-07-27 17:05:55 +0200 | f-a | (ff2a@joined.irc.for-some.fun) f-a |
| 2025-07-27 17:05:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-27 17:02:27 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-07-27 17:00:48 +0200 | <drlkf> | ~ |
| 2025-07-27 17:00:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:57:45 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-27 16:57:18 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-27 16:55:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-27 16:53:46 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-27 16:52:17 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-27 16:52:17 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-27 16:52:17 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-27 16:51:05 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-27 16:49:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-27 16:44:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:42:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-27 16:33:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-27 16:32:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-27 16:29:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:29:01 +0200 | jjanzen | (~user@user/jjanzen) (Remote host closed the connection) |
| 2025-07-27 16:28:27 +0200 | jjanzen | (~user@user/jjanzen) jjanzen |
| 2025-07-27 16:21:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-07-27 16:18:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-27 16:13:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 16:09:57 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-27 16:02:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-27 15:57:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-27 15:50:21 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |