FStar
An ML-like language aimed at program verification
'She just started blooming': the trans kids helped by a pioneering project
2020-06-15
Ask HN: How do I prepare for a job as an Implementation Consultant?
2020-06-15
A spectrometer built from a cereal box, DVD, webcam, and OpenCV
2020-06-15
Jeffrey Katzenberg and Meg Whitman Struggle with Their Startup–and Each Other
2020-06-15
SpaceX Starlink internet prepares for beta users
2020-06-15
Jeffrey Katzenberg and Meg Whitman Struggle with Their Startup–and Each Other
2020-06-14
An understanding of AI’s limitations is starting to sink in
2020-06-14
Does CSS performance is a thing?
2020-06-14
Ask HN: How do you manage on-prem deployments?
2020-06-14
Show HN: C++ Starter Repo for Bazel, Visual Studio Code with GTest, Glog, Abseil
2020-06-14
