Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 11,897 posts.

Any topic
Any year
6317

Programming the Z3 SMT solver

Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…

6322

YC Stats

We get asked (a lot) for statistics on the YC portfolio about valuation and fundraising. Although these are very imperfect indicators of success, here they are. All of these companies actually went through a YC batch and got their start with us (e.g. we do not include Quora). Also, the YC application for the next…

6329

Update on Async Rendering

This blog site has been archived. Go to react.dev/blog to see the recent posts. For over a year, the React team has been working to implement asynchronous rendering. Last month during his talk at JSConf Iceland, Dan unveiled some of the exciting new possibilities async rendering unlocks. Now we’d like to share with…