FStar
An ML-like language aimed at program verification
Apple lawsuit says 'stealth' startup Rivos poached engineers to steal secrets
2022-05-02
Ask HN: How do you approach writing documents?
2022-05-02
Show HN: I am building a free version of Strava
2022-05-02
Ask HN: Has anyone had luck with starting an apartment garden?
2022-05-02
Looking for Work
2022-05-02
Mown Away: Startup Rolls Out Autonomous Lawnmower with Cutting Edge Tech
2022-05-02
Ask HN: We got afraid of our own shadow – The FreeBASE (2013)
2022-05-02
Getting Started with the Steam Deck Desktop: Beyond a Gaming Handheld
2022-05-02
I increased a game’s completion rate by 32%
2022-05-02
Launch HN: Meticulous (YC S21) – Catch JavaScript errors before they hit prod
2022-05-02
