t-sin @t_sin@mstdn.jp
- https://twitter.com/sin_clav
- soundcloud
- https://soundcloud.com/sin_clav
SKKとCommon Lispとlemでたたかうへっぽこプログラマ。
Joined Apr 2017
入稿もうそろそろできそう…
t-sin
boosted
#dylanlang Open Dylan 2019.1 Released | http://redd.it/b7t4um
そもそも直観主義論理を理解しなくていいのか、カーリー・ハワード同型対応だぞ、という気持ちはある
Rustのライフタイムは線形論理由来、という言明があった気がしてて、線形論理に興味を持ったまま幾月か過ぎている…
それにしてもSchemeに恨みでもあるのかなあの人。
すごいなあ。
t-sin
boosted
#lisp_ja Npt Lispの紹介 - nptclのブログ | http://redd.it/b7k9fe
なぞの出会いアカウントからのリプライに、ACMの論文買ったのにダウンロードできないぼくはブチギレブロックをキメた。
もちろん、深い調査は（やられているけど）自分も今後やって行けよな？ というスタンス。
Lispはラムダ計算に出自する、の説を誤りと訂正するだけでも調べた意味はあるのではないかしら。と、思った。
自分の理解内容が完全に間違っててワロタ
幸せになれそう。ここを起点にいろいろ知りたいなあ。
http://www.softwarepreservation.org/projects/LISP
Opusmodus、使ってみたいけどMac専用なので使えないのだよな…
t-sin
boosted
#Common_Lisp lem-opengl: opengl frontend for lem | http://redd.it/azeeel
うおお。うおお。LISPの誕生の流れが…！ たのしい！ たのしい！ MIT AI memo読む！
t-sin
boosted
先頭に謎の▽がはいる、もある
t-sin
boosted
https://mastodon.cardina1.red/@lo48576/101713925978252826
私が SKK でいちばんよくやるミス第一位、「テキスト末尾に無駄な l を入れる」です
ついにpackage-inferred-systemを使わない勇気（？）が心に芽生えた。
DEFUNいつもありがとうーー！！🎉🎊
t-sin
boosted
#lisp_ja DEFUN 50歳おめでとう— #:g1 | http://redd.it/aw19mu
- https://twitter.com/sin_clav
- soundcloud
- https://soundcloud.com/sin_clav
SKKとCommon Lispとlemでたたかうへっぽこプログラマ。
Joined Apr 2017
