FStar
An ML-like language aimed at program verification
Ask HN: Good resources for slow test suites in RoR applications
2022-10-25
Show HN: Comment on live websites just like you comment on Google Docs/Figma
2022-10-25
Ask HN: Career options as a failed nontech cofounder of a seed startup?
2022-10-25
Anti-Patterns in Startup Engineering Hiring
2022-10-25
Ask HN: Where to sell high margin, six figure rev business growing 20-30% YoY?
2022-10-25
How can startups benefit most from BigCo hiring freezes / layoffs?
2022-10-25
Elon the Self-Employed Diplomat
2022-10-25
YouTube mega-star MrBeast seeks $1.5B valuation
2022-10-25
EVs Start with a Bigger Carbon Footprint. But That Doesn’t Last
2022-10-25
A strangely light neutron star within a supernova remnant
2022-10-25
