FStar
An ML-like language aimed at program verification
Ask HN: What elements should a side project have for senior-level web developer?
2023-09-12
New APP Launch – Find friends who want to start a business
2023-09-12
Show HN: I created a list of tools for launching, building and scaling a startup
2023-09-12
Investing in startups with big ideas about AI
2023-09-12
Ask HN: Building a Cocktail-Mixing RoboHand – Libraries, & ML Recommendations?
2023-09-11
Let’s put a stake in the ‘great man’ biography – starting with Isaacson’s ‘Musk’
2023-09-11
Ask HN: DNS names used as electronic “title”
2023-09-11
Ask HN: Gmail Smart Compose but for my entire OS?
2023-09-11
Ask HN: What compliances does a startup need before it starts hiring in US?
2023-09-11
Starfield Review
2023-09-11
