FStar
An ML-like language aimed at program verification
Ask HN: Recruiters have stopped contacting me? What could have happened?
2023-02-02
Meta wins ruling against FTC to move forward with purchase of VR startup Within
2023-02-02
You can now ask my book (almost) anything about early stage startups
2023-02-02
AMA: I watched 100 YC Startup School lectures (from 2008 to 2016)
2023-02-02
Starlite (FastAPI Replacement) – the performant and opinionated ASGI framework
2023-02-02
Looking for recommendations on AI/ML online courses
2023-02-02
A deep-learning search for technosignatures from 820 nearby stars
2023-02-02
OpenAI launches ChatGPT Plus, starting at $20 per month
2023-02-02
Looking for resources to gently introduce 2D game directional movement
2023-02-02
Ask HN: ChatGPT and AI-like services do reward data owners?
2023-02-02
