FStar
An ML-like language aimed at program verification
How can introverts become comfortable in social situations
2022-01-04
Startup Showcases 7 bits-per-cell Flash Storage with 10 Year Retention
2022-01-04
SpaceX’s Starlink to refund pre-orders in India following government order
2022-01-04
Start at the beginning: the importance of learning the basics
2022-01-04
Ask HN: How do you get a job after a 2-year gap in your work history?
2022-01-03
How many Starships does SpaceX need for HLS refueling?
2022-01-03
Ask HN: Cryptocurrencies has now run its course. Time for a complete ban?
2022-01-03
DAOpedia DAO – Request for Startup/Project
2022-01-03
Ask HN: What should a co-founder look for when hiring our first salesperson?
2022-01-03
List of solo entrepreneur discussion threads on Hacker News
2022-01-03
