FStar
An ML-like language aimed at program verification
Startups Are Pummeled in the ‘Great Unwinding’
2020-04-02
Unity announces online conference starting April 14
2020-04-02
Show HN: Secfi – calculate additional tax owed if you exercise startup options
2020-04-02
When to Say No as a Founder
2020-04-02
The night sky is increasingly dystopian
2020-04-02
Not so secret Startups that get funded and fail to pay their contractors
2020-04-02
Ask HN: Employer will not allow remote work, what options do I have?
2020-04-02
Open reimplementation of Might and Magic 6 7 8 game engine
2020-04-02
Notion, Maker of Collaboration Software, Raises $50M
2020-04-01
Andrew Cuomo's PowerPoints are Covid-19 information design at its best
2020-04-01
