今使っている SH-M05 のバッテリーがだめになったので Sharp AQUOS sense4 SH-M15 を購入。
最近固定電話も解約したし電話もういらない気がするのだけど、２段階認証でスマホは必要だからしかたないね。バッテリーが理由で機種交換せざるを得ないのはだめだめだけど。
LastPass のアプリが LastPass Password Manager と LastPass Authenticator の２つあるのに気づかなくて２段階認証の移行につまずいたこと以外は、すんなりと機種変更できた。
Sycom さんで新しい PC を購入した。
python
開発環境
プロジェクトの作成
mkdir project
cd project
git init
python3 -m venv venv
source venv/bin/activate
pip install jedi rope flake8 autopep8 yapf black
emacs
auto-virtualenvwrapper, elpy をインストール(require 'auto-virtualenvwrapper)
(add-hook 'python-mode-hook #'auto-virtualenvwrapper-activate)
(add-hook 'projectile-after-switch-project-hook #'auto-virtualenvwrapper-activate)
(advice-add 'python-mode :before 'elpy-enable)
https://stackoverflow.com/questions/3327312/how-can-i-drop-all-the-tables-in-a-postgresql-database https://stackoverflow.com/questions/649246/is-it-possible-to-create-a-multi-line-string-variable-in-a-makefile Makefile から PostgreSQL の全テーブルを削除する
define DROP_ALL_TABLES
DO $$$$ DECLARE
r RECORD;
BEGIN
-- if the schema you operate on is not "current", you will want to
-- replace current_schema() in query with 'schematodeletetablesfrom'
-- *and* update the generate 'DROP...' accordingly.
FOR r IN (SELECT tablename FROM pg_tables WHERE schemaname = current_schema()) LOOP
EXECUTE 'DROP TABLE IF EXISTS ' || quote_ident(r.tablename) || ' CASCADE';
END LOOP;
END $$$$;
endef
export DROP_ALL_TABLES
drop_all_tables:
echo "$$DROP_ALL_TABLES" | sudo -u postgres psql target_database
https://github.com/quek/cocsan-purescript Halogen はぜひ v5 系を使いたい。 Child component addressing (H.slot) がきれいになっている。 purescript-halogen-realworld を持って来て Webpack 化した。 js でログイン処理と一緒にやっちゃう。ログインできたら PureScript の main を呼ぶ。 Firestore.purs 必要最低限なものだけ。 js のクラス毎にモジュールを分けた方がいいだろうか? id, get など名前がかぶるから。 purescript-halogen-realworld は Hash ベースだったけど History API ベースで実装した。 purescript-halogen-realworld がやっているようにモナドを作る（?） AppM.purs Global Message passing inside Purescript Halogen - DEV Community あと Main で PopStateEvent を監視する。 file-loader が処理した画像ファイル名を使いたいのでこんなふうにした。ちょっとめんどい。もっといい方法ないかな。 Assets.js Assets.purs PureScript + Halogen + Firebase で簡単なものを作った
version
参考にすべきもの
build
Firebase
初期化
/__/firebase/init.json を使うコードあまり見かけないけど環境ごとの設定ファイルが不要になるので便利。fetch('/__/firebase/init.json')
.then(response => {
return response.json();
})
.then(config => {
firebase.initializeApp(config);
firebase.auth().onAuthStateChanged(function(user) {
if (user) {
require('./Main').main();
} else {
const provider = new firebase.auth.GoogleAuthProvider();
firebase.auth().signInWithRedirect(provider);
}
});
});
ffi
ルーティング
class Monad m <= Navigate m where
navigate :: MyRoute -> m Unit
instance navigateHalogenM :: Navigate m => Navigate (H.HalogenM st act slots msg m) where
navigate = lift <<< navigate
instance navigateAppM :: Navigate AppM where
navigate route = do
globalMessage <- asks _.globalMessage
liftAff $ put (NavigateG route) globalMessage
handleAction :: Action -> H.HalogenM State Action ChildSlots o m Unit
handleAction = case _ of
Initialize -> do
logMessage "初期化 Routing.purs"
path <- H.liftEffect $ window >>= location >>= pathname
updateRoute path
void $ H.fork globalMessageLoop
globalMessageLoop = do
globalMessage <- asks _.globalMessage
query <- H.liftAff $ AVar.take globalMessage
case query of
NavigateG route -> do
pushState route
H.modify_ \st -> st { route = route }
pure unit
globalMessageLoop
pushState route = do
pushStateInterface <- asks _.pushStateInterface
H.liftEffect $ pushStateInterface.pushState (unsafeToForeign {}) $ routeToPath route
updateRoute path = do
case match myRoute path of
Right newRoute -> do
H.modify_ \st -> st { route = newRoute }
Left e -> H.liftEffect $ log e
-- A producer coroutine that emits messages whenever the window emits a
-- `hashchange` event.
popStateProducer :: Coroutine.Producer HCE.PopStateEvent Aff Unit
popStateProducer = CoroutineAff.produce \emitter -> do
listener <- eventListener (traverse_ (emit emitter) <<< HCE.fromEvent)
liftEffect $
window
>>= Window.toEventTarget
>>> addEventListener HCET.popstate listener false
-- A consumer coroutine that takes the `query` function from our component IO
-- record and sends `ChangeRoute` queries in when it receives inputs from the
-- producer.
popStateConsumer
:: (forall a. Routing.Query a -> Aff (Maybe a))
-> Coroutine.Consumer HCE.PopStateEvent Aff Unit
popStateConsumer query = CR.consumer \event -> do
path <- liftEffect $ window >>= location >>= pathname
H.liftEffect $ log path
void $ query $ H.tell $ Routing.ChangeRoute path
pure Nothing
main :: Effect Unit
main = HA.runHalogenAff do
globalMessage <- AVar.empty
pushStateInterface <- H.liftEffect $ makeInterface
let
environment = { globalMessage, pushStateInterface }
component = H.hoist (runAppM environment) Routing.component
body <- HA.awaitBody
io <- runUI component unit body
Coroutine.runProcess (popStateProducer Coroutine.$$ popStateConsumer io.query)
画像ファイル
const ASSETS = {
'1.png': require('./assets/1.png')
};
exports.assets = function(name) {
return ASSETS[name];
};
module Assets where
foreign import assets :: String -> String
import Assets (assets)
render _ = HH.img [ HP.src $ assets "1.png" ]
Emacs Muse で書いて、Common Lisp 経由で Blogger に投稿する ↑ を書き直した。 Markdown を HTML にするのに Grip を使う。そのインストールとセットアップ。 ~/.emacs Grip で出力される HTML の css を Blogger のテンプレに入れておく。 こんな感じ以前のように動くようになった。
ドキュメントは修正してない。 Markdown で書いて Common Lisp 経由で Blogger に投稿する
pip3 install grip
~/.local/bin/grip --version
(setq markdown-command "~/.local/bin/grip --export - -")
Common Lisp で css を書く時に #000 などどう書けばいいか悩んでいたけど、バックスラッシュでエスケープすればいい、という結論にたどりついた。
そんなわけでやっと書けた。 https://github.com/quek/info.read-eval-print.css
(in-package :info.read-eval-print.css) (with-output-to-string (*css-output*) (css `((\#foo :color \#ccc (.bar :margin 1px 2px 0 0 :font-size 12px)) (a\:hover :color yellow)))) ;;⇒ "#foo{color:#ccc;} ;; #foo .bar{margin:1px 2px 0 0;font-size:12px;} ;; a:hover{color:yellow;}"
先日、新しいおもちゃ買った。
Emacs に "Package iswitchb is obsolete!" と言われたので icomplete-mode にかえた。
;; バッファの切り替え
;;(iswitchb-mode 1)
(icomplete-mode 1)
(define-key icomplete-minibuffer-map [?\C-i] 'minibuffer-force-complete)
;(define-key icomplete-minibuffer-map [?\C-m] 'minibuffer-force-complete-and-exit)
(define-key icomplete-minibuffer-map [?\C-s] 'icomplete-forward-completions)
(define-key icomplete-minibuffer-map [?\C-r] 'icomplete-backward-completions)
この設定であまり違和感なく使えるようになった。
Slime みたいにもって適当に入力しても補完してくれるといいんだけどね。
Stumpwm の contrib がなくなっと思ったら、別リポジトリになってたのね。
quicklisp には入ってないようなので、自分で git clone する。
cd ~/quicklisp/local-projects
git clone https://github.com/stumpwm/stumpwm-contrib.git
~/.stumpwmrm に次を追加。
(setf stumpwm::*contrib-dir* (pathname "~/quicklisp/local-projects/stumpwm-contrib/"))
(init-load-path stumpwm::*contrib-dir*)
Angular.js CoffeeScript Controller Base Class - Devign に書いてあるとおり。
inject や initialize のとこをちょこっと変えて、こんな感じになった。
AuthedCtrl を継承していれば $scope にログインユーザが自動的にセットされる。本番は mixin 自にやりたいけどそれはまた今度で。
class @BaseCtrl
@register: (name) ->
name ?= @name || @toString().match(/function\s*(.*?)\(/)?[1]
angular.module('ngappApp').controller name, @
@inject: (args...) ->
@$inject ?= ['$scope']
@$inject = @$inject.concat args
constructor: (@scope, args...) ->
for key, index in @constructor.$inject[1..]
@[key] = args[index]
for key, fn of @constructor.prototype
continue unless typeof fn is 'function'
continue if key in ['constructor', 'initialize'] or key[0] is '_'
@scope[key] = fn.bind?(@) || _.bind(fn, @)
@initialize()
initialize: ->
class @AuthedCtrl extends BaseCtrl
@inject 'AuthService'
initialize: =>
super()
@AuthService.user (user) =>
@currentUser = user
@scope.currentUser = user
class VacationsCtrl extends AuthedCtrl
@register()
@inject 'Vacation'
initialize: =>
super()
@scope.vacations = @Vacation.query()
@scope.vacation = new @Vacation
create: =>
console.debug(@scope.vacation)
@scope.vacation.$save (v) =>
console.debug(v)
@scope.vacations.push(v)
@scope.vacation = new @Vacation
いまさらながら AngularJS をさわってみたけど、 C と VB で書いてたむかしながらサーバクライアントアプリみたいで、ちょっと楽しい。
あるいは継続を使った web フレームワークのサーバ処理がごっそりクライアントサイドに移った感じ。
http://www.erlang.org/doc/apps/ssl/ssl_distribution.html に書かれているとおり。
/usr/lib/erlang/releases/17 にあるファイルをネタに次のファイルを作成。
start_ssl.rel
{release, {"Erlang/OTP","17"}, {erts, "6.1"},
[{kernel,"3.0.1"},
{stdlib,"2.1"},
{sasl, "2.4"},
{asn1, "3.0.1"},
{crypto, "3.4"},
{public_key, "0.22"},
{ssl, "5.3.5"}
]}.
boot ファイルを作成
systools:make_script("start_ssl",[]).
/home/ancient/letter/erlang/ssl/erlserver.pem にはサーバ証明書と鍵を書いておく cat pem key > erlserver.pem なイメージ
起動
erl -boot /home/ancient/letter/erlang/ssl/start_ssl -proto_dist inet_tls -ssl_dist_opt server_certfile "/home/ancient/letter/erlang/ssl/erlserver.pem" -ssl_dist_opt server_secure_renegotiate true client_secure_renegotiate true -sname ssl_test
erl -boot /home/ancient/letter/erlang/ssl/start_ssl -proto_dist inet_tls -ssl_dist_opt server_certfile "/home/ancient/letter/erlang/ssl/erlserver.pem" -ssl_dist_opt server_secure_renegotiate true client_secure_renegotiate true -sname ssl_test2
(ssl_test2@yarn)8> net_kernel:connect_node(ssl_test@yarn).
true
(ssl_test2@yarn)9> nodes().
[ssl_test@yarn]
ふと気付いた。ssl じゃなくて ssh でやりたかった。
ren に Clojure のマルチメソッドみたなものを実装してみた。
:g length dup type-of ;
:m length (( list )) erlang:length/1 ;
:m length (( tuple )) erlang:size/1 ;
:m length (( binary )) erlang:size/1 ;
:m length (( map )) erlang:map_size/1 ;
:g でジェネリックファンクションを定義する。やってることはスタックトップのオブジェクトのタイプをスタックにつむだけ。 :m でメソッドを定義する。スタックトップにつまれたタイプでパターマッチングしている。
Erlang にもマップが導入された。それを使ってこんなふうに OO っぽいことをやってみた。継承をどうするかが悩ましい。
:g + over type-of over type-of ; # x y -- x y type-of-x type-of-y
:m + (( integer _ )) erlang:+/2 ;
:m + (( float _ )) erlang:+/2 ;
:m + (( list list )) erlang:++/2 ;
: point{ ( 'point >typed-map ) '{ ;
:m + (( #{ x X1 y Y1 } #{ x X2 y Y2 } point point ))
point{ 'x X1 X2 + 'y Y1 Y2 + }
;
point{ 'x 1 'y 2 } point{ 'x 3 'y 4 } +
# => #{'-type-' => point,x => 4,y => 6} Erlang の出力のまま
Erlang ではほとんど関数引数のパターマッチでプログラムが書ける。それを連鎖性言語でやろうとするとデータスタックに対するパターンマッチになる。
Factor だと http://docs.factorcode.org/content/article-locals-examples.html な感じでいろいろできるようではあるが、とりあえず dup 等をそんな感じで実装してみた。
: drop (( _ )) ;
: dup (( X )) X X ;
: swap (( X Y )) Y X ;
: over (( X Y )) X Y X ;
: rot (( X Y Z )) Y Z X ;
: -rot (( X Y Z )) Z X Y ;
: nip (( _ X )) X ;
: tuck (( X Y )) Y X Y ;
わかりやすい。
reverse と map はこんな感じ
: reverse [] swap reverse' ;
: reverse'
(( [] ))
(( Acc [ H T .] )) [ H Acc .] T reverse'
: map [ -rot map' ; # list function -- [ list function
: map'
(( [] _ )) ]
(( [ H T .] F ))
H F call T F map'
そういえば case の書き方をかえたので、いま fib を書くとこうなる。
: fib
= N
N 2 =<
case
true
( 1 )
_
( N 1- fib N 2 - fib + )
;case
;
( ) でブロックというかクオートというかそんなものができる。 Factor の [ ] と同じようなもの。
( 1+ ) 100 swap call .
# => 101
1 10 ( + ) cons call .
# => 11
最近まったくブログ書いてなかった。できればまた書くようにしたい。
ちかごろまた Forth ライクな言語を作っている。名前は ren(仮)。chon を付けてもいいかもしれない。 Forth ライクな言語を作るのはこれで4つか5つめ。なんか Forth には思い入れがあるみたい。とても簡単に作れる、というのもある。
今回のは Erlang で書いている。ワードを Erlang の関数にコンパイルする。思えば Erlang もコンパイル関数があるいい言語だ。ワードを Erlang の関数にコンパイルし、呼び出しは普通の Erlang 関数と同じなのでリターンスタックがない。そこは残念なところ。パターンマッチングをきれいに取り込みたいけど、なかなかいい書き方を思い付かない。
いまの fib はこんな感じ。
: fib
= N
N 2 =<
case
true
1
;;
_
N 1- fib N 2 - fib +
;case
;
言語を実装するのは不毛な感じがするものの楽しいね。
SSD 買った。
Crucial M500 2.5インチ 内蔵型 SATA6Gbps 960GB CT960M500SSD1
起動が速っ! SBCL も速っ!
SSDOptimization - Debian Wiki を参別に設定。
マウントオプションに discard,noatime,commit=600 を付ける。/tmp を tmpfs にする。
sudo vi /etc/fstab
UUID=6a2b89d0-830d-4e8a-9e57-4d7de0426876 / ext4 discard,noatime,commit=600,errors=remount-ro 0 1
tmpfs /tmp tmpfs nodev,nosuid,size=40%,mode=1777 0 0
I/Oスケジューラ を変える。 deadline にするのがいいらしい。
sudo apt-get install sysfsutils sudo vi /etc/sysfs.conf
block/sda/queue/scheduler = deadline
echo deadline | sudo tee /sys/block/sda/queue/scheduler
cat /sys/block/sda/queue/scheduler
noop [deadline] cfq
あとなるべくスワップしないようにする。
sudo vi /etc/sysctl.d/local.conf
vm.swappiness=0
yarn:~% cat /tmp/a
1
2
3
yarn:~% strings /dev/urandom | grep -oE '\w{3}' | head -n `grep -c '' /tmp/a` |paste - /tmp/a
G0n 1
eIZ 2
vI5 3
