FStar
An ML-like language aimed at program verification
A SoftBank-Backed Construction Startup Burned Through $3B
2021-06-29
Discord is buying AR startup Ubiquity6
2021-06-28
How can startups and the HN community respond to the climate crisis?
2021-06-28
Przybylski's Star: spectrum out of the standard stellar classification framework
2021-06-28
Ask HN: How did you find and choose angel investors for your startup?
2021-06-28
EU startup fund overwhelmed by high demand
2021-06-28
“The Martian” + Starship
2021-06-28
Show HN: Support widget to help your product get better customer feedback
2021-06-28
Range Expansion of the Lone Star Tick in the Northeastern United States
2021-06-28
SWE Interview Preparation Group
2021-06-28
