FStar
An ML-like language aimed at program verification
Ask HN: What do you think of the DART language? (dart.dev)
2020-09-09
Launch HN: Tappity (YC S20) – Keeping kids entertained with science
2020-09-09
Joining a Startup: What to Know Before You Leap
2020-09-09
Show HN: Chrome Extension Starter Kit and eBook
2020-09-09
Payments Startup Melio Raises $144M to Fund Expansion
2020-09-09
Ask HN: Early stage VC/angels for data-as-a-service startups?
2020-09-09
Denver program sends mental health workers instead of police
2020-09-09
Technology Startup Feedback Wanted
2020-09-09
How to tell an accreting boson star from a black hole
2020-09-09
Automation to Help FinTech Startups Win Customers’ Trust
2020-09-09
