steinwaywhw

I pasted it here because it is hard to find for me. It is publicly available at here. The total order and canonical form is clearly presented here over the original ml-ulex paper.

(* reg-exp-fn.sml
 *
 * COPYRIGHT (c) 2005 
 * John Reppy (http://www.cs.uchicago.edu/~jhr)
 * Aaron Turon (adrassi@gmail.com)
 * All rights reserved.

vadimkantorov

local torch_repl = repl

function repl(restoreGlobals)
    -- copied from http://stackoverflow.com/questions/33068607/how-can-i-use-the-torch-repl-for-debugging
    require 'trepl'
    restoreGlobals = restoreGlobals or false

    -- optionally make a shallow copy of _G
    local oldG = {}
    if restoreGlobals then

matthewaveryusa

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <linux/input.h>
#include <time.h>
#include <stdint.h>

int main(int argc, char* argv[]){ 
  sleep(1);

zehnpaard

(ns simple-hiccup.core
  (require
    [ring.adapter.jetty :refer [run-jetty]]
    [simple-hiccup.middleware :as m]
    [simple-hiccup.routes :as r]
  ))

(def app
  (-> r/routes
      m/logger

zacharycarter

Binding to C Libraries with Nim

---

Table of Contents

• Introduction
• C2Nim
• The C Preprocessor
• Pragmas

aslafy-z

Dependencies

• playonlinux
• lib32-libldap, lib32-gnutls (multilib needed)
• ttf-ms-fonts
• Battle.Net client from this webpage https://us.battle.net/account/download/ (windows version)

Installation

• Open PlayOnLinux

dentechy

How to automatically start ssh server on boot on Windows Subsystem for Linux

Microsoft partnered with Canonical to create Bash on Ubuntu on Windows, running through a technology called the Windows Subsystem for Linux. Below are instructions on how to set up the ssh server to run automatically at boot.

1. Edit the /etc/ssh/sshd_config file by running the command sudo vi /etc/ssh/sshd_config and do the following
   1. Change Port to 2222 (or any other port above 1000)
   2. Change PasswordAuthentication to yes. This can be changed back to no if ssh keys are setup.
2. Restart the ssh server:
   • sudo service ssh --full-restart
3. With this setup, the ssh server must be turned on every time you run Bash on Ubuntu on Windows, as by default it is off. Use this command to turn it on:

t184256

#!/usr/bin/python3

# CC0, originally written by t184256.

# This is an example Python program for Linux that remaps a keyboard.
# The events (key presses releases and repeats), are captured with evdev,
# and then injected back with uinput.

# This approach should work in X, Wayland, anywhere!

pinge

mounting iPhone storage in Ubuntu 16.04 LTS

check if your device was recognized correctly

$ dmesg | grep ipheth
[62051.385352] ipheth 1-5:4.2: Apple iPhone USB Ethernet device attached
[62051.385437] usbcore: registered new interface driver ipheth

create mounting point and make it writable (optional)

y0ngb1n

Docker Hub 镜像加速器

国内从 Docker Hub 拉取镜像有时会遇到困难，此时可以配置镜像加速器。

Dockerized 实践 https://github.com/y0ngb1n/dockerized

1️⃣ Docker daemon 配置代理（推荐）

参考 Docker daemon 配置代理