FStar
An ML-like language aimed at program verification
Starting ML project to identify Russian soldiers currently occupying Ukraine
2022-03-01
Ask HN: Do you have Russian stockholders?
2022-03-01
Indian startups second to US on Y Combinator’s top companies list
2022-03-01
Ask HN: How to proceed with less-than-perfect FOSS projects?
2022-03-01
Testing SpaceX’s new Starlink service in Ukraine
2022-03-01
Surprise: The Big Bang isn’t the beginning of the universe anymore
2022-03-01
Ask HN: Who Wants to Collaborate? (March 2022)
2022-03-01
Show HN: Common Paper
2022-03-01
Google Maps is used to coordinate air strikes in Ukraine
2022-03-01
Ask HN: Non-Traditional Equity Grants?
2022-03-01
