FStar
An ML-like language aimed at program verification
Apple begins making the iPhone 14 in India, marking a big shift in strategy
2022-09-26
Ask HN: What's the most memorable onboarding process you've experienced?
2022-09-26
Ask HN: Do any Git servers support patch sets (i.e., contrib without forks)?
2022-09-26
Ryzen 7600X and 7950X review: Zen 4 starts off expensive but impressive
2022-09-26
Don't Use Projects
2022-09-26
Ask HN: Name for and list of websites doing one thing (well)
2022-09-26
Launch HN: Prequel (YC W21) – Sync data to your customer’s data warehouse
2022-09-26
It’s never been easier to be an artist – or harder to become a star
2022-09-26
Starlink starts offering Iranians uncensored internet access
2022-09-26
James Earl Jones Lets AI Take over the Voice of Darth Vader
2022-09-26
