2025/07/27

Newest at the top

2025-07-27 17:37:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-27 17:37:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 17:31:15 +0200merijn(~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 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-27 17:26:36 +0200jjanzen(~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 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1))
2025-07-27 17:20:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 17:15:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 17:15:34 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-07-27 17:15:31 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-27 17:15:02 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-07-27 17:14:02 +0200trickard_(~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 +0200f-a(ff2a@joined.irc.for-some.fun) f-a
2025-07-27 17:05:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-27 17:02:27 +0200trickard_(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:57:45 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 16:57:18 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-27 16:55:54 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-27 16:53:46 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-27 16:52:17 +0200haritz(~hrtz@user/haritz) haritz
2025-07-27 16:52:17 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-07-27 16:52:17 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-07-27 16:51:05 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-27 16:49:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-27 16:44:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:42:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-27 16:33:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-27 16:32:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-27 16:29:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:29:01 +0200jjanzen(~user@user/jjanzen) (Remote host closed the connection)
2025-07-27 16:28:27 +0200jjanzen(~user@user/jjanzen) jjanzen
2025-07-27 16:21:44 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-27 16:18:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-27 16:13:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 16:09:57 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-27 16:02:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-27 15:57:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-27 15:50:21 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-27 15:50:08 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)