FStar
An ML-like language aimed at program verification
StarCoder: A State-of-the-Art LLM for Code
2023-05-05
Why Roger Lee Started Layoffs.fyi
2023-05-05
A mechanical analogy of electric circuits
2023-05-05
Show HN: Appteum – Serverless ready back end
2023-05-05
Show HN: A search engine for your personal network of high-quality websites
2023-05-05
Carrie Fisher's Hollywood Walk of Fame Star Unveiled on Star Wars Day
2023-05-05
Europe’s major satellite players line up to build Starlink competitor
2023-05-05
English in Modern Times
2023-05-05
Ask HN: How would ban on matrix protocol work
2023-05-05
StarCoder: A State-of-the-Art LLM for Code
2023-05-05
