FStar
An ML-like language aimed at program verification
Astronomers have caught a star in the act of swallowing a whole planet
2023-05-03
A startup let users talk to ChatGPT through a female avatar. It went awry
2023-05-03
Europe’s major satellite players line up to build Starlink competitor
2023-05-03
Microsoft launches Pegasus program for startups, awarding up to $350k credits
2023-05-03
Musk threatens to reassign NPR Twitter account if it won’t start tweeting again
2023-05-03
Show HN: ZeusCloud (YC W22) – open-source cloud security
2023-05-03
Astronomers capture moment distant planet was swallowed by star
2023-05-03
Next.js, Mongo(Mongoose) and Material UI Starter Boilerplate
2023-05-03
With Its API Update, Reddit Should Start Paying Its Users (Or They Should Leave)
2023-05-03
Show HN: Data Engineering with Rust
2023-05-03
