FStar
An ML-like language aimed at program verification
Show HN: AI course creator for micro-learning
2023-02-27
Ask HN: Need guidance to transition from Tech/Programming to Product Management
2023-02-27
Ask HN: AirPods Pro 2 causing tinnutus?
2023-02-27
China to thwart SpaceX's Starlink influence with '13,000' satellites
2023-02-26
China aims to launch nearly 13,000 satellites to ‘suppress’ Elon Musk’s Starlink
2023-02-26
Canada starts investigating TikTok over data collection from young users
2023-02-26
Ask HN: Best Way to Learn Japanese
2023-02-26
Altman: AI Version of Moore's Law Could Start Soon
2023-02-26
We Launched Our Project with a Simple Tweet Thread and Grew It to 100 Users
2023-02-26
Ask HN: What's Your Experience with Pioneer.app?
2023-02-26
