FStar
An ML-like language aimed at program verification
Apple is suing smartphone emulation software startup Corellium
2021-08-18
Marc Andreessen on Investing and Tech
2021-08-18
Ask HN: Those of you who left tech, where are you now?
2021-08-18
Ask HN: Finding a 4 days/month job on top of my full-time job
2021-08-17
Ask HN: Is experience in raising a startup valuable in a CV for a soft. eng.?
2021-08-17
Ask HN: How would you try to validate this data science project?
2021-08-17
Spent 18 months building a modern No-code Chatbot platform for GTM teams
2021-08-17
Have any startup founders worked with Altura Ventures?
2021-08-17
Show HN: CodeRemedy- we'll clean your codebase from technical debt
2021-08-17
Finding the Original 1977 'Star Wars' Verges on the Impossible
2021-08-17
