Viewing profile — tbct

Can you elaborate on what you're referring to? I can see performance becoming a problem if you repeatedly chain non-optimisable (in bytecode) as excluding the in place operations I…

David Autor was recently interviewed by Martin Wolf on the effect of AI on jobs. The question of if its fair to compare a possible economic shock on knowledge work to the China sho…

Once you have algebraic data-types in a language, writing a recursive visitor pattern is pretty simple. Encoding the semantics of a tree traversal operator likewise is difficult in…

Surely, however from a software architecture perspective types as contracts, assuming pure functions and maximally restrictive types, is a good model for reasoning about a system. …

Surprisingly one of the best summaries (~10 pages) to applied linear algebra I've found is in Nielsen and Chuang's Quantum Computation and Quantum Information. Presented primarily …