Newest at the top
| 2025-03-20 09:07:36 +0100 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-20 09:07:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 09:07:07 +0100 | kh0d | (~kh0d@89.216.103.150) (Read error: Connection reset by peer) |
| 2025-03-20 09:05:56 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-20 09:01:44 +0100 | kh0d | (~kh0d@89.216.103.150) |
| 2025-03-20 08:58:22 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-20 08:54:55 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f93c844fc72ca8884d1.dip0.t-ipconnect.de) acidjnk |
| 2025-03-20 08:53:57 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-20 08:50:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-20 08:47:57 +0100 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-20 08:45:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 08:40:27 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-20 08:37:37 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-20 08:36:52 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-20 08:35:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-20 08:29:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 08:28:58 +0100 | jle` | (~jle`@2603:8001:3b00:11::1156) jle` |
| 2025-03-20 08:28:02 +0100 | ash3en | (~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en |
| 2025-03-20 08:28:00 +0100 | jle` | (~jle`@2603:8001:3b00:11:ad81:3a03:5eb:774) (Ping timeout: 246 seconds) |
| 2025-03-20 08:25:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-03-20 08:21:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 08:18:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-20 08:15:10 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-20 08:14:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 08:13:44 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-03-20 08:11:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-20 08:10:58 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-20 08:10:41 +0100 | gmg | (~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 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-20 08:05:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-20 08:05:31 +0100 | rvalue | (~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 +0100 | tromp | (~textual@2a02:a210:cba:8500:f085:be23:3f4e:4a7a) |
| 2025-03-20 08:01:04 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-20 08:00:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 08:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-20 07:51:54 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-03-20 07:49:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-20 07:48:42 +0100 | euleritian | (~euleritia@dynamic-176-006-133-116.176.6.pool.telefonica.de) |
| 2025-03-20 07:48:35 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-20 07:44:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-20 07:44:12 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-20 07:43:50 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-03-20 07:40:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-03-20 07:36:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-20 07:35:09 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:52d3:ce67:1ea3:7bc7) () |
| 2025-03-20 07:34:40 +0100 | jrm2 | jrm |
| 2025-03-20 07:34:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |