Category: General

General Loading...

Why We Think

Special thanks to John Schulman for a lot of super valuable feedback and direct edits on this post. Test time compute (Graves et al. 2016, Ling,...

Read more
General Loading...

Requirements change until they don’t

Recently I got a question on formal methods1: how does it help to mathematically model systems when the system requirements are constantly changing? It doesn’t make...

Read more