だいたい証明も書いてないのにテスト書いた程度でイキる人の気が知れない

Rust は const generics が入らないうちは型でガッツリ制約をエンコードしていこうという人にはまだ使いづらいわよね……
たとえば C++ では行列のサイズを size_t なテンプレートパラメータで表現していたりなどするところ、 Rust ではまだ個々の数値を意味する個別のタグ型を用意する感じになっている

Tracking issue for const generics (RFC 2000) · Issue #44580 · rust-lang/rust · GitHub
https://github.com/rust-lang/rust/issues/44580

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

感染するまで出られない国

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

「根回し」

＼ ( ‘ᾥ’ )/
　＼　 ＼
　　＼ γ∩ミ
　　 ⊂::　::⊃))
　　／乂∪彡＼

Android のﾁｮﾛﾒのおすすめ、昔は無効化したうえで跡形もなく消すことができたんだけど、どうも現行バージョンでは無効化できても「表示自体を消せないらしくカスじゃんとなっている (まあｺﾞｯｺﾞﾖのやることなので)

| cat すると tty 判定が消えて色が付かなくなるのは有名な話ですが (???)

テストを書こうとすると headless なテスト環境で tty と判定されなくて色が出なくなるというのは面白いアレだ

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

ターミナル全体ではなくアプリや状況ごとに有効・無効を設定できるようにしろという話に読める
(まあパイプの各段に環境変数突っ込むのも大概面倒そうだけど)

まあ --color={never,auto,always} はデファクトスタンダードだと思うけど、デフォルトの挙動をもうちょっと制御しやすくしてくれという話ならわかる

でも環境変数よりも CLI オプションの方が細かく制御しやすいので私は --color の方が好きです

もちろん一括設定の手段として環境変数を使えるならそれはそれで便利だけど

うーん……でもやっぱり NO_COLOR はないわ (否定形がダメダメすぎる)

color は {never,auto,always} の3値だという慣習に完全に馴染んでいる

プリコネRサントラ2、イベント関連曲がメインで王都終末決戦の曲がギリギリ入ってないっぽい……マジか

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

https://mastodon.motcha.tech/@mot/103663712155510352

広告非表示パック座、知らなかった……

ﾂｲｯﾃ、 URL でブロックできないのでハッシュタグを生成しないマルコフ連鎖サービスが完全に不可避なノイズと化していて、さすがこれが twitter クオリティ……となっている (Mastodon から高みの見物)

ゲーミング虹

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

保険制度の違いじゃない？ なんも知らんけど

わざわざ早起きで苦労しなくても、地球の自転が6時間くらい止まればよくない？

閏秒20k秒くらい挟まってくれ〜

noop と noob の違い

早いのが noop
遅いのが noob

何もしないのが noop
何もできないのが noob

地球くるっくる回ってんじゃねえよ
オフィスチェアで遊ぶ小学生か？？？

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

爆撃が捗るな (???)

全てのプルリクが速やかに merge か reject されるチケットほしくない？絶対捗るでしょ

あるパッチが別のパッチを前提にしているとかの場合に merge を待ってから rebase するの面倒だし、 merge される確信があるならまだしも受け入れられるかわからない変更を前提にしてると draft 状態で大量にﾌﾟﾙﾘｺ事前発行しておくわけにもいかず

/dev/neru

なーにが未使用の変数じゃ、こちとら未使用のtmpやぞ

？？？

はよ寝ろ

夜なので
何を言っても
許される

アホを遠ざけるために記事を有料にするの、まあ自衛策としては妥当よね。
ところでこれは揶揄するわけではないんだけど、有料記事にしても読む人の大半は信者とか近い界隈の人々になる (当然ね) ので、社会的・政治的主張を有料記事でやっても本当に「考えを変えるべき/変えてほしい人」には届かないよ

この人信者にちやほやされたいのかな、くらいの感想に落ち着く

ｲﾝﾀｰﾈｯﾂで分断が進むとか言うけど、書籍・新聞時代から既に「金を払わないと対立意見 (しかも内容ガバガバでスッカスカかもしれない) に触れられない」という状況は生まれていたし、せっかくインターネッツはそれを変えるチャンスだったのに、みんな記事閲覧に課金システムを使い始めた

本当に分断を引き起こしているのは、「カネを払わないとアクセスも反論もできない情報」という仕組みそのもので、実はインターネットは分断をむしろ抑制する性質が強めのメディアなんじゃないですか？？？

無料で読める記事とカネ払わないと読めない記事、対立意見や自分と異なる見解が書いてあったとしてどちらを頻繁に読むことになるだろうかなんて、考えるまでもないよね

べつに paywall があらゆる状況で悪だとは言わないけど、自分達が何に加担してどういう性質のプラットフォームを使っているのか自覚はした方がいいんじゃないのと思います。はい。

「車いすが健常者・二足歩行が障害者」の世界が体験できるレストランに行ってきた　もう理不尽すぎて泣きたい (1/2) - ねとらぼ
https://nlab.itmedia.co.jp/nl/articles/2002/13/news114.html

有機ウナギディスプレイ #適当

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

ﾂｲｯﾃでアカウント名に「アドセンスクリック」しか書いてないの、カーゴカルト未満という感じで twitter 感が溢れていて最高だなぁ (どういう意味なのか全くわかってないままおまじないとして使ってそう)

嘘マッチョです (適当)

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

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

惰性でﾌﾟﾙﾘｺ投げまくってる (非自明な単調作業)

基本的に単調なんだけど微妙に非自明要素があり、高速道路のような怖さがあるわね

リファクタリング飽きてきた、3Dいじいじするか

そういえば OpenSCAD の処理系作ってみたいんだった

あと Blender で作りかけの頭部もあるぞ

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

おっ今週の脳トレたすかる

やっぱり今年度に入ってからおとなしくなってしまったな、ホロぐら

うーん……

OpenSCAD - About
https://www.openscad.org/about.html

OpenSCAD の標準実装が GPL-2 なんだけど、これ OpenSCAD のソースコードを参考にせずに同等のプログラムを書いたら翻訳扱いになったりするのか？ (MIT / Apache-2 にしたい顔)

jscad/OpenJSCAD.org: 2d/3d code based parametric CAD in Javascript
https://github.com/jscad/OpenJSCAD.org#license

js 実装が MIT ライセンスだし、問題ないか

というわけで、リファレンス実装を読まずに言語処理系を実装するバトルがはじまる……かもしれない

https://ja.wikipedia.org/wiki/%E3%82%B6%E3%83%88%E3%82%A6%E3%83%A0%E3%82%B7#/media/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Harvestman_opilio_canestrinii_male.jpg

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

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

GLSL みのある圧縮だな

"×\0○"[ok*3]
みたいなのを思い出したわね (SJIS 限定)

std::string foo{"foo\0bar"};
ができないせいで operator""s() が発生した C++ の話かい？

std::literals::string_literals::operator""s - cppreference.com
https://en.cppreference.com/w/cpp/string/basic_string/operator%22%22s

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

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

承認が有限のリソースで人々が常にそれを奪い合っていることが可視化された、みたいなお気持ちもある

視界に入る人数が少なかった時代だと承認が枯渇していなかったのでは、みたいな (適当)

承認欲求を満たすのコスパ超悪い

まず他人の視界に入るためにコストがかかるんだけど、そこで消耗するのあほくさい

(CPU がぽよんぽよん弾むアニメーション)

CPU バウンド

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

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

はいふりアニメ 4DX 上映 (最後に座席が前後に90度回転し会場が海に沈んでいく)

いいぞ

最近 crev 活動してないなぁ

オッ
自称オブジェクト言語の Python の len() やイテレータの話か？？？

オブジェクト言語って何やねん、オブジェクト指向言語