FStar
An ML-like language aimed at program verification
Launch HN: NextUX (YC S19) – Web UX editor and feedback tool for product teams
2021-05-28
Exxon Shareholder Climate Revolt has started
2021-05-28
Ask HN: How to find sponsors for my open source projects?
2021-05-28
The Spacefaring Paradox
2021-05-28
Ask HN: If I want to implement my own overlay netwoks where do I start?
2021-05-27
Ask HN: Why Not Microservices?
2021-05-27
Tenstorrent, led by Jim Keller, raises over $200M
2021-05-27
LLVM has become a sweathog, time to start over
2021-05-27
Starting a Company in a Space You’re Not an Expert In
2021-05-27
OpenAI is launching a $100M startup fund
2021-05-27
