FStar
An ML-like language aimed at program verification
Ask HN: In person industry tours and site visits
2023-09-04
Show HN: finetune LLMs via the Finetuning Hub
2023-09-04
Ask HN: German company didn't pay me for two months
2023-09-04
How startup Once.net and Cloudflare secured the 2023 Eurovision vote
2023-09-04
Show HN: An Open Source Starter to Build Shopify Apps Using Nest Js
2023-09-04
Show HN: Next.js Boilerplate: Auth, ORM, Form, Typesafe, Testing, CI/CD
2023-09-04
Ask HN: How early in a new startup do people think about subscription billing?
2023-09-04
Ask HN: What can we do with 20B links from sites
2023-09-04
Sea of Stars( New Exclusive PS Plus Extra)
2023-09-04
Chrome Browser blocking .exe downloads even with Safe Browsing disabled
2023-09-04
