FStar
An ML-like language aimed at program verification
Ask HN: Customer discovery, support and outreach all-in-one tool?
2022-02-02
Show HN: I built a service to help companies reduce AWS spend by 50%
2022-02-02
SpaceX rolls outs ‘premium’ Starlink satellite internet tier at $500 per month
2022-02-02
I took down Starlink (but I haven't cancelled)
2022-02-02
Starlink Premium promises up to 500Mbps for $500 a month, $2500 antenna
2022-02-02
How to stop running out of ephemeral ports and love long-lived connections
2022-02-02
NASA's James Webb Space Telescope turns on cameras to look at first star target
2022-02-02
Ask HN: Popup/overlay videos that you can't close?
2022-02-02
Gmail’s next big redesign starts rolling out next week
2022-02-02
Understanding How Dilution Affects You at a Startup (2011)
2022-02-02
