FStar
An ML-like language aimed at program verification
Negotiation Tips for Navigating Startup Equity in a Downturn
2023-06-02
That GPT4 is degraded question
2023-06-02
Hawking radiation isn’t just for black holes, study shows
2023-06-02
Unproductivity
2023-06-02
Career Guidance
2023-06-01
DobbieAI: ChatGPT on Multiple PDFs at Once
2023-06-01
That's Interesting (1971)
2023-06-01
Software offers new way to listen for signals from the stars
2023-06-01
Insights SaaS Founders Should Know About AI
2023-06-01
Ask HN: What's a mundane sum of money for you?
2023-06-01
