Skip to content

Instantly share code, notes, and snippets.

oboff /
Last active May 13, 2017
Books to Learn Formal Methods/C++

John Lakos

Books Recommended by Alexander Stepanov

  • Aho, Alfred Vaino, John Edward Hopcroft, and Jeffrey David Ullman. 1976. The design and analysis of computer algorithms. Reading, Mass. [usw.]: Addison-Wesley.
  • Stepanov, Alexander A. 2015. From mathematics to generic programming. Upper Saddle River, N.J. [etc.]: Addison-Wesley.
  • Stroustrup, Bjarne. 2013. The C++ programming language: [C++11]. Upper Saddle River (NJ) [etc.]: Addison-Wesley.

Formal Methods


View LinuxUSBHardDrivePowerManagement
* Removes power management and keeps USB hard drive alive in Linux
* You can dissable the powermanagement of your device with the following command (no powermanagement = no spindown - no standby for the harddrive)
hdparm -B 255 /dev/sdX
* replace sdX with the name of your harddrive
* This will only last till you restart your pc.
oboff / bluetooth.txt
Created Jun 30, 2016
Enabling Bluetooth A2DP in Stella 6.7
View bluetooth.txt
yum list
yum update pulseaudio
pair and connect with blueman
oboff /
Created Jun 12, 2016 — forked from mattstauffer/
Introduction to Gistlog

So, you might be asking yourself, what is Gistlog?

Gistlog is a blogging "platform" for people who want to quickly write and publish content, in Markdown, and don't want to bother with yet another platform and yet another login and yet another group hoarding their content. With Gistlog, you use your pre-existing Github login, you store the data in your own Github account, and you can publish with a single click.

Using Gistlog

  1. Create a public gist with a single file using Markdown. Set the gist description to be the title of your blog post
  2. Copy the gist URL, and paste it into the text box on the Gistlog home page
  3. Copy your resulting URL and share it as your blog post--note that it will be in the form of
  4. If you want to have your own Gistlog landing page (e.g., read all about it
oboff / rotate.erl
Last active Jun 5, 2016
rotate list around list of Nth elements
View rotate.erl
rotate(N, List) ->
is_number(N) ->
rot([N], List);
true -> rot(N, List)
oboff / thinkpad-trackpoint-speed.mkd
Created Oct 9, 2015 — forked from noromanba/thinkpad-trackpoint-speed.mkd
change pointer speed of Trackpoint on Thinkpad T60
View thinkpad-trackpoint-speed.mkd

Thinkpad Trackpoint speed configuration on Linux

change pointer speed of Trackpoint on Thinkpad

works well T60 with Ubuntu 13.10 and Ubuntu 14.04 LTS

how to change

speed configration by write integer to file

0 <- slower ------------ faster -> 250