hafthor

5 ms·

1. 1.▲
   by hafthor 7mo ago

   What about embedded RTOS, like WindRiver or Zephyr? What if I write a memory manager and flash storage file manager for a really barebones MCU like a PIC? It didn't even define what an operating system is. What constitutes an update? I
2. 2.▲
   by hafthor 2y ago

   hehe. I added an alternative JSON inner format spec to the readme. I need to add JSON and CSV support to the zsvutil itself next. I may actually change the spec to default to JSON. All because of you. haha.
3. 3.▲
   by hafthor 2y ago

   There's two ways to limit the number of column-rows you have to read. One is by file partitioning, that is having many ZSV files rather than one giant one, ideally organized by partitioning key field(s). The other way is mentioned as a
4. 4.▲
   by hafthor 2y ago

   Thanks for taking a look.
5. 5.▲
   by hafthor 2y ago

   There's two ways to limit the number of column-rows you have to read. One is by file partitioning, that is having many ZSV files rather than one giant one, ideally organized by partitioning key field(s). The other way is mentioned as a
6. 6.▲
   by hafthor 2y ago

   Thanks for taking a look. Regarding seekable columns, that's the reason why I use the ZIP file format. It has a central directory at the end of the ZIP file that has locations to each file inside, making it so you can seek to a specifi
7. 7.▲
   by hafthor 2y ago

   I like your idea of storing columns as JSON arrays. I might play around with that. Thanks for giving it a look.
8. 8.▲
   by hafthor 2y ago

   doh. fixed. thanks!
9. 9.▲
   by hafthor 2y ago

   yeah, this is a limitation from the TSV format this is based on - there is an extension to the format that supports storing binary blobs - ref: https://github.com/Hafthor/zsvutil?tab=readme-ov-file#nested...
10. 10.▲
    Show HN: ZSV (Zip Separated Values) columnar data format(github.com)

    86 points by hafthor 2y ago|69 comments
11. 11.▲
    Redistricting Algorithms(arxiv.org)

    2 points by hafthor 6y ago|0 comments
12. 12.▲
    by hafthor 8y ago

    Java affected in exactly the same way.
13. 13.▲
    by hafthor 8y ago

    Java: new java.text.SimpleDateFormat("YYYY-MM-dd").parse("2018-12-30") returns Sun Dec 31 2017 new java.text.SimpleDateFormat("YYYY-MM-dd").format(new java.util.Date("12/30/2018")) returns 2