Pinned
たまに載せていたんですが、λCCの実装にチャレンジしていて、ようやくブラウザで動かせる状態にできました。
画像はさっそく 1 + 1 = 2 , x = y ⇒ y = x , そして帰納法で n + 0 = n を証明しているところ。
他にも例を色々用意しています。
スマホでも動きます。
lambda.luma.dev/cc
るま
28.9K posts
るま
@lumc_
るまとよぶのだ。
ZEN大学 B1
日常系はあっち
※引リツは返信等の意味は無いよ
※すべてのツイートはフィクションで予約投稿です
- yabai一択なんだよね(エンジニアしか使いこなせそう)
- このツイートの煽りによりハッシュ衝突が見つかったヤバいみたいになってるけど、MD5衝突はずっと前から見つかってるし、MD5をパスワードハッシュに使ってるのはソルト云々除いてそもそもヤバくてこのケースがあろうがなかろうが関係ない 元ツイートもfor funって言ってるしたった72文字でMD5が同じになる1文字しか変わらない文字列が発見されたらしい。 これの何がマズいかと言うと、これをパスワードに使えば『脆弱な実装かどうか』が調べられる。
- みんなGitHubの英語圏の会話をつよつよのカッチョイイ世界と思ってるかもしれないけど、締切に追われてるのに壊れたぜって無償でやってくれてるメンテナにブチギレてる人いたりで割とアレ
- ちょっとだけ思想を言えば、コミットの中身はコミット作成者が責任を持つべきで、gitignoreに入ってなくって入っちゃいました、のほうがうーん、という気持ちに。駆け出しエンジニアの皆さんはどのタイミングで.gitignoreに.DS_Storeを入れるということを学びましたか？（というか今知っていますか？）
- 指摘したら修正されることになったっぽい。 ECMAを…変えるきっかけに…！え？？ #ECMAScript、Array#sort も TypedArray#sort も安定でなければならないという要請があるが、 toSorted 側には両方ともなくないか？ いや、意図的かもと思ったけど周辺issue等みる感じ、抜けてるだけっぽそうじゃない？
- 最近はこれについてずっと考えている。 Rust以外に疲れてきたこと、Rustを信仰する人と働きたいということ(もしくは周りにも信仰してほしい)、シンプルにやはりRustを書きたいということ、などについて経営陣からすると特定の技術にこだわる人は扱いにくいことは理解しつつも、技術者としてはRustに全betしても問題ないだろうという確信があり、キャリアを考えた上でRust の経験を積みたいという感じなんですよね
