senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Timeline for it list by senooken, page 97

せのお (妹尾 賢) senooken it Friday, 30-Nov-0001 09:18:59 LMT
  • Subscribe
Listed 8 Subscribers 0
  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:25:43 JST きゅーけー きゅーけー

    とりあえず、.sbclrc に asdf:load-system 書いちゃうか……(ベストプラクティスが分かってない)。

    In conversation Friday, 31-Dec-2021 16:25:43 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:24:58 JST きゅーけー きゅーけー

    asdf:load-system しないと使えないのか。びっくりするほど何も覚えてないな。ようやく coalton まで辿りついた。

    In conversation Friday, 31-Dec-2021 16:24:58 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:19:07 JST きゅーけー きゅーけー

    まだ設定書いてるだけだけど Lisp を書いてるだけでちょっと気分が良くなるな。

    In conversation Friday, 31-Dec-2021 16:19:07 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:16:48 JST きゅーけー きゅーけー

    LispWorks のドキュメントのお世話になっているのに使っていないのちょっと申し分けない気持ちはちょっとある。これはテレビを持っていなくて NHK の受信料を払っていないが NHK のニュースをインターネットで見ている人が感じる申し分けなさに通じる気がする。

    In conversation Friday, 31-Dec-2021 16:16:48 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:15:44 JST きゅーけー きゅーけー

    ANSI Common Lisp に user-homedir-pathname という便利関数が入っているの助かるな。http://www.lispworks.com/documentation/HyperSpec/Body/f_user_h.htm

    In conversation Friday, 31-Dec-2021 16:15:44 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:14:20 JST きゅーけー きゅーけー

    Common Lisp で pathname 同士を連結するときは merge-pathname か。これはフィーリングでは見つけられないな。http://www.lispworks.com/documentation/lw51/CLHS/Body/f_merge_.htm

    In conversation Friday, 31-Dec-2021 16:14:20 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:10:12 JST きゅーけー きゅーけー

    ここにある通りソースレジストリを指定すれば動作するっぽい。https://privet-kitty.github.io/misc/asdf-ja.html#ASDF_304c_30b7_30b9_30c6_30e0_3092_63a2_3059_5834_6240_3092_8a2d_5b9a_3059_308b

    In conversation Friday, 31-Dec-2021 16:10:12 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:08:50 JST きゅーけー きゅーけー

    sbcl は得に asdf を require しなくても asdf が入った状態で起動してんのか。

    In conversation Friday, 31-Dec-2021 16:08:50 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:07:06 JST きゅーけー きゅーけー

    お、この文書分かりやすいかも。https://privet-kitty.github.io/misc/asdf-ja.html#ASDF_3092_30a2_30c3_30d7_30b0_30ec_30fc_30c9_3059_308b

    In conversation Friday, 31-Dec-2021 16:07:06 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:06:23 JST きゅーけー きゅーけー

    まあいいか。よく分からんし sbclrc とかでロードしちゃえばいいかな。

    In conversation Friday, 31-Dec-2021 16:06:23 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:05:09 JST きゅーけー きゅーけー

    .guix-profile/share/common-lisp/sbcl/coalton/coalton.asd を読めばよさそう。これどうするのがベストプラクティスなんだろう。

    In conversation Friday, 31-Dec-2021 16:05:09 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 16:00:07 JST きゅーけー きゅーけー

    あ、たしかにコードから unquote が消えてる。これは見やすい。どう考えても前のやつは冗長で無駄があった感じするし改善してると思う。

    In conversation Friday, 31-Dec-2021 16:00:07 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:59:34 JST きゅーけー きゅーけー

    asdf-build-system/sbcl とかいう仕組みで抽象化されてんな。

    In conversation Friday, 31-Dec-2021 15:59:34 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:58:08 JST きゅーけー きゅーけー

    久々の git pull なので時間がかかるな。

    In conversation Friday, 31-Dec-2021 15:58:08 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:57:39 JST きゅーけー きゅーけー

    とりあえず Guix のソースを読んだ方が早そうって思ったけどそういや大きな変更があったんだったな。

    In conversation Friday, 31-Dec-2021 15:57:39 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:52:55 JST きゅーけー きゅーけー

    とりあえず guix-profile のどこに coalton が置かれたのか見るか(発想が雑)。

    In conversation Friday, 31-Dec-2021 15:52:55 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:51:30 JST きゅーけー きゅーけー

    う、わからん。asdf のロード的なことしないといけないんかな。

    In conversation Friday, 31-Dec-2021 15:51:30 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:48:20 JST きゅーけー きゅーけー

    とりあえずこれで入れてみた。asdf とかそういう Common Lisp のパッケージに関することほとんど忘れてるのでうまくできるか不安だ。

    guix install sbcl sbcl-coalton

    In conversation Friday, 31-Dec-2021 15:48:20 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:46:03 JST きゅーけー きゅーけー

    まあ、ACL2 はまたいつかやりたいと感じてきたらやればいいや。今は Coalton が優先だ。

    In conversation Friday, 31-Dec-2021 15:46:03 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 15:44:41 JST きゅーけー きゅーけー

    .emacs を開いたら

    ```(org-babel-load-file "~/org/laptop.org")```

    としか書いてなくてビビったけど当然だった。

    In conversation Friday, 31-Dec-2021 15:44:41 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

  • Subscribe
  • List
せのお (妹尾 賢)

せのお (妹尾 賢)

Tokyo-to

https://senooken.jp

『「覚悟」とは暗闇の荒野に進むべき道を切り開くことだッ!』 『いきつづけたいという いし… うんめいを かえたいという つよいきもち。わたしは この ちからを… 「ケツイ」と よぶことにした。』 『不運、不幸、不ヅキ、運命、境遇、障害、不平、不正。すべてをねじ伏せオレは勝つ……!』 投資: @senooken_money 実験的にGoogle Adsense広告を設置中。

Tags
  • #asd
  • #gnusocial
  • #ingress
  • #mtgjp
More details...

    Listed

    • Ryusei
    • mecab✅
    • h12o
    • 東海りな@東海道らぐ広報部
    • LibreOffice
    • あわしろいくや
    • きゅーけー
    • 出雲伊月

    Subscribers

      (None)

      Feeds

      • Activity Streams
      • RSS 2.0
      • Atom
      • Help
      • About
      • FAQ
      • TOS
      • Privacy
      • Source
      • Version
      • Contact

      senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

      Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.