FStar
An ML-like language aimed at program verification
Show HN: Coclick.io – Build better demos with co-browsing
2022-09-15
Adobe to acquire Figma for $20B
2022-09-15
I just launched a quick and simple framework to name your next startup
2022-09-15
Twitter blocked our indie game account
2022-09-15
Ask HN: Any real US alternatives to Starbucks for a place to work/study?
2022-09-15
Top SaaS Startups in the United States (Series A, Series B, Series C)
2022-09-15
Ask HN: How to discuss a business idea without it being stolen?
2022-09-15
Ask HN: Would you host a hybrid B2C/B2B startup under separate domains?
2022-09-15
Starcom Nexus, an Indie Dev Story
2022-09-14
When are low-code prototypes useful? Evaluating market and implementation risks
2022-09-14
