FStar
An ML-like language aimed at program verification
Start Self-Hosting in 2023
2023-03-10
A Startup Used ChatGPT to Raise $120M and Transform Customer Experience
2023-03-10
US Executive Branch Proposes Capital Gains start at 10%, up to 39.6%
2023-03-09
Show HN: ChatGPT for Investing
2023-03-09
Building a Startup in Rust
2023-03-09
GitHub to require 2FA for all contributors starting from March 13
2023-03-09
Ask HN: Are a lot of books just... useless?
2023-03-09
Show HN: Swishjam (YC W23) - simple open source front end performance monitoring
2023-03-09
Startup lender Silicon Valley Bank to sell stock to cope with cash burn
2023-03-09
GitHub Starts Mandatory 2FA Rollout for Developers
2023-03-09
