2025/03/20

Newest at the top

2025-03-20 08:35:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-03-20 08:29:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 08:28:58 +0100jle`(~jle`@2603:8001:3b00:11::1156) jle`
2025-03-20 08:28:02 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-20 08:28:00 +0100jle`(~jle`@2603:8001:3b00:11:ad81:3a03:5eb:774) (Ping timeout: 246 seconds)
2025-03-20 08:25:23 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-03-20 08:21:19 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 08:18:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-03-20 08:15:10 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-03-20 08:14:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 08:13:44 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-03-20 08:11:46 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-03-20 08:10:58 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-03-20 08:10:41 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-20 08:07:34 +0100 <[exa]> ok, `storablevector` pretty much does it, great :)
2025-03-20 08:07:20 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-03-20 08:05:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-20 08:05:31 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-20 08:04:58 +0100 <[exa]> e.g. something like `hReadStorable :: Storable a => Handle -> IO a` or so
2025-03-20 08:03:53 +0100 <[exa]> hm, is there some simple/recommended way to read a bunch of Storables from a file?
2025-03-20 08:03:09 +0100tromp(~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a)
2025-03-20 08:01:04 +0100caconym(~caconym@user/caconym) caconym
2025-03-20 08:00:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 08:00:02 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-03-20 07:51:54 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-03-20 07:49:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-03-20 07:48:42 +0100euleritian(~euleritia@dynamic-176-006-133-116.176.6.pool.telefonica.de)
2025-03-20 07:48:35 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-20 07:44:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 07:44:12 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-03-20 07:43:50 +0100euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-20 07:40:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-20 07:36:15 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 07:35:09 +0100fun-safe-math(~fun-safe-@2601:1c2:1b7f:801f:52d3:ce67:1ea3:7bc7) ()
2025-03-20 07:34:40 +0100jrm2jrm
2025-03-20 07:34:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-20 07:33:12 +0100jrm(~jrm@user/jrm) (Ping timeout: 252 seconds)
2025-03-20 07:32:49 +0100jrm2(~jrm@user/jrm) jrm
2025-03-20 07:28:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 07:17:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-20 07:13:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 07:12:53 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-03-20 07:07:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-03-20 07:01:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 06:58:58 +0100wildsalander(~wildsalan@81-175-155-97.bb.dnainternet.fi)
2025-03-20 06:54:54 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-20 06:54:21 +0100dsrt^(~dsrt@c-71-199-187-173.hsd1.ga.comcast.net)
2025-03-20 06:50:50 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 06:50:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-20 06:45:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn