FStar
An ML-like language aimed at program verification
Ask HN: To HN people searching for biotech jobs
2022-02-14
Black-hole-triggered star formation in the dwarf galaxy Henize 2-10
2022-02-14
Ask HN: What can one do now to be more effective in hiring in the future?
2022-02-14
Show HN: Engagespot – API to build your product's notification engine
2022-02-14
Ask HN: Did you benefit from getting a dog?
2022-02-14
What are intelligent strategies to keep technical debt at bay?
2022-02-14
Launch HN: Fogbender (YC W22) – B2B support software designed for customer teams
2022-02-14
Billionaire Soros buys stake in EV startup Rivian
2022-02-14
5 Star Open Data
2022-02-14
Ask HN: Are “no-code” and “serverless” terms misleading?
2022-02-14
