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!

Setting up a basic website

There are lot of different ways to make a website. You can write your own HTML code (the code your web-browser reads when it draws a webpage), use a WYSIWYG editor or install Wordpress… This guide is for those who wish to focus on the textual content of their site, and keep the number of distractions down.

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! ☺