FStar
An ML-like language aimed at program verification
Pragmatic Not-Legal Advice on Dealing with US Sales Tax for Early Stage Startups
2023-04-21
Clarity: Layered, depth-first reading–start with summaries tap to explore detail
2023-04-21
GitHub Star History on Streamlit
2023-04-21
Ask HN: ChatGPT and Product Liability
2023-04-21
Meetings are a point of escalation, not the starting point of a conversation
2023-04-21
IBM starts renting cloudy bare metal Linux almost-mainframes
2023-04-21
Show HN: Recruiting Firms for Startups
2023-04-21
Elon Musk has had a wild week. Now he wants to start an AI company
2023-04-21
Show HN: Use shoggath-speak to teach GPT new APIs
2023-04-21
The evolution of SpaceX's Starship (with explosions)
2023-04-20
