入稿もうそろそろできそう…

t-sin boosted

そもそも直観主義論理を理解しなくていいのか、カーリー・ハワード同型対応だぞ、という気持ちはある

Rustのライフタイムは線形論理由来、という言明があった気がしてて、線形論理に興味を持ったまま幾月か過ぎている…

‪それにしてもSchemeに恨みでもあるのかなあの人。‬

t-sin boosted

なぞの出会いアカウントからのリプライに、ACMの論文買ったのにダウンロードできないぼくはブチギレブロックをキメた。

もちろん、深い調査は(やられているけど)自分も今後やって行けよな? というスタンス。

Lispはラムダ計算に出自する、の説を誤りと訂正するだけでも調べた意味はあるのではないかしら。と、思った。

自分の理解内容が完全に間違っててワロタ

幸せになれそう。ここを起点にいろいろ知りたいなあ。
softwarepreservation.org/proje

Opusmodus、使ってみたいけどMac専用なので使えないのだよな…

t-sin boosted

うおお。うおお。LISPの誕生の流れが…! たのしい! たのしい! MIT AI memo読む!

t-sin boosted
t-sin boosted

mastodon.cardina1.red/@lo48576
私が SKK でいちばんよくやるミス第一位、「テキスト末尾に無駄な l を入れる」です

ついにpackage-inferred-systemを使わない勇気(?)が心に芽生えた。

DEFUNいつもありがとうーー!!🎉🎊

t-sin boosted
Show more
mstdn.jp

Mastodon日本鯖です.