FStar
An ML-like language aimed at program verification
Launch HN: DAGWorks – ML platform for data science teams
2023-03-07
Show HN: I made a Figma plugin that writes clean front-end code
2023-03-07
Show HN: Argilla and AutoTrain – Train custom NLP models without code
2023-03-06
Growth Hacking in a Time of Uncertainty: How Startups Can Adapt and Succeed
2023-03-06
Startup turns electric water heaters into grid batteries
2023-03-06
Getting Started with Nvidia Instant NeRFs (2022)
2023-03-06
Ask HN: Self-Employed folks, are you earning a living wage from your work?
2023-03-06
Ask HN: How do you discuss interesting research online?
2023-03-06
Startup Mistakes – Navigating Mentor Feedback
2023-03-06
Tell HN: LTSE Equity Is Sheisty
2023-03-06
