Show HN: A formally verified native Delta Lake implementation in Rustgithub.com/delta-io8 pointshouqp4 years ago