FStar
An ML-like language aimed at program verification
Show HN: We Built a GraphQL Layer for the YC Startup Directory
2022-03-28
Ask HN: For anyone who has done a part-time PhD, do you have any advice?
2022-03-28
Learnings from working at early-stage startups
2022-03-28
The Aesthetics of Multicoding Esolangs
2022-03-28
Show HN: A Better Alternative to the AWS Console
2022-03-28
Launch HN: Andi (YC W22) – Q&A based, ad-free, anti-spam search engine
2022-03-28
Kids, Would You Please Start Fighting?
2022-03-28
You only need 30 mins a day to learn no-code
2022-03-28
Deep learning for game development overview
2022-03-28
I wasted $40k on a fantastic startup idea (2020)
2022-03-28
