y-yu

# 参考：http://ydal.de/vimium-mapping-for-dvorak-layouts/

unmapAll

map r reload
map x removeTab
map u restoreTab
map t scrollDown
map n scrollUp
map h scrollLeft

y-yu

sequenceDiagram autonumber
    actor ユーザー
    ユーザー ->> サービス: メール送って！
    サービス -->> ユーザー: OAuth的なマジックリンクを送信
    ユーザー ->> メールプロバイダー: リンクにアクセス
    メールプロバイダー -->> ユーザー:「○○（サービス）がメールを送ろうとしています」
    alt 許可
      メールプロバイダー -->> サービス: リダイレクトで`code_verifier`的なものを送信
 サービス ->> メールプロバイダー: `access_token`でホワイトリスト登録

y-yu

nextpair (@z ->) (-> @y) = @z -> unpair (fst:-> @f) (snd:-> copy (-> id ->:fst) (-> + @f ->:snd) pair -> @y)
next (@x ->) (-> @y) = nextpair (fib (@x - 1)) -> @y
fib (@x ->) (-> @y) = @x -> if (@x == 0 || @x == 1) (then:-> (1, 1) ->) (else:-> next ->) merge -> @y

:{
@x'0 -> fib -> unpair (fst:-> @t) (snd:-> output)
@x'0 + 1 -> @x
:}

y-yu

JavaScriptの継承について

全然理解出来てなかったので調べてみた。

経緯

function f () {
	// Class
}

y-yu

Keybase proof

I hereby claim:

• I am y-yu on github.
• I am yyu (https://keybase.io/yyu) on keybase.
• I have a public key ASA29kppYrs84fsXeT9qihzr8-1L7A33xqHeHHSYvoxVcQo

To claim this, I am signing this object:

y-yu

from math import sqrt
from graphillion import GraphSet as gs

universe = [
  # 1
  ('1', '2', 1.0),
  ('1', '4', 1.0),
  ('1', '5', sqrt(2)),
  ('1', '6', sqrt(3)),
  ('1', '8', sqrt(3)),

y-yu

slick-joda-mapperの動作がおかしそう

概要

• tototoshi/slick-joda-mapper#30 でCalenderを使う実装がはいった
• 具体的なところはmysql-connector-javaの実装による疑惑があるが、setTimestampでCalendarを渡すと実際にDBに対して発行されるINSERTなどのクエリーの時間の表現が変化すると思われる

  • Calendarオブジェクトを使用すると、ドライバはカスタム・タイムゾーンを考慮してタイムスタンプを計算できます。

  • https://docs.oracle.com/javase/jp/8/docs/api/java/sql/PreparedStatement.html#setTimestamp-int-java.sql.Timestamp-java.util.Calendar-
• ただ👇下記のようにタイムゾーンを変更した時間をDBに入れるテストを追加するとCalendarを利用するとおかしなことが起きてしまう
  • https://github.com/tototoshi/slick-joda-mapper/compare/master...y-yu:slick-joda-mapper:xuwei-k-setDateTime-with-test

y-yu

from charm.toolbox.ecgroup import ECGroup, G, ZR
from charm.toolbox.eccurve import prime192v1, prime192v2
from charm.core.math.integer import integer, toInt
import random
from functools import reduce

# utility functions

def random_point(group):
    return group.random(G)

y-yu

from charm.toolbox.integergroup import IntegerGroupQ
from charm.core.math.integer    import toInt

import random
from functools import reduce

group = IntegerGroupQ()
group.paramgen(512)
cards = 52

y-yu

;; For Satyrographos 0.0.2 series
(version 0.0.2)

;; Library declaration
(library
  ;; Library name
  (name "satysfi-start")
  ;; Library version
  (version "1.0.0")
  ;; Files