FStar
An ML-like language aimed at program verification
Launch HN: SST (YC W21) – A live development environment for AWS Lambda
2021-03-02
Starlit Black Leopard: Capturing my dream photograph
2021-03-02
Startup tries generating logo with AI
2021-03-02
Cities are starting to ban new gas stations
2021-03-02
Repo Has 1564 Stars
2021-03-02
Data Science and AI Startups to Keep Track of in 2021
2021-03-02
Oura for Business: Track your employee's health
2021-03-02
Stop Pushing JavaScript
2021-03-02
SpaceX gears up for Starship's first triple-engine landing attempt
2021-03-02
Company to start building private Voyager space station with artificial gravity
2021-03-01
