Jun Matsushita jmatsushita
jmatsushita
/ gist:406c2d9e31a7e4394af7
Last active
August 29, 2015 14:14
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
| { | |
| "@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
/ chimp log
Last active
December 4, 2016 12:17
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
| npm test 11:47:10 | |
| > [email protected] 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
/ gist:d0b0876e48e7a45f0f39d3d7863e5369
Created
March 30, 2017 09:31
EdX Devstack make devstack.provision log
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
| 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
/ gist:bfcea18fb5fe9b94a9b8ce47b4ac6d22
Created
March 31, 2017 09:34
make devstack.provision
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
| # 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
/ notifyapp.plist
Created
January 31, 2018 15:31
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
| <?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
/ detox.last_launch_app_log.err
Created
January 24, 2019 10:39
detox DYLD_INSERT_LIBRARIES https://github.com/wix/Detox/issues/1087
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
| 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
/ Main.purs
Created
July 1, 2020 16:24
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
| 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
/ Main.purs
Last active
July 2, 2020 11:54
Problem type checking with natural transformation in record type
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
| 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
/ Main.purs
Created
July 2, 2020 12:03
Problem type checking with natural transformation in record type
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
| 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
/ Comonadic notes
Created
July 18, 2021 16:03
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
| Comonadic explorations | |
| - Is day convolution as comonadic composition really free? What's the difference with Kenneth's Distribute based composition? | |
| - How do specific comonads compose? | |
| - cursors -> apart | |
| - The cursor like intuition, extended to a range, starts feeing exactly like a lens !? | |
| - If the data space has this comonadic structure, how does it compose with the ui components? | |
| - If we can model time also as a comonadic cofree module/pattern, how do we sync with an event loop? Seems like the shape of the time dimension(s?) define a clock type!!! Actions are a time dimension :O ?!? I think that's also the coeffect/effect dimension (tricky with cursors on data, does it depends on whether a query is sent or should we abstract that out?). | |
| - Chris's Zippers feel like Pairing |