FStar
An ML-like language aimed at program verification
Ask HN: When I accept payments with Stripe, will customers see my legal name?
2023-01-30
Show HN: Nos – Open-Source to Maximize GPU Utilization in Kubernetes
2023-01-30
Ask HN: What do you take pictures of and show your best photographic work
2023-01-30
YouTube star MrBeast helps 1000 blind people see again with cataract surgeries
2023-01-30
Your favorite tech giant wants you to know it’s a startup again
2023-01-30
MSU1 Getting Started Guide (2018)
2023-01-30
Ask HN: What's your approach to raising kids?
2023-01-30
Why More Physicists Are Starting to Think Space and Time Are ‘Illusions’
2023-01-30
Finding product-market fit: How to define your “North Star Metric”
2023-01-30
Show HN: ChatGPT writes a song about creating AI in style of Tolkien
2023-01-30
