恥ずかしながら帰ってまいりました

#らりおactivity #らりお正規タイムゾーン

税関を出て1分で京急の改札に着くの、体験が良すぎる

#らりおactivity #らりお正規タイムゾーン

これは京急を知っているからそう思うだけで、海外で同じ状況だと「えっターミナル間の移動に地下鉄なの？ 無料マジ！？ ここ通って大丈夫なんか？？」みたいに混乱するので慣れの問題でしかない

ﾋﾞｼﾞｯﾄｼﾞｬﾊﾟﾝｳｪﾌﾞでビシッとジャパン入国できた、デジタル庁に感謝🙏

https://mastodon.cardina1.red/@lo48576/112297717312569895

これ空港の係員に「too late.」とか言われてｱｯとなった。ておくれです。

そもそもあなたのいう「距離」の定義は何？ となっています

定義されていない幻のツチノコの話をされても、そりゃ誰も参加できるわけなくない？

なんかわからんけど内的にぼんやり持っているイメージを明文化したいみたいやモチベーションならわかるけど、その言語化はぼんやりを内的に持っている人自身がやるしかないわけで……他の人はそのぼんやりの中に複数のはっきりとした別々のものを見ているかもしれない (そして「どれのことだよ」と。)

これは全く適当話でしかないんですが、概念の定義ってやつをちゃんと勉強すると「この条件がないとこういう不都合があるからこれが必要」みたいなある種の反駁を事前にやるものなので、それを経てない人のいう「面白い」は既知だったりするんじゃないですか。
具体例を何一つ持ってないので適当話ですが。

言っちゃ悪いけど、私だって自分のわかる分野でテキトー言ってる人がいたら「基礎からやりなおせ」とだけ思って見なかったことにしたりしますよ。べつに関心をひかなかったすべての事例がそれに該当しているなどと言うつもりは毛頭ないけど。

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

べつに自分で歩くのは結構なんですが、「飛行機を面白がってばかりで発明・製作しようとしないやつらはつまらん」みたいなこと言われても知るか俺の勝手だろ勝手に作って勝手に墜落してろとなりません？
ならんか。まあそういう人もいよう。

冷蔵庫が概ね空なので帰宅ついでの買い出し (だるい)

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

それはそのしょーもない嘘つきを視界に入れるのをやめるべきでは？
言葉は悪いけど水槽で飼ってるゴキブリに向かって「お前はなんでそう細菌やらウイルスばかり持っているんだ不潔なやつめ！」と憤ってるのと大差ないように見える

たとえばで出すにしても変な例だけど、2chの板に入り浸るってそういう行為でしょ

つまり型の話をしてるのに Haskell 使ってなくてコンパイラ書いたこともないやつは全員にわかでしょーもない連中ってこと？ それならわかる

まさに私が該当しているので🙃

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

Gentoo はいいぞ……

エラーは出ないよ、ただすべてのパッケージが再コンパイルされたりするだけで……

うーん？ 逆にわからなくなった

そこで「こんな言語もある」となるのは歴史をなぞっているだけの面白くない行為で、言語処理系を作ろうとする気概はないんか、という話なのかと思っていたが

* 型は集合ではない

ｼﾉﾛｿﾞｮｰの docker 、結局 web UI のやつは単なるクライアントだからちょっと凝ったことをしたいならさっさとコマンドを打つのが良いと聞いた

もうこれはどう「他意はない」と言ったところで他意を読み取られてしまうだろうからそれを覚悟で言うけど、基礎なしにどんどん応用したがっちゃう人の好奇心につきあうのってめちゃくちゃ労力かかるし完全に工数と予算が必要な案件なんで、そのへんにいる random person に期待するのは完全に間違っていると思いますね。独りでやるかどうにかして同志を探して内輪でやるべき

内輪でというのはべつに秘密会合をしろと言っているわけではなく (オープンにしたければすればいい) 「恒常的に参加するメンバーはある程度既知または固定になるようにする、それ以外からの参加も監視も一切期待しない」くらいの非常に緩い意味です

世の中には「永久機関を作ったと自信満々に主張し続けるおじさん」とか「趣味でミレニアム問題を問いたと主張するおじさん」とか「対角線論法は嘘だと啓蒙し続けるおじさん」みたいなのがいて、「ああはなるまい」と自分を抑制している人はめちゃくちゃ多いと思いますよ。
つまり体系的でない学習によってちょっと視野が拡がったり知識がついたからといって、自分が識者に相当すると考えることへの抵抗は強いだろうし、「対角線論法は嘘だ！」と叫ぶような真似はすまいと思っている人はきっと多い。

べつにおじさんでなくとも、おばさんとかおねーさんとかおにーさんとか爺婆でも何でもいいんですが。

さておき、 TL に思考を垂れ流してレベル近い同志いねーかな〜とぼやくのは普通に皆やってるのでそれはそれでいいと思うんですが、まあそうそういないものだし、場合によっては信念食い違ってる場合も結構あるので、それは普通に人間そういうものだし多様性ってそういうことなんじゃないですか

対価を払って介護をされたいわけではないのなら、レベルの近い同志を探すしかないんですよ。難しいんだけど。

私は面倒なんで独りでやりがちです。たまにブログやら何やらで適切に学びをパッケージ化できればそれでよしということにしている

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

私とて「木を切るのに忙しくて斧を研がない樵」みたいな物言いをよくするが、自分自身そうなので致命傷のブーメランではある

どこかで時間とリソースを捻出して覚悟をもってやるか、諦めて表層をぷかぷか浮かんで漂流するか……

なんなら書籍になっていれば安心かというと全くそんなこともないし、厄介な話よ

「何だろう」を表明しないと「『だけ』で済ませてた」ことになっちゃうんです？

資料を当たってみて「これは読んでもわからんな」と思って詳細について口を噤むことにした人もいるかもしれないのに？

自分にはそれ以上の掘り下げをできない「何だろうね」を呟くことを不毛だと思って黙っていただけの人もいるかもしれないのに？

表明されていない好奇心や探求が存在しないと見做すのはちょっと世界観歪んでいると思います

人間の視野ってそんな閉世界仮説みたいなもんじゃないでしょ

ﾁｭｲｯﾃとかで掘り下げてる人けっこういて私もまあまあ注目はしてましたよ、言及はしてないけど (何も知らんワイが言及して世界がどう良くなると？)

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

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

「おもしろそう」だけ書くのって極めて原始的な「雑談」であってそれ以上の何物でもないと思うんですが、その雑談に参加しないと「科学的思考サロン」のメンバーにはなれないってことなんですかね

サロンじゃん。しかも会費がある会員制の。

室温34.4℃、湿度28%RH

半日ちょっとで気温が20℃以上違う環境に移動しており、体が追い付かない

頭痛くなってきたわ

(問題設定がガバすぎて興味持つところまでいかないんですが……)

強化書

べつに掃除はしなくてもいいかもしれないけど物理をわかってないと家は建てられないよ

まあべつに巨人の肩に乗るのは人類の義務ではないんで……それはたしかにそう……

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

ついに墓参りもデジタル化の時代に。墓石に載せるQRコード - ライブドアニュース
https://news.livedoor.com/article/detail/26264908/

ｳｪﾋﾞの HTTP/S URI では永続しないし生でエンコードできるサイズとも限らないだろうし、何だ…… と思ってたらブロックチェーンで笑ってしまった。そうだな。

遺族がやるんじゃない？ データサイズがいかほどかは知らんけど……

> QRコードは縦40mm×横30mm×厚4mmの稲井石に彫刻され、データ入力代込みで3万3000円です。

一番おもしろいのここ

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

おまさ塗り絵師！？

torrent かな？ (それ以上は)

Google Graveyard - Killed by Google
https://killedbygoogle.com/

思い出すシリーズ

Killed by Amazon あるかなと思って軽くググってみたけど見付からんな。というか字面が悪すぎる。

「永久」が永久しない問題、そもそも「永代供養」が全然永代じゃなかったりする問題もあるから相当根深いな (???)

墓石を計算機にしても電力をどこから持ってくるかがなぁ……ハーベスティング的なことをするにも発電デバイスの方の寿命が早そうだし

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

冥土インワリオやめろ

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

むわぁの法則を感じられそう

二十年前からずっと観よう観ようと思って放置していた『十二人の怒れる男』をついに機内で観た

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

https://mastodon.cardina1.red/@lo48576/112119612474409235
https://mastodon.cardina1.red/@lo48576/111745307204665677

期待していないのでこうなってしまった

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

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

:noday:

@Linda_pp String::from_utf8_lossy(e.as_bytes()).into_owned() だけで済ませば String が得られるので String::from_utf8(v).unwrap_or_else() 部分は全く不要に見えるのですが……

@Linda_pp あっ、入力が v: Vec<u8> なのを見落としていました。なるほど……
現状だと先に from_utf8_lossy() したうえで Cow::Borrowed だったら unsafe { String::from_utf8_unchecked() } でどうにかする、みたいなのしかオーバーヘッドなしにする方法は思い付きませんね。この程度のことに unsafe したいかというと相当怪しいですが。

Request: Lossy way to move `Vec<u8>` into a `String` · Issue #64727 · rust-lang/rust
https://github.com/rust-lang/rust/issues/64727

㍂？

藁人形論法を見た (何か見た)

Q: 「オチだけピックアップして読まずに全編いちいち読むようなことをやっていたら、どうやって読みたい本すべてを読めるというのか？」
A: 「もちろんすべて読めようはずもないが、そもそもオチをピックアップして話をわかったつもりになるのは本を読んだことにはならない。逆になんで『どうにか工夫すれば読みたい本すべてを読める』などという都合の良い仮定を無邪気に信じられるんだ？」

みたいな話

やりたいことが5倍になれば目の前の仕事のコストが勝手に1/5になるなんてうまい話はないぞ

べつに5倍速再生/5文字おき/5章おき/5巻おき/最後の5分の1抽出、なんでもいいけどそうやって潰して得た情報を勝手に「履修済」とラベル貼るのは個人の勝手だし、そういうのもまあ最近はトレンドなのかもしれないけど。そうですかとしか。

古文に見えるなら申し訳ありませんね、私は生きた日本語として書いているし普通に口頭で言うこともありますよ

手元に規格あるのに読みきれる気がしなくて泣いています、でも読まないと鉞投げられないし……

ところで: 意味論を定義しきれていない言語とどう向き合う？

typescript の超絶柔軟な型システム、実際あれちゃんと妥協なく検査しきれるものなんですか

なんか「重すぎるから無効化できる」みたいな話は聞いたことあるんだけど、使ってないのでよくわかってない

TypeScripts Type System is Turing Complete · Issue #14833 · microsoft/TypeScript · GitHub
https://github.com/microsoft/TypeScript/issues/14833

😭

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

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

まあ JS の排除をできない以上は gradual typing で安全圏を構築するうえでの柵として TS があるのは普通に有用なんじゃないですか。 JS が必要ない状況で最初から最後まで全部 TS で何か作りたいだろうかというと、ちょっと動機がどうなんだろうとは思ってしまうけど

「関係あるかどうかなんて無知な本人には判定しようがないんだから、パッケージをちゃんとやるかそれとも『穴開きでぶっ壊れていることを自覚して使う』か選ぶしかないだろ」という話で、そこに「穴開きかどうかなんて知らんが俺のはぶっ壊れてない！」と言われても、はあそうですかとしか言えませんよ。そう思うんならそうなんでしょう (ry

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

WASM とランタイムの界面での苦労を「俺じゃなくて規格作ってる人」にうまく押し付けられるのがおいしい (?)

WASI とか固有ランタイムとかいろいろあると思うけど、今どれくらいのことができるんだろう

wasmer のことは存在くらいは知っているが、システムへの干渉能力はいかほどのものか

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

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

次のお悩みは WASM メインで部分的に JS に投げるのか JS メインで部分的に WASM に投げるのかですね

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

何度 JS を乱用しはじめたやつを殴っても別のやつが乱用しはじめてしまうタイムループものじゃん

可能なことは実現されてしまうから……

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

VBScript が勝つ未来の方がよかった？

あの頃 JS と VBS 以外に何かあったっけ

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

やめてやれよ！ Sass 実装はもう Dart に移行しちゃったんだぞ！

だいぶ昔に、 <script> で Sass/SCSS コンパイラを読み込んでローカルの <style> とか <link rel="stylesheet"> を適宜 CSS に変換してやれば標準に入らなくてもリッチな CSS 的機能を使えるじゃんという話があったような気がするんだけど、結局流行ってないように見える

ローカルでのプリコンパイルが主流になってしまったからか (まあ毎度ブラウザ側でやるよりパフォーマンス的にマシなのはそうなので文句があるわけではないが)

Dart は to JS できるんだっけ

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

野心的には見えるがｺﾞｯｺﾞﾖなんで自社プロダクトにオレオレ次世代標準狙い実装を乗せていくの結構普通にやりそうなんだよな。逆に Dart でそれをやらなかった方に驚きがあるといえばある

QUIC とかを見てると特に…… (あれが例外かといえば、まあそうかもしれん)

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

NaCl のことを思い出して泣いています

Google Native Client - Wikipedia
https://ja.wikipedia.org/wiki/Google_Native_Client

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

結局、安全のための初期投資コストがそのうち償却されるから基本的にお得になりがちという直観を初学者が持っていないんだよな。まあ確かにガードレールとシートベルトと日常点検がなくても車は動くんだ。事故るまでは。

steep learning curve をありがたがれるかという話に近いかもしれん。堪え性のない人もいよう

無論得られるメリットが同じである限りにおいては手順が容易かつシンプルであるに越したことはないが、それは誰だってそうなのでできるようなら早々に改善されているわけで、幼年期を脱してなお残っている学習曲線の傾きはもう頑張るしかない

そのつらさは今まで意識すべきことを意識してこなかったぶんのギャップなわけだから……

JS のどうしてこうなった仕様第一位だ (?)

ここで of と in という単語が選択されてしまうあたりが救いようがないというか (ｴｰｺﾞネイティブはこれで明らかだと思えるもんなのか？)

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

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

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

「今月の目標」システム、試してみたけど2ヶ月でやめた (やめるつもりでやめたのではなく、単に目標設定をしなくなった)

日記が書けない人の典型例かもしれん (?)

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

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

チケット - 趣味・娯楽 - Nopmine
https://redmine.potato.immo/projects/proj1/issues?c%5B%5D=tracker&c%5B%5D=status&c%5B%5D=priority&c%5B%5D=subject&c%5B%5D=assigned_to&c%5B%5D=updated_on&f%5B%5D=tracker_id&f%5B%5D=&group_by=&op%5Btracker_id%5D=%3D&set_filter=1&sort=id%3Adesc&t%5B%5D=&utf8=%E2%9C%93&v%5Btracker_id%5D%5B%5D=8

2ヶ月でなく3ヶ月だった (だからなに)

行動傾向 #88: [今月の趣味] 2024-01 - 趣味・娯楽 - Nopmine
https://redmine.potato.immo/issues/88

> #78 の重複だった。なんで2日前に立てたチケットを忘れるんだ？

見返してて頭痛くなってきた

「Pinned」というカスタムフィールド (bool) を作ってマイページにフィルタを追加したらだいぶ快適になったのでノウハウ共有

機能 #140: [Redmine] 注目しているチケットをまとめる機構が必要 (2024-02) - 人生管理運用 - Nopmine
https://redmine.potato.immo/issues/140

機能 #148: [Redmine] 「確認予定日」フィールドの試験運用 (2024-02) - 人生管理運用 - Nopmine
https://redmine.potato.immo/issues/148

これらは結構有用なことがわかってきたので試みとしてだいぶ成功していると思う

必要なのは記憶しておくことではなく「適切なタイミングで思い出せること」と「思い出したい情報に素早くアクセスできること」なので、ここをどうにか工夫すると意外となんとかなったりはする

unpark とかいう単語、非同期プリミティブ以外で見たことがない

RustでWasm Runtimeを実装する
https://zenn.dev/skanehira/books/writing-wasm-runtime-in-rust

WASI どうなってんだとか言ってたら超タイムリーに Wasm & WASI 情報 (しかも Rust) が流れてきた……

ボルロク

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

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

Fraunhofer の手がこんなところにも

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

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

ポスターに印刷して赤が褪せて白くなってからが本番やな (?)

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