mod_poppo

修正しました。ありがとうございます！

ブログ更新した / ネイティブコンパイルする言語はSIMDを扱えるのが当たり前の世の中になった／SIMDの難しさ blog.miz-ar.info/2026/02/nati...

書いた / スマホからClaude Codeを使う環境を整える blog.miz-ar.info/2026/02/clau...

ブログ更新した / iPad Air（13インチ）を買った blog.miz-ar.info/2026/02/ipad...

IEEE 754-2019のmin/max命令とx86のmin/max命令の関係を考える

書いた / IEEE 754-2019のmin/max命令とx86のmin/max命令の関係を考える zenn.dev/mod_poppo/ar...

n月刊ラムダノート「特集：計算とは何か」発行のお知らせ いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート 「特集：計算とは何か」Vol.6 No.1』の発売開始のお知らせです。本号は「計算とは何か」をテーマにした以下の5つの記事でお送りします。 計算パラダイムの対立軸を揺さぶる微分可能論理ゲートとLLM＋定理証明、そしてメタパラダイムたる自然計算の世界へといざなう「計算の2つのパラダイムシフトから自然計算へ」（萩...

新刊を発売したので宣伝です。第一線の研究者の方々に「計算とは？」というテーマで記事を書いてもらうという、企画者としては初心にもどって取り組んだ一冊ができました。この一冊に出てくる話題をすべて知っているという人はあまりいないのではないかという貴重でとても楽しい（計算というものに興味がある人にとっては）一冊になっていると思います。今号はn月刊ラムダノートとしてはじめて書店（大都市圏の一部）にも置いてもらえる見込みですので、「これまでn月刊ラムダノートを見たことない」という方もぜひ！ www.lambdanote.com/blogs/news/n-3

不動点コンビネータと無名再帰 - 芳賀 雅樹 のページ 不動点コンビネータと実践的な示唆について紹介します．

書いた
silasol.la/posts/2026-0...

駄文を書いた / AI時代のプログラミング言語のあり方を考える blog.miz-ar.info/2026/01/prog...

ブログ更新した / 関数に色をつけるべきか：LunarMLの場合 blog.miz-ar.info/2026/01/luna...

ブログ更新した / 2025年振り返りと来年に向けて blog.miz-ar.info/2025/12/look...

ブログ更新した / GHCへの私の貢献2025 blog.miz-ar.info/2025/12/my-c...

ブログ更新した / LunarMLの進捗2025 blog.miz-ar.info/2025/12/luna...

Lua 5.5を触ってみる - Qiita この記事は「Lua Advent Calendar 2025」の25日目の記事です。 2025年12月22日に、Luaの最新のメジャーバージョンである5.5.0がリリースされました。この記事では、Lua 5.5の新機能をいくつか触ってみます。詳しいことは公式マニュアル類を参...

書きました / Lua 5.5を触ってみる qiita.com/mod_poppo/it...

ブログ更新した / Mac miniに外付けSSDをつける blog.miz-ar.info/2025/12/mac-...

ブログ更新した / 新しいNASを買った blog.miz-ar.info/2025/12/nas/

標準ライブラリーが提供する数学関数はどのくらい正確か、あるいはどの程度環境依存するのか

書きました / 標準ライブラリーが提供する数学関数はどのくらい正確か、あるいはどの程度環境依存するのか zenn.dev/mod_poppo/ar...

ブログ更新した / シンガポール日記 blog.miz-ar.info/2025/12/sing...

アスタリスクはもう古い！？モダンC言語でのポインター型の記法

書いた / アスタリスクはもう古い！？モダンC言語でのポインター型の記法 zenn.dev/mod_poppo/ar...

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

Luaをコンパイル先とする言語処理系を作る際のTips

書きました / Luaをコンパイル先とする言語処理系を作る際のTips zenn.dev/mod_poppo/ar...

新しくプログラミング言語を作る際に文字列型をどうするべきか

書きました / 新しくプログラミング言語を作る際に文字列型をどうするべきか zenn.dev/mod_poppo/ar... 推敲の時間が十分取れてなくてグダグダになっているかもしれませんが、ご容赦ください

ツイッターを見ていると、昔は学術の話をしていた人が、今では（政治あるいは政治家に対する）憎悪の塊みたいになってしまっているのが観測されて、辛い。政治が悪いのか

ブログ更新した / 初めての海外（シンガポール）・準備編 blog.miz-ar.info/2025/11/prep...

ブログ更新した / ML Family WorkshopでLunarMLについて発表した blog.miz-ar.info/2025/11/mlwo...

「三項演算子」の名前に値する演算は条件演算子以外にあるか：アセンブリー言語の観点から

書いた / 「三項演算子」の名前に値する演算は条件演算子以外にあるか：アセンブリー言語の観点から zenn.dev/mod_poppo/ar...

ありがとうございます！！！

ブログ更新した / 子供が生まれた／後進を育成すること blog.miz-ar.info/2025/10/baby/

Ghc now runs in your browser ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this ...

This is not a drill: GHC (the #Haskell compiler) now runs in your browser. See the announcement (and please report any bugs) here: discourse.haskell.org/t/ghc-now-ru...

Mizuki Arata presents LunarML — an impressive implementation!! It compiles standard ML down to either Lua or JavaScript. Tons of features. Check it out! github.com/minoki/LunarML

浮動小数点数に1を掛ける操作は最適化できるか／浮動小数点数のビット列表現のカノニカル性について

書いた / 浮動小数点数に1を掛ける操作は最適化できるか／浮動小数点数のビット列表現のカノニカル性について zenn.dev/mod_poppo/ar...