FStar
An ML-like language aimed at program verification
Ask HN: What non-text text do you use GPT-4 to generate
2023-09-30
I help startups launch quickly
2023-09-30
In the Milky Way’s Stars, a History of Violence
2023-09-30
The Complete Star Wars: Galactic Starcruiser
2023-09-30
Don't start a tech-enabled services startup
2023-09-30
Changing Lanes: From IBM’s Corporate Ladder to Collecting Cars’ Startup Hustle
2023-09-30
Working at a Startup vs in Big Tech
2023-09-30
JWST discovers the farthest gravitational lens ever
2023-09-30
Show HN: Base.report – Modern research tools for serious investors
2023-09-30
Show HN: Stargazers Reloaded – LLM-Powered Analyses of Your GitHub Community
2023-09-30
