Hacker News new | ask | show | jobs
Show HN: A formally verified native Delta Lake implementation in Rust (github.com)
8 points by houqp 1354 days ago