FStar
An ML-like language aimed at program verification
List of solo entrepreneur discussion threads on Hacker News
2022-01-08
Ask HN: Help test the first smart chair for standing desks.(Bay Area/NYC/Boston)
2022-01-08
Matter was a major star at CES 2022, but can it maintain its shine?
2022-01-08
John Deere will start selling autonomous tractors later this year
2022-01-08
Starting Jan 15th, truckers must show vax proof to cross the Canada/US borders [pdf]
2022-01-08
Ask HN: Ethical ads providers to monetize personal blog
2022-01-08
Ask HN: How much faking it is ok?
2022-01-08
Wall Street Is Using Tech Firms Like Zillow to Eat Up Starter Homes
2022-01-08
Fifteen years of Ringo Starr's computer art
2022-01-08
Ask HN: Intel to M1 migration all or only data
2022-01-08
