As configured in my dotfiles.
start new:
tmux
start new with session name:
Index: crypto/openssh/auth-pam.c | |
=================================================================== | |
--- crypto/openssh/auth-pam.c (revision 229638) | |
+++ crypto/openssh/auth-pam.c (working copy) | |
@@ -809,6 +809,15 @@ | |
return (-1); | |
} | |
+static void | |
+sshpam_log_invalid_user(const char *user, const char* pw, int kbdint) |
# coding: utf8 | |
xml = '''<?xml version="1.0" encoding="UTF-8"?> | |
<soft> | |
<os> | |
<item name="linux" dist="ubuntu"> | |
This text about linux | |
</item> | |
<item name="mac os"> | |
Apple company |
"Plot a PNG using matplotlib in a web request, using Flask." | |
# Install dependencies, preferably in a virtualenv: | |
# | |
# pip install flask matplotlib | |
# | |
# Run the development server: | |
# | |
# python app.py | |
# |
As configured in my dotfiles.
start new:
tmux
start new with session name:
Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.
We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.
Latency Comparison Numbers (~2012) | |
---------------------------------- | |
L1 cache reference 0.5 ns | |
Branch mispredict 5 ns | |
L2 cache reference 7 ns 14x L1 cache | |
Mutex lock/unlock 25 ns | |
Main memory reference 100 ns 20x L2 cache, 200x L1 cache | |
Compress 1K bytes with Zippy 3,000 ns 3 us | |
Send 1K bytes over 1 Gbps network 10,000 ns 10 us | |
Read 4K randomly from SSD* 150,000 ns 150 us ~1GB/sec SSD |
Require Import Coq.Program.Basics. | |
Require Import Coq.Program.Syntax. | |
Require Import Coq.Init.Datatypes. | |
Require Import Coq.Unicode.Utf8. | |
Open Local Scope program_scope. | |
Open Local Scope list_scope. | |
Open Local Scope type_scope. | |
Class Functor (φ : Type → Type) := { |
(use '[clojure.core.match :only [match]]) | |
(defn evaluate [env [sym x y]] | |
(match [sym] | |
['Number] x | |
['Add] (+ (evaluate env x) (evaluate env y)) | |
['Multiply] (* (evaluate env x) (evaluate env y)) | |
['Variable] (env x))) | |
(def environment {"a" 3, "b" 4, "c" 5}) |
# example of curses: less command | |
import locale | |
import sys | |
import curses | |
def load(): | |
filename = sys.argv[1] | |
with open(filename) as f: | |
return f.readlines(), filename | |
return [], "" |