FStar
An ML-like language aimed at program verification
Show HN: One year of writing about my startup journey
2022-08-17
Nixpacks takes a source directory and produces an OCI compliant image
2022-08-17
Everything* I learnt from my first startup (4 hours 45 mins)
2022-08-17
Volunteer with me building out a mentor portal for top edtech
2022-08-17
Canonical enables Ubuntu on StarFive’s VisionFive RISC-V boards
2022-08-17
Betelgeuse(star) changed colour, now losing rhythm
2022-08-17
Goodable is using AI to transform the News
2022-08-17
How to get better at designing? – It all starts by ‘noticing’ – FelipeRM Design
2022-08-17
Show HN: APIs and SDKs to accept borderless payments for goods and services
2022-08-17
Show HN: Search engine for finding the best of anything
2022-08-17
