Home › 2016
Yearly Archives: 2016

Impagliazzo’s Hardcore Lemma and Computational Hardness

Posted on May 8, 2016 by theoryapp

We wish to compute boolean functions by circuits, or more generally, compositions of simple boolean functions (gates). Suppose we are given a function which is hard to approximate by any small-size circuit. That is, any small-size circuit fails to compute…

Read more ›

Tagged with: ,
Posted in Theory

Searching and Replacing with grep and sed

Posted on March 18, 2016 by theoryapp

Unix commands grep and sed can be used to efficiently search and replace strings in a file, a directory, or files acrose multiple directories. Specifically, grep is used to search for a certain string, and sed is used to replace…

Read more ›

Tagged with: ,
Posted in DevTool