- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
- Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
- The Haskell School of Expression: Learning Functional Programming through Multimedia
- LaTeX: A Document Preparation System (2nd Edition)
- Denotational Semantics
- Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
- Programs and Machines
- The Denotational Description of Programming Languages: An Introduction
Getting started:
Related tutorials:
- MySQL-CLI: https://www.youtube.com/playlist?list=PLfdtiltiRHWEw4-kRrh1ZZy_3OcQxTn7P
- Analyzing Business Metrics: https://www.codecademy.com/learn/sql-analyzing-business-metrics
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(defun mode-line-fill-right (face reserve) | |
"Return empty space using FACE and leaving RESERVE space on the right." | |
(unless reserve | |
(setq reserve 20)) | |
(when (and window-system (eq 'right (get-scroll-bar-mode))) | |
(setq reserve (- reserve 3))) | |
(propertize " " | |
'display `((space :align-to (- (+ right right-fringe right-margin) ,reserve))) | |
'face face)) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[2017-02-18 04:29] [PACMAN] Running 'pacman -Suy' | |
[2017-02-18 04:29] [PACMAN] synchronizing package lists | |
[2017-02-18 04:29] [PACMAN] starting full system upgrade | |
[2017-02-18 05:05] [ALPM] running 'texinfo-remove.hook'... | |
[2017-02-18 05:05] [ALPM] transaction started | |
[2017-02-18 05:05] [ALPM] upgraded tslib (1.3-1 -> 1.5-1) | |
[2017-02-18 05:05] [ALPM] upgraded ncurses (6.0+20161224-1 -> 6.0+20170128-1) | |
[2017-02-18 05:05] [ALPM] upgraded readline (7.0.001-1 -> 7.0.003-1) | |
[2017-02-18 05:05] [ALPM] upgraded bash (4.4.011-2 -> 4.4.012-1) | |
[2017-02-18 05:05] [ALPM] upgraded libsystemd (232-7 -> 232-8) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
xmodmap -pke | |
or | |
xev |
using mocha/chai/sinon for node.js unit-tests? check out my utility: mocha-stirrer to easily reuse test components and mock require dependencies
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Secret life of JS objects | |
"use strict"; | |
(() => { | |
const MOUNTAINS = require("./mountains"); | |
function rowHeights(rows) { | |
// We have 8 row(Three are 8 array in rows). We wanna find out how many line(height) each row needs. Only the first row(header) needs 2 line becuase it has an underline | |
// it returns [ 2, 1, 1, 1, 1, 1, 1, 1 ] | |
// Why the first element is 2? it's the header. remember UnderlinedCell.prototype.minHeight returns this.inner.minHeight() + 1; | |
return rows.map(function(row) { | |
/* remember each row is an array. sth like -> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sudo vim /usr/lib/udev/hwdb.d/60-keyboard.hwdb | |
sudo vim /lib/udev/hwdb.d/60-keyboard.hwdb # for Ubuntu | |
# edit section # Microsoft Natural Ergonomic Keyboard 4000 | |
# as you like | |
sudo udevadm hwdb --update | |
# unplug and plug back in the keyboard | |
from http://blog.philippklaus.de/2012/05/microsoft-natural-ergonomic-keyboard-4000-with-mac-os-x-and-linux/ |