FStar
An ML-like language aimed at program verification
Ask HN: Which YC startup has excited you the most (regardless of outcome)?
2023-07-12
Ask HN: How do you Job Search?
2023-07-12
Webb Celebrates First Year of Science with Close-Up on Birth of Sun-Like Stars
2023-07-12
Show HN: Nextless.js Mobile: SaaS Starter Kit for iOS, Android and Web
2023-07-12
Ask HN: Where to go after giving up on big growth-obsessed tech companies?
2023-07-12
Webb Celebrates First Year of Science with Close-Up on Birth of Sun-Like Stars
2023-07-12
SpaceX Starlink satellites 'leak' so much radiation it's hurting radio astronomy
2023-07-11
Nuclear Startup Oklo to Go Public in US via Sam Altman's SPAC
2023-07-11
ChatGPT-based web site generator, from the r/Entrepreneur subreddit
2023-07-11
The Ignobel Awards of Startup/Hustle Advice
2023-07-11
