HomeHacker News Show HN: A formally verified native Delta Lake implementation in Rust https://ift.tt/MnvAWS7 byHat hair -September 28, 2022 0 Show HN: A formally verified native Delta Lake implementation in Rust https://ift.tt/PzZ9vfb September 28, 2022 at 11:33AM Tags: Hacker News Facebook Twitter