ι retweeted
本を書きました！
刊行はまだ先ですが、情報だけ先に出します！
『様相論理入門―形式的証明とクリプキモデルで学ぶ論理体系―』
共立出版、2027年3月刊行予定
数理論理学の初学者から、様相論理を学びたい方、すでに知っている方まで学べるはずです。
演習問題の解答も完備。
ぜひご検討ください！
ι retweeted
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
ι retweeted
Claude Codeの質問、選択肢だけ見ても「何の話だっけ？」ってなりませんか？
それを解消するclaudemodの「qa-guide」を公開しました🎉
claudeからの質問が来ると、なぜ聞いているのか・各選択肢を選ぶとどうなるか・おすすめを、横のペインにAIがまとめて表示します
👇インストール
/plugin marketplace add aieo-product/claude_qamods
/plugin install qa-guide@claude-qamods
#claude
ι retweeted
users are already extending Nvim 0.13 multicursor 💦
(cursors are queryable as an extmarks namespace)
here's a script by celeste3z to get "align" functionality (similar to tabular, vim-lion):
github.com/neovim/neovim/dis…
ι retweeted
ocaml.jp/events/ocaml_meetin…
OCaml Meeting 2026 in Tokyo のサマリを掲載しました
参加者の方にはメールで事後アンケートも送っているので、回答いただけると次の開催に繋がるかもしれません
#OCamlMeeting
ι retweeted
ブログに記事を公開しました
HaskellのREPLをモダンにするghcittyが良さげかも
kawarimidoll.com/posts/20260…
ι retweeted
Introducing terminal-code: VS Code inside the terminal
- VS Code compatible CLI
- works over ssh
- syncs with your terminal theme
terminal-code.com
ι retweeted
🚨 Solid 2.0 has reached Release Candidate! 🎉🥳
Async is first-class — computations return promises, the graph suspends and resumes itself. Plus optimistic mutations and a reactive core rebuilt from scratch.
The Big <Reveal> 👇 solidjs.com/blog/solid-2-0-r…
1/3
ι retweeted
いつも技術書を読む時、この辺もっと深堀りしたいなって思うけど、普通にPDFをAIに食わせて好きに質問すると、引用が面倒だし、コンテキストが膨らむので、深堀りしたい箇所だけを選択してチャットできる読書のツールを作っているが、かなり便利になってきた
ι retweeted
terminal-browser.com すごいな
ここまで綺麗にターミナルでブラウジングできるやつを始めてみた
もっさりしているけど、ターミナルでちゃんとブラウジングできるのがそもそもすごい
ι retweeted
関数型まつりの講演「本物のプログラマーは unsafe と型システムを使う 〜拡張可能レコードを作って学ぶ黒魔術入門〜」のスライドと参照実装が遂に完成しました！！！Track B で 15時から僕と握手（？）
スライド：konn-san.com/t/real-programm…
実装：u.konn-san.com/fp2026
#fp_matsuri #fp_matsuri_b
ι retweeted
普段使ってる neovim にキーロガーをしかけて claude code に vim 上達のためのアドバイスをしてもらったら結構良かったので、オススメ！
キーバインドがわからなくなったら聞けるし、設定もしてくれる
良く使われるコンビネーションも詳しいし、カスタマイズして忘れても設定読んでくれるから大丈夫！
ι retweeted
OpenAI は人間の上位者が最終的に到達した二つの解法を経由し、良い部分を組み合わせたような、新解法に到達しました。
これは作問者である私の想像を遥かに超える高度なものでした。昨年2 位だったので今年の 1 位自体にはそこまで驚きはないかもしれませんが、内容には非常に大きな進歩を感じます。
ι retweeted
ここから得られるシンプルな教訓は、同じ方針を選んだ場合、豊富な知識と実装力を持つ AI に人類が勝つのはほぼ不可能だろう、ということです。
今年は、非常に解法空間が広い問題を出題しました。作問者の想定通り、人間参加者は十人十色の解法を考えました。
ι retweeted
AWTF 2026 Heuristic の admin 兼作問者として、今回の OpenAI の結果についてコメントします。
昨年、OpenAI は 2 位でした。問題には主に二通りの方針があり、AI は外れ方針を選びましたが、同じ方針を選んだ人間には勝利しました。唯一 @FakePsyho だけが当たり方針に気付き、AI を打倒しました。