tani (@tani.cc) — bluesky.baby

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

17.12.2025 14:25 👍 12 🔁 5 💬 0 📌 0

feat(core): add &ENVIRONMENT support to defmacro and define-setf-expa… · cxxxr/valtan@47317c3 Common Lisp to JavaScript compiler. Contribute to cxxxr/valtan development by creating an account on GitHub.

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

17.12.2025 13:47 👍 2 🔁 1 💬 0 📌 0

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

14.12.2025 23:37 👍 0 🔁 0 💬 1 📌 0

Grimoire - Summon Documentation Summon TypeDoc-based API docs for any npm package with cached, on-demand builds.

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

07.12.2025 13:05 👍 2 🔁 2 💬 0 📌 0

GitHub - mchav/with: Command prefixing for continuous workflow using a single tool. Command prefixing for continuous workflow using a single tool. - mchav/with

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

18.11.2025 15:01 👍 3 🔁 0 💬 0 📌 0

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

18.11.2025 14:28 👍 0 🔁 0 💬 0 📌 0

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

18.11.2025 10:02 👍 2 🔁 0 💬 0 📌 0

Incredible!

16.11.2025 12:52 👍 4 🔁 1 💬 0 📌 0

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

16.11.2025 10:25 👍 4 🔁 0 💬 0 📌 0

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

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

16.11.2025 09:37 👍 5 🔁 0 💬 0 📌 0

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

16.11.2025 09:26 👍 8 🔁 0 💬 0 📌 2

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.

16.11.2025 05:27 👍 2 🔁 0 💬 0 📌 2

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

24.10.2025 12:34 👍 4 🔁 1 💬 0 📌 0

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

24.10.2025 12:30 👍 8 🔁 2 💬 0 📌 1

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

23.09.2025 02:41 👍 3 🔁 2 💬 0 📌 0

MELPA The largest and most up-to-date repository of Emacs packages.

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

25.08.2025 09:46 👍 2 🔁 1 💬 0 📌 0

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

14.08.2025 07:15 👍 3 🔁 1 💬 0 📌 0