FStar
An ML-like language aimed at program verification
Ask HN: Who is reading? (January 2021)
2021-01-01
Ask HN: What are some startups in the Film industry (using Rust?)
2020-12-31
Saving Star Wars: The Special Edition Restoration Process and Its Changing
2020-12-31
Ask HN: What are you looking forward to in 2021?
2020-12-31
Ask HN: Feel like I'm being lowballed by founders. Where do I go from here?
2020-12-31
Ordinary toothbrush listed on Amazon for $100k
2020-12-31
Covid bill requires UFO disclosures within 180 days
2020-12-31
Ask HN: Predictions for 2021
2020-12-31
Ask HN: Best Tools for Data Analysis with Unstructured JSON Documents?
2020-12-31
Remembering the startups we lost in 2020
2020-12-31
