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

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by きゅーけー (tojoqk@mastodon.tojo.tokyo), page 225

  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 14:17:16 JST きゅーけー きゅーけー

    今日は GNU Guile のレコードまわりとか (ice-9 match) の仕様とか、例外とか調べてた。 (srfi srfi-9 gnu) というモジュールがあり、イミュータブルなレコードを手軽に定義できることを学んだ。もう Scheme 処理系間の移植性については考えてないのでこういうのも使っていく。

    In conversation Saturday, 03-Apr-2021 14:17:16 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 14:09:45 JST きゅーけー きゅーけー

    横浜駅のストリートピアノがすごかった。

    In conversation Saturday, 03-Apr-2021 14:09:45 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 03:17:50 JST きゅーけー きゅーけー
    in reply to

    SICP の指示は無視して自分の好きなように抽象化するか。

    In conversation Saturday, 03-Apr-2021 03:17:50 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:56:10 JST きゅーけー きゅーけー

    SICP の図形言語の実装の期限はあるので、一応を急ぎで作ってみて公開してもよさそうなら公開するというノリでいくか。

    In conversation Saturday, 03-Apr-2021 02:56:10 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:54:33 JST きゅーけー きゅーけー

    SICP の図形言語を実装するのに、SICP をマネしないようにするという難解なことを考え始めている……。

    In conversation Saturday, 03-Apr-2021 02:54:33 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:53:43 JST きゅーけー きゅーけー

    Racket の sicp-lang は LGPLv3 でリリースされているし、別に Guile で sicp の picture language を実装して GPLv3 でリリースしても良い気がしてきた。ただ、SICP の実装を丸パクリしないように一応気をつけた方がいいかもしれない。https://github.com/sicp-lang/sicp

    In conversation Saturday, 03-Apr-2021 02:53:43 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:44:41 JST きゅーけー きゅーけー
    in reply to

    まあ、Emacs という git のブラウザがあるのでいいか。

    In conversation Saturday, 03-Apr-2021 02:44:41 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:44:03 JST きゅーけー きゅーけー
    in reply to

    いや、プライベートなリポジトリにプライベートな環境からアクセスできる cgit がないとプライベートリポジトリとは言えないのでは……。

    In conversation Saturday, 03-Apr-2021 02:44:03 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:42:57 JST きゅーけー きゅーけー

    git.tojo.tokyo でもプライベートリポジトリ的なものを管理できるようになった。(これは大袈裟で、cgit 公開しないディレクトリに git のリポジトリを置いているだけ)

    In conversation Saturday, 03-Apr-2021 02:42:57 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 02:37:18 JST きゅーけー きゅーけー

    SICP の図形言語、どうしても教科書中の実装を使わないといけない部分があって、自分の著作権で公開するの難しそうなので公開は諦める。。。

    In conversation Saturday, 03-Apr-2021 02:37:18 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:36:27 JST きゅーけー きゅーけー

    ファイルの先頭行に Guile のコードを書いた瞬間に強烈な違和感を覚えるようになってしまった。ライセンスのヘッダを書くと違和感が収まる……。

    In conversation Saturday, 03-Apr-2021 01:36:27 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:34:27 JST きゅーけー きゅーけー
    in reply to

    そのために SICP Picture Language をこれから作る。納期は来週の平日のどこかなので日曜日までには完成させたい。むかし、SICP の図形言語のところを svg で実装したことがあるのでたぶんいけると思う……。

    In conversation Saturday, 03-Apr-2021 01:34:27 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:32:42 JST きゅーけー きゅーけー

    来週の SICP 読書会までに Guile の Picture Language ライブラリを使って、SICP ができるように整えねば。

    In conversation Saturday, 03-Apr-2021 01:32:42 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:31:24 JST きゅーけー きゅーけー
    in reply to

    やはり、EXWM の中で Emacs を開くのはなんかおかしいのでやめた。

    In conversation Saturday, 03-Apr-2021 01:31:24 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:29:22 JST きゅーけー きゅーけー

    Emacs の Geiser で Guile の開発をする場合、結局 guix environment は使わないで開発に必要なパッケージを手元(profile)に入れてしまって開発するのが楽な気がしてきてしまう。他の人はどうやってるんだろう……。

    In conversation Saturday, 03-Apr-2021 01:29:22 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:24:44 JST きゅーけー きゅーけー

    冷静に考えたら Guile REPL の実行コマンドを差し替えて guix environment しちゃえばいいだけな気がするな……。

    In conversation Saturday, 03-Apr-2021 01:24:44 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:23:01 JST きゅーけー きゅーけー

    guix environment ... -- emacsをしたいので EXWM の中で Emacs を開いちゃってるんだけど、もっと良い方法がある気がしている……。

    In conversation Saturday, 03-Apr-2021 01:23:01 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:17:30 JST きゅーけー きゅーけー

    GNU IceCat から画像をアップするのに何故か失敗してしまった……(Ungoogled-Chromium からなら上げられた)

    In conversation Saturday, 03-Apr-2021 01:17:30 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:16:17 JST きゅーけー きゅーけー

    tool-bar と menu-bar を表示するようにすると EXWM の中で Emacs を開いたときの光景がなんか凄くなった。

    In conversation Saturday, 03-Apr-2021 01:16:17 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 03-Apr-2021 01:14:35 JST きゅーけー きゅーけー

    写真のアップに失敗したかも

    In conversation Saturday, 03-Apr-2021 01:14:35 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

    きゅーけー

    きゅーけー

    GNU Guix ユーザーの Schemer で、自由ソフトウェアと行動分析学が好きです。Jami: e5fdfccb74c383420e6e647897dae018a4bd61fb

    Tags
    • (None)
    ActivityPub
    Remote Profile

    Following 1

      Followers 0

        Groups 0

          Statistics

          User ID
          27709
          Member since
          22 Jun 2020
          Notices
          8760
          Daily average
          4

          Feeds

          • 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.