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

    • Public
    • Network
    • Groups
    • Popular
    • People

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

  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 10:06:00 JST きゅーけー きゅーけー
    in reply to

    あ、USキーボードユーザーなので、左上にある記号がなんか違うかも……。

    In conversation Tuesday, 17-May-2022 10:06:00 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 10:05:24 JST きゅーけー きゅーけー

    Emacs でホームポジションが小指の一つ左にずれた状態でのキー操作になれているので、D は確実に左シフト使う派だった。右シフトは「~」と「!」を使うとき以外に使ってない気がしてきた。

    In conversation Tuesday, 17-May-2022 10:05:24 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 09:59:06 JST きゅーけー きゅーけー

    まさか寝てしまうとは……。いそいで準備しないと。

    In conversation Tuesday, 17-May-2022 09:59:06 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 05:54:41 JST きゅーけー きゅーけー

    再度眠るのは無理そうだし、StumpWM の設定しよ。

    In conversation Tuesday, 17-May-2022 05:54:41 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 05:30:43 JST きゅーけー きゅーけー

    ゲーム紹介動画を作ってみて感じたこととして、記事にするよりも気分的に楽な感じがしてよかった。

    もしかしたら、記事作成よりも動画作る方が向いてるかもしれない。

    In conversation Tuesday, 17-May-2022 05:30:43 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 05:28:36 JST きゅーけー きゅーけー

    PeerTube を知ったとき、理想的ではあるけど管理者が様々なリスクを負うし実際にかかる金銭的な負担等を考えると現実的にはあまりに厳しすぎるのではないかと思っていたのですが、 FediMovie に関連する活動が既に進んでいて日本語圏で現実的に使える状況になっているのを目の当たりにし驚きました。今の状況には感謝しかありません。

    様々な理由により YouTube やニコニコ動画への動画投稿が難しい身分のため本当に助かります。

    個人的に動画投稿を通してスライド発表的なことの訓練をしていきたいと思っているので、若干堅めな動画が多く投稿する感じになると思うのですがよろしくお願いします。

    In conversation Tuesday, 17-May-2022 05:28:36 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 05:10:06 JST きゅーけー きゅーけー

    異様に早く起きてしまった。変な時間に寝ちゃうと深く眠れなくなってよくないな。

    In conversation Tuesday, 17-May-2022 05:10:06 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:19:46 JST きゅーけー きゅーけー
    in reply to

    問題ないな。StumpWM で決まりだ。今日はもう遅いし明日やろう。

    In conversation Tuesday, 17-May-2022 02:19:46 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:19:17 JST きゅーけー きゅーけー
    in reply to

    C-t の送信は C-t C-t じゃなくて C-t t だった。

    In conversation Tuesday, 17-May-2022 02:19:17 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:16:55 JST きゅーけー きゅーけー
    in reply to

    いや、むしろ C-t のまま使って Emacs から ACL2 で使うときに C-t C-t でやっていくのはありだな。

    過去に嫌だったのは Emacs の C-t で前後の文字を入れ替える機能を普通に使ってたからなんだけど、それは C-t 一発じゃないといやだけど、ACL2 の方は C-t C-t になっても別に良いでしょ。

    In conversation Tuesday, 17-May-2022 02:16:55 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:13:29 JST きゅーけー きゅーけー
    in reply to

    Super キーはちょっと Prefix Key には向いてない気がする。親指が疲れそう。

    In conversation Tuesday, 17-May-2022 02:13:29 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:08:39 JST きゅーけー きゅーけー
    in reply to

    Super キーはちょっと押しにくそう

    In conversation Tuesday, 17-May-2022 02:08:39 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:07:59 JST きゅーけー きゅーけー
    in reply to

    Super キーが無難かな。

    In conversation Tuesday, 17-May-2022 02:07:59 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:07:04 JST きゅーけー きゅーけー
    in reply to

    昔は C-z を採用していたけど、これって Emacs 以外のアプリケーションを使うことを視野に入れるとマジでありえない選択なんだよな。

    In conversation Tuesday, 17-May-2022 02:07:04 JST from mastodon.tojo.tokyo permalink
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:06:08 JST きゅーけー きゅーけー
    in reply to

    デフォルトの C-t はちょっと ACL2 の emacs のバインディングに取られてるから駄目で変更が必須なんだけどじゃあどれがいいかって話になる。

    In conversation Tuesday, 17-May-2022 02:06:08 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:05:08 JST きゅーけー きゅーけー
    in reply to

    StumpWM にする場合はどのキーを犠牲にするか考えないとな。Emacs との競合問題は深刻なので。

    In conversation Tuesday, 17-May-2022 02:05:08 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:04:17 JST きゅーけー きゅーけー
    in reply to

    まあタイル型にするならやっぱ Lisp が好きだし考えるのは StumpWM かな。そうじゃない場合の候補か。

    In conversation Tuesday, 17-May-2022 02:04:17 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:02:53 JST きゅーけー きゅーけー
    in reply to

    Emacs もまあタイル型のUIしているわけで、Emacs の操作と WM の操作を別にやらないといけないのがきついというのが結構ある。

    だからといって EXWM を採用すると Emacs がフリーズしたり Emacs を再起動したいときになんか困る。

    In conversation Tuesday, 17-May-2022 02:02:53 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 02:01:47 JST きゅーけー きゅーけー
    in reply to

    タイル型のウィンドウマネージャーは結局微妙に面倒な気がしてスタック型の方が便利な気がしないでもないんだよな。

    In conversation Tuesday, 17-May-2022 02:01:47 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 17-May-2022 01:59:43 JST きゅーけー きゅーけー
    in reply to

    StumpWM の方がいいかな〜。以前は EXWM を使ってたけどあれは Emacs を再起動したいときに困るからちょっと避けたい気持ちがある。

    In conversation Tuesday, 17-May-2022 01:59:43 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
          5

          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.