FStar
An ML-like language aimed at program verification
Start with a Minimum Viable System
2023-08-09
Connecting People Directly on Hacker News – What Do You Think?
2023-08-09
Moq – Privacy issues with SponsorLink, starting from version 4.20
2023-08-09
How to start a growth team (as an engineer)
2023-08-09
Chrome OS Flex: a good start with zero follow-through
2023-08-09
For this startup, Nvidia GPUs are currency
2023-08-08
Ask HN: Generative AI/LLM master thesis topic suggestions?
2023-08-08
When AI Is Trained on AI-Generated Data Things Start to Happen
2023-08-08
Treasury Auctions Off to Good Start, with Strong Demand for Three-Year Notes
2023-08-08
How to Launch a Startup with No Money
2023-08-08
