2025/03/20

Newest at the top

2025-03-20 09:11:08 +0100vpan(~vpan@212.117.1.172)
2025-03-20 09:07:36 +0100kh0d(~kh0d@89.216.103.150)
2025-03-20 09:07:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-20 09:07:07 +0100kh0d(~kh0d@89.216.103.150) (Read error: Connection reset by peer)
2025-03-20 09:05:56 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-03-20 09:01:44 +0100kh0d(~kh0d@89.216.103.150)
2025-03-20 08:58:22 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-20 08:54:55 +0100acidjnk(~acidjnk@p200300d6e71c4f93c844fc72ca8884d1.dip0.t-ipconnect.de) acidjnk
2025-03-20 08:53:57 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-03-20 08:50:42 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-03-20 08:47:57 +0100ft(~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving)
2025-03-20 08:45:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-20 08:40:27 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-20 08:37:37 +0100tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-03-20 08:36:52 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
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