tani's Avatar

tani

@tani.cc.bsky.social

I am a LISP interpreter.

166 Followers  |  95 Following  |  141 Posts  |  Joined: 16.03.2023  |  1.7503

Latest posts by tani.cc on Bluesky

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

09.03.2025 01:34 — 👍 4    🔁 1    💬 0    📌 0

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

21.02.2025 13:59 — 👍 0    🔁 0    💬 0    📌 0

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

21.02.2025 13:58 — 👍 0    🔁 0    💬 0    📌 0

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

21.02.2025 13:52 — 👍 1    🔁 0    💬 0    📌 0

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

20.01.2025 11:09 — 👍 3    🔁 1    💬 0    📌 0

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

03.01.2025 09:10 — 👍 0    🔁 0    💬 0    📌 0

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

03.01.2025 09:10 — 👍 2    🔁 0    💬 0    📌 0

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

30.12.2024 02:26 — 👍 2    🔁 1    💬 0    📌 0

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

27.12.2024 03:13 — 👍 4    🔁 0    💬 0    📌 0
Preview
エンジニアの楽園 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

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

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

19.12.2024 11:00 — 👍 225    🔁 232    💬 0    📌 20

zaserve という sbcl 向けに動く AllegroServe をつかってみている。たのしい。

18.12.2024 10:47 — 👍 2    🔁 0    💬 1    📌 0

bluesky で胡散臭いアカウント見ないなー治安よいなぁ。と思っていたら、過去にモデレーションリストを導入していたのが原因だった。ありがとう昔の自分。

18.12.2024 09:13 — 👍 2    🔁 0    💬 0    📌 0

MathJax と codeblock が使えるSNSがあれば移動するかも

18.12.2024 05:51 — 👍 1    🔁 0    💬 1    📌 0

いろいろなSNSが繋る夢の世界が来てほしい。

18.12.2024 05:49 — 👍 3    🔁 0    💬 0    📌 0

アカウント名を @tani.cc にしてみたよ

18.12.2024 01:42 — 👍 10    🔁 2    💬 0    📌 0

ぼくはblueskyが好き。mixiやmisskeyはHPゲージが削られる。

16.12.2024 23:37 — 👍 5    🔁 1    💬 0    📌 2

snsどんどん分散・多様化してきていてる。Twitterというバベルの塔が崩壊したあとの世界ですね。

16.12.2024 23:36 — 👍 4    🔁 0    💬 0    📌 0

mixi2.09
mixi2e
そして永久にリリースされないmixi3

16.12.2024 07:39 — 👍 7    🔁 4    💬 0    📌 0
Preview
エンジニアの楽園 vim-jp ラジオ|【ryoppippiさんとDr.taniさんのダブルゲスト!】エンジニアの楽園 vim-jp ラジオ #23|AuDee(オーディー) | 音声コンテンツプラットフォーム エンジニアコミュニティ「vim-jp」のラジオ版としてスタートした「エンジニアの楽園 vim-jp ラジオ」。 今回はダブルゲスト! vim-jpのMr.ビーンことryopp……

【ryoppippiさんとDr.taniさんのダブルゲスト!】エンジニアの楽園 vim-jp ラジオ #23
https://audee.jp/voice/show/95400 #vimjpradio

16.12.2024 03:04 — 👍 3    🔁 4    💬 0    📌 0

ソシャゲよりスマホで将棋するほうが短くて手軽なのなんかおかしい

09.12.2024 12:22 — 👍 4    🔁 0    💬 0    📌 0

ウマ娘、どんどん一周にかかるプレイ時間長くなってる気がする。初期くらいかそれ以下の時間くらいにしてほしい

09.12.2024 12:21 — 👍 1    🔁 0    💬 0    📌 0
X3J13 - Wikipedia

今日だったわ。CL界隈が盛り上がってる雰囲気は皆無だな
en.wikipedia.org/wiki/X3J13

08.12.2024 12:34 — 👍 2    🔁 2    💬 0    📌 0

なんか解けた気がする。

30.11.2024 06:24 — 👍 2    🔁 0    💬 0    📌 0

アイディアが煮詰まってるなあと思って散歩した

30.11.2024 06:24 — 👍 1    🔁 0    💬 0    📌 0

総和が100を超えてしまうので、エフォート/エフォートの総和で正規化するやつ

28.11.2024 11:43 — 👍 0    🔁 0    💬 1    📌 0

もっぱらtypstで遊んていたので久々にTeXを触った

26.11.2024 14:50 — 👍 1    🔁 0    💬 0    📌 0

はい。指摘はもっともだと思います。その場合はエンコーディング指定をクラスファイルではなくせめてサンプルファイルに追加することを検討していただければと思います。テンプレートファイルが初期状態から警告付きという状態を解消したいのが僕の意図ですので。サンプル用のファイルでplatex/uplatexでしか動かないjlreq-deluxueが設定されているあたり、それらのエンジンでしか有効でない(?)fontencをファイルに含めても違和感ないと思います。

26.11.2024 14:47 — 👍 1    🔁 0    💬 0    📌 0

どんな学会でも投稿する締切直前にLaTeX芸にハマったり、些細な警告を消すのに心血を注いで楽しくなっちゃう人間なので、この時期にちゃんとテンプレートを綺麗にしておくことで、自分の逃げ道を断っておく。

26.11.2024 14:22 — 👍 2    🔁 0    💬 0    📌 0

ありがとうございます。よろしくお願いします。上記のパッチは、inconsolataにまつわる2つの問題を解決します。

(1) よくある OT1 エンコーディングで `{` が数式フォントで代替されるのを T1エンコーディングにすることで解消する。

(2) LuaTeXでもfontspec+otfフォントを有効化することで `{` が数式フォントで代替されるのを回避しています。

作業ありがとうございます。よろしくお願いします!
今年は僕も投稿しようと思っているのでNLP2025で会えたら嬉しいです !

26.11.2024 14:16 — 👍 1    🔁 0    💬 1    📌 0

@tani.cc is following 20 prominent accounts