FStar
An ML-like language aimed at program verification
Show HN: Want something better than k-means? Try BanditPAM
2023-04-04
Byte Mini PC Powered by AMD – Get notified when available
2023-04-04
Show HN: AWS GenAI Accelerator – $300K in non-dilutive credits
2023-04-04
Ask HN: Do you have any input on the following, or a fact-checking of the claims
2023-04-04
Awesome GPT-4 List
2023-04-04
Summary of YC's startup school using 26 words in alphabetical order
2023-04-04
Show HN: Spine – Create ChatGPT-like Interfaces on multiple data types
2023-04-04
How much of the advice “just open a text editor and start coding” is valid?
2023-04-04
Reasons to Do a Startup
2023-04-04
Show HN: Interval 1.0 – Build complete tools with just back end code
2023-04-04
