Håkon Robbestad Gylterud

YouTube self-defence

YouTube is constantly attacking you with advertisements and video suggestions. Follow these steps and visiting YouTube will be a safer experience.

Read it!

Every-day Unicode

Following this tutorial you can have any symbol at your fingertip when typing on a Linux or *BSD system.

Read it!

Unicode for mathematics symbols in LaTeX

Write readable LaTeX files, with $A = πr²$ instead of $A = \pi r^2$ in the source.

Read it!

Writing Agda-code in another edtior

Agda, is a dependently typed language for programming and proof-verification. Here is how I write it, using the Acme editor.

Read it!

Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺