FStar
An ML-like language aimed at program verification
Principles that help me build startups and enjoy life more
2023-04-07
Wrote an DevOps infra project in MERN. Roast us maybe?
2023-04-07
With AI, Astronomers Dig Up the Stars That Birthed the Milky Way
2023-04-07
Alcohol recovery startups shared patients’ private data with advertisers
2023-04-07
Ask HN: What is your opinion on the idea of “AI/LLM driven development?”
2023-04-07
Hubble sees possible runaway black hole creating a trail of stars
2023-04-07
SpaceX Starship prepped for first orbital launch – See the stack and flight plan
2023-04-06
Ask HN: I don’t want an LLM career
2023-04-06
Croner – Cron for JavaScript and TypeScript
2023-04-06
How Project Starline improves remote communication
2023-04-06
