Newest at the top
| 2025-03-13 14:42:55 +0100 | <kuribas> | I could export csv, but it'd be nicer to have something compact. |
| 2025-03-13 14:42:40 +0100 | <kuribas> | Is there a library to export numerical data that can be read in python, preferably compressed? |
| 2025-03-13 14:39:40 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-13 14:39:13 +0100 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-13 14:33:44 +0100 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-03-13 14:30:39 +0100 | xff0x | (~xff0x@ai066236.d.east.v6connect.net) |
| 2025-03-13 14:30:14 +0100 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-03-13 14:28:59 +0100 | jespada | (~jespada@r179-25-57-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-03-13 14:28:45 +0100 | sprotte24 | (~sprotte24@p200300d16f0b61000c042d391325af51.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-03-13 14:27:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) (Ping timeout: 248 seconds) |
| 2025-03-13 14:26:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-13 14:25:22 +0100 | infohazards | (~user@user/fmira) fmira |
| 2025-03-13 14:24:45 +0100 | jespada | (~jespada@2800:a4:22a9:8000:65f8:4b81:436a:cdbf) (Ping timeout: 244 seconds) |
| 2025-03-13 14:24:26 +0100 | infohazards | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-13 14:22:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 14:20:56 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-03-13 14:19:39 +0100 | fp | (~Thunderbi@wireless-86-50-141-158.open.aalto.fi) fp |
| 2025-03-13 14:18:45 +0100 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-03-13 14:11:54 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) |
| 2025-03-13 14:09:57 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2020:1277:8563:d3ac) (Ping timeout: 268 seconds) |
| 2025-03-13 14:02:10 +0100 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-03-13 14:01:27 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-13 14:00:32 +0100 | kaskal | (~kaskal@84-115-231-2.cable.dynamic.surfer.at) kaskal |
| 2025-03-13 14:00:08 +0100 | kaskal | (~kaskal@2a02:8388:15bf:c200:7418:4394:582:ede) (Quit: ZNC - https://znc.in) |
| 2025-03-13 13:57:51 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-13 13:57:32 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180::ac59) CiaoSen |
| 2025-03-13 13:56:12 +0100 | sprotte24 | (~sprotte24@p200300d16f0b61000c042d391325af51.dip0.t-ipconnect.de) |
| 2025-03-13 13:47:09 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-03-13 13:46:35 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-03-13 13:42:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-03-13 13:41:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-13 13:36:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-13 13:32:08 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-13 13:27:04 +0100 | <dminuoso> | (Well, make it a newtype of course) |
| 2025-03-13 13:26:54 +0100 | <dminuoso> | Which you could even use in a pinch |
| 2025-03-13 13:26:35 +0100 | <dminuoso> | Though even if you cant find the API bits, you can just conjure some `data Decoder a = Decoder (Value -> Parser a)` (and equivalently for ToJSON) |
| 2025-03-13 13:23:26 +0100 | <dminuoso> | But sure |
| 2025-03-13 13:23:18 +0100 | <dminuoso> | (Or whether you have a performance constraint) |
| 2025-03-13 13:23:13 +0100 | <dminuoso> | Depends on what is more comfortable. |
| 2025-03-13 13:22:54 +0100 | <tomsmeding> | also I guess (from the docs) that one would rather use Encoding instead of Value? |
| 2025-03-13 13:22:39 +0100 | <dminuoso> | The API is there, just not easily found/documented. |
| 2025-03-13 13:22:31 +0100 | <dminuoso> | Oh yes, the documentation is not clear. Especially at the border where you need to turn this Value into a Text or vice versa. |
| 2025-03-13 13:22:26 +0100 | <tomsmeding> | and hence other libraries are going to expect you to have used the instance style |
| 2025-03-13 13:22:07 +0100 | <tomsmeding> | the documentation rather heavily steers you towards writing instances, though |
| 2025-03-13 13:21:48 +0100 | <tomsmeding> | right |
| 2025-03-13 13:21:40 +0100 | <dminuoso> | Or well, you can reroll them with minimal effort. |
| 2025-03-13 13:21:01 +0100 | <dminuoso> | Most of them are usable without typeclasses. |
| 2025-03-13 13:20:48 +0100 | <tomsmeding> | but then you miss out on the combinators that aeson provides in 'Parser' |
| 2025-03-13 13:20:30 +0100 | <dminuoso> | What do you mean by "manually"? |
| 2025-03-13 13:20:23 +0100 | <tomsmeding> | and manually parse it from a Value |