FStar
An ML-like language aimed at program verification
Ask HN: Where do you put DIY servers?
2021-02-09
Launch HN: SigNoz (YC W21) – Open-source alternative to DataDog
2021-02-09
Phoenix startup YellowBird receives $25K grant
2021-02-09
Ask HN: Is GitHub Down for You?
2021-02-09
Launch HN: Great Question (YC W21) – Customer research tools for software teams
2021-02-09
SentinelOne to acquire high-speed logging startup Scalyr for $155M
2021-02-09
The inherent shortcomings of churn prediction
2021-02-09
Satellite startup Swarm kicks off space-based Internet service
2021-02-09
Tesla invests $1.5B in Bitcoin, will start accepting it as payment
2021-02-09
What are your troubles to find Product/Market fit?
2021-02-09
