FStar
An ML-like language aimed at program verification
To Current Business Owners, How Safe Is Your Business?
2022-11-04
Launch HN: Shimmer (YC S21) – ADHD coaching for adults
2022-11-04
Show HN: MakePlace – An Interior Design Simulator
2022-11-04
Start Selling Meetings by Subscription
2022-11-04
Show HN: Stock monitoring service – A personal daily summary of what matters
2022-11-04
The FCC wants to regulate space. Have fun
2022-11-04
Ask HN: How to you track if newly released features have expected engagement?
2022-11-04
Elon Musk’s Twitter layoffs are starting
2022-11-04
Ask HN: How are small and medium IT companies doing?
2022-11-04
Does open-source mean free? Should I open-source my startup?
2022-11-04
