Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (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
- きゅーけー (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 permalink
- きゅーけー (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 permalink

Feeds