zerosum

Software Engeneer, Randonneur

[zerosum @zerosum_]

「備蓄米100%使用」という見たことない表記にわろてる

[zerosum @zerosum_]

https://t.co/FbhPWhxrHr
「余帰納型の unfold は停止しないのでは？」という疑問に対し、「任意の n について、余帰納型の n 番目の値が必ず得られる(停止する)」を保証するには、無限に生成できることを仮定することで任意の有限の n を指定できるという説明がアハ体験すぎた
#fp_matsuri

[zerosum @zerosum_]

「A であって、B を満たすようなもの」
〜であって、という言い回しって「主体を最初に言及して、修飾語句を後置する」という表現を日本語でとても頑張って構築しました、感があって好き
#fp_matsuri

[zerosum @zerosum_]

強関数型プログラミングディストピア
コンパイラ「停止性の保証は義務です。プログラマ、あなたのコードは必ず停止しますか？」
#fp_matsuri

[zerosum @zerosum_]

有限チューリングマシンの話？
#fp_matsuri

[zerosum @zerosum_]

circe の解説をされている気がしてきた
#fp_matsuri

[zerosum @zerosum_]

「実は "∈" ってギリシャ語の ε が由来なのでイプシロンって読むんですけど」
#fp_matsuri

[zerosum @zerosum_]

Scala の構造的部分型のことかしら？ > 拡張可能レコード
#fp_matsuri

[専門性・売上・原稿 @golden_lucky]

「やりたい」だけでなく「知りたい」もあるはずだよ！「やりたい」がない「知りたい」があってもいいんだよ！

[zerosum @zerosum_]

ヴィンランドサガで見たやつだ

[書くKOP @sygfff15]

ノルウェーとイングランドの対戦が決定！

この両国がぶつかるのはヤバすぎる。試合を楽しめるよう、両国の衝突の歴史について少し書きます、興味があれば

[zerosum @zerosum_]

こうなると古式ゆかしいマグネット式のスピードセンサーしか選択肢がなくなるのよね

[zerosum @zerosum_]

それはそうと、今発注しているリアホイールのハブ、ストレートプルタイプなのでフランジ間の寸法がめちゃめちゃ狭い予感があり、そもそもスピードセンサーの横幅がスポークに干渉する可能性さえあるな

[zerosum @zerosum_]

フランジ間の形状が単純な円筒じゃないハブにスピードセンサーをつけるときにシムが欲しくなる
形状さえしっかり計測できれば（一般的な知見がある前提で） 3D プリンタで出力したものが強度とシムの軽量化には効きそう

まあ 3D プリンタを持ってないので竹を削り出して使うのが DIY 的な解かな

[zerosum @zerosum_]

天幕のジャードゥーガルもアニメ化してるみたいだし今期はなかなか楽しみ

[zerosum @zerosum_]

ワールド イズ ダンシング、アニメ化してたん!?

[zerosum @zerosum_]

ブレーキローターも新調してるので、そのままインストールしたら普通にパッドと擦れた。ピストン押し戻さなきゃね

[zerosum @zerosum_]

これで Roubaix にダイナモ投入できる

[zerosum @zerosum_]

my new gear...

[FUNBARE☆さいのん @sayn0]

最近、掛け算順序問題は算数は「数式には文脈がある」とする公理系に基づいているとする主張であり、「数式には数式で表される以上の文脈はない」とする一般数学の公理系の立場で、公理系が違う理論同士で論じても結論が出ないのは当然なのではないか、と思いはじめてる。

[zerosum @zerosum_]

fp Kansai で耳にした依存型、よく分からなかったので軽く調べてみたら応用例として篩型のライブラリで見たことあるやつが出てきて、とりあえず完全に理解した
https://t.co/wTGQ7zdflo