FStar
An ML-like language aimed at program verification
Ask HN: What AI writing tool do you use for blog posts?
2023-09-16
Ask HN: What Happened to TJ Holowaychuk?
2023-09-16
Senators want clarity from Pentagon on Ukraine Starlink access fiasco
2023-09-16
Chart of Accounts for Startups
2023-09-16
What would you do differently if you decided to start a blog again?
2023-09-15
Navigating a Map with a LLM
2023-09-15
GitHub started advertising on file preview screens
2023-09-15
Show HN: Albert, an AI companion with a persistent memory
2023-09-15
Green Energy Starts with 5,600 Tons of Cow Dung
2023-09-15
Ask HN: What do startups look for in a resume?
2023-09-15
