FStar
An ML-like language aimed at program verification
Show HN: GhostLabel – Start your own coffee product line
2022-10-10
Show HN: Linkidex – save and sort the URLs you care about
2022-10-10
My web-based desktop project just passed 250k users and it all started on Reddit
2022-10-10
Ask HN: Need Suggestion on Lisp Resources
2022-10-10
Ask HN: Does it make sense to create pitch deck for an early stage company?
2022-10-10
Last week's US export controls could mark start of trade war
2022-10-10
Show HN: Functional data types for TypeScript development
2022-10-10
Ask HN: Are cloud services too complicated and clunky?
2022-10-10
Ask HN: What's Your Purpose in Life?
2022-10-10
Show HN: We built a tool that automatically generates API tests
2022-10-10
