@mimikun human_rights.lua で find() を作ってるけど、「table が特定の value を持つ要素を持つかどうかをチェックする」は vim.iter() を使うほうがいいと思う。
たとえば、

vim.iter({ 3, 6, 9, 12 }):find(12)

は 12 を返すし

vim.iter({ 3, 6, 9, 12 }):find(20)

は nil を返すので、vim.iter(t):find(v) ~= nil で書けたはず。
vim.iter(t) が返すオブジェクトは他にも map や filter や any のような関数型っぽい便利機能いろいろあるので Lua でやりがちだけど for でごちゃっとしてしまう操作をスッキリ宣言的に書けると思う

@mimikun

a .. path_sep .. b .. path_sep ..
みたいな書き方をしたくなったときは
table.concat({a, b, c}, path_sep) で concat したほうがすっきり書けると思う

@mimikun せっかくだから気づいたことここに逐次つけておくね。

vim.loop は deprecated なので vim.uv にするほうがいいけど、NeoVim のバージョン次第で vim.uv が使えないかもしれないので、
local uv = vim.uv and vim.uv or vim.loop
uv.os_name()
...
みたいな書き方にしておくと後々に vim.loop が nil になっても困らない

あと home directory は os.getenv しなくても vim.uv.os_homedir() で Windows/Unix 系問わず取得できます

@mimikun
init.lua で filetype plugin indent off したあと on してるのあんま意味なさそう。
filetype ごとに個別のインデント幅設定したいときは、たとえば ftplugin/lua.lua とか置いてそこに
vim.opt.shiftwidth=2
vim.opt.softtab=2
とか書いとけば ft=lua のファイル読んだときだけ設定が override されるのでそっちのほうがよいと思いました。

このアカウントは、notestockで公開設定になっていません。

んんー、だめかあ

このアカウントは、notestockで公開設定になっていません。

なんか NeoVim の plugin 書いてるひとたちアグレッシヴに nightly の API 使って逆に stable neovim だと plugin がうまく動かないみたいなの前経験したので諦めて nightly つかってるとこある

どうでもいいけど自分の dotfiles がまだ rust-tools.nvim のままで rustacean に移行し忘れてたの思い出せました

きびしい

このアカウントは、notestockで公開設定になっていません。

問題に関係ないけど、inlay hint は neovim 本体に入ったから別建て plugin そろそろ要らんそうな気がする

snippet 補完の使おうとして前後行が消えたりしたことあったの思い出したんですが、vsnip 無効化とかするとどうなるのかしら

簡素な構成なので何か問題でるような入れ込んだ依存や設定があるようには見えないので、completion 消えるのだいぶ謎だなあ。
<CR> をとりあえず <C-y> とかにして同じ問題起きるかは気になる

このアカウントは、notestockで公開設定になっていません。

GitHub - AboutRSS/ALL-about-RSS: A list of RSS related stuff: tools, services, communities and tutorials, etc.
https://github.com/AboutRSS/ALL-about-RSS

Sandal のひとのブログわたしもたまに参照するんだけど何者なんだろ

自分がユーザーでもないものに issue 建てる暇人とかおるんだ

@akahana 一人でぐねぐねしててもわからんのままだと思うのと、全部書き直せはないでしょ（本質的な起動しない事由の指摘じゃないしそれ

狂犬病を免疫学習で克服できた人、人類の光すぎるから直ちに献体提供したほうがよさそう

このアカウントは、notestockで公開設定になっていません。

かしこ

あとハンドルネームじたい杜甫々（とほほ）なんだ……

「とほほの WWW 入門」の人、今日の YAPC 登壇してたらしい。JUNET 時代からのインターネットユーザーらしく格の違いを感じる。本物のインターネット老人会やん

https://x.com/sotarok/status/1756243334186848287?s=20

いっぺん dotfile ぜんぶみせろ

plugin manager なに使ってるか知らんけど遅延ロード発火させるイベント勘違いして設定しとるんとちゃうの

逆に言えば VMM やるにしても kernel やるにしても GUI toolkit やるにしても、プラットフォームをつくるということなので具体的なユースケースやアプリを書く気持ちがないと良い品質のものは作れないということではあるが

このアカウントは、notestockで公開設定になっていません。

kernel が裏でいろいろ準備してから main() でスケジューラー起こしたらタスクのディスパッチする無限ループに入りつつ都度割り込みをハンドラで捌いたりなにかしらの操作要求をシステムコールで受け付けるのと同じで、GUI アプリも裏のツールキットやフレームワークはメインのイベントループが居つつマウスやボタンのイベントを受け取ったらアプリが設定してるハンドラ呼び出したりアプリのサスペンドとかバックグラウンドモードになったり前面にきたりしたときのようなアプリのライフサイクルに応じた処理を呼び出したり、下側にいるヤツの気持ちや振舞いの本質は大差ない

いきなり follow suggest みたいなのが TL にでてきた

時代考証して

このアカウントは、notestockで公開設定になっていません。

ナンバーとったのこれ……

何の話かとおもったら西陣織のパターンのメディアが FD で、の話か

メモリースティック → FD はあるので SD → MS → FD で

初めて買ったアニメの Blu-ray Disc ソフトはたぶん『ストライクウィッチーズ』二期の BD BOX（501 JFW 各隊員のパーソナルマークピンバッジつき）だったと思う

近い

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

アークナイツそろそろやってみてみる時期がきたか

そんで X で follow してるから気付いたのだけど園崎未恵さん私と同じ 2/7 が誕生日なんで誕生日の配信とかやってるのも知った

島根に松屋なかったから先にスト魔女のバルクホルンのひと、で認知した > 園崎さん

このアカウントは、notestockで公開設定になっていません。

ひとまず全部 unsafe で括ってやれば borrow checker が走るとかモダンなパターンマッチや C の enum でない代数的な直和型とかつかえるべんりでモダンな低レイヤ言語、ぐらいにはなると思うし最初はそれでもよさそう。borrow checker もちょいとした hack で外せそうではある。（もちろん C の POD な struct や enum と互換するデータ構造もつくれるはず

そこらへんわりと手軽にできるようになってると思いますね

C を使うのは C を使いたいというよりはしがらみで C を使わざるを得ないことが多かったりするように、C++ や Java も悪くないし漸近的に新しいセマンティクスや機能を増やしてるので既存のものを言語切り替えるほど大胆な変更ではなく徐々にモダンにリファクタリングできることには価値があるけど、それはそれとして今から新しく書くときにそれでなくてもいいよねという

インターフェース設計の一部として抽象クラスをつくってそれを継承するのは構わないけど、実装の再利用のための継承はやめよう、でいい気はする。ところでそんな運用でカバー、とかするぐらいなら型クラスある言語とか trait がある言語とかでいいわけだけど

Vim でも Emacs でも LSP の恩恵に預って継承元の実装にコードジャンプとかできるわけだけど、IDE 使おうがエディタ使おうが何を使おうが人間の認知やワーキングメモリを無駄遣いするのは変わらないんだよなあ。

GDB に tty コマンドなんてあるのか。ためしてみよ

このアカウントは、notestockで公開設定になっていません。

竹がイネ科なの完全に認知してなかったけどよく伐り倒したり筍掘ったりしてました

そっか、わたしたち宿敵だったんだね（CV 鬼頭明里）になってきた

ごめんなさい……実家が米農家で……

希少種だ

このアカウントは、notestockで公開設定になっていません。

３歳のイネ科植物って実は長老級だったりせんか？

反省もなにもあれからもずっとああでは？

じょうずにできたね、今夜はひとりで寝られるかな！？

このアカウントは、notestockで公開設定になっていません。

ふらんす亭

事故ったの

(2020/06/10) ANA、国内線のオンラインチェックインサービスを6月24日開始。有人カウンターへの立ち寄りを回避 スキップサービスが利用できない場合も空港での手続き不要に - トラベル Watch
https://travel.watch.impress.co.jp/docs/news/1258118.html

逆に窓口や紙の航空券なかったら人に航空券送ったり出張で買ったりするのに困ると思うのだけど、いままで出張とかしてなかったのだろうか

オンラインチェックイン何年前からあるとおもってるのだ

@risa 練習して

@risa Apple Wallet はロック画面でホームボタンダブルタップするか、ホームボタンのない機種ならサイドボタンをダブルタップすれば即座に開けるとおもいますが。

@risa Apple Wallet 登録するといちいちアプリ起動しなくても Apple Wallet のクレジットカードなど一覧するところで QR も出せる

それで凍結だなんだいわない人はそもそも X をまだ使ってたほうがインプレッションとか悪くないのでは

このアカウントは、notestockで公開設定になっていません。

緩んでるのはそうだけど本邦のセンシティヴ画像への倫理観でやるとどこいっても不満かトラブルかだとおもった

イラストレーターのポートフォリオサイトを独自ドメインで建てるのに Tumblr、はアリではないかとおもうが近頃騒いでいる NSFW な落書きをどこかにさらっと投げたい人々の受け皿足り得るかはわからない

Tumblr むかしはアダルトでもなんでもござれだったけど方々の SNS に先駆けて R-18 抹殺したんだよね

個々人の責任の限りにおいて自由にすればいいしそれで職に就くことが阻害されてはならないと思うけれど、一方で自身の頭部に不可逆の変更を加えるとして「魚のヒレのような形をした気象観測装置を手術で頭の左右に取り付け」ることにした意思決定の経緯は気になる。いいのかそれで？

@akahana https://www.businessinsider.jp/post-364
もう 10 年弱くらいはボディハッカー居るのだしとくまあそういうこともあるだろうなぐらいのニュースでは

@akahana プロトタイプともなにも私の一個存在はワンオフなのだけれども！

@akahana まず量産型じゃないんだけど

そのためにコネクタやらなんやら起こすとそれだけで企画成立しなくなる販売価になりそ

じゃあ原価削減ってやつですね

このアカウントは、notestockで公開設定になっていません。

しばふさん……

ハイオク 175 円は嘘だよ

なんかまあべつにそれはいいんではという気がする

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

メーカーとして特定メーカーの SD カード以外動作保証しません、ならわかるけど、認識しないのって専用ハードウェアでしか使えない暗号化つかってるとかそういうのだろうか

@Otakyuline それは……そう！

これシートへの擦過傷防ぐプロテクタで人間につけるやつはまたべつね

@Otakyuline 死ぬときは死ぬが！？

@aiwas 流石に報われてほしい

誕生日プレゼントにいただいたポケットやプロテクター、ベルトガイドをシートに取り付けた

崩壊した……

実はヒナとミユは晄輪大祭で接点がある（競技の爆発の餘波でゴミ箱ごとふっ飛ばされたミユをヒナが救護していたことが『晄輪大祭 舞台袖のかくしごと』で語られる）

このアカウントは、notestockで公開設定になっていません。

@miwpayou0808 https://x.com/uom6iybcbigfulh/status/1751746477297455518?s=46&t=JLP9aN32kzW3Csd8y7y2gw

人格遮断

郵送できてるってことは現住所を受け取りはしたんだよな……？

親が農協の生命保険を私名義で私が子どもの頃からかけていたらしく、解約するしないはともかく、とりあえず管理を巻きとろうと思い Web アカウントをつくり住所変更申請で現住所を申請したところ、「入力不備のため完了しませんでした」旨同封された手書き申請書類が実家最寄り JA から郵送されてきてほんわかした

@aiwas まあキャストやろねと思ってるけど絶対おもしろいからただのオタク連れてきただけであってほしい気持ちもまあまあある

ほんわか日常だった、それでいいじゃないか、これからのことなんか先生にはわからないんだよ

今回は１話のプロローグしかまだ出てない

このアカウントは、notestockで公開設定になっていません。

１話だけだし読もう

このアカウントは、notestockで公開設定になっていません。

@aiwas いただきました！本気感謝（マジアザ）っす！

これすき

サークル、リーダーがメンバーの先生の出勤チェックで圧をかけるのには使える（ぶるあかライブの坂巻先生情報）

@miwpayou0808
そうじゃねぇだろ感がすごい

@miwpayou0808 リーダーじゃない人だてそもそも「ユーザー情報」ボタンが自分にしか出てこないんだけど自分の情報べつにサークルから確認したくはないんだよね

VISAカードの裏側と “手が掛かる” 決済システムの育て方 - Speaker Deck
https://speakerdeck.com/shoheimitani/visakadonoli-ce-to-shou-gagua-karu-jue-ji-sisutemunoyu-tefang

@omasanori とりあえずフェーズ１フルオートだけでもやっておくとデイリーの青輝石もらえそう

プリコネだとイベントの sp ボスでももはや３凸編成とかすぐ出てくるしだいたい Lv. と R. は MAX にしてるからコピペエンジニアリングだけでなんとかしてしまえてしまっていたので、久々に真面目に考える必要がある

ブルアカのフレンドコードいままで出したことなかったけど、BGCTKPDM です。
そういやブルアカだとサークルのメンバーのフレンドコードや進行度ってみれない？

ヘタに水着ミヤコとかいれずホシノ、ツルギでがんばってもらうか……？

ツルギか、たしかに

このアカウントは、notestockで公開設定になっていません。

special 全然育ててなくてワロタ、special 全然育ててないと私の中で話題に

さっきの部隊３、この手持ちでどうできそうか悩んでる、アドバイスだれかくれ

部隊１はえいわすさんのミネ団長借りてフェーズ４クリアなんだけど、部隊３がどうにもならなくて悩んでる

メグは自前ひとりしかおらん

爆発範囲フロントの圧倒的不足でフェーズ４、フェーズ４、フェーズ２みたいになった

このアカウントは、notestockで公開設定になっていません。

すごい速度で燃やして撤去するの気持ち良すぎ

サルミアッキコスケンコルヴァいいですよ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

@osa_k そう考えると百年戦争でうっかりフランスのヴァロア朝を攻め滅ぼす大勝利かましちゃってイングランド人のアイデンティティを持たないまま大陸側に橋頭堡築いてそのまま覇権国家になってしまったのかもしれない

@osa_k 現実だとノルマン朝の征服のあと継承問題による無政府状態挟んでプランタジネット朝が成立、そこからフランス王国の封建領主同士の小競り合いがだらだら 100 年続いてる間にナショナリズムを確立して次第にプランタジネット朝がイングランド人としてのアイデンティティ育んでノルド語なまりフランス語（＝ノルマン語）の語彙を借用したり変化したりしたアングロサクソン語（＝中英語）を喋るようになった、という流れではある

@osa_k 現実のイングランドもフランス王国辺境の公爵であるギョーム２世の征服王朝として初代ノルマン朝ウィリアム１世が戴冠、ノルド語なまりの古フランス語を宮廷で喋っていたのが現在の U.K. の王室の祖先であるので……

ストリチナヤを冷凍庫にストックしておくのが正解

たしかにイレブンだったわ

このアカウントは、notestockで公開設定になっていません。

スミノフも韓国に移っちゃったしロシアで作られてるので日本で手に入りやすいのストリチナヤぐらいしか残ってなさそう

最悪のルルーシュきたわね

ヴィとかのミドルネームもそうだがパッパの名がシャルルなのといいブリタニアなんだけど言語は英語ではなくロマンス諸語、というかフランス語っぽいのあの世界の歴史が詳しく気になってくる

としあ・ヴィ・ブリタニア

害虫に「全力で見逃せ」と凄む自虐ネタで苦笑を買うジェレミア

イネ科の無党派大統領！？

ちょっと観たいかもしれない

５年前をまるでつい最近かのように……おじいちゃんか……？

このアカウントは、notestockで公開設定になっていません。

X で一生ルルーシュと C.C. を描き続けてる強火のオタクを思い出している

コードギアスも続編とかそのうちあるのかな

ひぃ、ここの過激派こわすぎ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

e-私書箱連携してるとふるさと納税や生命保険や信託ほか金融商品の取引報告書やら全部 XML で勝手に確定申告にデータつっこんでくれるのでよい > マイナポータル

（無理では……？）

“11月の大統領選で再選を目指すバイデン氏が、欧州の指導者を故人と言い間違えたのは今週2回目”

バイデン氏がまた言い間違え、今度はメルケル氏を故人と混同　写真4枚　国際ニュース：AFPBB News
https://www.afpbb.com/articles/-/3504418?cx_amp=all&act=all

リフト上げて下からみても綺麗なのすごい

@osa_k そっかあ

「ステーション・バー」で人気のこづかいホラーマンガ『こづかい万歳』の魅力｜SSDM（ゲームライター）
https://note.com/ssdm360/n/n6a219a0de81b

@osa_k たぶんこういうの

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

バイデン大統領の“記憶力の乏しさ”が理由で機密文書持ち出し問題で訴追されず｜テレ東BIZ（テレビ東京ビジネスオンデマンド）
https://txbiz.tv-tokyo.co.jp/you/news/post_290680

エ駄死

「えっちなかんちょく」ってもしかしてえっちな言葉？

このアカウントは、notestockで公開設定になっていません。

Introducing Sudo for Windows! - Windows Command Line
https://devblogs.microsoft.com/commandline/introducing-sudo-for-windows/

なおたさんもなる？えっちな漢直漫画家

坂巻さん相変わらず怖すぎるが…… https://x.com/makimaki_0706/status/1755895847160832473?s=46&t=JLP9aN32kzW3Csd8y7y2gw

PSP は内蔵 NAND の FAT32 に配置された prx と呼ばれるアーカイヴ形式のライブラリ群がファームウェアのほとんど。

これにパッチあてていくつかのファイル上書きしたカスタムファームウェアなら特定のパスのファイルリストから読んだファイルパスにある prx を後付けでガンガンメモリに追加したり既存の機能をオーバーレイさせられたおかげ（？）でプラグイン機能めちゃくちゃ発達してたので、
USB OTG とかあったかどうか怪しい時代ではあるけど勝手にいろんな USB driver が開発されて XLink Kai もなぜか USB で有線接続する方式が使えるやつがあったはず……

まあ協調的マルチタスクの RTOS と言ってしまえばそこまでかもしれないし、あるいは unikernel / library OS 的と視点変えて言えなくもない

PS3 はシステム用にコアがひとつガメられててハイパーバイザも OS もいます、とかだったはずだし PSVita も４つのうち１コアがシステムになってるはずだけど

ハード的にはアドレス変換しないけど privileged mode かどうかだけ管理する半 MMU みたいなやつしかなくて、ゲームタイトル起動するとメモリに残したホーム画面に戻る割り込みルーチンとか一部のメモリ領域への書き込みアクセス以外完全に全てアプリに明け渡すからアプリが OS 相当の機能もリンクしている、でもそこの部分の基本的な機能、ユーティリティー、画面部品や文字入力コンポーネントはライブラリ群としてファイルシステムには置いてある、ぐらいが PSP/DS あたりのファームウェアや BIOS と呼ばれてるものの限界ではないか

このアカウントは、notestockで公開設定になっていません。

DS は GBA 互換のサブコアもってたはずだけど 3DS はハードウェアをブロック図程度すら知らないので完全に勘

なるほど？

このアカウントは、notestockで公開設定になっていません。

完全にヤマカンでしかないけど、あれくらいアプリケーションコアが弱い昔ながらの組込み機器みたいな作りだと TLS 解くのも AES とか使うのも専用の crypto engine core が居るんだと思うんだけど、DS mode のときってサブのコアを DS と互換させておいて DS mode のときはそっちをアプリケーションコアにする、みたいなハードウェアエミュレーションとハイブリッドにしてるからそもそもメインコアの crypto engine をかんたんに使えなくて……とかのファームウェアフックしてどうこう以前の話があったりしそうな気がする

このアカウントは、notestockで公開設定になっていません。

差し当り EdgeRouter を UniFi dream machine pro あたりにしたいのだけれども

Ubiquiti の UniFi 6 LR 使ってるけど UniFi 7 とか発売されたし追い付けない

ROS はねぇ……

このアカウントは、notestockで公開設定になっていません。

3DS のあれはまさか WPA2 をアプリ側に持たせてるわけではなくて、単に動作モードが DS モードになってると DS エミュレーションに入って WPA2 が使えんくなるとかそんな挙動っぽそう

このアカウントは、notestockで公開設定になっていません。

PSP の WPA は PSK (pre shared key) で TKIP か AES か、なんだけどイマドキの機器でやるとだめなときはだめなんだよね

WPA3 は当然だめだけど

PSP も WPA あたりは対応してるけど WPA2 はだめだったな。PSVita と 3DS はどちらも WPA2 までいけたとおもうけど TKIP と AES の暗号スイートあたりで AP との相性なくはなかった気もする

MAC addr whitelist 運用の WEP AP 残してます……（PSP と DS と Windows CE あたりのため

このアカウントは、notestockで公開設定になっていません。

太古のアーティファクトには画面がふたつ

このアカウントは、notestockで公開設定になっていません。

ライトはつく？

オフィス OS も相当なんだかよくわからないけどこれは更にまた……。ただのオールインワン管理パッケージとかに OS ってつけちゃうのが流行りなだけなんだろうけど
>> パナソニック、オープン化でスマートビルを実現する「ビルOS」 - Impress Watch
https://www.watch.impress.co.jp/docs/news/1567817.html

このアカウントは、notestockで公開設定になっていません。

標準化は工学の第一歩なところがあるし、オタクというよりエンジニアリングの気質の問題もある気がする。IT に限らないエンジニア全般オタク気質という話もあるかもやしれないけれども

@rinsuki 結局同じなのでは。ルールや環境のほうで EU にとっての EU の中で公平なスタートラインを作るという意味で。そのスタートを切ったあとにまた黒船にやられるかどうかはまたべつ。

@rinsuki それこそその動きかたも今に始まった話ではないのでは……？官公庁で Office suite を Microsoft Office から OOo にしてみて結局戻してみたり、プライヴァシー保護強く打ち出しても企業イメージの名を上げたのは Apple だし、グリーンエネルギーや自動車で EU が世界シェアを取れる日もあんまりまだ来なさそうだし

どちらかというと一般の web renderer が Unicode のルビ制御文字を解釈していい感じに組んでほしい

human flavored akashic record

italic を単に slant と解釈するのいかにも日本語圏だけどウッとはなる

@rinsuki Google が好きなんじゃくて American Big Tech が嫌いなだけだから 90s～00s 前半は Microsoft と Windows 相手に IE をバンドルするななんだって文句ばかり言ってた

@giraffe_beer フルバケにつけるポケット受け取りました、ありがとうございます！

ボムの樹

？？？

このアカウントは、notestockで公開設定になっていません。

世も末トレンドすぎる https://x.com/mahoako_anime/status/1755286672650969177?s=46&t=JLP9aN32kzW3Csd8y7y2gw

> プルシュカと溢れてないプルシュカ

> ところで看板の時点から拙作を読んでくれてる疑惑があったのですが、頂いたお手紙と、若旦那が趣味趣向を込めて作った隠し部屋の如き小部屋にいた、プルシュカと溢れてないプルシュカになるほどと相成りました☺️

RT @tukushia@x.com: 松伯亭あづま荘さんに一泊して参りました。 去年の10月に猫大好きフィジカルおじさんに、ねこ女将との謁見を自慢されて「いいなあ自分も原稿終わったら行くんだ！」って意気込んでたやつがようやく訪れた次第でして、これは言われた通り仕事がなければ連泊必至の素晴らしさでした…♨️🐈… https://twitter.com/tukushiA/status/1755096647900840318/photo/1

https://x.com/tukushia/status/1755096647900840318?s=46&t=JLP9aN32kzW3Csd8y7y2gw

RT @BTR_anime@x.com: ／ 横浜・八景島シーパラダイスの コラボイベントが遂に実現！ ＼ 📅日時 3月5日(火)～4月16日(火) 更に3月30日(土)には &quot;花火シンフォニア&quot;も開催予定！ 続報をお楽しみに！#ぼっち・ざ・ろっく #シーパラ https://twitter.com/BTR_anime/status/1754792052347535405/photo/1