FStar
An ML-like language aimed at program verification
Ask HN: Building a new software company in 2022
2022-06-26
Enormous Swiss water battery to start operating next week
2022-06-26
Switzerland’s underground freight project gets start date
2022-06-26
What startup snakery have you experienced as a developer / employee?
2022-06-26
Ask HN: I say high growth startup.You think growth of: valuation,FCF or revenue?
2022-06-25
Slack or Discord for building a curated, online community?
2022-06-25
Show HN: Product Analytics in SQL with dbt
2022-06-25
Selling to startups is not the same as selling to SMBs
2022-06-25
Ask HN: What ML dialect do you recommend for someone to start with?
2022-06-25
Ask HN: How to Security Audit for Noobs?
2022-06-25
