The world of compilers is fascinating. Learn about flattening ASTs, how it's implemented, and associated performance benefits - better locality, simpler lifetimes, and speedups. cs.cornell.edu/~asampson/blog…

A relevant blog jhwlr.io/super-flat-ast/

はっ…これは間違いなく、今シーズンいちばんの立山連峰。

今日の山、綺麗すぎてウケてる。なんだこれ。

D言語も入らないかなぁ。 基本は配列 alias string = immutable(char)[]で、UTF16のwchar/wstringと32のdchar/dstringもあり、スライス取れて、まとめてconst(char)[]受けもでき、相互変換もライブラリで揃えてるので接続も悪くない。 基本全部用意して、あとはよろしく系。 x.com/lempiji/status…

LunarMLをLunarML自身でコンパイルしてLuaとかJSにしたものは遅くて、あまり実用的ではない。Wasmやネイティブコードにすれば改善するのか？それともコンパイラーのアルゴリズムやデータ構造に問題があるのか？両方の取り組みが必要になりそう

形式化すればいいってものじゃなくてですね、某御大がP=NP問題を解決したと言って出してきた論文ドラフトにも機械証明がついていたという思い出がですね…。

ブログ更新した / LunarMLでのUnicode文字列の扱い／文字列型はいくつ用意すれば十分か blog.miz-ar.info/2025/12/lunarm…

LunarMLの設計とか実装についての記事をたくさん書いてきたけど、後から読み返しづらいので、Wikiか本（のような体裁のPDF）にまとめるべきなのかもしれない。できれば英語版も用意して。

可食多様体について x.com/i/grok/share/h…

週末にやろうと思っていたことが全然片付いていない。記事を書いている場合ではなかったか

LunarMLも関数に色をつけるべきなのだろうか

SMLのwhileの条件のところにパターンマッチを書けるようにすると手続き型プログラムが書きやすくなるのでは。ほんまか？

std::superstringについて。「ジョーク文章をでっち上げる」という仕事は完全にAIに奪われたか x.com/i/grok/share/R…

「存在しない用語」についての解説文書を生成AIに書かせるやつ、ジョークだと分かっていても、あまり読みすぎると頭がおかしくなりそう

前提が抜けたまま反応している人が結構多いですね・・・ そもそもとして，NanoKVM は LicheeRV Nano（以後 RV Nano）をベースとして開発されています．つまりハードウェアコンポーネントは RV Nano に搭載されているものになります．これが議論の大前提です．

NanoKVMのマイクの件、俺が数ヶ月前にNanoKVMについて調べた時にはすでに判明している情報だったと思うのだが、なぜ今更話題になっているのか

C23の規格書を比較的安く手に入れたいならここかな？C17を（C23が出る前に）買った時はもっと安かったので、時間経過でもっと安くなるかもしれない webstore.ansi.org/standards/inci…