FStar
An ML-like language aimed at program verification
Ask HN: Am I special in finding bugs early or is software just so bad?
2020-12-30
Free Startup Legal Document Generator from Cooley Law Firm
2020-12-30
Ask HN: Any good resources out there on putting together consulting packages?
2020-12-30
Talking to Humans: Success Starts with Understanding Your Customers [pdf]
2020-12-30
Cairo, a Turing complete language for writing provable programs, is released
2020-12-30
Ask HN: How would you design a proof-of-vaccination protocol?
2020-12-29
Ask HN: Which emails do you find most difficult to write?
2020-12-29
James 'Scotty' Doohan's ashes may have been smuggled aboard the ISS
2020-12-29
Apple loses copyright battle against security startup Corellium
2020-12-29
Ask HN: How did you turn your failed business model into a successful venture?
2020-12-29
