Building Tezos on Ubuntu 14.04

Install opam and ocaml utilities. At this time this results in opam version 1.2.2 and ocaml 4.02.3.

add-apt-repository ppa:avsm/ppa
apt-get update
apt-get install ocaml ocaml-native-compilers camlp4-extra opam

Add repo needed for libsodium-dev (at least) that the Tezos installation scripts will install.

add-apt-repository ppa:ondrej/php
apt-get update

Switch to Ocaml 4.03.0.

opam init
opam switch 4.03.0
eval `opam config env`

Clone the tezos source repo to /opt/tezos.

Build dependencies per https://github.com/tezos/tezos

cd /opt/tezos
make build-deps

Install additional dependency manually:

opam install irmin.0.11.1

Build Tezos binaries.

make

Addendum

Thanks to @arthurb on the Tezos slack and to the folks on the #ocaml IRC list for all the help.

When I ran into trouble and had to start from near scratch, here are the (drastic) steps. (I don’t have other Ocaml projects, yet).

rm -r $HOME/.opam
cd /opt/tezos
git clean -dxf

Then start again at opam init.

Virtue via intelligence

The evils of the world are due to moral defects quite as much as to lack of intelligence. But the human race has not hitherto discovered any method of eradicating moral defects; preaching and exhortation only add hypocrisy to the previous list of vices. Intelligence, on the contrary, is easily improved by methods known to every competent educator. Therefore, until some method of teaching virtue has been discovered, progress will have to be sought by improvement of intelligence rather than of morals.

-Bertrand Russell

The Will to Doubt: Bertrand Russell on Free Thought and Our Only Effective Self-Defense Against Propaganda

Costs of Financial Innovation

In “Golden Eggs and Hyperbolic Discounting”, the author argues that the liquidity brought by modern finance is not a good thing.

By enabling the consumer to instantaneously borrow against illiquid assets, financial innovation eliminates the possibility for partial commitment. This has two effects on the welfare of the current self. First, the current self no longer faces a self-imposed liquidity constraint and can therefore consume more in its period of control. Second, future selves are also no longer liquidity constrained and may also consume at a higher rate out of the wealth stock that they inherit. The first effect makes the current self better off. The second effect makes the current self worse off (since the current self would like to constrain the consumption of future selves).

Golden Eggs and Hyperbolic Discounting, David Laibson, The Quarterly Journal of Economics, Vol. 112, No. 2, In Memory of Amos Tversky (1937-1996) (May, 1997) , pp. 443-477.

Committing to choices

In Resolving to Create a New You Ruth Chang argues that in making choices between alternatives that are on par (have much the same value to us) we should favor the choice that we can most fully commit to.

Instead of being led by the nose by what we imagine to be facts of the world, we should instead recognize that sometimes the world is silent about what we should do. In those cases, we can create value for ourselves by committing to an option. By doing so, we not only create value for ourselves but we also (re)create ourselves.

Memorization and Repetition Still Needed for Learning

I believe in learning for understanding, critical thinking, and inquiry-based learning. But even so, real fluency still requires some drill-and-kill.

The problem with focusing relentlessly on understanding is that math and science students can often grasp essentials of an important idea, but this understanding can quickly slip away without consolidation through practice and repetition. Worse, students often believe they understand something when, in fact, they don’t.

via How I Rewired My Brain to Become Fluent in Math – Issue 17: Big Bangs – Nautilus.

Time after time, professors in mathematics and the sciences have told me that building well-ingrained chunks of expertise through practice and repetition was absolutely vital to their success. Understanding doesn’t build fluency; instead, fluency builds understanding. In fact, I believe that true understanding of a complex subject comes only from fluency.

Managing WordPress via git

I reorganized my self-hosted WordPress system to use git to manage the WordPress code and to move the content outside of the WordPress directory. That way I should be able to do a simple git pull and git checkout $newversion to update my WordPress. I’m also keeping my content directory under change management (separately) so that I can update plugins through the web and be able to roll back.

  • $HOME/blog/wordpress is a git clone of git@github.com:WordPress/WordPress.git. I make no local changes in this. In particular, all of wp-content is unchanged (I make it unwriteable by Apache to be sure).
  • $HOME/blog/content is a copy of the wp-content of my site (prior to moving it outside the wordpress code). It contains the usual: plugins, themes, uploads. It’s all writeable by Apache so that I can update plugins and themes through the web.
  • $HOME/blog/wp-config.php is the usual config file (WordPress looks in the parent directory for it). It’s standard except for two settings:

    define('WP_CONTENT_DIR', '/home/fred/blog/content');  
    define('WP_CONTENT_URL', 'http://fred.yankowski.com/content');
    
  • /etc/apache2/conf.d/wordpress.conf defines the VirtualHost for the wordpress site. It has an alias to support special location of the content. (It also has the mod_rewrite rules for permalinks so that I don’t need an .htaccess file in the wordpress code).

    DocumentRoot /home/fred/blog/wordpress
    Alias /content /home/fred/blog/content
    

Can’t be understated

According to FirstRead,

the Iraq war’s effect on American politics can’t be understated, even 10 years later

So, according to that, anything that can be said is overstating the effect. One can’t state anything less about the effect.

Of course, they mean “should not be understated” rather than “can’t be understated”. But they could probably care less.