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

    • Public
    • Network
    • Groups
    • Popular
    • People

Timeline for it list by senooken, page 64

せのお (妹尾 賢) senooken it Friday, 30-Nov-0001 09:18:59 LMT
  • Subscribe
Listed 8 Subscribers 0
  1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 28-Mar-2022 01:33:29 JST きゅーけー きゅーけー
    in reply to

    現社会からの需要がない感。

    In conversation Monday, 28-Mar-2022 01:33:29 JST from mastodon.tojo.tokyo permalink
  2. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 28-Mar-2022 01:30:44 JST きゅーけー きゅーけー

    ポートフォリオっていいよなあ。なんか私のサイトって反ポートフォリオって感じで駄目だわ。

    システム x による支配https://www.tojo.tokyo/system-x-ni-yoru-sihai.html

    こういうの書いてるし……。

    In conversation Monday, 28-Mar-2022 01:30:44 JST from mastodon.tojo.tokyo permalink
  3. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:20:15 JST きゅーけー きゅーけー
    in reply to

    そもそも、ACL2 の出力が全部 org-mode のファイルに入っちゃうの。ファイルがでかくなって嫌なんだよな。なんか 8000 行くらいになっちゃって Emacs でファイルを保存するのに体感 1 〜 3 秒くらいかかってる気がする。

    In conversation Sunday, 27-Mar-2022 22:20:15 JST from mastodon.tojo.tokyo permalink
  4. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:01:37 JST きゅーけー きゅーけー
    in reply to

    連番は ACL2 の出力へのリンクをどこかに貼る人がでてくるとちょっとつらいな。でもそんなことする人いるかな……。

    In conversation Sunday, 27-Mar-2022 22:01:37 JST from mastodon.tojo.tokyo permalink
  5. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 22:00:54 JST きゅーけー きゅーけー
    in reply to

    最初の出力から連番で ACL2 の出力だけのページを作るか?そうすれば中クリックで別タブで ACL2 の出力をみつつ記事が見れてよさそう。

    In conversation Sunday, 27-Mar-2022 22:00:54 JST from mastodon.tojo.tokyo permalink
  6. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:55:51 JST きゅーけー きゅーけー
    in reply to
    • みゃー@まうい

    @mewl 情報ありがとうございます。私も動機として日本語フォントの表示があった気がします。なんか遅かった記憶もありますね……。

    In conversation Sunday, 27-Mar-2022 21:55:51 JST from mastodon.tojo.tokyo permalink
  7. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:53:51 JST きゅーけー きゅーけー

    私の ACL2 の記事がテキストブラウザをメインで使う人にとって親切でないことが判明したので対処方を考えたい。ACL2 の出力は別のページで確認する仕様を検討してる。その方が普通のブラウザでも見やすい気がするし。

    In conversation Sunday, 27-Mar-2022 21:53:51 JST from mastodon.tojo.tokyo permalink
  8. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:48:42 JST きゅーけー きゅーけー
    in reply to
    • みゃー@まうい

    @mewl まったく記憶にないのでおそらく sixel ではなさそうですが FreeBSD か GNU/Linux のどちらかで X なしでフレームバッファを使ったコンソール上で w3m で画像をインライン表示して喜んでいたことだけは覚えているという感じで具体的に何を使ってたのか思い出せそうにないですね……。

    In conversation Sunday, 27-Mar-2022 21:48:42 JST from mastodon.tojo.tokyo permalink
  9. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:26:51 JST きゅーけー きゅーけー

    @tacumi ちょっと今時間がないので詳細を調べられないんですが、たしかフレームバッファを使ってたので fbcon あたりが怪しいです。

    In conversation Sunday, 27-Mar-2022 21:26:51 JST from mastodon.tojo.tokyo permalink
  10. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:22:03 JST きゅーけー きゅーけー
    in reply to

    フレームバッファってやつだ。

    In conversation Sunday, 27-Mar-2022 21:22:03 JST from mastodon.tojo.tokyo permalink
  11. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:20:30 JST きゅーけー きゅーけー

    w3m で画像をインライン表示する方法忘れてしまった。ターミナル側で画像を表示できるような環境じゃないと厳しかったような。

    なんか5年くらい前にコンソールしばりをしていたときがあって何かを入れると w3m で画像を表示できたんだけどあれなんだったかな……。

    In conversation Sunday, 27-Mar-2022 21:20:30 JST from mastodon.tojo.tokyo permalink
  12. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:15:29 JST きゅーけー きゅーけー
    in reply to

    eww で見ると ACL2 の出力のせいで 6934 行になってしまう……。

    ACL2 で鳩の巣の原理を使ってみたhttps://www.tojo.tokyo/acl2-pigeonhole.html

    In conversation Sunday, 27-Mar-2022 21:15:29 JST from mastodon.tojo.tokyo permalink
  13. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:13:47 JST きゅーけー きゅーけー
    in reply to

    eww もきついな。<details></details> に出力を詰め込むのは良いアイデアかと思ったがテキストブラウザ愛好家の人を実質排斥しちゃう感あるな……。

    In conversation Sunday, 27-Mar-2022 21:13:47 JST from mastodon.tojo.tokyo permalink
  14. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:12:24 JST きゅーけー きゅーけー

    https://www.tojo.tokyo は w3m もサポート対象ですって言おうと思ったけど最新の記事で <details></details> タグに ACL2 の激長出力を詰め込み過ぎている影響でちょっと無理があった。

    In conversation Sunday, 27-Mar-2022 21:12:24 JST from mastodon.tojo.tokyo permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      TojoQK の投稿
      from TojoQK
  15. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:10:20 JST きゅーけー きゅーけー

    w3m だけでも問題なく生活が送れるような時代に戻れないのだろうか。

    In conversation Sunday, 27-Mar-2022 21:10:20 JST from mastodon.tojo.tokyo permalink
  16. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:05:36 JST きゅーけー きゅーけー
    in reply to

    まあ、そもそも私は PayPay 銀行使わないしどうでもいいか……。

    まあ、この流れが広がって私の生活に影響してくる可能性があるときついんだけど多少表示が崩れたって正直個人的にはどうでもいいんだよな……。

    In conversation Sunday, 27-Mar-2022 21:05:36 JST from mastodon.tojo.tokyo permalink
  17. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 21:02:15 JST きゅーけー きゅーけー
    in reply to

    当サイトのご利用にあたって - PayPay銀行https://www.paypay-bank.co.jp/terms/index.html

    > 免責事項>> 当サイトに掲載された情報を利用することで生じたいかなるトラブルおよび損失、損害に対しても、当社は責任を負いません。当サイトの運営の中断、中止や情報の変更によって生じたいかなるトラブルおよび損失、損害に対しても、当社は一切責任を負いません。

    いや、マジで何をサポートしてくれんの?サポートブラウザってどゆこと?

    In conversation Sunday, 27-Mar-2022 21:02:15 JST from mastodon.tojo.tokyo permalink
  18. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 20:54:27 JST きゅーけー きゅーけー
    in reply to

    サイトを閲覧したときに生じた不具合について電話したら対応してくれるってことか?

    In conversation Sunday, 27-Mar-2022 20:54:27 JST from mastodon.tojo.tokyo permalink
  19. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 20:53:41 JST きゅーけー きゅーけー

    「ブラウザをサポートする」とかいう必要が生じているのがなんかおかしいような……。そもそもサイト側は何をサポートしてくれるんだ。

    In conversation Sunday, 27-Mar-2022 20:53:41 JST from mastodon.tojo.tokyo permalink
  20. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 27-Mar-2022 20:50:38 JST きゅーけー きゅーけー

    問題は、「よしブラウザ作るか!」って思ったときにもう簡単に作れない時代になってしまったところにあると思ってるんだよな。なんでWebブラウジングするのに JavaScript とかいう言語処理系の実装が必要になるんや……。

    In conversation Sunday, 27-Mar-2022 20:50:38 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.