FStar
An ML-like language aimed at program verification
Why we’re selling our YC- startup onetool as an NFT
2021-07-27
Launch HN: Atmana (YC S21) – An app to help cut down on compulsive porn usage
2021-07-27
Ask HN: How to Run Payroll for Founders?
2021-07-27
Lucasfilm hires YouTuber who specializes in deepfaking big-budget movies
2021-07-27
South African payments startup Yoco raises $83M Series C
2021-07-27
Star Trek – The Game for Amiga
2021-07-27
Monolith Machines; hiring software developer
2021-07-26
Black startup founders see progress, but it's not enough (gated)
2021-07-26
As a sci-fi writer just starting out, what suggestions do you have for me?
2021-07-26
Ask HN: Any electrical or mechanical engineers in LA?
2021-07-26
