HNHacker News
TopNewBestAskShowJobs

hafthor

44 karma · joined November 21, 2013

meet.hn/city/us-Atlanta

Socials: - x.com/hafthor - reddit.com/user/hafthor - linkedin.com/in/hafthor - hafthor.at.hn - github.com/hafthor

Interests: Networking, Mobile Development, Open Source, Programming, Technology, Web Development

---

submissionscomments
hafthor··on A new California law says all operating systems need to have age verification
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? If a security patch to DOS 6 came out, would it suddenly be required to have this tech? Is z/OS going to have this tech?

Overall, I think don't think it's a bad idea for devices to be able to host an age verification system that offers requestable boolean proof of age, like if porn site demands over 18 to view, the user, regardless of age, is prompted and if they accept, it returns either a positive cryptographic claim or a cancel signal if not of age. If they don't accept the prompt, the same cancel signal goes back. The idea that this feature would need a mandate of law is dumb.

hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
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.
hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
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 an extension to the format itself which functions much like rowgroups do in Parquet. https://github.com/Hafthor/zsvutil?tab=readme-ov-file#row-gr...

Thanks for taking a look.

hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
Thanks for taking a look.
hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
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 an extension to the format itself which functions much like rowgroups do in Parquet. https://github.com/Hafthor/zsvutil?tab=readme-ov-file#row-gr...

Thanks for taking a look.

hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
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 specific column file to extract.
hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
I like your idea of storing columns as JSON arrays. I might play around with that. Thanks for giving it a look.
hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
doh. fixed. thanks!
hafthor··on Show HN: ZSV (Zip Separated Values) columnar data format
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...
hafthor··on ISO-8601, YYYY, yyyy, and why your year may be wrong
Java affected in exactly the same way.
hafthor··on ISO-8601, YYYY, yyyy, and why your year may be wrong
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 2019-12-30

java.time from Java8 also affected.

java.time.format.DateTimeFormatter.ofPattern("YYYY-MM-dd").format(java.time.LocalDate.parse("2018-12-30")) returns 2019-12-30