FStar
An ML-like language aimed at program verification
Launch HN: Epsilon3 (YC S21) – Software for spacecraft and complex operations
2021-07-21
Show HN: Straw.Page – Drag and drop website builder
2021-07-21
A simple way for startups to fight climate change
2021-07-20
What you need to create a great freelance network
2021-07-20
Show HN: DejaVu: An app designed for founders to seek guidance and share wisdom
2021-07-20
I Got Started with NeoVim’s Lua Configuration
2021-07-20
Building your first startup AMA Event
2021-07-20
Ask HN: What SaaS should I build now 5 years ago?
2021-07-20
Google shutting down Google Bookmarks on September 30
2021-07-20
Palantir guns for startups, launches Palantir Foundry for Builders
2021-07-20
