myuon

import init.setoid
import data.set
open set

structure category [class] :=
  (obj : Type)
  (hom : obj → obj → Type)
  (id : ∀ (x : obj), hom x x)
  (comp : ∀ {a b c : obj}, hom b c → hom a b → hom a c)
  (assoc : ∀ {a b c d} {f : hom a b} {g : hom b c} {h : hom c d},

azu

開発セットアップパターン

Dependencies

• Git
• https://github.com/github/hub
• https://github.com/motemen/ghq
• https://github.com/simonwhitaker/gibo
• https://github.com/blaix/license-generator
• https://github.com/azu/init-package-json-parcel

stevenschobert

tell application "System Events" to tell process "Mail"
	set mainWindow to a reference to the first window
	set rootSplitter to a reference to the first splitter group of the mainWindow
	set firstSplitter to a reference to the last splitter group of the rootSplitter
	set scrollArea to a reference to the last scroll area of the firstSplitter
	set scrollGroup to a reference to the first group of the scrollArea
	
	if number of groups of the scrollGroup is greater than 1 then
		set maybeRemoteContentGroup to a reference to the first group of the scrollGroup
		

nishimotz

Python で音響信号処理 spectrum.py

2016-07-16 Takuya Nishimoto (@24motz)

広島版IoT縛りの勉強会! IoTLT広島 vol.2

• http://iotlt.connpass.com/event/33441/

$ sudo apt-get install portaudio19-dev python-dev
$ curl https://bootstrap.pypa.io/get-pip.py | sudo python

takaxp

;; .emacs/init.el の先頭に記述
(defconst before-load-init-time (current-time))
(defun my:init-loading-time ()
  "Loading time of user init files including time for `after-init-hook'."
  (let ((time1 (float-time
                (time-subtract after-init-time before-load-init-time)))
        (time2 (float-time
                (time-subtract (current-time) before-load-init-time))))
    (message (concat "Loading init files: %.0f [msec], "
                     "of which %.f [msec] for `after-init-hook'.")

takaxp

#!/bin/sh

# exec cd ~/.emacs.d && cask upgrade-cask if you upgrade cask itself.

CASKPATH=~/.emacs.d/.cask
#VERSION=24.5.1
#VERSION=25.0.95.1
VERSION=25.1.1
SUBDIR=package
BACKUPDIR=~/Dropbox/backup

niwatako

struct ProfileResponse: APIResponse {
    let name: String
    let age: Int
    init(json: JSONObject) throws {
        name = try json.get("name")
        age = try json.get("age")
    }
}

protocol APIEndpoint {

nishimotz

r7kamura

version: "2"
services:
  node:
    build:
      context: ./
      dockerfile: docker/node/Dockerfile
    volumes:
      - ./client:/app/client
      - ./yarn.lock:/app/yarn.lock
      - node_modules:/app/node_modules

norio-nomura

Reproducing steps:

1. launch Swift REPL in terminal
2. paste enum 🤔 { case 👶🏻, 👴🏻 }
3. exit Swift REPL
4. launch Swift REPL again

Actual log:

➜  11:48:39  TOOLCHAINS=org.swift.3020170323a swift
Welcome to Apple Swift version 3.1-dev (LLVM a95654d887, Clang 4a3ce873fe, Swift 3061ba06f8). Type :help for assistance.