JAISTにいたときは電車はこないし、バスは壊滅してるし、amazon prime ですら遅い山奥の生活だったけど、TeXLive も Ubuntu もインストーラやパッケージのダウンロードが爆速だったので実質チャラ (!?!?!)

claude codeにTestを通すように処理系を修正するタスクを与えたらvaltanのANSI準拠率がどんどん上がっていってる
github.com/cxxxr/valtan...

オイラー、アリストテレス、ラッセル、ガウス、エルディッシュ、シェラハ、…

grimoire-js.vercel.app npmjs. com にアップロードされているパッケージから自動でAPIドキュメントを生成して閲覧するサービスをつくりました。

github.com/mchav/with これ、めっちゃ発明

インターネットが壊れた!

Xeus-Haskell is now a part of jupyter-xeus github.com/jupyter-xeus... !

Incredible!

毎年、圏論入門しているのでもはや圏論入門のプロである。
禁煙が得意みたいなやつ。

圏論を勉強したい! プログラマーのための圏論を読もう。Haskell のサンプルコードがあるな。Haskell の環境構築めんどくさいな。Haskell の動く JupyterLite カーネルをつくろう。(イマココ)

大分脱線してしまったな。やっと圏論を勉強するぞ!

vaibhavsagar.com/blog/2024/07...

I read your article and immediately created a JupyterLite kernel for Haskell. I used MicroHs instead of GHC, though. I lack the skill to get a C API from Haskell, but it seems possible to port it using a similar method.

@vaibhavsagar.com

GitHub - tani/xeus-haskell: jupyter / jupyterlite kernel for Haskell jupyter / jupyterlite kernel for Haskell. Contribute to tani/xeus-haskell development by creating an account on GitHub.

I’m pleased to announce the release of a new Haskell Jupyter kernel:
github.com/tani/xeus-ha...

You can even try Haskell directly in your browser—the kernel is compiled to WebAssembly thanks to @Augustsson
’s MicroHs.

生き残った人が生き残っているだけで、「秀才→研究者になれる」訳でもないし、「凡夫→研究者になれる」でもない。研究者になった人が研究者になっただけ。

僕が１０代の頃、研究者っていうのはそれはもう東大に首席合格するような天才がなるもの、という反応で、ネット掲示板もそう書いているのをよく見た。今でも、そういう反応をする大人はいる。ただ、いざ科研費持ちの研究者になった、今、周りを見てみると、高専出身、通信制高校に通った人、大検とって入学してきた人、適当な私大出身の人、いろんな人がいる。案外、大人は事実を知らずにそれっぽく言ってくる人が多い。気にしてはいけないよ。

server side で xypic (xyjax) と mathjax を同時に動かせる 数式レンダラーを公開しました。 github.com/tani/mathxyj...

melpa.org#/eprolog melpa で eprolog (emacslispで書かれた prolog処理系) がインストールできるようになりました。

Emacs に Prolog を移植することで簡単な論理式の証明探索とかができるようになった。org-mode と組合せるともう研究ノートの完成だ。

GitHub - tani/eprolog: Prolog engine implementation in Emacs Lisp Prolog engine implementation in Emacs Lisp. Contribute to tani/eprolog development by creating an account on GitHub.

github.com/tani/eprolog Prolog written in Emacs Lisp

夏は暑いので仙台に引き込もります。

ぼくはsnsをやったり都会に住んだりして、イケイケな人たちを見ると心が荒んでいくたちなので、一ヶ月に一度くらい物見遊山に済ませておくのがよいのだと３０になってやっと学んだ。

ただ まだ jsarticle じゃなくて jarticle なのはなぜなのだろう

科研費LaTeXが jarticle を ltjarticle にするだけでコンパイルが通るようになって感動した。

ロジックウィンタースクールの世話人だったよ。

YAMLの変数参照という闇に手を染めてしまった。
ああスパゲッティYAMLになっていく ...

つぎ引っ越すときも人の少ない田舎部にすみたい。

普段は仙台の閑静なところに住んでいるのですが、首都圏に帰省するとパトカーやら救急車やらが終日なりっぱなしで「都会は忙しいなぁ」という感想になっている。

vim-jpラジオのtaniさんの回を聞いていた。そういうバックグランドの方だったのか〜。やっぱり他の人のバックグランドの話は面白い。

心当たりは何もないけど、ここ一年でなぜか、論文の執筆速度が上がった気がする

エンジニアの楽園 vim-jp ラジオ|【ryoppippiさんとDr.taniさんに聞く！"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24|AuDee（オーディー） | 音声コンテンツプラットフォーム エンジニアコミュニティ「vim-jp」のラジオ版としてスタートした「エンジニアの楽園 vim-jp ラジオ」。 前回に引き続き、vim-jpのMr.ビーンことryoppipp……

【ryoppippiさんとDr.taniさんに聞く！"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24
https://audee.jp/voice/show/95783 #vimjpradio

Blueskyの「ドメインを用いた本人証明システム」が悪用され「著名人の名前でドメインを取得して本物に買取りを要求する」という事件が発生 Blueskyではドメイン名をハンドルネームとして設定することで本人であることを証明できます。この仕組みを逆手に取って、「著名人の名前でドメインを取得してドメインの買取りを要求する」という悪質な行為が発生していることが明らかになりました。

Blueskyの「ドメインを用いた本人証明システム」が悪用され「著名人の名前でドメインを取得して本物に買取りを要求する」という事件が発生
gigazine.net/news/20241219-bluesky-ha...