atree @atree4728.bsky.social · 27/09/2026SKK の辞書に「/otaku → ㋔㋟㋗」が登録されていて、これってそんな一般的なネットミームなのかとビックリしていたら自分で登録しただけだった 010
atree @atree4728.bsky.social · 20/09/2026Arc の代わりで Zen を使っているんだが、拡張機能周りになるとやっぱり Chromium じゃないつらさがあり、、 250
atree @atree4728.bsky.social · 19/09/2026『超かぐや姫！』をやっと観た 作画はスーパー美麗だし音楽にも力が入っていて、観ていて気持ち良かった 一方で尺が足りておらず、物語としてはついていけない感じもあった印象（劇場版にするにあたっていろいろカットして総集編にしたんだなと思っていたら、そうではないらしい） 110
atree @atree4728.bsky.social · 18/09/2026Haskell の話：必要でないなら Monad を仮定しないという意味では >> よりも *> が好ましいが、演算子優先順位的には >> の方が見やすく（関数適用よりも弱く結合する）、葛藤がある 000
atree @atree4728.bsky.social · 30/08/2026PPL のチュートリアル面白そうだが，5000 円かかるんだよな…… 研究室に所属していると，こういうのとか学会の年会費って出るのかな 000
Reposted by atree品田遊（ダ・ヴィンチ・恐山） @shinadayu.bsky.social · 18/08/2026主語の設定がキモい五郎「子供にまだ食われとるでしょうが」 019616
atree @atree4728.bsky.social · 16/08/2026A Tour of Go に "in Go it is common to write methods that gracefully handle being called with a nil receiver" とあり、な～～～にが gracefully やねんとツッコんでいる 110
atree @atree4728.bsky.social · 15/08/2026KV260 買っちゃおうかな～と言ったり、お金がありませんと叫んだり、CPU 実験で Arty 借りれるしな……と言ったりしている 020
atree @atree4728.bsky.social · 15/08/2026そういえばこっちでも： #seccamp で Haskell で RV64IM_Zicsr の CPU を書いていました github.com/atree4728/cu...github.comGitHub - atree4728/cuintet: A RISC-V CPU written in Clash.A RISC-V CPU written in Clash. Contribute to atree4728/cuintet development by creating an account on GitHub. 030
atree @atree4728.bsky.social · 05/08/2026Obsidian がたまに重いんだが、ページ中に embed PDF があると CSS の再計算がメチャクチャ走ってしまうというのが原因だった 020
atree @atree4728.bsky.social · 05/08/2026河村 “カースケ” 智康 Masahiro “Godspeed” Aoki “Zicsr” Extension for Control and Status Register (CSR) Instructions 010
atree @atree4728.bsky.social · 20/07/2026関数型言語を書くのは好きだが、「do notation とか Lens でｷｬｯｷｬｯ言ってるのはいいっすけど、そんなに手続き型っぽく書きたいなら手続き型言語を書くのがオススメっす（笑）」という意見に対してなんと答えるべきかわからないという向きもある 030
atree @atree4728.bsky.social · 18/07/2026SKK も AZIK もある程度気に入ってはいるのだが、もっと入力効率を改善できるよなという気持ちは残り続ける Vim にロックインされていると、できることが限られてくるという向きもあり…… 000
atree @atree4728.bsky.social · 15/07/2026圏論もそうではあるが、不動点の理論も勉強しておいた方が CS に役立ちそうであるという気持ちが高まってきた 意味論周りの話はそうなのだが、形式言語とかでも不動点定理でスッキリというふうなパターンが頻出するような気がする 010
atree @atree4728.bsky.social · 01/07/2026型推論器 いつもありがとう gist.github.com/atree4728/72...gist.github.comFutamura projectionFutamura projection. GitHub Gist: instantly share code, notes, and snippets. 010
atree @atree4728.bsky.social · 30/06/2026shift/reset 付きの OCaml インタプリタを書いた github.com/atree4728/ok...github.comGitHub - atree4728/okaml: A small OCaml interpreter with shift/reset.A small OCaml interpreter with shift/reset. Contribute to atree4728/okaml development by creating an account on GitHub. 010
atree @atree4728.bsky.social · 24/06/2026久しぶりに cabal build したら dune build の爆速さが恋しい（dune build ってなんであんなに速いんだろう） 010
atree @atree4728.bsky.social · 20/06/2026継続を使った処理を shift の方ではなくて reset の方に書くのが effect handler なの、確かになあと思った x.com/bd_gfngfn/st...x.com画力・博士号・油田 (@bd_gfngfn) on X今回のPPLサマースクールを拝聴して shift 側に継続を使った処理を書くんじゃなくて，reset 側に書いたらもう少しわかりやすくなるんじゃないか？ → それが大体algebraic effectsやんけ！ という気づきがありました 000
Reposted by atree品田遊（ダ・ヴィンチ・恐山） @shinadayu.bsky.social · 13/06/2026fable 5に部分ツイートを作らせたら 「出張先の広東で咲いた、窓辺のブーゲンビリアが忘れられない」の翔んで埼玉の部分 と答えたので合格とした（ブーゲンビリアである必要がないのもいい） 12408
atree @atree4728.bsky.social · 13/06/2026今年はシステムプログラミング実験で Pintos をやっているんですが、ユーザプログラムを呼び出すのに時間が溶けまくり、（システムコールとかいう高レイヤ関数笑）という気持ちになってきた 010
atree @atree4728.bsky.social · 24/05/2026勉強のためにレポートを英語で書いてエーアイにチェックさせたら、「show の過去分詞は showed でなく shown です」という指摘をいただいた おれって…… 130
atree @atree4728.bsky.social · 23/05/2026OCaml 書いてるときに思っていること： ・正格評価で安心します ・foldM が欲しいな ・traverse が欲しいな ・コンストラクタが関数だったら便利なのにな ・オフサイドルールないのいいですね ・いちいち binding operators 使わなくても do notation したいな ・Haskell だと & ってあんまり使われないけど、なにも気にせず |> 書けていいね ・('a, 'e) result を ('e, 'a) result って書いちゃうな ・locally abstract types を使わないと注釈無視してなにも言わずに単相化するのモヤッとするな 050
atree @atree4728.bsky.social · 20/05/2026Gemini 学生無料ってそろそろ終わる気がするな Claude 一本でやっていくことになりそうだが、Claude Code 使うと一瞬で usage limit にひっかかるのが厳しい…… 020
atree @atree4728.bsky.social · 20/05/2026macOS でたまに見かけるこのカーソル、見るたびに（Alternative みたいだ）と思う （スクリーンショットを撮ろうとすると別のになるので直撮り） 001
atree @atree4728.bsky.social · 11/05/2026蓮尾先生の研究室も気になるし行ってみることにした 英語と Haskell 力がいずれも心配だ www.meetup.com/ja-jp/tokyo-...meetup.comHaskell: DevTools and Generic Hoogle, 2026年5月19日(火) 18:20 | MeetupJoin us for an exciting evening of Haskell discussions in Tokyo! We're thrilled to welcome **Luite Stegeman** and **Elliot Potts** as speakers. **Talks** (English): **The 150
atree @atree4728.bsky.social · 22/04/2026OCaml のモジュールの型システムってなんか複雑だな そもそも構造的型付けなのに path-dependent type？というのもあるみたいでコンパイラ側は大変そう 100
atree @atree4728.bsky.social · 22/04/2026OCaml の課題で「ウーン これはカインド多相があればできるんだけどなあ」と言っていたら Lightweight Higher Kinded Polymorphism というテクニックを発見 010
Reposted by atree関数型まつり @fp-matsuri.bsky.social · 22/04/2026🎉 関数型まつり2026 採択セッション一覧を公開しました！ 採択結果はこちらからご確認いただけます👇 fortee.jp/2026fp-matsu... 今年もたくさんのご応募をありがとうございました🙌 応募者の皆さまにはご案内メールをお送りしていますので、あわせてご確認ください。 #fp_matsurifortee.jpトーク | 関数型まつり2026 #fp_matsuri - fortee.jp 063
atree @atree4728.bsky.social · 20/04/2026システムプログラミング実験で man を丁寧に読みながらチマチマ C を書いていると、「正しい」プログラミングをしているような気分がして、心が洗われるような感覚になるな 逆 vibe coding 040
atree @atree4728.bsky.social · 19/04/2026こんなのあるんだ wasmfx.devwasmfx.devWasmFX: Effect Handlers for WebAssembly 000
