GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

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

  1. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 18-Dec-2024 01:38:47 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    宇宙に行った宇宙探査機の Lisp の REPL に入ってデバッグしたという伝説もあってすごい。

    > リモート・エージェントのソフトウェアはHarlequin Common Lispをカスタム移植したものの上で稼働し、NASAの新千年紀プログラム最初のミッション、 ディープ・スペース1号(DS1) に搭載されて宇宙に行きました。1999年5月の2日間、リモート・エージェントはDS1を制御し、その期間中、地上のテストでは起こらなかった乱調状態をデバッグして、修正もできました。

    JPL(ジェット推進研究所)におけるLispの顛末
    https://postd.cc/lisping-at-jpl/

    In conversation Wednesday, 18-Dec-2024 01:38:47 JST from mastodon.tojo.tokyo permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: postd.cc
      JPL(ジェット推進研究所)におけるLispの顛末 | POSTD
      この記事はジェット推進研究所(JPL)におけるLispの盛衰について、私の(しかもかなり偏った)個人的見地から書きました。JPLの所員としての立場で書いているのではなく、JPLの公的な立場を代弁する…
  2. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 18-Dec-2024 01:28:34 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    Emacs を動かしながらEmacs Lispの関数を後から上書きして挙動を変更できるとかそういうあたりのところは、動的型付けのメリットとして現実的に主張可能なところだと思っているのだけど、そのあたりの議論をしているところをあまり見ない。ユーザーがソフトウェアを使いながらコード変更してソフトウェアの振る舞いをコントロールすることをそもそも想定していないケースが多いからだとは思う。

    GNUがLispを好むのには合理的な理由がある。

    In conversation Wednesday, 18-Dec-2024 01:28:34 JST from mastodon.tojo.tokyo permalink
  3. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 12-Dec-2024 20:37:02 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    記事読んでる時に「ビジネスパーソン」とかいう言葉が出てくるとダメージを受けてしまいそれ以上読みたくなくなる。なんだよビジネスパーソンって…

    In conversation Thursday, 12-Dec-2024 20:37:02 JST from mastodon.tojo.tokyo permalink
  4. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 12-Dec-2024 15:38:55 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    悪人呼ばわりではなくて無能呼ばわりした方がいい気がする。実態に沿ってそうだし。

    In conversation Thursday, 12-Dec-2024 15:38:55 JST from mastodon.tojo.tokyo permalink
  5. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 12-Dec-2024 15:38:54 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP

    悪人だとなんか罰さないといけない感じになるけど、無能なら他と交換すればいいという話になる。

    In conversation Thursday, 12-Dec-2024 15:38:54 JST from mastodon.tojo.tokyo permalink
  6. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 12-Dec-2024 15:38:32 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    クラウドとかAPIの翻訳、翻訳が雑なことよりも翻訳が更新されないことのほうが害悪度が高いので、ちゃんと更新さえされれば雑でもいいとおもってる。更新しないなら翻訳しない方がマシとすら思う。

    In conversation Thursday, 12-Dec-2024 15:38:32 JST from mastodon.tojo.tokyo permalink
  7. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 11-Dec-2024 21:04:50 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    いまの子供は学校での授業で使用するために制限されたPCを強制されていそうで、一人一台にもかかわらず Linux にできない可能性が……

    In conversation Wednesday, 11-Dec-2024 21:04:50 JST from mastodon.tojo.tokyo permalink
  8. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 11-Dec-2024 11:00:29 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP
    • たかし

    @tak4 NotABug、自由ソフトウェアよりな感じでよさそうですね。ありがとうございます。

    In conversation Wednesday, 11-Dec-2024 11:00:29 JST from mastodon.tojo.tokyo permalink
  9. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 11-Dec-2024 00:02:18 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    最近実装した便利ライブラリ、GitHub は使いたくないし、私の git サーバーに置くとあまり見られなそうという意味でもったいないという感じなので、折衷案として gitlab.com に置くと決めた。

    In conversation Wednesday, 11-Dec-2024 00:02:18 JST from mastodon.tojo.tokyo permalink

    Attachments


  10. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 09-Dec-2024 22:36:42 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    生活を豊かにするかと思われた「デジタル化」が飲食店を潰してるじゃん

    In conversation Monday, 09-Dec-2024 22:36:42 JST from mastodon.tojo.tokyo permalink
  11. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 03-Dec-2024 20:21:08 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    別の話だけどパスワード登録時に勝手に私のパスワードを切り詰めて(***になってるから気づきにくい)登録し、ログイン時にはパスワード長について何もエラーを出さなかったサイトについて本当に許せん。

    パスワード登録・ログインのUIで人の直感に反することはしないでほしいと思う。

    In conversation Tuesday, 03-Dec-2024 20:21:08 JST from mastodon.tojo.tokyo permalink
  12. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 29-Nov-2024 23:54:36 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    ミストちゃんねる視聴者であることを明かすのなんか嫌な気がするけどしゃあない

    In conversation Friday, 29-Nov-2024 23:54:36 JST from mastodon.tojo.tokyo permalink
  13. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 27-Nov-2024 20:29:46 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    お一人様サーバーが許される環境でしか SNS をしたくないと感じているので、結構多くの Fediverse ユーザが存在していて成立していることに感謝してる。

    私は自分のアカウントを管理している他人がいて、投稿を管理したり、モデレーションされるという状況について苦痛を感じてしまう。
    少なくともこの自分のサーバーの範囲内において自己の責任のもとで、投稿して公開し続けられるのはとてもありがたい。

    In conversation Wednesday, 27-Nov-2024 20:29:46 JST from mastodon.tojo.tokyo permalink
  14. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 15-Nov-2024 23:41:40 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    戦略的なことを考えると YouTube の方を広めた方が再生回数に応じてリコメンドされまくて広まる可能性があるいう現実的な決断をし、YouTube の方を広めることにする。

    In conversation Friday, 15-Nov-2024 23:41:40 JST from mastodon.tojo.tokyo permalink
  15. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 14-Nov-2024 16:42:15 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    xdg-user-dirs が「ドキュメント」のような日本語のディレクトリを勝手に作るのに抵抗するための設定をずっと入れているのだけど、そもそも英語名に拘る必要はあまりないのかもしれない。
    日本に住んでいて日本語で生活しているのだから日本語のディレクトリ名にするのが自然な気もしてきた。

    In conversation Thursday, 14-Nov-2024 16:42:15 JST from mastodon.tojo.tokyo permalink
  16. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Oct-2024 23:14:36 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    選挙区に出ている人の政策を読んでみると、一部について党の方針と明らかに逆の主張をしているケースがあることが分かった。
    党的には正直支持できないのだけど、その人はかなりよさそうという状況で悩ましいな。

    In conversation Tuesday, 22-Oct-2024 23:14:36 JST from mastodon.tojo.tokyo permalink
  17. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 26-Aug-2024 13:49:31 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    2020年時点でE2EE開発についてコメントしている時雨堂さんの記事。
    外務省のリンクなども張られていて、E2EE に対する風当たりの強さについてコメントしている。

    E2EE を開発していて思うこと
    https://voluntas.medium.com/e2ee-%E3%82%92%E9%96%8B%E7%99%BA%E3%81%97%E3%81%A6%E3%81%84%E3%81%A6%E6%80%9D%E3%81%86%E3%81%93%E3%81%A8-42ebed6a7e58

    In conversation Monday, 26-Aug-2024 13:49:31 JST from mastodon.tojo.tokyo permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: miro.medium.com
      E2EE を開発していて思うこと
      from https://voluntas.medium.com
      ここ数ヶ月は自社製品向けの End to End (Media) Encryption の設計と実装をしています。年内での提供を目標として開発を進めてい見ていますが、色々感じることがあったので雑に書いていこうと思います。
  18. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 20-Jul-2024 11:14:09 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    無数に言ってる人いると思うけど、CloudStrike、クラウドからのストライクでWindowsを壊してて草

    In conversation Saturday, 20-Jul-2024 11:14:09 JST from mastodon.tojo.tokyo permalink
  19. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 20-Jul-2024 11:14:01 JST きゅーけー きゅーけー
    in reply to
    • かき@GNUsocialJP

    都会の広告は不快だったんだ。あのストレスが遠ざかったのは大きい。

    In conversation Saturday, 20-Jul-2024 11:14:01 JST from mastodon.tojo.tokyo permalink
  20. Embed this notice
    きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 20-Jul-2024 11:13:24 JST きゅーけー きゅーけー
    • かき@GNUsocialJP

    電車乗るたびに広告がまともになったのを感じていて、都会から離れてよかったになってる。

    In conversation Saturday, 20-Jul-2024 11:13:24 JST from mastodon.tojo.tokyo permalink
  • After
  • Before

User actions

    きゅーけー

    きゅーけー

    GNU Guix ユーザーの Lisper で、自由ソフトウェアと行動分析学が好きです。最近は ACL2 に自動推論させて定理を証明させるのにはまっています。注意このアカウントは深夜0時から朝7時までの間、自動的にアカウントがロックされるように設定されています。どんな状況でも0時を越えた途端に一切の反応がなくなるのでご了承ください。

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          601
          Member since
          23 Jul 2022
          Notices
          353
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.