ToDo:
あれは本当にガッカリする感じだったけど、「その質問には答えられませんという意味で「次の質問をどうぞ」と答えたのです。せめていつものように「お答えは差し控えます」と答えるべきでした。」とちゃんと書いてくれたのは良かった
まあいくつかの質問は別に答えられたんじゃ、という感はあるわけだけど
(00:23)
なんと言うのかわからないけど、制約があるということを教えてもらった。いや何か制約があるから型が決定可能になってる、みたいな話は何度か聞いたことがあるんだけど、具体的な例は(見たことがなかった|忘れてた)
# let choose x y = if true then x else y;; val choose : 'a -> 'a -> 'a = <fun> # let id x = x;; val id : 'a -> 'a = <fun> # let cii = (choose id) id;; val cii : '_a -> '_a = <fun>
ここで cii は true ? id : id の結果なので、当然 id と同じものであって欲しい。 id はこういう感じで色んな型の引数を受けつけられる
# id 1;; - : int = 1 # id true;; - : bool = true
cii もそう期待したくて、
# cii 1;; - : int = 1
よしよし、と true を適用すると
# cii true;; Error: This expression has type bool but an expression was expected of type int
怒られる。ここで id と cii の型を見ると
# id;; - : 'a -> 'a = <fun> # cii;; - : int -> int = <fun>
と、 cii の方は int に確定してしまっている。これが 'a と '_a の違いらしく、前者は ∀a がついてて、後者は ∃a がついてる感じぽい。
全ての型を受けつけられるけど、一回特定の型相手に使うと型が確定しちゃうものとして、 ref None とかがあるよ、と教えてもらった。
# let a = ref None;; val a : '_a option ref = {contents = None} # a := Some 3;; - : unit = () # a;; - : int option ref = {contents = Some 3}
なるほどねえ。型とかちゃんとやってる人には常識なんだろうけど、なるほどなあと思った
最後に id と cii は型が違うにも関わらず、比較ができてかつ true になる
# id == cii;; - : bool = true
これはなんかちょっと違和感あるな…実体が1つしか無いのはそうなのだろうけど。
あと多相な関数の比較ちょっと面白いな…こういうことができるのね
# id;; - : 'a -> 'a = <fun> # let func x y = fun a -> y;; val func : 'a -> 'b -> 'c -> 'b = <fun> # id == func;; - : bool = false
(19:50)
https://twitter.com/imos/status/1071956164554907649
https://twitter.com/takoratta/status/1072310507430969345
https://twitter.com/kotarok/status/1072337858319519746
これ、理解はできるけど、共感できないんだよなあ。
まあそりゃそんなことはみんなわかってて、新環境でも適用可能な美点は広めていきましょう、て話なんだとは思う。正解の「一つ」と言ってるのもそういう意識だと思うし。からまあ理解はできるんだけど
共感できないのはなんというか、全然違う正解を見てみたくもあるよなぁ、て感じかなあ
とか言いつつ、今日も abseil 押しとか hermetic 押しをしてしまってね……
(21:45)
https://saneyukis.hatenablog.com/entry/2018/12/10/005530
いくつか眺めて、この記事が一番良かった。あとそこからリンクされてた
https://blog.mozilla.org/blog/2018/12/06/goodbye-edge/
を見て、まあたしかに脱 Chromium と Google search はアリかもなあとか思った。どっちから試そうか
(22:05)
少し前に全部売った。僕は基本もらった株はなるべくすぐ売る、という方針だった。売る派の論理として、「単純に同じ額の現金をもらったとして、あなたなら自分の会社の会社の株を買うのか?」というものがあり、僕もこの論理を信奉していたのだった。
在職中、リーマンショックから回復した後の株価は基本右肩上がりだったので、結果論としては、今までの売り判断は全て、正しくないものだったと言える(ごく最近のものはまだ結論が出てないけど)
で、記念に途中で一回も売らなかったら……というのを計算してみて、計算間違ってなければ3k万円くらいかわってないかコレ、てなった
(19:49)
https://www.vusec.net/projects/eccploit/
やっと読んだ。途中に出てくる動画がすごくクール。メモリ抜き挿ししてて、ファミコンのテニスちゃうねんぞと
The final step がイマイチピンと来なかった。 rowhammer てもっと適当に確率的に flip するイメージだったのだけど、もともと、ダメな bit は叩けば確実に flip する、ていうような種類のものだった、てことなのかな
(21:04)
はやってるなぁ
https://twitter.com/tokoroten/status/1069779048199413760
たしかにこの発言はどうかとも思うんだけど、グーグルも偉い人は何も言ってないけどなんか言ったような気がする発言ばかりしてたイメージがあるので、まあ日本メーカーに特有のなにか……とかではないような気がする
(01:21)
https://www.gizmodo.jp/2018/11/netflix-way.html
企業文化というとこの記事、すごい面白かった
タイトルとか事前に聞いた話とかでは、昔の MS でイメージするような陰湿な過度の競争社会なのかな?て感じだったけど、全然陰湿でなかった。なんというか過度な競争社会 2.0 みたいな……
(01:23)
https://www.windowscentral.com/microsoft-building-chromium-powered-web-browser-windows-10
なんだかすごい話だな
なんだか沈んだ会社だと思ってたのにまた Apple 抜いたってのもすごい話だと思うけど。なんか一時期の IBM みたいな不思議さがある
(01:35)
https://blog.shikoan.com/meti-ask/
kaggle で TSA がコンテストやってるみたいなの、日本でもあるといいんじゃないの、とか言ってたら日本にもあるみたいなこと言われて、これかと思った
しかし、この記事からとは、あまりよくない出会い方だった
(22:08)
最初はダメージ入れなくて良い。デバフも無視してゲージ稼ぐ
超弱移行時の時に超絶の更新をすると良い
(04:12)
前 | 2024年 5月 |
次 | ||||
日 | 月 | 火 | 水 | 木 | 金 | 土 |
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。
_ morrita [Duck.com 記念に ddg にしよう! https://news.ycombinator.com/item?..]
_ shinh [了解です。よく考えるとパスワードマネージャでロックインされてる気がするのと、そういえばサーチに不満があったことを思い..]