FStar
An ML-like language aimed at program verification
How do you get a business idea?
2022-07-09
A quick (and silly) way to create generative avatars
2022-07-09
Ask HN: Stuck and Depressed – Need Guidance
2022-07-09
A man eating a sandwich inside R2D2 on the set of Star Wars #dalle
2022-07-09
Startup Equity Is a Scam (and That's Okay)
2022-07-09
Former nurse at startup Cerebral says they handed out medicines like 'candy'
2022-07-09
Ask HN: How would you bootstrap a telco? (re: Rogers outage)
2022-07-09
Startup Markets, Summer 2022 Edition
2022-07-09
An intellectual starter kit
2022-07-09
Ask HN: Are Former Uber Employees Still Considered “Tarnished?”
2022-07-09
