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

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

;; 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

y-yu

package example

import com.google.inject._
import javax.inject.Inject

// javap
// public example.B1(java.lang.String, example.A<scala.collection.immutable.List>);
class B1 @Inject() (x: String, y: A[List])

// javap

y-yu

struct Cont<A, B> {
    var run: ((A) -> B) -> B
    var flatMap: (A) -> Cont<A, B> {
        get {
            fatalError()
        }
        _modify {
            let that = self
            var f: (A) -> Cont<A, B> = { (a: A) -> Cont<A, B> in that }
            yield &f

y-yu

struct Cont<A, B> {
    var run: ((A) -> B) -> B
    var flatMap: (A) -> Cont<A, B> {
        get {
            fatalError()
        }
        _modify {
            let that = self
            var f: (A) -> Cont<A, B> = { (a: A) -> Cont<A, B> in that }
            yield &f

y-yu

yyu $ adb shell pm list packages | grep line
package:jp.naver.line.android
package:com.linepaycorp.talaria

yyu $ adb shell pm path jp.naver.line.android
package:/data/app/jp.naver.line.android-WMJPtbQ6zTtdliMDJ2oK3A==/base.apk
package:/data/app/jp.naver.line.android-WMJPtbQ6zTtdliMDJ2oK3A==/split_config.arm64_v8a.apk

yyu $ adb pull /data/app/jp.naver.line.android-WMJPtbQ6zTtdliMDJ2oK3A==/base.apk
/data/app/jp.naver.line.android-WMJPtbQ6zTtdliMDJ2oK3A==/base.apk: 1 file pulled. 32.9 MB/s (71414033 bytes in 2.071s)