思ってたんとかなり違ったのでいいやって感じ。キャラ名だけ借りた別物っぽい

RE: https://misskey.io/notes/9l1f0xii9t

どこも大変そう (こなみ)

This account is not set to public on notestock.

This account is not set to public on notestock.

今日の仕事終わり

Levy 先生の Call-By-Push-Value とかぜひ読んでほしいけど、読めるかどうかは別なんだよなあ

おすすめ (多分それ読むために別の本と論文何個か読む必要がある)

おすすめの論文あります？に答えられる候補が、formal type system 触れてる経験あるか、rewrite system 触れてる経験あるか、categorical semantics 触れてる経験あるか、GC とか I/O manager 弄ったことあるか、リンカ弄ったことあるか、アセンブリ弄ったことあるか、Linux kernel 弄ったことあるか、みたいな前提を当然に要求してくるものたちで答えに窮する問題な

パンデ新たなる試練で、毎ゲームサンチアゴが出続けたの、絶対許さないからな

おすすめボドゲを探す旅

Threads 息しとるん？ AP 対応まだ？

X の有料化、別に金払うんだったら AP でいっかになっちゃったから...

X (旧 Twitter)、他の人が生きてるかが TL 見たら分かる点が連絡手段として便利だったんだが、みんな ROM 専になっちゃったらその利点も無くなっちゃう

だから、勝手にやってる人が責任を持ってメンテしなきゃいけなくなるんだよな。勝手にやってる人は勝手にやれる環境にするには、勝手にやってる人の資産だけに頼らざるを得ない状況から脱すれば良いが、そこが難しそう

結構 OSS メンテナとメンテナじゃない人 (コントリビュータも含む) で、OSS に対する捉え方が違うよな。それはそれとして、ビジネスを OSS でやっていく文化も作っていけるといいよなとは思う。大体どこも似たようなことやってんのにコードの秘匿は進んでて、それはコード公開にコストがかかるのが悪い感はある

もちろん、承認欲求とか義務感で公開してる人もいるけど

OSS、基本ビジネスではないので、別に使ってもらえなくて良いという人はいて、そこがビジネス的価値観と文化の違いを感じるとこかも。単にコード共有と意見もらうために公開してるのであって、それを勝手に使う人がいるだけという

OSS メンテナ、割と「もう使ってやんないかんな」に「え、嬉しい」と思う人が一定数いる気がする

バリデーション結構簡単にすり抜けられる感じなんか？

各インスタンスの peer instance データ、かなり治安が悪くて草。host 名が punycode decode できなかったり、そもそも / とかユーザ ID 入ってたりするんだがw

bun はなんかたくさん IO task 生成するコード書いたら応答がなくなったので、大人しく Node.js 使ってる

こういうのがあるのか。DoS としては確かにかなり効果的だし、普通に AP レベルの脆弱性だな
https://github.com/mastodon/mastodon/issues/21977

終了まであと一日かかりそうな crawler を眺めながら、Fediverse は広大だわって言ってる

お腹減った。ご飯食べてないかもしれない