mod_poppo's Avatar

mod_poppo

@mod-poppo

Haskell / Standard ML

110
Followers
82
Following
148
Posts
07.02.2024
Joined
Posts Following

Latest posts by mod_poppo @mod-poppo

SpacemiT K3が気になる:情報収集 | 雑記帳

書いた / SpacemiT K3が気になる:情報収集 blog.miz-ar.info/2026/03/spac...

06.03.2026 14:22 👍 3 🔁 0 💬 0 📌 0
UPS(無停電電源装置)を買った | 雑記帳

ブログ更新した / UPS(無停電電源装置)を買った blog.miz-ar.info/2026/03/brea...

05.03.2026 13:04 👍 4 🔁 0 💬 0 📌 0

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

27.02.2026 04:31 👍 1 🔁 0 💬 0 📌 0
ネイティブコンパイルする言語はSIMDを扱えるのが当たり前の世の中になった/SIMDの難しさ | 雑記帳

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

25.02.2026 13:48 👍 3 🔁 0 💬 1 📌 0
スマホからClaude Codeを使う環境を整える | 雑記帳

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

14.02.2026 08:25 👍 4 🔁 0 💬 1 📌 0
iPad Air(13インチ)を買った | 雑記帳

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

12.02.2026 09:15 👍 0 🔁 0 💬 0 📌 0
Preview
IEEE 754-2019のmin/max命令とx86のmin/max命令の関係を考える

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

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

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

23.01.2026 07:34 👍 31 🔁 21 💬 0 📌 2
Preview
不動点コンビネータと無名再帰 - 芳賀 雅樹 のページ 不動点コンビネータと実践的な示唆について紹介します.

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

16.01.2026 01:46 👍 7 🔁 3 💬 0 📌 1
AI時代のプログラミング言語のあり方を考える | 雑記帳

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

12.01.2026 12:51 👍 3 🔁 1 💬 0 📌 0
関数に色をつけるべきか:LunarMLの場合 | 雑記帳

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

04.01.2026 00:37 👍 6 🔁 0 💬 0 📌 0
2025年振り返りと来年に向けて | 雑記帳

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

31.12.2025 11:57 👍 1 🔁 0 💬 0 📌 0
GHCへの私の貢献2025 | 雑記帳

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

28.12.2025 12:54 👍 1 🔁 0 💬 0 📌 0
LunarMLの進捗2025 | 雑記帳

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

27.12.2025 03:11 👍 1 🔁 0 💬 0 📌 0
Preview
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...

25.12.2025 13:33 👍 3 🔁 2 💬 0 📌 0
Mac miniに外付けSSDをつける | 雑記帳

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

21.12.2025 00:57 👍 1 🔁 0 💬 0 📌 0
新しいNASを買った | 雑記帳

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

20.12.2025 12:41 👍 2 🔁 0 💬 0 📌 0
Preview
標準ライブラリーが提供する数学関数はどのくらい正確か、あるいはどの程度環境依存するのか

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

20.12.2025 04:20 👍 7 🔁 1 💬 0 📌 0
シンガポール日記 | 雑記帳

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

15.12.2025 09:30 👍 0 🔁 0 💬 0 📌 0
Preview
アスタリスクはもう古い!?モダンC言語でのポインター型の記法

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

10.12.2025 11:17 👍 2 🔁 0 💬 0 📌 0
LunarMLでのUnicode文字列の扱い/文字列型はいくつ用意すれば十分か | 雑記帳

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

07.12.2025 08:00 👍 2 🔁 0 💬 0 📌 0
Preview
Luaをコンパイル先とする言語処理系を作る際のTips

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

06.12.2025 03:44 👍 3 🔁 1 💬 0 📌 0
Preview
新しくプログラミング言語を作る際に文字列型をどうするべきか

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

03.12.2025 13:14 👍 6 🔁 1 💬 0 📌 0

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

18.11.2025 13:46 👍 5 🔁 0 💬 0 📌 0
初めての海外(シンガポール)・準備編 | 雑記帳

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

16.11.2025 09:47 👍 1 🔁 0 💬 0 📌 0
ML Family WorkshopでLunarMLについて発表した | 雑記帳

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

09.11.2025 12:52 👍 2 🔁 0 💬 0 📌 0
Preview
「三項演算子」の名前に値する演算は条件演算子以外にあるか:アセンブリー言語の観点から

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

06.11.2025 09:15 👍 1 🔁 0 💬 0 📌 0

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

27.10.2025 12:54 👍 1 🔁 0 💬 0 📌 0
子供が生まれた/後進を育成すること | 雑記帳

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

27.10.2025 12:43 👍 7 🔁 0 💬 1 📌 0
Preview
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...

25.10.2025 19:28 👍 119 🔁 42 💬 7 📌 5