Sign in

tani

@tani.cc
175 followers 99 following 161 posts

I am a LISP interpreter.

PostsRepliesMedia
tani @tani.cc · 13/10/2026
SLG(tabling) も スタックレス挙動も、ISOに定義された述語も大体サポートした最強のS式Prolog処理系を作った。 github.com/tani/sprolog
github.com
GitHub - tani/sprolog: WAM VM prolog written in common lisp by ChatGPT
WAM VM prolog written in common lisp by ChatGPT. Contribute to tani/sprolog development by creating an account on GitHub.
051
Reposted by tani
Muskeltrainingsübermenschbot @wtsnjp.com · 12/10/2026
エージェントが仕事をして、私は散歩をする。これが在るべき社会の姿。
011
tani @tani.cc · 12/10/2026
github.com/Clozure/ccl/... apple silicon 対応があとちょっと!!
github.com
Release arm64 prerelease 2 · Clozure/ccl
This prerelease of an arm64 port of Clozure CL is built from the master branch, rather than arm64. To download the pre-release, follow these steps: Obtain source code by cloning the repository (wi...
010
tani @tani.cc · 12/10/2026
バイブコーディング全盛の今こそ、 マクロが使えて、仕様が40年以上安定していて、 C級の速度がでるCommon Lispっていう言語をつかうべきだ。
032
Reposted by tani
カワリミ人形 ⁽'ᵕ'⁾ @kawarimidoll.github.io · 19/04/2026
ブログに記事を公開しました 構文認識でGitコンフリクトを自動解決するMergirafが良さげかも
kawarimidoll.com
構文認識でGitコンフリクトを自動解決するMergirafが良さげかも
プログラミング言語の構文を理解してGitコンフリクトを自動解決するツールMergirafの紹介です。
041
tani @tani.cc · 17/12/2025
JAISTにいたときは電車はこないし、バスは壊滅してるし、amazon prime ですら遅い山奥の生活だったけど、TeXLive も Ubuntu もインストーラやパッケージのダウンロードが爆速だったので実質チャラ (!?!?!)
0125
Reposted by tani
cxxxr @cxxxr.bsky.social · 17/12/2025
claude codeにTestを通すように処理系を修正するタスクを与えたらvaltanのANSI準拠率がどんどん上がっていってる github.com/cxxxr/valtan...
github.com
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.
021
tani @tani.cc · 07/12/2025
grimoire-js.vercel.app npmjs. com にアップロードされているパッケージから自動でAPIドキュメントを生成して閲覧するサービスをつくりました。
grimoire-js.vercel.app
Grimoire - Summon Documentation
Summon TypeDoc-based API docs for any npm package with cached, on-demand builds.
022
tani @tani.cc · 18/11/2025
github.com/mchav/with これ、めっちゃ発明
github.com
GitHub - mchav/with: Command prefixing for continuous workflow using a single tool.
Command prefixing for continuous workflow using a single tool. - mchav/with
030
tani @tani.cc · 18/11/2025
インターネットが壊れた!
000
tani @tani.cc · 18/11/2025
Xeus-Haskell is now a part of jupyter-xeus github.com/jupyter-xeus... !
github.com
GitHub - jupyter-xeus/xeus-haskell: jupyter / jupyterlite kernel for Haskell powered by WebAssembly
jupyter / jupyterlite kernel for Haskell powered by WebAssembly - jupyter-xeus/xeus-haskell
020
Reposted by tani
vaibhav sagar @vaibhavsagar.com · 16/11/2025
Incredible!
041
tani @tani.cc · 16/11/2025
毎年、圏論入門しているのでもはや圏論入門のプロである。 禁煙が得意みたいなやつ。
040
tani @tani.cc · 16/11/2025
圏論を勉強したい! プログラマーのための圏論を読もう。Haskell のサンプルコードがあるな。Haskell の環境構築めんどくさいな。Haskell の動く JupyterLite カーネルをつくろう。(イマココ) 大分脱線してしまったな。やっと圏論を勉強するぞ!
050
tani @tani.cc · 16/11/2025
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
vaibhavsagar.com
GHCi in the Browser - Vaibhav Sagar
080
tani @tani.cc · 16/11/2025
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.
github.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.
020
tani @tani.cc · 24/10/2025
生き残った人が生き残っているだけで、「秀才→研究者になれる」訳でもないし、「凡夫→研究者になれる」でもない。研究者になった人が研究者になっただけ。
041
tani @tani.cc · 24/10/2025
僕が10代の頃、研究者っていうのはそれはもう東大に首席合格するような天才がなるもの、という反応で、ネット掲示板もそう書いているのをよく見た。今でも、そういう反応をする大人はいる。ただ、いざ科研費持ちの研究者になった、今、周りを見てみると、高専出身、通信制高校に通った人、大検とって入学してきた人、適当な私大出身の人、いろんな人がいる。案外、大人は事実を知らずにそれっぽく言ってくる人が多い。気にしてはいけないよ。
082
tani @tani.cc · 23/09/2025
server side で xypic (xyjax) と mathjax を同時に動かせる 数式レンダラーを公開しました。 github.com/tani/mathxyj...
032
tani @tani.cc · 25/08/2025
melpa.org#/eprolog melpa で eprolog (emacslispで書かれた prolog処理系) がインストールできるようになりました。
melpa.org
MELPA
The largest and most up-to-date repository of Emacs packages.
021
tani @tani.cc · 14/08/2025
Emacs に Prolog を移植することで簡単な論理式の証明探索とかができるようになった。org-mode と組合せるともう研究ノートの完成だ。
031
tani @tani.cc · 14/08/2025
github.com/tani/eprolog Prolog written in Emacs Lisp
github.com
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.
052
tani @tani.cc · 09/08/2025
夏は暑いので仙台に引き込もります。
010
tani @tani.cc · 09/03/2025
ぼくはsnsをやったり都会に住んだりして、イケイケな人たちを見ると心が荒んでいくたちなので、一ヶ月に一度くらい物見遊山に済ませておくのがよいのだと30になってやっと学んだ。
041
tani @tani.cc · 21/02/2025
ただ まだ jsarticle じゃなくて jarticle なのはなぜなのだろう
000
tani @tani.cc · 21/02/2025
科研費LaTeXが jarticle を ltjarticle にするだけでコンパイルが通るようになって感動した。
000
tani @tani.cc · 21/02/2025
ロジックウィンタースクールの世話人だったよ。
010
tani @tani.cc · 20/01/2025
YAMLの変数参照という闇に手を染めてしまった。 ああスパゲッティYAMLになっていく ...
031
tani @tani.cc · 03/01/2025
つぎ引っ越すときも人の少ない田舎部にすみたい。
000
tani @tani.cc · 03/01/2025
普段は仙台の閑静なところに住んでいるのですが、首都圏に帰省するとパトカーやら救急車やらが終日なりっぱなしで「都会は忙しいなぁ」という感想になっている。
020
Reposted by tani
pudding @pddg.bsky.social · 30/12/2024
vim-jpラジオのtaniさんの回を聞いていた。そういうバックグランドの方だったのか〜。やっぱり他の人のバックグランドの話は面白い。
021
tani @tani.cc · 27/12/2024
心当たりは何もないけど、ここ一年でなぜか、論文の執筆速度が上がった気がする
040
Reposted by tani
vim-jp @vim-jp.org · 23/12/2024
【ryoppippiさんとDr.taniさんに聞く!"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24 audee.jp/voice/show/95783 #vimjpradio
audee.jp
エンジニアの楽園 vim-jp ラジオ|【ryoppippiさんとDr.taniさんに聞く!"OSS活動について”と"若さの価値"】エンジニアの楽園 vim-jp ラジオ #24|AuDee(オーディー) | 音声コンテンツプラットフォーム
エンジニアコミュニティ「vim-jp」のラジオ版としてスタートした「エンジニアの楽園 vim-jp ラジオ」。 前回に引き続き、vim-jpのMr.ビーンことryoppipp……
032
Reposted by tani
GIGAZINE @gigazine.net · 19/12/2024
Blueskyの「ドメインを用いた本人証明システム」が悪用され「著名人の名前でドメインを取得して本物に買取りを要求する」という事件が発生 gigazine.net/news/20241219-bluesky-…
gigazine.net
Blueskyの「ドメインを用いた本人証明システム」が悪用され「著名人の名前でドメインを取得して本物に買取りを要求する」という事件が発生
Blueskyではドメイン名をハンドルネームとして設定することで本人であることを証明できます。この仕組みを逆手に取って、「著名人の名前でドメインを取得してドメインの買取りを要求する」という悪質な行為が発生していることが明らかになりました。
0220229
tani @tani.cc · 18/12/2024
zaserve という sbcl 向けに動く AllegroServe をつかってみている。たのしい。
120
tani @tani.cc · 18/12/2024
bluesky で胡散臭いアカウント見ないなー治安よいなぁ。と思っていたら、過去にモデレーションリストを導入していたのが原因だった。ありがとう昔の自分。
020
tani @tani.cc · 18/12/2024
MathJax と codeblock が使えるSNSがあれば移動するかも
110
tani @tani.cc · 18/12/2024
いろいろなSNSが繋る夢の世界が来てほしい。
030
tani @tani.cc · 18/12/2024
アカウント名を @tani.cc にしてみたよ
0102
tani @tani.cc · 16/12/2024
ぼくはblueskyが好き。mixiやmisskeyはHPゲージが削られる。
051
tani @tani.cc · 16/12/2024
snsどんどん分散・多様化してきていてる。Twitterというバベルの塔が崩壊したあとの世界ですね。
040
Reposted by tani
Muskeltrainingsübermenschbot @wtsnjp.com · 16/12/2024
mixi2.09 mixi2e そして永久にリリースされないmixi3
064
Reposted by tani
vim-jp @vim-jp.org · 16/12/2024
【ryoppippiさんとDr.taniさんのダブルゲスト!】エンジニアの楽園 vim-jp ラジオ #23 audee.jp/voice/show/95400 #vimjpradio
audee.jp
エンジニアの楽園 vim-jp ラジオ|【ryoppippiさんとDr.taniさんのダブルゲスト!】エンジニアの楽園 vim-jp ラジオ #23|AuDee(オーディー) | 音声コンテンツプラットフォーム
エンジニアコミュニティ「vim-jp」のラジオ版としてスタートした「エンジニアの楽園 vim-jp ラジオ」。 今回はダブルゲスト! vim-jpのMr.ビーンことryopp……
044
tani @tani.cc · 09/12/2024
ソシャゲよりスマホで将棋するほうが短くて手軽なのなんかおかしい
040
tani @tani.cc · 09/12/2024
ウマ娘、どんどん一周にかかるプレイ時間長くなってる気がする。初期くらいかそれ以下の時間くらいにしてほしい
010
Reposted by tani
g000001 @g000001.bsky.social · 08/12/2024
今日だったわ。CL界隈が盛り上がってる雰囲気は皆無だな en.wikipedia.org/wiki/X3J13
en.wikipedia.org
X3J13 - Wikipedia
022
tani @tani.cc · 30/11/2024
なんか解けた気がする。
020
tani @tani.cc · 30/11/2024
アイディアが煮詰まってるなあと思って散歩した
010
tani @tani.cc · 26/11/2024
もっぱらtypstで遊んていたので久々にTeXを触った
010
tani @tani.cc · 26/11/2024
どんな学会でも投稿する締切直前にLaTeX芸にハマったり、些細な警告を消すのに心血を注いで楽しくなっちゃう人間なので、この時期にちゃんとテンプレートを綺麗にしておくことで、自分の逃げ道を断っておく。
020