Skip to content

Instantly share code, notes, and snippets.

View jmatsushita's full-sized avatar

Jun Matsushita jmatsushita

122 followers · 76 following
View GitHub Profile
@jmatsushita
jmatsushita / Main.purs
Last active July 2, 2020 11:54
Problem type checking with natural transformation in record type
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)
data Nat m n = Nat (m ~> n)
data NatR m n = NatR { nat :: (m ~> n) }
@jmatsushita
jmatsushita / Main.purs
Created July 1, 2020 16:24
module Main where
import Prelude
import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)
data Nat m n = Nat (m ~> n)
@jmatsushita
jmatsushita / detox.last_launch_app_log.err
Created January 24, 2019 10:39
detox DYLD_INSERT_LIBRARIES https://github.com/wix/Detox/issues/1087
more /Users/jmatsushita/Library/Developer/CoreSimulator/Devices/D217D90E-9017-43C6-8FA3-E17C1870E7B0/data/tmp/detox.last_launch_app_log.err
dyld: loaded: /Users/jmatsushita/Library/Developer/CoreSimulator/Devices/D217D90E-9017-43C6-8FA3-E17C1870E7B0/data/Containers/Bundle/Application/6962C310-5B38-4212-A5F9-012A660636DC/example.app/example
dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/usr/lib/libc++.1.dylib
dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/System/Library/Frameworks/Foundation.framework/Foundation
dyld: loaded: /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/Library/CoreSimulator/Profiles/Runtimes/iOS.simruntime/Contents/Resources/RuntimeRoot/usr/lib/libobjc.A.dylib
dyld: loaded: /Applications/Xcode.
@jmatsushita
jmatsushita / notifyapp.plist
Created January 31, 2018 15:31
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>items</key>
<array>
<dict>
<key>assets</key>
<array>
<dict>
@jmatsushita
jmatsushita / gist:bfcea18fb5fe9b94a9b8ce47b4ac6d22
Created March 31, 2017 09:34
make devstack.provision
# make devstack.provision
./provision.sh
Creating network "devstack_default" with the default driver
Creating volume "devstack_mysql_data" with default driver
Creating volume "devstack_mongo_data" with default driver
Creating volume "devstack_elasticsearch_data" with default driver
Creating edx.devstack.mongo
Creating edx.devstack.mysql
Waiting for MySQL
........MySQL ready
@jmatsushita
jmatsushita / gist:d0b0876e48e7a45f0f39d3d7863e5369
Created March 30, 2017 09:31
EdX Devstack make devstack.provision log
make devstack.provision
./provision.sh
Creating network "devstack_default" with the default driver
Creating volume "devstack_mysql_data" with default driver
Creating volume "devstack_mongo_data" with default driver
Creating volume "devstack_elasticsearch_data" with default driver
Creating edx.devstack.mysql
Creating edx.devstack.mongo
Waiting for MySQL
........MySQL ready
@jmatsushita
jmatsushita / chimp log
Last active December 4, 2016 12:17
npm test  11:47:10
> tests@0.0.1 test .../tests
> chimp --offline --debug --host=seleniumhub.myhost.org --port=4444 --noSessionReuse
[chimp] loaded .../tests/chimp.js
[chimp] Chimp options are { watch: false,
watchTags: '@watch,@focus',
domainSteps: null,
e2eSteps: null,
@jmatsushita
jmatsushita / gist:406c2d9e31a7e4394af7
Last active August 29, 2015 14:14
{
"@context": {
"name": "https://openintegrity.org/ns",
"entry": "https://openintegrity.org/ns/entry",
"platform": "https://openintegrity.org/ns/platform",
"score": "https://openintegrity.org/ns/score",
"policy": {
"@id":"https://openintegrity.org/ns/policy",
"@type": "https://openintegrity.org/ns/score/value"
},
@jmatsushita
jmatsushita / vm-resize-hard-disk.md
Last active August 29, 2015 14:10 — forked from christopher-hopper/vm-resize-hard-disk.md
@jmatsushita
jmatsushita / gist:74c5a0bb4587cf4b5489
Last active August 29, 2015 14:05
//setup
[source,cypher]
----
CREATE
(_1 {name:"asfd asdf"}),
(_2 {name:"Aker Solutions"})
----
//graph