FStar
An ML-like language aimed at program verification
Scientists spot a planet that shouldn’t exist
2023-06-28
Show HN: API Checkout Links – instant checkout pages for your API products
2023-06-28
Who are your most followed GitHub stargazers?
2023-06-28
Scientists Astounded When Two Stars Collide in Explosion
2023-06-28
PSA: Brandon Nozaki Miller appears to now be pretending his account was hacked
2023-06-28
Disability-Driven Development
2023-06-28
Industrial heat startup Rondo to open world’s largest battery factory
2023-06-28
We lowered our impact on Android app startup time by 75% thanks to Emerge Tools
2023-06-28
Ask HN: Laid off, need advice on next steps
2023-06-28
Show HN: Serverless WebAuthn Implementation with Astro and Cloudflare D1
2023-06-27
