FStar
An ML-like language aimed at program verification
Ask HN: Video Creators, how do you organize your stock footage?
2020-12-05
Pitter Pattr: Like GIF's, but Sounds
2020-12-05
Ask HN: Is providing references common to get tech jobs?
2020-12-05
TikTok Stars Proved Key in Strategy to Fight U.S. Ban
2020-12-05
How long have you been on HN and have you learned a lot
2020-12-05
Facebook Accused of Squeezing Rival Startups in Virtual Reality
2020-12-05
Ask HN: How should I evaluate an equity offer vs. hourly rate?
2020-12-05
Ask HN: Early 20s, exit at 10M+, burned out, don't know what to do
2020-12-05
Ask HN: Why are you depressed? [follow-up to the recent depression poll]
2020-12-04
Uber will sell its flying taxi business to secretive startup Joby Aviation
2020-12-04
